@infsup
Compute the cotangent in radians, that is the reciprocal tangent.
Accuracy: The result is a tight enclosure.
cot (infsup (1)) ⇒ ans ⊂ [0.64209, 0.6421]
See also: @@infsup/tan, @@infsup/csc, @@infsup/sec.
Package: interval