pub fn t_down(x: f32) -> f32