How do you find the value of y=arctansqrt3?