Mixed-language automatic differentiation. (2nd November 2018)