pub fn atv2(x: f32) -> f32