Integrate y with respect to x, where y = cos(x)/[1+tan^2(x)]

y = cos(x)/sec²(x) = cos³(x)

y = cos(x)(1-sin²(x)) = cos(x) - cos(x) sin²(x)

-> sin(x) - sin³(x)/3 + c