automatic differentiation library
verifiedby.me