[math-fun] d/dx dinosaur