clear;
clc;
disp("T=xy^+(x+y^)z");
disp("from the identity a+a^b=a+b");
disp("T=xy^+z");