Sin x 1 cos x dx