結果 : cot inverse minus 1 by root 3 is equal to