differentiable-Double