3: equiv(exp(add(x, 2)), mul(exp(2), exp(x))) auf equiv(_0, _1) :- equiv(_0, _2), equiv(_2, _1).
7: equiv(exp(add(x, 2)), mul(exp(x), exp(2))) auf equiv(exp(add(_0, _1)), mul(exp(_0), exp(_1))).
10: equiv(mul(exp(x), exp(2)), mul(exp(2), exp(x))) auf equiv(mul(_0, _1), mul(_1, _0)).
equiv(exp(add(x, 2)), mul(exp(2), exp(x)))
