pub fn one_minus_exp<F: FieldWitness>( params: &Params, x: Point<F>, w: &mut Witness<F>, ) -> Point<F>