1 constd 4 7
2 var 4
3 one 4
4 mul 4 1 2
5 eq 1 3 4
6 root 1 5