Evaluate definite integrals (#553)

Evaluate definite integrals (#553)

Use ∫abf(x) dx=F(b)−F(a)\int_a^b f(x) \, dx = F(b) - F(a) where F′(x)=f(x)F'(x)=f(x).