sin(%pi/2-asin(-sqrt(3)/2));