integral (cos^3 (x) - 8 (sqr x^3|5) * cos^2 (x) + 3)/ (cos^2 (x)) dx