Lagrangian Reachtubes: The Next Generation