Use , so . Up to an overall minus sign, the differential form becomes
Seeking a monomial integrating factor , equality of mixed derivatives gives
These give , so the integrating factor in the original variables is
One may verify exactness directly without relying on invertibility of the cosine substitution:
Thus the implicit first integral is
The equivalence with the differential equation holds directly where . The zero solution is included at . At a zero of , the original graph equation requires for any finite differentiable continuation, so no extra finite graph with nonzero is created by multiplying by the vanishing factor. If one allows vertical parametrized integral curves of the differential form, is also such a curve and is already contained in the level set .
Write the differential form as , with the coefficients as printed. A monomial integrating factor can be found from . The exactness condition gives
Solving yields . Thus, on ,
After multiplication, the differential form is
Hence the implicit solutions are
The branch was excluded by the integrating factor but satisfies the original equation and must be restored. On any graph branch with , differentiation of the boxed first integral recovers the original differential equation.