cos(pi/5)