Details

Time bar (total: 26.5s)

sample39.0ms

Algorithm
intervals
Results
25.0ms256×body80valid

simplify208.0ms

Counts
1 → 1
Iterations
IterNodes
8161
7161
6154
5138
489
348
227
115
07

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 14.7b

localize23.0ms

Local error

Found 1 expressions with local error:

14.7b
(/ (* (* 2 x) y) (- x y))

rewrite55.0ms

Algorithm
rewrite-expression-head
Rules
10×add-cbrt-cube add-exp-log
add-sqr-sqrt *-un-lft-identity
associate-/r* times-frac
cbrt-undiv div-exp prod-exp add-cube-cbrt cbrt-unprod
associate-/r/ distribute-lft-out-- difference-of-squares
pow1 clear-num frac-2neg flip3-- insert-posit16 div-inv flip-- associate-/l* add-log-exp
Counts
1 → 30
Calls
1 calls:
54.0ms
(/ (* (* 2 x) y) (- x y))

series136.0ms

Counts
1 → 3
Calls
1 calls:
136.0ms
(/ (* (* 2 x) y) (- x y))

simplify3.2s

Counts
33 → 33
Iterations
IterNodes
34899
2885
1221
078

prune339.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize39.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt (- x y))
0.5b
(cbrt (- x y))
0.5b
(cbrt (- x y))
6.7b
(* (/ (* 2 x) (* (cbrt (- x y)) (cbrt (- x y)))) (/ y (cbrt (- x y))))

rewrite189.0ms

Algorithm
rewrite-expression-head
Rules
45×add-exp-log
43×add-sqr-sqrt
35×*-un-lft-identity
32×add-cbrt-cube
31×cbrt-prod
30×associate-*r*
27×times-frac
23×add-cube-cbrt
20×cbrt-div
18×prod-exp cbrt-unprod
13×cbrt-undiv div-exp associate-*l*
10×flip3-- associate-/r/ flip--
pow1 distribute-lft-out-- difference-of-squares
frac-times
insert-posit16 add-log-exp
pow1/3 associate-*l/ associate-*r/ unswap-sqr
div-inv
pow-prod-down *-commutative
Counts
4 → 127
Calls
4 calls:
7.0ms
(cbrt (- x y))
7.0ms
(cbrt (- x y))
7.0ms
(cbrt (- x y))
165.0ms
(* (/ (* 2 x) (* (cbrt (- x y)) (cbrt (- x y)))) (/ y (cbrt (- x y))))

series1.0s

Counts
4 → 12
Calls
4 calls:
281.0ms
(cbrt (- x y))
292.0ms
(cbrt (- x y))
286.0ms
(cbrt (- x y))
141.0ms
(* (/ (* 2 x) (* (cbrt (- x y)) (cbrt (- x y)))) (/ y (cbrt (- x y))))

simplify1.7s

Counts
139 → 139
Iterations
IterNodes
23074
1623
0214

prune1.8s

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.0b

regimes269.0ms

Accuracy

90.9% (0.7b remaining)

Error of 0.7b against oracle of 0.0b and baseline of 7.8b

bsearch3.0ms

simplify16.4s

Iterations
IterNodes
2692006
2681998
2671991
2661983
2651976
2641968
2631961
2621953
2611946
2601938
2591931
2581923
2571916
2561908
2551901
2541893
2531886
2521878
2511871
2501863
2491856
2481848
2471841
2461833
2451826
2441818
2431811
2421803
2411796
2401788
2391781
2381773
2371766
2361758
2351751
2341743
2331736
2321728
2311721
2301713
2291706
2281698
2271691
2261683
2251676
2241668
2231661
2221653
2211646
2201638
2191631
2181623
2171616
2161608
2151601
2141593
2131586
2121578
2111571
2101563
2091556
2081548
2071541
2061533
2051526
2041518
2031511
2021503
2011496
2001488
1991481
1981473
1971466
1961458
1951451
1941443
1931436
1921428
1911421
1901413
1891406
1881398
1871391
1861383
1851376
1841368
1831361
1821353
1811346
1801338
1791331
1781323
1771316
1761308
1751301
1741293
1731286
1721278
1711271
1701263
1691256
1681248
1671241
1661233
1651226
1641218
1631211
1621203
1611196
1601188
1591181
1581173
1571166
1561158
1551151
1541143
1531136
1521128
1511121
1501113
1491106
1481098
1471091
1461083
1451076
1441068
1431061
1421053
1411046
1401038
1391031
1381023
1371016
1361008
1351001
134993
133986
132978
131971
130963
129956
128948
127941
126933
125926
124918
123911
122903
121896
120888
119881
118873
117866
116858
115851
114843
113836
112828
111821
110813
109806
108798
107791
106783
105776
104768
103761
102753
101746
100738
99731
98723
97716
96708
95701
94693
93686
92678
91671
90663
89656
88648
87641
86633
85626
84618
83611
82603
81596
80588
79581
78573
77566
76558
75551
74543
73536
72528
71521
70513
69506
68498
67491
66483
65476
64468
63461
62453
61446
60438
59431
58423
57416
56408
55401
54393
53386
52378
51371
50363
49356
48348
47341
46333
45326
44318
43311
42303
41296
40288
39281
38273
37266
36258
35251
34243
33236
32228
31221
30213
29206
28198
27191
26183
25176
24168
23161
22153
21146
20138
19131
18123
17116
16108
15101
1493
1386
1278
1171
1063
956
846
745
642
541
438
335
229
126
021

end0.0ms

sample1.1s

Algorithm
intervals
Results
887.0ms8000×body80valid