1 var 32 
2 constd 32 91
3 var 32
4 var 1
5 add 32 1 2
6 cond 32 4 3 1
7 eq 1 5 6

8 eq 1 5 3
9 and 1 8 4

12 eq 1 7 9
13 root 1 -12