zero 0 0 plus x 0 x plus zero x zero y zero plus x y plus zero x un y un plus x y plus zero x j y j plus x y plus un x j y zero plus x y plus un x un y j plus x plus y un 0 plus j x j y un plus x plus y j 0 minus x y plus x neg y neg 0 0 neg zero x zero neg x neg un x j neg x neg j x un neg x times x 0 0 times x times 0 z times 0 z times x zero y zero times x y times x times zero y z times zero times x y z times x un y plus x zero times x y times x times un y z times plus x zero times x y z times x j y plus zero times x y neg x times x times j y z times plus zero times x y neg x z plus times plus times 2.2 times x times y z times times x y z 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 x y times x y times y x plus x plus y z plus plus x y z plus x y plus y x plus x plus y z plus x y times x times y z times times x y z plus un x j y plus x y times x un y times x y times x times j y z times plus zero times x y neg x z times x zero y times x y times x un y zero times x y times x un y plus x zero times x y plus zero x zero y plus x y plus j x j y plus x plus y j 0 neg zero x zero neg x plus zero x un y plus x y times x j y plus zero times x y neg x neg un x neg x times x times zero y z times x y times x times zero y z zero times x y times x times j y z zero times x y times x j y zero times x y times x times j y z plus zero times x y neg x times x times un y z times plus x zero times x y z neg zero x neg x plus j x j y plus y j 0 times x times j y z neg x minus x y neg y times x times un y z times x y times x times zero y z times zero times x y z times x zero y zero times x y times x times un y z zero times x y plus un x un y plus x plus y un 0 times x times j y z times x y plus zero x j y plus x y times x times un y z plus x zero times x y plus zero x zero y zero plus x y times x j y neg x neg j x neg x plus un x j y zero plus x y times x j y times x y minus x y plus x neg y plus un x un y plus y un 0 plus plus x 0 _1 plus x _1 plus plus un x j y _1 plus zero plus x y _1 times times x 0 _1 times 0 _1 times times x j y _1 times plus zero times x y neg x _1 plus plus un x un y _1 plus j plus x plus y un 0 _1 plus plus zero x j y _1 plus j plus x y _1 times times x times zero y z _1 times times zero times x y z _1 times times x times un y z _1 times times plus x zero times x y z _1 times times x times j y z _1 times times plus zero times x y neg x z _1 times times x zero y _1 times zero times x y _1 plus plus zero x zero y _1 plus zero plus x y _1 plus plus j x j y _1 plus un plus x plus y j 0 _1 times times x times 0 z _1 times times 0 z _1 plus plus zero x un y _1 plus un plus x y _1 times times x un y _1 times plus x zero times x y _1 minus x y plus x neg y false minus x y neg y false times x times un y z times plus x zero times x y z times x j y times x y times x y times y x times x times y z times times x y z times x times zero y z times x y times x times y z times x y times x times j y z times x y times x times zero y z times zero times x y z times x times un y z times x y times x zero y times x y times x times j y z times plus zero times x y neg x z times x un y times x y true zero 1 1 0 minus 2 0 plus 2 0 times 2 1 2 0 0 0 0 times 2 1 2 8367 neg 1 1 j 1 1 0 minus 2 0 plus 2 1 0 2 0 0 neg 1 0 zero 1 0 un 1 1 0 times x times un y z times x y times x times j y z times x y times x times y z times x y times x times zero y z times x y times x un y plus x zero times x y plus zero x un y un plus x y times x times 0 z times 0 z plus j x j y un plus x plus y j 0 zero 0 0 plus zero x zero y zero plus x y times x zero y zero times x y times x times j y z times plus zero times x y neg x z times x times un y z times plus x zero times x y z times x times zero y z times zero times x y z plus x plus y z plus plus x y z plus zero x j y j plus x y neg 0 0 plus un x un y j plus x plus y un 0 times x j y plus zero times x y neg x times x y times y x times x 0 0 neg un x j neg x plus x y plus y x times x times y z times times x y z neg zero x zero neg x neg j x un neg x plus un x j y zero plus x y plus x 0 x times x un y times x y times x zero y times x y times x times j y z times plus zero times x y neg x z times x times un y z times plus x zero times x y z times x times zero y z times zero times x y z times x j y times x y times x y times y x times x times y z times times x y z true Failed! NaTT certifiable-1.6