arcsin(tan(pi/3))