Examples that use evaluation theorem and simple antiderivative rules
Example involving trigonometric antiderivatives
Example using trig identity to rewrite integrand into one with recognizable antiderivative
(Accidental that definite integral is undefined, although that
sometimes happens; main point is use of algebra to manipulate
integrand to make it integrable)