1 var 1
2 var 4
3 var 4
4 var 4

5 and 4 2 3 
6 and 4 2 4
7 cond 4 1 5 6
8 cond 4 1 3 4
9 and 4 8 2

10 eq 1 7 9

11 and 4 2 4
12 and 4 3 4
13 cond 4 1 11 12
14 cond 4 1 2 3
15 and 4 14 4

16 eq 1 13 15

17 and 4 2 3
18 and 4 3 4
19 cond 4 1 17 18
20 cond 4 1 2 4
21 and 4 20 3

22 eq 1 19 21

23 and 4 3 4
24 and 4 2 3
25 cond 4 1 23 24
26 cond 4 1 4 2
27 and 4 26 3

28 eq 1 25 27

29 or 1 -10 -16
30 or 1 -22 -28
31 or 1 29 30
32 root 1 31