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