[38;2;144;202;249m2[39m [38;2;239;83;80m*[39m x [38;2;239;83;80m^[39m ([38;2;144;202;249m3[39m [38;2;239;83;80m+[39m y) [38;2;239;83;80m+[39m [38;2;144;202;249m2[39mz           
  [38;2;66;165;245m├[39m[38;2;66;165;245m─[39m[38;2;255;238;88m 1 [39m[38;2;239;154;154m⇒[39m [38;2;239;83;80m+[39m                     
  [38;2;66;165;245m├[39m[38;2;66;165;245m─[39m[38;2;255;238;88m 2 [39m[38;2;239;154;154m⇒[39m [38;2;144;202;249m2[39m [38;2;239;83;80m*[39m x [38;2;239;83;80m^[39m ([38;2;144;202;249m3[39m [38;2;239;83;80m+[39m y)       
  [38;2;66;165;245m│[39m      [38;2;66;165;245m├[39m[38;2;66;165;245m─[39m[38;2;255;238;88m 1 [39m[38;2;239;154;154m⇒[39m [38;2;239;83;80m*[39m              
  [38;2;66;165;245m│[39m      [38;2;66;165;245m├[39m[38;2;66;165;245m─[39m[38;2;255;238;88m 2 [39m[38;2;239;154;154m⇒[39m [38;2;144;202;249m2[39m              
  [38;2;66;165;245m│[39m      [38;2;66;165;245m└[39m[38;2;66;165;245m─[39m[38;2;255;238;88m 3 [39m[38;2;239;154;154m⇒[39m x [38;2;239;83;80m^[39m ([38;2;144;202;249m3[39m [38;2;239;83;80m+[39m y)    
  [38;2;66;165;245m│[39m             [38;2;66;165;245m├[39m[38;2;66;165;245m─[39m[38;2;255;238;88m 1 [39m[38;2;239;154;154m⇒[39m [38;2;239;83;80m^[39m       
  [38;2;66;165;245m│[39m             [38;2;66;165;245m├[39m[38;2;66;165;245m─[39m[38;2;255;238;88m 2 [39m[38;2;239;154;154m⇒[39m x       
  [38;2;66;165;245m│[39m             [38;2;66;165;245m└[39m[38;2;66;165;245m─[39m[38;2;255;238;88m 3 [39m[38;2;239;154;154m⇒[39m [38;2;144;202;249m3[39m [38;2;239;83;80m+[39m y   
  [38;2;66;165;245m│[39m                    [38;2;66;165;245m├[39m[38;2;66;165;245m─[39m[38;2;255;238;88m 1 [39m[38;2;239;154;154m⇒[39m [38;2;239;83;80m+[39m
  [38;2;66;165;245m│[39m                    [38;2;66;165;245m├[39m[38;2;66;165;245m─[39m[38;2;255;238;88m 2 [39m[38;2;239;154;154m⇒[39m [38;2;144;202;249m3[39m
  [38;2;66;165;245m│[39m                    [38;2;66;165;245m└[39m[38;2;66;165;245m─[39m[38;2;255;238;88m 3 [39m[38;2;239;154;154m⇒[39m y
  [38;2;66;165;245m└[39m[38;2;66;165;245m─[39m[38;2;255;238;88m 3 [39m[38;2;239;154;154m⇒[39m [38;2;144;202;249m2[39mz                    
         [38;2;66;165;245m├[39m[38;2;66;165;245m─[39m[38;2;255;238;88m 1 [39m[38;2;239;154;154m⇒[39m [38;2;239;83;80m*[39m              
         [38;2;66;165;245m├[39m[38;2;66;165;245m─[39m[38;2;255;238;88m 2 [39m[38;2;239;154;154m⇒[39m [38;2;144;202;249m2[39m              
         [38;2;66;165;245m└[39m[38;2;66;165;245m─[39m[38;2;255;238;88m 3 [39m[38;2;239;154;154m⇒[39m z              
                               