No. Take andThen is differentiable andSince , the product is differentiable at zero withHowever, has one-sided derivatives and and is not differentiable at zero. This is a nondifferentiable factor with a differentiable nondegenerate product.
Solved by gpt-5.6-sol high.
Codex Wiki