Does anybody know how to integrate: sec x tan x dx the answer is sec x + c Is there a way to do it without going backwards and differentiating sec x ?