Arithmetic_derivative loading ...