powerful expr<->subexpr evaluation