Experimental mathematics compilation library for SymPy