sin(pi)/12