http://www-sop.inria.fr/cafe/Manuel.Bronstein/pmint/index.ht...
Clearly, if your generator for equations is limited the system can learn the dictionary lhs (integral) => rhs (derivative) to go rhs => lhs. (integrate)