A Heuristic Program that Solves Symbolic Integration Problems in Freshman Calculus