Use trigonometric substitution (#560)

Use trigonometric substitution (#560)

Substitute x=asin⁡θx = a\sin\theta, x=atan⁡θx = a\tan\theta, or x=asec⁡θx = a\sec\theta for integrals with a2−x2\sqrt{a^2 - x^2}, etc.