verify(expr1, expr2, expand)
verify(expr1, expr2, 'expand'(opt1, opt2, ...))
verify(expr1, expr2, normal)
verify(expr1, expr2, 'normal'(expanded))
verify(expr1, expr2, simplify)
verify(expr1, expr2, 'simplify'(opt1, opt2, ...))
verify(expr1, expr2, evala)
verify(expr1, expr2, 'evala'(opt1, opt2, ...))