Function div_by_inv 

pub fn div_by_inv<F>(x: F, y: F, w: &mut Witness<F>) -> F
where
    F: FieldWitness,