solve cos(2x)=1-cos(pi/2-x) for x=-5pi/2..-pi