solve (x')^2*(1+cos^2(x)) = 1 for x