Primitive of Sine of a x over Sine of a x plus phi

Theorem

 * $\ds \int \frac {\sin a x \rd x} {\map \sin {a x + \phi} } = \frac x {\cos \phi} - \tan \phi \int \frac {\cos a x \rd x} {\map \sin {a x + \phi} } + C$