How do you find the exact value of #arctan(sqrt(3))#?