Proof that the derivative of coshx is sinhx