Scalable calculation of reach sets and tubes for nonlinear systems with terminal integrators: a mixed implicit explicit formulat