Implement asin, asinh, acosh rules for manualintegrate
Add trig substitution rule to manualintegrate