saved progress. Rules need debugging
fixed SIMP3 bug
added new rule for factoring polynomials of the form a*x**2 - b