1 var 4 
2 var 4 
3 var 4 
4 add 4 1 2
5 add 4 1 3
6 eq 1 4 5

7 eq 1 2 3
8 eq 1 6 7


9 add 4 1 2
10 add 4 2 3
11 eq 1 9 10

12 eq 1 1 3
13 eq 1 11 12


14 add 4 1 3
15 add 4 2 3
16 eq 1 14 15

17 eq 1 1 2
18 eq 1 16 17


19 add 4 2 3
20 add 4 1 2
21 eq 1 19 20

22 eq 1 12 21


23 or 1 -8 -13
24 or 1 -18 -22
25 or 1 23 24
26 root 1 25