I am looking for testers for testing the antidiff capability of PedroM.
The goal is to find the different antidiff which PedroM/MAY can't do whereas TI/AMS can.
PedroM/MAY uses a table with the different rules for integrating an expression.
The final goal is that I fill in the may_antidiff_table with the missing integrals.
To use it, you have to use the "diff" function with '-1' as the third argument (The second argument is the variable).
