sin(pi/4-x)