tan(sqrt(3))