simplify/trig 関数は、三角関数を持つ式を簡単化するために使われます。sin(x)^2 + cos(x)^2 = 1 や cosh(x)^2 - sinh(x)^2 = 1 などの等式を当てはめていきます。

この関数は、入力式を、sin(x) と sinh(x) の多項式と判断し、入力式の sin(x) と sinh(x) の次数を 1 にします。

simplify(sin(x)^3, trig);

simplify(tan(x)^2, trig);

simplify(1+tan(x)^2, trig);

simplify(cos(2*x)+sin(x)^2);