Incorporating Background Knowledge in Symbolic Regression using a Computer Algebra System