The verify(expr1, expr2, evalc) calling sequence returns true if the difference between the arguments is zero after applying evalc.

This verification is symmetric.

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

$a≔{\left(-{\left(-2^{\frac{1}{2}}\right)}^{\frac{1}{2}}\right)}^{\frac{1}{2}}+{\left(-2^{\frac{1}{2}}\right)}^{\frac{1}{4}}$

$a≔\sqrt{-\sqrt{-\sqrt{2}}}+{\left(-\sqrt{2}\right)}^{\raisebox{1ex}{$1$}\!\left/ \!\raisebox{-1ex}{$4$}\right.}$

$b≔{\left(-\mathrm{I}{2}^{\frac{1}{4}}\right)}^{\frac{1}{2}}+{\left(\mathrm{I}{2}^{\frac{1}{4}}\right)}^{\frac{1}{2}}$

$b≔\sqrt{\mathrm{-I}{2}^{\raisebox{1ex}{$1$}\!\left/ \!\raisebox{-1ex}{$4$}\right.}}+\sqrt{\mathrm{I}{2}^{\raisebox{1ex}{$1$}\!\left/ \!\raisebox{-1ex}{$4$}\right.}}$

$\mathrm{verify}\left(a\,b\,\mathrm{evalc}\right)$

$\mathrm{true}$