sin(x+pi/2)-cos(x)