1 var 8 a
2 var 8 b
3 var 8 c
4 var 8 x
5 var 8 y
6 var 8 z 
7 var 8 u
8 var 8 v

9 add 8 1 2
10 eq 1 4 9
11 add 8 5 3
12 eq 1 2 11
13 constd 8 7
14 add 8 13 5
15 eq 1 3 14
16 constd 8 2
17 mul 8 16 4
18 eq 1 5 17
19 constd 8 3
20 mul 8 19 2
21 add 8 20 8
22 eq 1 7 21
23 mul 8 13 6
24 eq 1 8 23

25 root 1 10
26 root 1 12
27 root 1 15
28 root 1 18
29 root 1 22
30 root 1 24