「f^(-1)(x)
が逆関数なら sin^2(x)
は sin(sin(x))
だろ」というつっこみは、全世界で何回されたか。
この二乗の表記は三角関数以外ではあまり見かけない (全体を括弧でくくる) ので、三角関数がよく二乗されるから略記されるようになったのだと思う。数学は厳密な学問だけれど、紙面への記述には妙に場当たり的な記号を使いがちである。とはいえあの一貫性のない記号がなぜかヒトには便利なのだよな。一貫性のある構文を導入するとどうなるかは Mathematica をみれば分かる1。あの構文で手計算したいと思うひとは少ないと思う。
Mathematica がプログラム言語として洗練されているかはまた別の話。