Details

Time bar (total: 1.3m)

sample47.0ms

Algorithm
intervals
Results
20.0ms237×body80valid
4.0ms13×body640valid
3.0ms10×body1280valid
3.0ms13×body320valid
1.0ms4×body160valid

simplify3.7s

Counts
1 → 1
Iterations
IterNodes
done5001
83757
72046
6989
5406
4195
3103
250
122
011

prune12.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 9.7b

localize17.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ y (- a t))
11.3b
(fma (- t z) (/ y (- a t)) (+ x y))

rewrite14.0ms

Algorithm
rewrite-expression-head
Rules
20×add-sqr-sqrt *-un-lft-identity
15×times-frac
12×add-cube-cbrt
5×associate-/r*
4×add-cbrt-cube add-exp-log distribute-lft-out-- difference-of-squares
3×associate-/l*
2×expm1-log1p-u pow1 associate-/r/ insert-posit16 log1p-expm1-u add-log-exp
1×cbrt-undiv clear-num frac-2neg flip3-- div-exp fma-udef div-inv flip--
Counts
2 → 51
Calls
2 calls:
13.0ms
(/ y (- a t))
0.0ms
(fma (- t z) (/ y (- a t)) (+ x y))

series206.0ms

Counts
2 → 6
Calls
2 calls:
56.0ms
(/ y (- a t))
149.0ms
(fma (- t z) (/ y (- a t)) (+ x y))

simplify1.2s

Counts
57 → 57
Iterations
IterNodes
done5000
31386
2456
1176
094

prune313.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 1.9b

localize26.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ 1 (- a t))
0.2b
(* y (/ 1 (- a t)))
11.2b
(fma (- t z) (* y (/ 1 (- a t))) (+ x y))

rewrite45.0ms

Algorithm
rewrite-expression-head
Rules
44×add-sqr-sqrt
38×*-un-lft-identity
32×times-frac
23×add-cube-cbrt
21×associate-*r*
16×add-exp-log
10×add-cbrt-cube
7×distribute-lft-out-- difference-of-squares
6×pow1
5×associate-/r*
4×div-exp prod-exp associate-/r/
3×expm1-log1p-u associate-*l* insert-posit16 log1p-expm1-u associate-/l* add-log-exp unswap-sqr
2×cbrt-undiv rec-exp flip3-- 1-exp cbrt-unprod div-inv flip--
1×clear-num frac-2neg pow-prod-down associate-*r/ un-div-inv *-commutative fma-udef pow-flip inv-pow
Counts
3 → 102
Calls
3 calls:
19.0ms
(/ 1 (- a t))
23.0ms
(* y (/ 1 (- a t)))
0.0ms
(fma (- t z) (* y (/ 1 (- a t))) (+ x y))

series212.0ms

Counts
3 → 9
Calls
3 calls:
41.0ms
(/ 1 (- a t))
34.0ms
(* y (/ 1 (- a t)))
137.0ms
(fma (- t z) (* y (/ 1 (- a t))) (+ x y))

simplify1.5s

Counts
111 → 111
Iterations
IterNodes
done5000
31934
2768
1299
0135

prune544.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 1.9b

localize25.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ (- a t) y)
0.8b
(/ 1 (/ (- a t) y))
11.2b
(fma (- t z) (/ 1 (/ (- a t) y)) (+ x y))

rewrite41.0ms

Algorithm
rewrite-expression-head
Rules
132×times-frac
101×add-sqr-sqrt *-un-lft-identity
69×add-cube-cbrt
22×associate-/r*
16×add-exp-log distribute-lft-out-- difference-of-squares
10×add-cbrt-cube
8×div-exp associate-/l*
6×div-inv
4×pow1 cbrt-undiv
3×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
2×rec-exp clear-num frac-2neg 1-exp associate-/l/
1×flip3-- div-sub associate-/r/ fma-udef pow-flip flip-- inv-pow
Counts
3 → 155
Calls
3 calls:
22.0ms
(/ (- a t) y)
16.0ms
(/ 1 (/ (- a t) y))
0.0ms
(fma (- t z) (/ 1 (/ (- a t) y)) (+ x y))

series386.0ms

Counts
3 → 9
Calls
3 calls:
33.0ms
(/ (- a t) y)
95.0ms
(/ 1 (/ (- a t) y))
258.0ms
(fma (- t z) (/ 1 (/ (- a t) y)) (+ x y))

simplify2.2s

Counts
164 → 164
Iterations
IterNodes
done5000
34475
21381
1516
0213

prune641.0ms

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 1.9b

localize27.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ y (- a t))
11.3b
(fma (- t z) (/ y (- a t)) (+ x y))

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
20×add-sqr-sqrt *-un-lft-identity
15×times-frac
12×add-cube-cbrt
5×associate-/r*
4×add-cbrt-cube add-exp-log distribute-lft-out-- difference-of-squares
3×associate-/l*
2×expm1-log1p-u pow1 associate-/r/ insert-posit16 log1p-expm1-u add-log-exp
1×cbrt-undiv clear-num frac-2neg flip3-- div-exp fma-udef div-inv flip--
Counts
2 → 51
Calls
2 calls:
10.0ms
(/ y (- a t))
0.0ms
(fma (- t z) (/ y (- a t)) (+ x y))

series175.0ms

Counts
2 → 6
Calls
2 calls:
35.0ms
(/ y (- a t))
140.0ms
(fma (- t z) (/ y (- a t)) (+ x y))

simplify1.2s

Counts
57 → 57
Iterations
IterNodes
done5000
31386
2456
1176
094

prune265.0ms

Pruning

8 alts after pruning (5 fresh and 3 done)

Merged error: 1.9b

regimes684.0ms

Accuracy

49.1% (4.2b remaining)

Error of 7.4b against oracle of 3.2b and baseline of 11.4b

bsearch2.0ms

simplify1.1m

Iterations
IterNodes
done5000
6674995
6664987
6654980
6644972
6634965
6624957
6614950
6604942
6594935
6584927
6574920
6564912
6554905
6544897
6534890
6524882
6514875
6504867
6494860
6484852
6474845
6464837
6454830
6444822
6434815
6424807
6414800
6404792
6394785
6384777
6374770
6364762
6354755
6344747
6334740
6324732
6314725
6304717
6294710
6284702
6274695
6264687
6254680
6244672
6234665
6224657
6214650
6204642
6194635
6184627
6174620
6164612
6154605
6144597
6134590
6124582
6114575
6104567
6094560
6084552
6074545
6064537
6054530
6044522
6034515
6024507
6014500
6004492
5994485
5984477
5974470
5964462
5954455
5944447
5934440
5924432
5914425
5904417
5894410
5884402
5874395
5864387
5854380
5844372
5834365
5824357
5814350
5804342
5794335
5784327
5774320
5764312
5754305
5744297
5734290
5724282
5714275
5704267
5694260
5684252
5674245
5664237
5654230
5644222
5634215
5624207
5614200
5604192
5594185
5584177
5574170
5564162
5554155
5544147
5534140
5524132
5514125
5504117
5494110
5484102
5474095
5464087
5454080
5444072
5434065
5424057
5414050
5404042
5394035
5384027
5374020
5364012
5354005
5343997
5333990
5323982
5313975
5303967
5293960
5283952
5273945
5263937
5253930
5243922
5233915
5223907
5213900
5203892
5193885
5183877
5173870
5163862
5153855
5143847
5133840
5123832
5113825
5103817
5093810
5083802
5073795
5063787
5053780
5043772
5033765
5023757
5013750
5003742
4993735
4983727
4973720
4963712
4953705
4943697
4933690
4923682
4913675
4903667
4893660
4883652
4873645
4863637
4853630
4843622
4833615
4823607
4813600
4803592
4793585
4783577
4773570
4763562
4753555
4743547
4733540
4723532
4713525
4703517
4693510
4683502
4673495
4663487
4653480
4643472
4633465
4623457
4613450
4603442
4593435
4583427
4573420
4563412
4553405
4543397
4533390
4523382
4513375
4503367
4493360
4483352
4473345
4463337
4453330
4443322
4433315
4423307
4413300
4403292
4393285
4383277
4373270
4363262
4353255
4343247
4333240
4323232
4313225
4303217
4293210
4283202
4273195
4263187
4253180
4243172
4233165
4223157
4213150
4203142
4193135
4183127
4173120
4163112
4153105
4143097
4133090
4123082
4113075
4103067
4093060
4083052
4073045
4063037
4053030
4043022
4033015
4023007
4013000
4002992
3992985
3982977
3972970
3962962
3952955
3942947
3932940
3922932
3912925
3902917
3892910
3882902
3872895
3862887
3852880
3842872
3832865
3822857
3812850
3802842
3792835
3782827
3772820
3762812
3752805
3742797
3732790
3722782
3712775
3702767
3692760
3682752
3672745
3662737
3652730
3642722
3632715
3622707
3612700
3602692
3592685
3582677
3572670
3562662
3552655
3542647
3532640
3522632
3512625
3502617
3492610
3482602
3472595
3462587
3452580
3442572
3432565
3422557
3412550
3402542
3392535
3382527
3372520
3362512
3352505
3342497
3332490
3322482
3312475
3302467
3292460
3282452
3272445
3262437
3252430
3242422
3232415
3222407
3212400
3202392
3192385
3182377
3172370
3162362
3152355
3142347
3132340
3122332
3112325
3102317
3092310
3082302
3072295
3062287
3052280
3042272
3032265
3022257
3012250
3002242
2992235
2982227
2972220
2962212
2952205
2942197
2932190
2922182
2912175
2902167
2892160
2882152
2872145
2862137
2852130
2842122
2832115
2822107
2812100
2802092
2792085
2782077
2772070
2762062
2752055
2742047
2732040
2722032
2712025
2702017
2692010
2682002
2671995
2661987
2651980
2641972
2631965
2621957
2611950
2601942
2591935
2581927
2571920
2561912
2551905
2541897
2531890
2521882
2511875
2501867
2491860
2481852
2471845
2461837
2451830
2441822
2431815
2421807
2411800
2401792
2391785
2381777
2371770
2361762
2351755
2341747
2331740
2321732
2311725
2301717
2291710
2281702
2271695
2261687
2251680
2241672
2231665
2221657
2211650
2201642
2191635
2181627
2171620
2161612
2151605
2141597
2131590
2121582
2111575
2101567
2091560
2081552
2071545
2061537
2051530
2041522
2031515
2021507
2011500
2001492
1991485
1981477
1971470
1961462
1951455
1941447
1931440
1921432
1911425
1901417
1891410
1881402
1871395
1861387
1851380
1841372
1831365
1821357
1811350
1801342
1791335
1781327
1771320
1761312
1751305
1741297
1731290
1721282
1711275
1701267
1691260
1681252
1671245
1661237
1651230
1641222
1631215
1621207
1611200
1601192
1591185
1581177
1571170
1561162
1551155
1541147
1531140
1521132
1511125
1501117
1491110
1481102
1471095
1461087
1451080
1441072
1431065
1421057
1411050
1401042
1391035
1381027
1371020
1361012
1351005
134997
133990
132982
131975
130967
129960
128952
127945
126937
125930
124922
123915
122907
121900
120892
119885
118877
117870
116862
115855
114847
113840
112832
111825
110817
109810
108802
107795
106787
105780
104772
103765
102757
101750
100742
99735
98727
97720
96712
95705
94697
93690
92682
91675
90667
89660
88652
87645
86637
85630
84622
83615
82607
81600
80592
79585
78577
77570
76562
75555
74547
73540
72532
71525
70517
69510
68502
67495
66487
65480
64472
63465
62457
61450
60442
59435
58427
57420
56412
55405
54397
53390
52382
51375
50367
49360
48352
47345
46337
45330
44322
43315
42307
41300
40292
39285
38277
37270
36262
35255
34247
33240
32232
31225
30217
29210
28202
27195
26187
25180
24172
23165
22157
21150
20142
19135
18127
17120
16112
15105
1497
1390
1282
1175
1067
960
850
749
646
545
442
339
233
130
025

end0.0ms

sample2.0s

Algorithm
intervals
Results
1.3s7354×body80valid
150.0ms433×body640valid
130.0ms236×body1280valid
103.0ms403×body320valid
83.0ms253×body160valid
7.0ms14×body2560valid