pub fn atv3(x: f32) -> f32