PatternRewriter& rewriter) const override {
    if (!MatchERF(op)) return failure();
    // `add 1`
    auto* erf_user = GetUserIfOnlyOne(op);
    if (!erf_user) return failure();

    // `mul`
    auto* erf_user_user = GetUserIfOnlyOne(erf_user);
    if (!erf_user_user) return failure();

    // `mul 1/sqrt(2)`
    auto* erf_input = GetInputOpWithOneUse(op, 0);