for p being Real holds tanh . p = (sinh . p) / (cosh . p)