Differential solving with lazy splines