Nondifferentiable factor with a differentiable nondegenerate product

ID: nondifferentiable-factor-with-a-differentiable-nondegenerate-product

At zero, and give a differentiable product
with derivative one, although is not differentiable.

New to topics? Read the docs here!