Using Genetic Programming with Prior Formula Knowledge to Solve Symbolic Regression Problem | Synapse