pub fn atv1(x: f32) -> f32