Details

Time bar (total: 1.2m)

sample68.0ms

Algorithm
intervals
Results
12.0ms170×body80valid
9.0ms26×body1280valid
7.0ms128×body80nan
5.0ms20×body640valid
5.0ms26×body320valid
3.0ms12×body1280nan
2.0ms10×body640nan
2.0ms14×body160valid
1.0ms5×body320nan
1.0ms5×body160nan

simplify17.0s

Counts
1 → 1
Iterations
IterNodes
done5000
2294985
2284965
2274945
2264924
2254899
2244880
2234860
2224837
2214816
2204797
2194775
2184754
2174733
2164711
2154691
2144670
2134645
2124626
2114606
2104583
2094562
2084543
2074521
2064500
2054479
2044457
2034437
2024416
2014393
2004374
1994354
1984331
1974310
1964291
1954269
1944248
1934227
1924207
1914187
1904166
1894143
1884124
1874104
1864081
1854060
1844041
1834019
1823998
1813977
1803957
1793937
1783916
1773891
1763872
1753852
1743829
1733808
1723789
1713767
1703746
1693725
1683703
1673683
1663662
1653637
1643618
1633598
1623575
1613554
1603535
1593513
1583492
1573471
1563449
1553429
1543408
1533385
1523366
1513346
1503323
1493302
1483283
1473261
1463240
1453219
1443195
1433175
1423154
1413129
1403110
1393090
1383067
1373046
1363027
1353005
1342984
1332963
1322943
1312923
1302902
1292879
1282860
1272840
1262817
1252796
1242777
1232755
1222734
1212713
1202693
1192673
1182652
1172627
1162608
1152588
1142565
1132544
1122525
1112503
1102482
1092461
1082441
1072421
1062400
1052377
1042358
1032338
1022315
1012294
1002275
992253
982232
972211
962189
952169
942148
932125
922106
912086
902063
892042
882023
872001
861980
851959
841939
831919
821898
811873
801854
791834
781811
771790
761771
751749
741728
731707
721687
711667
701646
691623
681604
671584
661561
651540
641521
631499
621478
611457
601435
591415
581394
571371
561352
551332
541309
531288
521269
511247
501226
491205
481185
471165
461144
451119
441100
431080
421057
411036
401017
39995
38974
37953
36933
35913
34892
33867
32848
31828
30805
29784
28765
27743
26722
25701
24681
23661
22640
21617
20598
19578
18555
17534
16515
15493
14472
13451
12428
11406
10360
9273
8126
786
675
565
453
340
229
119
09

prune15.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 21.3b

localize88.0ms

Local error

Found 4 expressions with local error:

0.0b
(- 1.0 (log (- 1.0 (/ (- x y) (- 1.0 y)))))
0.0b
(/ (- x y) (- 1.0 y))
3.5b
(- 1.0 (/ (- x y) (- 1.0 y)))
4.2b
(log (- 1.0 (/ (- x y) (- 1.0 y))))

rewrite442.0ms

Algorithm
rewrite-expression-head
Rules
192×add-sqr-sqrt
184×*-un-lft-identity
105×prod-diff
103×times-frac
91×add-cube-cbrt
49×difference-of-squares
47×distribute-lft-out--
12×log-prod
9×pow1 flip3-- flip--
8×associate-/r/
7×add-exp-log add-log-exp
6×add-cbrt-cube fma-neg associate--r+
5×associate-/r* log-pow associate-/l*
4×expm1-log1p-u log-div insert-posit16 log1p-expm1-u div-inv
3×associate--r-
2×sub-neg diff-log div-sub associate-/l/
1×cbrt-undiv clear-num frac-2neg div-exp rem-log-exp
Counts
4 → 231
Calls
4 calls:
107.0ms
(- 1.0 (log (- 1.0 (/ (- x y) (- 1.0 y)))))
58.0ms
(/ (- x y) (- 1.0 y))
81.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
157.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))

series514.0ms

Counts
4 → 12
Calls
4 calls:
189.0ms
(- 1.0 (log (- 1.0 (/ (- x y) (- 1.0 y)))))
68.0ms
(/ (- x y) (- 1.0 y))
94.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
163.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))

simplify5.7s

Counts
243 → 243
Iterations
IterNodes
done5000
22878
11027
0393

prune1.9s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.1b

localize156.0ms

Local error

Found 4 expressions with local error:

0.2b
(cbrt (- 1.0 y))
0.2b
(cbrt (- 1.0 y))
4.2b
(log (- 1.0 (/ (/ (- x y) (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (cbrt (- 1.0 y)))))
16.4b
(- 1.0 (/ (/ (- x y) (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (cbrt (- 1.0 y))))

rewrite758.0ms

Algorithm
rewrite-expression-head
Rules
540×times-frac
485×add-sqr-sqrt
461×*-un-lft-identity
426×prod-diff
303×add-cube-cbrt
298×cbrt-div
269×cbrt-prod
198×associate-/r/
151×flip3-- flip--
96×frac-times
87×difference-of-squares
79×distribute-lft-out--
48×associate-*l/ associate-*r/
27×div-inv
9×log-prod
6×add-log-exp
5×pow1 add-exp-log
4×expm1-log1p-u add-cbrt-cube insert-posit16 log1p-expm1-u
3×fma-neg
2×log-div pow1/3 div-sub
1×sub-neg diff-log rem-log-exp log-pow associate--r-
Counts
4 → 510
Calls
4 calls:
10.0ms
(cbrt (- 1.0 y))
14.0ms
(cbrt (- 1.0 y))
260.0ms
(log (- 1.0 (/ (/ (- x y) (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (cbrt (- 1.0 y)))))
310.0ms
(- 1.0 (/ (/ (- x y) (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (cbrt (- 1.0 y))))

series581.0ms

Counts
4 → 12
Calls
4 calls:
182.0ms
(cbrt (- 1.0 y))
136.0ms
(cbrt (- 1.0 y))
163.0ms
(log (- 1.0 (/ (/ (- x y) (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (cbrt (- 1.0 y)))))
100.0ms
(- 1.0 (/ (/ (- x y) (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (cbrt (- 1.0 y))))

simplify6.5s

Counts
522 → 522
Iterations
IterNodes
done5000
13189
01181

prune7.8s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.1b

localize198.0ms

Local error

Found 4 expressions with local error:

3.5b
(- 1.0 (/ (- x y) (- 1.0 y)))
4.2b
(log (- 1.0 (/ (- x y) (- 1.0 y))))
4.2b
(log (- 1.0 (/ (- x y) (- 1.0 y))))
4.2b
(log (- 1.0 (/ (- x y) (- 1.0 y))))

rewrite524.0ms

Algorithm
rewrite-expression-head
Rules
152×add-sqr-sqrt
140×*-un-lft-identity
93×prod-diff
79×times-frac
72×add-cube-cbrt
38×difference-of-squares
34×distribute-lft-out--
18×log-prod
7×pow1 flip3-- add-exp-log flip--
6×log-div associate-/r/ add-log-exp
4×expm1-log1p-u add-cbrt-cube insert-posit16 log1p-expm1-u
3×fma-neg rem-log-exp log-pow div-inv
1×sub-neg diff-log div-sub associate--r-
Counts
4 → 175
Calls
4 calls:
121.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
118.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))
141.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))
101.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))

series503.0ms

Counts
4 → 12
Calls
4 calls:
96.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
126.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))
137.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))
144.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))

simplify4.9s

Counts
187 → 187
Iterations
IterNodes
done5000
22109
1760
0302

prune2.1s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.1b

localize520.0ms

Local error

Found 4 expressions with local error:

4.2b
(log (- 1.0 (/ (- x y) (- 1.0 y))))
4.2b
(log (+ (- 1.0 (/ (/ (- x y) (cbrt (- 1.0 y))) (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y))))) (fma (/ (- x y) (cbrt (- 1.0 y))) (/ -1 (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (/ (/ (- x y) (cbrt (- 1.0 y))) (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))))))
15.9b
(- 1.0 (/ (/ (- x y) (cbrt (- 1.0 y))) (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))))
28.3b
(fma (/ (- x y) (cbrt (- 1.0 y))) (/ -1 (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (/ (/ (- x y) (cbrt (- 1.0 y))) (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))))

rewrite1.1s

Algorithm
rewrite-expression-head
Rules
264×times-frac
218×add-sqr-sqrt
212×*-un-lft-identity
174×prod-diff
125×add-cube-cbrt
76×cbrt-prod
45×difference-of-squares
42×cbrt-div distribute-lft-out--
30×associate-/r/
23×flip3-- flip--
12×frac-times
11×log-prod
6×pow1 associate-*l/ associate-*r/ add-exp-log div-inv add-log-exp
4×expm1-log1p-u log-div add-cbrt-cube insert-posit16 log1p-expm1-u
3×fma-neg
2×div-sub rem-log-exp log-pow distribute-lft-out
1×sub-neg flip3-+ diff-log flip-+ fma-udef associate--r-
Counts
4 → 248
Calls
4 calls:
136.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))
707.0ms
(log (+ (- 1.0 (/ (/ (- x y) (cbrt (- 1.0 y))) (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y))))) (fma (/ (- x y) (cbrt (- 1.0 y))) (/ -1 (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (/ (/ (- x y) (cbrt (- 1.0 y))) (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))))))
205.0ms
(- 1.0 (/ (/ (- x y) (cbrt (- 1.0 y))) (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))))
2.0ms
(fma (/ (- x y) (cbrt (- 1.0 y))) (/ -1 (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (/ (/ (- x y) (cbrt (- 1.0 y))) (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))))

series1.3s

Counts
4 → 12
Calls
4 calls:
142.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))
326.0ms
(log (+ (- 1.0 (/ (/ (- x y) (cbrt (- 1.0 y))) (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y))))) (fma (/ (- x y) (cbrt (- 1.0 y))) (/ -1 (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (/ (/ (- x y) (cbrt (- 1.0 y))) (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))))))
96.0ms
(- 1.0 (/ (/ (- x y) (cbrt (- 1.0 y))) (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))))
698.0ms
(fma (/ (- x y) (cbrt (- 1.0 y))) (/ -1 (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (/ (/ (- x y) (cbrt (- 1.0 y))) (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))))

simplify8.4s

Counts
260 → 260
Iterations
IterNodes
done5000
24539
11575
0635

prune4.3s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.1b

regimes802.0ms

Accuracy

99.5% (0.1b remaining)

Error of 0.2b against oracle of 0.1b and baseline of 17.3b

bsearch5.0ms

simplify8.0ms

Iterations
IterNodes
done22
022

end0.0ms

sample3.2s

Algorithm
intervals
Results
844.0ms3758×body80nan
529.0ms5631×body80valid
499.0ms824×body1280valid
308.0ms821×body640valid
187.0ms396×body640nan
136.0ms340×body1280nan
116.0ms468×body320valid
49.0ms215×body320nan
42.0ms256×body160valid
21.0ms126×body160nan