用凑微分法解答tan(x+3)/cos^2(x+3) dx