What series of operations can lead you to end up with dy/dx though? Like Integral{x^2){dx} is how you're introducing dx into a formula, but it's not like integration just works over division, so I'm a bit stuck on the construction phase