sin x = sqrt(3)/2