Tidying
All expressions are (generally) differentiable.