Differentiability by hand (TODO)