More evaluation rules: abs(x^n) => abs(x)^n (x > 0, n is real).