Equivalence in PowerExpr