cos(7pi/8)