Abs¶
Returns the absolute value of a number.
The modulus of a complex number is reduced, pulling perfect-square factors out of the radical.
For a power with a strictly-positive real base, Abs[b^z] reduces to
b^Re[z], so an imaginary exponent leaves only the unit modulus.