non-trivial ones preferably
so the RHS of every equation can't be a logarithm or the LHS can't just be a quick way to avoid Integration by Parts
Though I suppose some trig integrals have classy proofs using Euler's Identity
and those could be solved by IBP
so there would need to be rules for what goes into the list
