Yes, I do mean that equation. When I try it myself however, (lines 2 to 3 of my initial post) the math comes out that dx = -tdt.