ComplexExpand¶ Expands expressions assuming variables are real. $ wo 'ComplexExpand[Abs[x + I*y]]' Sqrt[x^2 + y^2]