Double Angle Formula for Hyperbolic Cosine