MAYBE 2.2 plus x y plus y x times x y times y x plus x plus y z plus plus x y z times x times y z times times x y z times x y times y x plus x y plus y x plus x plus y z plus plus x y z times x times y z times x y times x times y z times times x y z plus x plus y z plus x y i s x i x times s x y plus times x y y i p x i x plus p x y plus x y plus s x y plus x y times s x y times x y plus p x y p plus x y i plus x y i x times p x y times x y plus s x y s plus x y times p x y plus times x y i y i plus x y plus i y i x i s x p i x i p x s i x i plus x y i y times p x y i y plus plus i x x _1 plus 0 _1 times times 0 y _1 times 0 _1 times times s x y _1 times plus times x y y _1 plus plus x plus i x y _1 plus y _1 plus plus p x y _1 plus p plus x y _1 plus plus 0 y _1 plus y _1 times times p x y _1 times plus times x y i y _1 plus plus s x y _1 plus s plus x y _1 times x times y z times times x y z times x y times y x times p x y times x y times x times y z times x y times s x y times x y true Failed! NaTT 1.7