Function atan_interval 

pub fn atan_interval(a: Interval) -> Interval

Conservative interval for atan(a).

atan is monotone on all of ℝ so [atan(lo), atan(hi)].