Compilers can add way more closed forms. Would it be worth it?
https://en.wikipedia.org/wiki/Wilf%E2%80%93Zeilberger_pair