結果 : tan inverse x + cot inverse x is equal to pi by 2