Proof of the differentials of sinh(x), cosh(x) and tanh(x)