What is the integral of #int [4sec(x)]/[cos(x)] dx#?