The probability flow ODE is provably fast | Synapse