expr F = f((1+x)*(1+x*w))*(1+x)^2; apply { id f((1+t?)*(1+t?*z?))*(1+t?)^n? = (t?+z?)^(n?-40); }