Half Angle Formula for Hyperbolic Cosine