Symbolic Integration I