reverse_integration