1 var 32 
2 constd 32 97 
3 add 32 1 2
4 eq 1 1 -3

5 eq 1 -3 1

6 and 1 4 5
7 root 1 6