В Maple можно упростить выражение, используя самоопределяемые правила, например,
> simplify(x*y,{x=y+1})
y^2+y
Напротив, мне нужна возможность передавать правила в функциональной форме, то есть что-то вроде
> wantedcommand(f(a)*f(b), f(x)=g(x+3))
g(a+3)*g(b+3)
Кто-нибудь знает, как этого добиться?