The verify(expr1, expr2, testeq) function returns true if the difference between the arguments expr1 and expr2 is zero after applying the testeq routine.

This verification is symmetric in its arguments.

If either expr1 or expr2 is not of type algebraic, then false is returned.

$a≔\left({\sin \left(x\right)}^2-\cos \left(x\right)\tan \left(x\right)\right){\left({\sin \left(x\right)}^2\+\cos \left(x\right)\tan \left(x\right)\right)}^2\:$

$b≔\frac{1{\sin \left(2x\right)}^2}{4}-\frac{1\sin \left(2x\right)\cos \left(x\right)}{2}-2{\cos \left(x\right)}^2\+\frac{1\sin \left(2x\right){\cos \left(x\right)}^3}{2}\+3{\cos \left(x\right)}^4-{\cos \left(x\right)}^6\:$

$\mathrm{map}\left(\mathrm{verify}\,\left[a\,b\,{\sin \left(x\right)}^2-\cos \left(x\right)\tan \left(x\right)\right]\,a\,\'\mathrm{testeq}\'\right)$

$\left[\mathrm{true}\,\mathrm{true}\,\mathrm{false}\right]$