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