例えば Pi/2 - ArcTan[1/x] を ArcTan[x] に簡単化するにはどう入力したらいいんでしょうか？