Function cos_interval 

pub fn cos_interval(a: Interval) -> Interval

Interval cos: conservative enclosure of cos over [lo, hi].