auto root = op->getParentOfType<ModuleOp>();
    auto func = BuildGELUDecomposition(
        rhs_add.getType().cast<RankedTensorType>(), rewriter, root.getBody());

    SymbolTable table(root);
    (void)table.renameToUnique(func, {});

    rewriter.setInsertionPointAfter(output_mul);
    auto composite_attrs = rewriter.getDictionaryAttr(
        {rewriter.getNamedAttr("approx", rewriter.getBoolAttr(false))});

    const bool is_main_func = func.getSymName() == kStablehloMainFunctionName;
    if (tf_symbol_table.lookup(func.getSymName())) {
      if (failed(stablehlo_symbol_table.renameToUnique(
              func, {&tf_symbol_table, &stablehlo_symbol_table}))) {
        return func.emitError()
               << "failed to rename StableHLO function " << func.getSymName();
      }
    }