1 var 32 P_3
2 slice 1 1 15 15
3 zero 16
4 cond 16 2 -3 3
5 slice 16 1 15 0
6 concat 32 4 5
7 var 32 P_2
8 slice 1 7 15 15
9 cond 16 8 -3 3
10 slice 16 7 15 0
11 concat 32 9 10
12 mul 32 6 11
13 concat 17 -3 8
14 concat 17 3 8
15 cond 17 8 13 14
16 concat 33 15 10
17 concat 17 -3 2
18 concat 17 3 2
19 cond 17 2 17 18
20 concat 33 19 5
21 mul 33 16 20
22 slice 32 21 31 0
23 eq 1 12 22
24 root 1 -23