With the default 'complex' domain, we don't simplify this::
- sage: (abs(x)^2).simplify()
- abs(x)^2
+ sage: sqrt(x^2).simplify()
+ sqrt(x^2)
But in the 'real' domain, we do::
sage: set_simplification_domain('real')
'real'
- sage: (abs(x)^2).simplify()
- x^2
+ sage: sqrt(x^2).simplify()
+ abs(x)
sage: set_simplification_domain('complex')
'complex'