The quadrature rule depends on the variational form, and is estimated by ufl if not explicitly supplied. See: How many integration points are included in the tetrahedral grid? - #2 by dokken for more details
1 Like