3
x y z

3
x + y + z ;
x y + y z + z x ;
x y z + 1 ;

