1 var 2 counter
2 one 2
3 add 2 1 2
4 next 2 1 3
5 ones 2
6 eq 1 1 5
7 root 1 6