cos^2(7pi/8)