cos(x)*cos(x+pi/2)