The verify(expr1, expr2, as_multiset) calling sequence is equivalent to the call verify([op(expr1)], [op(expr2)], multiset).

The verify(expr1, expr2, as_multiset(ver)) calling sequence is equivalent to the call verify([op(expr1)], [op(expr2)], multiset(ver)).

The verify(expr1, expr2, as_multiset(ver, f)) calling sequence is equivalent to the call verify([op(expr1)], [op(expr2)], multiset(ver)) with $\mathrm{op}\left(0\,\mathrm{expr1}\right)=f$ and $\mathrm{op}\left(0\,\mathrm{expr2}\right)=f$.

$\mathrm{verify}\left(f\left(a\,b\,b\right)\,g\left(b\,a\,b\right)\,'\mathrm{as\_multiset}'\right)$

$\mathrm{true}$

$\mathrm{verify}\left(f\left(a\,b\,b\right)\,g\left(b\,a\,a\right)\,'\mathrm{as\_multiset}'\right)$

$\mathrm{false}$

$\mathrm{verify}\left(f\left(a\,b\,x^2-2x+1\right)\,g\left(b\,a\,{\left(x-1\right)}^2\right)\,'\mathrm{as\_multiset}\left(\mathrm{expand}\right)'\right)$

$\mathrm{true}$

$\mathrm{verify}\left(\left[a\,b\,b\right]\,f\left(b\,a\,b\right)\,'\mathrm{as\_multiset}\left(\mathrm{boolean}\,f\right)'\right)$

$\mathrm{false}$

$\mathrm{verify}\left(f\left(a\,b\,b\right)\,f\left(b\,a\,b\right)\,'\mathrm{as\_multiset}\left(\mathrm{boolean}\,f\right)'\right)$

$\mathrm{true}$