Use integration by substitution (definite integrals) (#559)