Compute the reverse tangent function.
That is, an enclosure of all x ∈ X where tan (x) ∈ C.
x ∈ X
tan (x) ∈ C
Accuracy: The result is a valid enclosure.
tanrev (infsup (0), infsup (2, 4)) ⇒ ans ⊂ [3.1415, 3.1416]
See also: @infsup/tan.
Package: interval