Compute the reverse hyperbolic cosine function.
That is, an enclosure of all x ∈ X where cosh (x) ∈ C.
x ∈ X
cosh (x) ∈ C
Accuracy: The result is a tight enclosure.
coshrev (infsup (-2, 1)) ⇒ ans = [0]
See also: @infsup/cosh.
Package: interval