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

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

The verify(expr1, expr2, as_list(ver, f)) calling sequence is equivalent to the call verify([op(expr1)], [op(expr2)], list(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\,c\right)\,g\left(a\,b\,c\right)\,'\mathrm{as\_list}'\right)$

$\mathrm{true}$

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

$\mathrm{true}$

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

$\mathrm{false}$

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

$\mathrm{true}$