Use trigonometric substitution (#560)