Maybe we should merge these into this code: https://github.com/sympy/sympy/tree/master/sympy/benchmarks