如何将复数的模化为最简式

lin2009

restart;
assume(x1>0,y1>0,x2>0,y2>0,x3>0,y3>0)
Z1 := x1+I*y1;
Z2 := x2+I*y2;
Z3 := x3+I*y3;

Z11 := x1^2+y1^2;
Z22 := x2^2+y2^2;
Z33 := x3^2+y3^2;

abs(Z1*Z2+Z2*Z3+Z1*Z3) ; #如何将左式化为最简式子
已经试了subs,algsubs,simplify(,size)等都不能化为最简单的式子，maple可能不够智能化。