pub fn two_diff_tail(a: f64, b: f64, x: f64) -> f64