pub fn atv1(v: f32) -> f32