Symbolic Regression Integration program to find exact integrals using known solution seeds Libs scipy numpy PySR