式 (または 方程式) eqn は、変数 x についての恒等式 と考えられ、solve は、vars に対する解を探そうと試みます。vars は、x の任意の値に対して方程式 eqn を満たします。

これは、一般化されたパターンマッチングの1次元の場合です。

x が vars の1つであってはいけません。

solve(identity(sin(x) = cos(a*x+b), x), {a,b});

solve(identity(3/(x^2+4*x+4) = A*(x+B)^P, x), {A,B,P});

solve(identity(y/x = a*(x+c)^b, x), {a,b,c});