arccotan(1/sqrt(3))