sin(7pi/4)