1 var 8
2 constd 8 2
3 add 8 1 1
4 mul 8 1 2
5 eq 1 3 4
6 root 1 5