Simplifying and Differential Equations

What's funny is that extensions were supposed to be a way to bypass or simplify most of that.