cos(pi/20)