CancelInverses(expr) 関数は、互いに逆となる関数の打ち消しを実行します。

以下の簡単化が作成されます:

前述の簡単化の組合せも作成されます。また、2つの引数の arctan は、sin(subexpr) を含む場合に簡単化されます。

注意: 全ての簡単化が、どこでも有効となるわけではありません。CancelInverses を呼び出す際には、注意が必要です。

with(SolveTools):
CancelInverses(1+exp(-x^2));

CancelInverses(arccos(cos(x-y*2)));

CancelInverses(tan(arctan(x-y*2)));

CancelInverses(ln(exp(x-y*2)));

CancelInverses(exp(ln(x-y*2)));

CancelInverses(ln(LambertW(exp(a+b^2+c^3))));

CancelInverses(exp(LambertW(a+b^2+c^3)));

CancelInverses(g(1-cos(x+y+z)^2));

CancelInverses((-5)^(1/2));

CancelInverses(((x*sin(x))^(1/2))^3);

CancelInverses(exp(ln(x)+ln(y+z)+t));

CancelInverses(exp(2*ln(x)+3*ln(y+z)-4*t));

CancelInverses(exp(2*ln(sin(x))));

CancelInverses(ln(exp(c*k)^z*exp(b*t)));

CancelInverses(ln(z^(3/2)*x));

CancelInverses(ln((z^(3/2))^5*x));

CancelInverses(ln(exp(z)^cos(x)));

CancelInverses(ln((s^f(x))^g(z)));

CancelInverses(x^((x+1)/ln(x)+(x-1)/ln(x)));

CancelInverses(arctan(-sin(b), cos(b)));

CancelInverses(arctan(cos(b), sin(b)));