Integrating using the reverse of the chain rule