Details

Time bar (total: 1.4m)

sample52.0ms

Algorithm
intervals
Results
27.0ms273×body80valid

simplify64.0ms

Counts
1 → 1
Iterations
IterNodes
done53
553
451
345
235
126
015

prune28.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 11.4b

localize38.0ms

Local error

Found 3 expressions with local error:

2.4b
(fma (/ y t) b (+ a 1.0))
4.8b
(fma (/ y t) z x)
11.4b
(/ (fma (/ y t) z x) (fma (/ y t) b (+ a 1.0)))

rewrite5.0ms

Algorithm
rewrite-expression-head
Rules
11×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
9×times-frac
5×add-cbrt-cube add-exp-log
3×expm1-log1p-u pow1 associate-/r* insert-posit16 log1p-expm1-u associate-/l* add-log-exp
2×fma-udef
1×cbrt-undiv clear-num frac-2neg div-exp div-inv
Counts
3 → 52
Calls
3 calls:
0.0ms
(fma (/ y t) b (+ a 1.0))
0.0ms
(fma (/ y t) z x)
4.0ms
(/ (fma (/ y t) z x) (fma (/ y t) b (+ a 1.0)))

series686.0ms

Counts
3 → 9
Calls
3 calls:
46.0ms
(fma (/ y t) b (+ a 1.0))
44.0ms
(fma (/ y t) z x)
596.0ms
(/ (fma (/ y t) z x) (fma (/ y t) b (+ a 1.0)))

simplify2.9s

Counts
61 → 61
Iterations
IterNodes
done5000
44450
31013
2321
1130
080

prune380.0ms

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 10.7b

localize21.0ms

Local error

Found 4 expressions with local error:

0.5b
(/ 1 (fma (/ y t) b (+ a 1.0)))
2.4b
(fma (/ y t) b (+ a 1.0))
4.8b
(fma (/ y t) z x)
11.3b
(* (fma (/ y t) z x) (/ 1 (fma (/ y t) b (+ a 1.0))))

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
27×add-sqr-sqrt
21×*-un-lft-identity
20×times-frac add-cube-cbrt
17×add-exp-log
13×associate-*r*
11×add-cbrt-cube
7×pow1
4×expm1-log1p-u div-exp prod-exp insert-posit16 log1p-expm1-u add-log-exp
3×associate-/r* associate-*l* associate-/l* unswap-sqr
2×cbrt-undiv rec-exp 1-exp cbrt-unprod fma-udef div-inv
1×clear-num frac-2neg pow-prod-down associate-*r/ un-div-inv *-commutative pow-flip inv-pow
Counts
4 → 95
Calls
4 calls:
4.0ms
(/ 1 (fma (/ y t) b (+ a 1.0)))
0.0ms
(fma (/ y t) b (+ a 1.0))
0.0ms
(fma (/ y t) z x)
14.0ms
(* (fma (/ y t) z x) (/ 1 (fma (/ y t) b (+ a 1.0))))

series863.0ms

Counts
4 → 12
Calls
4 calls:
179.0ms
(/ 1 (fma (/ y t) b (+ a 1.0)))
65.0ms
(fma (/ y t) b (+ a 1.0))
57.0ms
(fma (/ y t) z x)
561.0ms
(* (fma (/ y t) z x) (/ 1 (fma (/ y t) b (+ a 1.0))))

simplify2.0s

Counts
107 → 107
Iterations
IterNodes
done5003
32028
2622
1235
0118

prune689.0ms

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 10.7b

localize49.0ms

Local error

Found 4 expressions with local error:

5.9b
(* (/ 1 (* (cbrt (fma (/ y t) b (+ a 1.0))) (cbrt (fma (/ y t) b (+ a 1.0))))) (/ (fma (/ y t) z x) (cbrt (fma (/ y t) b (+ a 1.0)))))
10.6b
(cbrt (fma (/ y t) b (+ a 1.0)))
10.6b
(cbrt (fma (/ y t) b (+ a 1.0)))
10.6b
(cbrt (fma (/ y t) b (+ a 1.0)))

rewrite57.0ms

Algorithm
rewrite-expression-head
Rules
49×add-exp-log
43×add-sqr-sqrt
33×times-frac
25×*-un-lft-identity
22×associate-*r* add-cube-cbrt
21×cbrt-prod
20×prod-exp
18×add-cbrt-cube
15×div-exp
9×unswap-sqr
8×cbrt-unprod
7×cbrt-undiv associate-*l*
6×pow1
4×expm1-log1p-u rec-exp 1-exp insert-posit16 log1p-expm1-u add-log-exp
3×pow1/3
2×div-inv
1×frac-times pow-prod-down associate-*l/ associate-*r/ *-commutative
Counts
4 → 115
Calls
4 calls:
54.0ms
(* (/ 1 (* (cbrt (fma (/ y t) b (+ a 1.0))) (cbrt (fma (/ y t) b (+ a 1.0))))) (/ (fma (/ y t) z x) (cbrt (fma (/ y t) b (+ a 1.0)))))
1.0ms
(cbrt (fma (/ y t) b (+ a 1.0)))
1.0ms
(cbrt (fma (/ y t) b (+ a 1.0)))
1.0ms
(cbrt (fma (/ y t) b (+ a 1.0)))

series1.6s

Counts
4 → 12
Calls
4 calls:
653.0ms
(* (/ 1 (* (cbrt (fma (/ y t) b (+ a 1.0))) (cbrt (fma (/ y t) b (+ a 1.0))))) (/ (fma (/ y t) z x) (cbrt (fma (/ y t) b (+ a 1.0)))))
291.0ms
(cbrt (fma (/ y t) b (+ a 1.0)))
283.0ms
(cbrt (fma (/ y t) b (+ a 1.0)))
343.0ms
(cbrt (fma (/ y t) b (+ a 1.0)))

simplify2.2s

Counts
127 → 127
Iterations
IterNodes
done5000
22003
1518
0185

prune1.1s

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 10.7b

localize49.0ms

Local error

Found 4 expressions with local error:

5.9b
(* (/ (fma (/ y t) z x) (cbrt (fma (/ y t) b (+ a 1.0)))) (/ 1 (* (cbrt (fma (/ y t) b (+ a 1.0))) (cbrt (fma (/ y t) b (+ a 1.0))))))
10.6b
(cbrt (fma (/ y t) b (+ a 1.0)))
10.6b
(cbrt (fma (/ y t) b (+ a 1.0)))
10.6b
(cbrt (fma (/ y t) b (+ a 1.0)))

rewrite46.0ms

Algorithm
rewrite-expression-head
Rules
49×add-exp-log
43×add-sqr-sqrt
33×times-frac
25×*-un-lft-identity
22×associate-*l* add-cube-cbrt
21×cbrt-prod
20×prod-exp
18×add-cbrt-cube
15×div-exp
9×unswap-sqr
8×cbrt-unprod
7×cbrt-undiv associate-*r*
6×pow1
4×expm1-log1p-u rec-exp 1-exp insert-posit16 log1p-expm1-u add-log-exp
3×pow1/3
2×div-inv
1×frac-times pow-prod-down associate-*l/ associate-*r/ un-div-inv *-commutative
Counts
4 → 116
Calls
4 calls:
41.0ms
(* (/ (fma (/ y t) z x) (cbrt (fma (/ y t) b (+ a 1.0)))) (/ 1 (* (cbrt (fma (/ y t) b (+ a 1.0))) (cbrt (fma (/ y t) b (+ a 1.0))))))
1.0ms
(cbrt (fma (/ y t) b (+ a 1.0)))
1.0ms
(cbrt (fma (/ y t) b (+ a 1.0)))
1.0ms
(cbrt (fma (/ y t) b (+ a 1.0)))

series1.4s

Counts
4 → 12
Calls
4 calls:
567.0ms
(* (/ (fma (/ y t) z x) (cbrt (fma (/ y t) b (+ a 1.0)))) (/ 1 (* (cbrt (fma (/ y t) b (+ a 1.0))) (cbrt (fma (/ y t) b (+ a 1.0))))))
281.0ms
(cbrt (fma (/ y t) b (+ a 1.0)))
287.0ms
(cbrt (fma (/ y t) b (+ a 1.0)))
276.0ms
(cbrt (fma (/ y t) b (+ a 1.0)))

simplify1.8s

Counts
128 → 128
Iterations
IterNodes
done5001
21661
1450
0173

prune900.0ms

Pruning

11 alts after pruning (9 fresh and 2 done)

Merged error: 10.7b

regimes1.1s

Accuracy

55.7% (1.2b remaining)

Error of 12.6b against oracle of 11.4b and baseline of 14.1b

bsearch4.0ms

simplify1.1m

Iterations
IterNodes
done5002
6664997
6654990
6644982
6634975
6624967
6614960
6604952
6594945
6584937
6574930
6564922
6554915
6544907
6534900
6524892
6514885
6504877
6494870
6484862
6474855
6464847
6454840
6444832
6434825
6424817
6414810
6404802
6394795
6384787
6374780
6364772
6354765
6344757
6334750
6324742
6314735
6304727
6294720
6284712
6274705
6264697
6254690
6244682
6234675
6224667
6214660
6204652
6194645
6184637
6174630
6164622
6154615
6144607
6134600
6124592
6114585
6104577
6094570
6084562
6074555
6064547
6054540
6044532
6034525
6024517
6014510
6004502
5994495
5984487
5974480
5964472
5954465
5944457
5934450
5924442
5914435
5904427
5894420
5884412
5874405
5864397
5854390
5844382
5834375
5824367
5814360
5804352
5794345
5784337
5774330
5764322
5754315
5744307
5734300
5724292
5714285
5704277
5694270
5684262
5674255
5664247
5654240
5644232
5634225
5624217
5614210
5604202
5594195
5584187
5574180
5564172
5554165
5544157
5534150
5524142
5514135
5504127
5494120
5484112
5474105
5464097
5454090
5444082
5434075
5424067
5414060
5404052
5394045
5384037
5374030
5364022
5354015
5344007
5334000
5323992
5313985
5303977
5293970
5283962
5273955
5263947
5253940
5243932
5233925
5223917
5213910
5203902
5193895
5183887
5173880
5163872
5153865
5143857
5133850
5123842
5113835
5103827
5093820
5083812
5073805
5063797
5053790
5043782
5033775
5023767
5013760
5003752
4993745
4983737
4973730
4963722
4953715
4943707
4933700
4923692
4913685
4903677
4893670
4883662
4873655
4863647
4853640
4843632
4833625
4823617
4813610
4803602
4793595
4783587
4773580
4763572
4753565
4743557
4733550
4723542
4713535
4703527
4693520
4683512
4673505
4663497
4653490
4643482
4633475
4623467
4613460
4603452
4593445
4583437
4573430
4563422
4553415
4543407
4533400
4523392
4513385
4503377
4493370
4483362
4473355
4463347
4453340
4443332
4433325
4423317
4413310
4403302
4393295
4383287
4373280
4363272
4353265
4343257
4333250
4323242
4313235
4303227
4293220
4283212
4273205
4263197
4253190
4243182
4233175
4223167
4213160
4203152
4193145
4183137
4173130
4163122
4153115
4143107
4133100
4123092
4113085
4103077
4093070
4083062
4073055
4063047
4053040
4043032
4033025
4023017
4013010
4003002
3992995
3982987
3972980
3962972
3952965
3942957
3932950
3922942
3912935
3902927
3892920
3882912
3872905
3862897
3852890
3842882
3832875
3822867
3812860
3802852
3792845
3782837
3772830
3762822
3752815
3742807
3732800
3722792
3712785
3702777
3692770
3682762
3672755
3662747
3652740
3642732
3632725
3622717
3612710
3602702
3592695
3582687
3572680
3562672
3552665
3542657
3532650
3522642
3512635
3502627
3492620
3482612
3472605
3462597
3452590
3442582
3432575
3422567
3412560
3402552
3392545
3382537
3372530
3362522
3352515
3342507
3332500
3322492
3312485
3302477
3292470
3282462
3272455
3262447
3252440
3242432
3232425
3222417
3212410
3202402
3192395
3182387
3172380
3162372
3152365
3142357
3132350
3122342
3112335
3102327
3092320
3082312
3072305
3062297
3052290
3042282
3032275
3022267
3012260
3002252
2992245
2982237
2972230
2962222
2952215
2942207
2932200
2922192
2912185
2902177
2892170
2882162
2872155
2862147
2852140
2842132
2832125
2822117
2812110
2802102
2792095
2782087
2772080
2762072
2752065
2742057
2732050
2722042
2712035
2702027
2692020
2682012
2672005
2661997
2651990
2641982
2631975
2621967
2611960
2601952
2591945
2581937
2571930
2561922
2551915
2541907
2531900
2521892
2511885
2501877
2491870
2481862
2471855
2461847
2451840
2441832
2431825
2421817
2411810
2401802
2391795
2381787
2371780
2361772
2351765
2341757
2331750
2321742
2311735
2301727
2291720
2281712
2271705
2261697
2251690
2241682
2231675
2221667
2211660
2201652
2191645
2181637
2171630
2161622
2151615
2141607
2131600
2121592
2111585
2101577
2091570
2081562
2071555
2061547
2051540
2041532
2031525
2021517
2011510
2001502
1991495
1981487
1971480
1961472
1951465
1941457
1931450
1921442
1911435
1901427
1891420
1881412
1871405
1861397
1851390
1841382
1831375
1821367
1811360
1801352
1791345
1781337
1771330
1761322
1751315
1741307
1731300
1721292
1711285
1701277
1691270
1681262
1671255
1661247
1651240
1641232
1631225
1621217
1611210
1601202
1591195
1581187
1571180
1561172
1551165
1541157
1531150
1521142
1511135
1501127
1491120
1481112
1471105
1461097
1451090
1441082
1431075
1421067
1411060
1401052
1391045
1381037
1371030
1361022
1351015
1341007
1331000
132992
131985
130977
129970
128962
127955
126947
125940
124932
123925
122917
121910
120902
119895
118887
117880
116872
115865
114857
113850
112842
111835
110827
109820
108812
107805
106797
105790
104782
103775
102767
101760
100752
99745
98737
97730
96722
95715
94707
93700
92692
91685
90677
89670
88662
87655
86647
85640
84632
83625
82617
81610
80602
79595
78587
77580
76572
75565
74557
73550
72542
71535
70527
69520
68512
67505
66497
65490
64482
63475
62467
61460
60452
59445
58437
57430
56422
55415
54407
53400
52392
51385
50377
49370
48362
47355
46347
45340
44332
43325
42317
41310
40302
39295
38287
37280
36272
35265
34257
33250
32242
31235
30227
29220
28212
27205
26197
25190
24182
23175
22167
21160
20152
19145
18137
17130
16122
15115
14107
13100
1292
1185
1077
970
860
759
656
555
452
349
243
140
032

end0.0ms

sample933.0ms

Algorithm
intervals
Results
650.0ms8295×body80valid