integrate 1/cos(x)^2
Let's integrate: ∫(1cos(x)2)dx
tan(x)
Indefinite integrals are defined up to an additive constant C, so this yields: tan(x) + C
Result:   tan(x) + C, where C is a constant