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