expansive form for ODEs