pub fn exp_interval(a: Interval) -> Interval
Interval exp: exp([lo, hi]) = [exp(lo), exp(hi)].
exp([lo, hi]) = [exp(lo), exp(hi)]