diff --git a/crates/prover/src/core/utils.rs b/crates/prover/src/core/utils.rs
index 334edb71d..1fb8d1291 100644
--- a/crates/prover/src/core/utils.rs
+++ b/crates/prover/src/core/utils.rs
@@ -3,12 +3,9 @@ use std::ops::{Add, Mul, Sub};
 
 use num_traits::{One, Zero};
 
-use super::circle::CirclePoint;
-use super::constraints::point_vanishing;
 use super::fields::m31::BaseField;
 use super::fields::qm31::SecureField;
-use super::fields::{Field, FieldExpOps};
-use super::poly::circle::CircleDomain;
+use super::fields::Field;
 
 pub trait IteratorMutExt<'a, T: 'a>: Iterator<Item = &'a mut T> {
     fn assign(self, other: impl IntoIterator<Item = T>)
@@ -174,21 +171,6 @@ where
     res - z
 }
 
-pub fn point_vanish_denominator_inverses(
-    domain: CircleDomain,
-    vanish_point: CirclePoint<BaseField>,
-) -> Vec<BaseField> {
-    let mut denoms = vec![];
-    for point in domain.iter() {
-        // TODO(AlonH): Use `point_vanishing_fraction` instead of `point_vanishing` everywhere.
-        denoms.push(point_vanishing(vanish_point, point));
-    }
-    bit_reverse(&mut denoms);
-    let mut denom_inverses = vec![BaseField::zero(); 1 << (domain.log_size())];
-    BaseField::batch_inverse(&denoms, &mut denom_inverses);
-    denom_inverses
-}
-
 #[cfg(test)]
 mod tests {
     use itertools::Itertools;