Apply additive property of definite integrals (#555)