engine: Differentiable engine#