Add trig substitution rule to manualintegrate