height hyperbolic cosine cofunction arcosh hypercohomology coversed cosine arccosh versed cosine codirection havercosine