arctan(2tanx/3^(1/2))能不能进一步化简？如果可以，怎么化？