Use identity $1 + \tan^2\theta = \sec^2\theta$ (#472)