MAYBE 2.2 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 times x times y z times times x y z plus x y plus y x times x times y z times x y plus x plus y z plus x y times x y times y x plus x plus y z plus plus x y z times x plus y z times x y times x i y i times x y i plus x y i x i plus x y i y times x i y times x y i plus x y plus i x i y times x plus y z times x z times x plus y z plus times x y times x z plus plus x i x _1 plus 0 _1 times times x plus y z _1 times plus times x y times x z _1 times times x 0 _1 times 0 _1 plus plus x 0 _1 plus x _1 times times x i y _1 times i times x y _1 times x i y times x y times x y times y x times x plus y z times x z times x times y z times times x y z times x times y z times x y times x plus y z times x y true Failed! NaTT 1.7