1 var 8 
2 constd 8 4 
3 constd 8 3 
4 constd 8 12 

5 mul 8 1 2
6 mul 8 5 3

7 mul 8 1 4
8 eq 1 6 7


9 mul 8 3 5 
10 eq 1 9 7

11 or 1 -8 -10
12 root 1 11