{cos(2x)=1-cos(pi/2-x), -5pi/2<=x<-pi}