invert gravity
fix differential equations in haskell