arcsin(x)-arccos(x)=arccos(sqrt(3)/2)