Software-based Automatic Differentiation is Flawed. | AMiner