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

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

Simplify or prove trigonometric statements.