1 var 8 
2 constd 8 7
3 add 8 1 2
4 add 8 2 3 
5 constd 8 5
6 mul 8 4 5

7 mul 8 2 5
8 mul 8 5 1 
9 mul 8 2 5
10 add 8 7 8
11 add 8 10 9

12 eq 1 6 11
13 root 1 -12