sin(pi/10)