Will this always work for complicated expressions? What if `curl(field, frame)` does, in fact, equate to 0 but it doesn't reduce symbolically without simplification?