This call to simplify is needed to combine factors inside integrals, and to pull factors not depending on the variable of integration out.
This call to simplify is needed to combine factors inside integrals, and to pull
factors not depending on the variable of integration out.

zachsully/hakaru,zachsully/hakaru