Details

Time bar (total: 33.1s)

sample36.0ms

Algorithm
intervals
Results
23.0ms303×body80valid

simplify2.7s

Counts
1 → 1
Iterations
IterNodes
62939
5768
4260
378
238
116
08

prune20.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.6b

localize7.0ms

Local error

Found 1 expressions with local error:

5.7b
(* (/ x z) y)

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
14×add-sqr-sqrt
13×associate-*l*
10×times-frac
9×*-un-lft-identity add-cube-cbrt
6×add-cbrt-cube add-exp-log
3×pow1 associate-*r*
2×prod-exp cbrt-unprod unswap-sqr
1×cbrt-undiv div-exp pow-prod-down associate-*l/ *-commutative insert-posit16 div-inv add-log-exp
Counts
1 → 33
Calls
1 calls:
10.0ms
(* (/ x z) y)

series42.0ms

Counts
1 → 3
Calls
1 calls:
42.0ms
(* (/ x z) y)

simplify2.2s

Counts
36 → 36
Iterations
IterNodes
43469
31307
2453
1156
068

prune274.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

localize15.0ms

Local error

Found 1 expressions with local error:

5.4b
(/ (* x y) z)

rewrite26.0ms

Algorithm
rewrite-expression-head
Rules
6×add-cbrt-cube add-exp-log
3×add-sqr-sqrt associate-/r* *-un-lft-identity times-frac add-cube-cbrt
2×cbrt-undiv div-exp
1×pow1 clear-num frac-2neg prod-exp cbrt-unprod insert-posit16 div-inv associate-/l* add-log-exp
Counts
1 → 22
Calls
1 calls:
25.0ms
(/ (* x y) z)

series50.0ms

Counts
1 → 3
Calls
1 calls:
50.0ms
(/ (* x y) z)

simplify6.0s

Counts
25 → 25
Iterations
IterNodes
46357
31493
2365
1113
049

prune200.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.0b

localize20.0ms

Local error

Found 4 expressions with local error:

1.4b
(* (* (cbrt (/ x z)) (cbrt (/ x z))) (* (cbrt (/ x z)) y))
12.5b
(cbrt (/ x z))
12.5b
(cbrt (/ x z))
12.5b
(cbrt (/ x z))

rewrite75.0ms

Algorithm
rewrite-expression-head
Rules
39×cbrt-prod
27×times-frac
25×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
16×pow1 add-exp-log
15×cbrt-div
10×add-cbrt-cube
9×associate-*l/
8×pow-prod-down prod-exp cbrt-unprod
5×frac-times
4×insert-posit16 add-log-exp
3×pow1/3 associate-*r/ div-inv
1×associate-*r* associate-*l* *-commutative
Counts
4 → 99
Calls
4 calls:
68.0ms
(* (* (cbrt (/ x z)) (cbrt (/ x z))) (* (cbrt (/ x z)) y))
1.0ms
(cbrt (/ x z))
1.0ms
(cbrt (/ x z))
2.0ms
(cbrt (/ x z))

series351.0ms

Counts
4 → 12
Calls
4 calls:
33.0ms
(* (* (cbrt (/ x z)) (cbrt (/ x z))) (* (cbrt (/ x z)) y))
121.0ms
(cbrt (/ x z))
96.0ms
(cbrt (/ x z))
100.0ms
(cbrt (/ x z))

simplify3.8s

Counts
111 → 111
Iterations
IterNodes
45320
31805
2685
1259
0123

prune911.0ms

Pruning

8 alts after pruning (5 fresh and 3 done)

Merged error: 0b

localize52.0ms

Local error

Found 4 expressions with local error:

1.4b
(* (* (cbrt (/ x z)) (cbrt (/ x z))) (* (* (cbrt (/ 1 (* (cbrt z) (cbrt z)))) (cbrt (/ x (cbrt z)))) y))
4.2b
(cbrt (/ x (cbrt z)))
12.5b
(cbrt (/ x z))
12.5b
(cbrt (/ x z))

rewrite178.0ms

Algorithm
rewrite-expression-head
Rules
57×cbrt-prod
36×times-frac
35×cbrt-div
31×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
25×pow1 add-exp-log
23×associate-*l/
17×frac-times
15×add-cbrt-cube pow-prod-down prod-exp cbrt-unprod
11×associate-*r/
4×insert-posit16 add-log-exp
3×pow1/3 div-inv
1×associate-*r* associate-*l* *-commutative
Counts
4 → 122
Calls
4 calls:
164.0ms
(* (* (cbrt (/ x z)) (cbrt (/ x z))) (* (* (cbrt (/ 1 (* (cbrt z) (cbrt z)))) (cbrt (/ x (cbrt z)))) y))
4.0ms
(cbrt (/ x (cbrt z)))
3.0ms
(cbrt (/ x z))
3.0ms
(cbrt (/ x z))

series564.0ms

Counts
4 → 12
Calls
4 calls:
35.0ms
(* (* (cbrt (/ x z)) (cbrt (/ x z))) (* (* (cbrt (/ 1 (* (cbrt z) (cbrt z)))) (cbrt (/ x (cbrt z)))) y))
306.0ms
(cbrt (/ x (cbrt z)))
87.0ms
(cbrt (/ x z))
135.0ms
(cbrt (/ x z))

simplify4.1s

Counts
134 → 134
Iterations
IterNodes
36530
21576
1522
0231

prune1.3s

Pruning

8 alts after pruning (4 fresh and 4 done)

Merged error: 0b

regimes343.0ms

Accuracy

1.3% (5.8b remaining)

Error of 5.9b against oracle of 0.0b and baseline of 5.9b

bsearch157.0ms

Steps
ItersRangePoint
9
4.380047661400803e+177
1.5122118010753044e+183
2.487988218208264e+178
0
3.1633403523653874e-97
3.210462919527377e-97
3.186901635946382e-97
6
-1.865625051625032e-190
-1.515992856544857e-191
-2.5758087551247737e-191
9
-5.35833788429077e+167
-1.4742512315546893e+162
-5.6091150268147854e+166

simplify7.8s

Iterations
IterNodes
2692004
2681996
2671989
2661981
2651974
2641966
2631959
2621951
2611944
2601936
2591929
2581921
2571914
2561906
2551899
2541891
2531884
2521876
2511869
2501861
2491854
2481846
2471839
2461831
2451824
2441816
2431809
2421801
2411794
2401786
2391779
2381771
2371764
2361756
2351749
2341741
2331734
2321726
2311719
2301711
2291704
2281696
2271689
2261681
2251674
2241666
2231659
2221651
2211644
2201636
2191629
2181621
2171614
2161606
2151599
2141591
2131584
2121576
2111569
2101561
2091554
2081546
2071539
2061531
2051524
2041516
2031509
2021501
2011494
2001486
1991479
1981471
1971464
1961456
1951449
1941441
1931434
1921426
1911419
1901411
1891404
1881396
1871389
1861381
1851374
1841366
1831359
1821351
1811344
1801336
1791329
1781321
1771314
1761306
1751299
1741291
1731284
1721276
1711269
1701261
1691254
1681246
1671239
1661231
1651224
1641216
1631209
1621201
1611194
1601186
1591179
1581171
1571164
1561156
1551149
1541141
1531134
1521126
1511119
1501111
1491104
1481096
1471089
1461081
1451074
1441066
1431059
1421051
1411044
1401036
1391029
1381021
1371014
1361006
135999
134991
133984
132976
131969
130961
129954
128946
127939
126931
125924
124916
123909
122901
121894
120886
119879
118871
117864
116856
115849
114841
113834
112826
111819
110811
109804
108796
107789
106781
105774
104766
103759
102751
101744
100736
99729
98721
97714
96706
95699
94691
93684
92676
91669
90661
89654
88646
87639
86631
85624
84616
83609
82601
81594
80586
79579
78571
77564
76556
75549
74541
73534
72526
71519
70511
69504
68496
67489
66481
65474
64466
63459
62451
61444
60436
59429
58421
57414
56406
55399
54391
53384
52376
51369
50361
49354
48346
47339
46331
45324
44316
43309
42301
41294
40286
39279
38271
37264
36256
35249
34241
33234
32226
31219
30211
29204
28196
27189
26181
25174
24166
23159
22151
21144
20136
19129
18121
17114
16106
1599
1491
1384
1276
1169
1061
954
844
743
640
539
436
333
227
124
019

end0.0ms

sample1.8s

Algorithm
intervals
Results
1.4s9565×body80valid