Details

Time bar (total: 1.3m)

sample32.0ms

Algorithm
intervals
Results
20.0ms280×body80valid

simplify180.0ms

Counts
1 → 1
Iterations
IterNodes
done241
8241
7230
6201
5169
4123
380
244
120
010

prune21.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize12.0ms

Local error

Found 2 expressions with local error:

0.6b
(/ 2.0 (/ z x))
5.4b
(/ (/ 2.0 (/ z x)) (- y t))

rewrite49.0ms

Algorithm
rewrite-expression-head
Rules
691×times-frac
389×add-sqr-sqrt *-un-lft-identity
299×add-cube-cbrt
47×associate-/l*
45×distribute-lft-out-- difference-of-squares
30×div-inv
18×associate-/r*
16×add-cbrt-cube add-exp-log
cbrt-undiv div-exp associate-/r/
expm1-log1p-u pow1 clear-num frac-2neg insert-posit16 log1p-expm1-u add-log-exp
flip3-- flip-- associate-/l/
Counts
2 → 364
Calls
2 calls:
10.0ms
(/ 2.0 (/ z x))
22.0ms
(/ (/ 2.0 (/ z x)) (- y t))

series86.0ms

Counts
2 → 6
Calls
2 calls:
19.0ms
(/ 2.0 (/ z x))
68.0ms
(/ (/ 2.0 (/ z x)) (- y t))

simplify2.3s

Counts
370 → 370
Iterations
IterNodes
done5005
24290
11502
0570

prune1.9s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0b

localize20.0ms

Local error

Found 2 expressions with local error:

0.0b
(* 2.0 (/ x z))
5.4b
(/ (* 2.0 (/ x z)) (- y t))

rewrite26.0ms

Algorithm
rewrite-expression-head
Rules
21×add-sqr-sqrt
16×*-un-lft-identity add-cbrt-cube add-exp-log
15×times-frac
13×associate-*r*
12×add-cube-cbrt
cbrt-undiv associate-/r* div-exp
pow1 prod-exp cbrt-unprod
associate-*l*
expm1-log1p-u associate-*r/ associate-/r/ insert-posit16 log1p-expm1-u div-inv distribute-lft-out-- add-log-exp difference-of-squares unswap-sqr
clear-num frac-2neg flip3-- pow-prod-down *-commutative flip-- associate-/l* associate-/l/
Counts
2 → 68
Calls
2 calls:
9.0ms
(* 2.0 (/ x z))
16.0ms
(/ (* 2.0 (/ x z)) (- y t))

series82.0ms

Counts
2 → 6
Calls
2 calls:
32.0ms
(* 2.0 (/ x z))
50.0ms
(/ (* 2.0 (/ x z)) (- y t))

simplify2.6s

Counts
74 → 74
Iterations
IterNodes
done5001
34623
21071
1326
0129

prune409.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0b

localize14.0ms

Local error

Found 2 expressions with local error:

0.2b
(* (/ 2.0 z) x)
5.4b
(/ (* (/ 2.0 z) x) (- y t))

rewrite43.0ms

Algorithm
rewrite-expression-head
Rules
21×add-sqr-sqrt
16×*-un-lft-identity add-cbrt-cube add-exp-log
15×times-frac
13×associate-*l*
12×add-cube-cbrt
cbrt-undiv associate-/r* div-exp
pow1 prod-exp cbrt-unprod
associate-*r*
expm1-log1p-u associate-*l/ associate-/r/ insert-posit16 log1p-expm1-u div-inv distribute-lft-out-- add-log-exp difference-of-squares unswap-sqr
clear-num frac-2neg flip3-- pow-prod-down *-commutative flip-- associate-/l* associate-/l/
Counts
2 → 68
Calls
2 calls:
10.0ms
(* (/ 2.0 z) x)
32.0ms
(/ (* (/ 2.0 z) x) (- y t))

series100.0ms

Counts
2 → 6
Calls
2 calls:
33.0ms
(* (/ 2.0 z) x)
66.0ms
(/ (* (/ 2.0 z) x) (- y t))

simplify2.6s

Counts
74 → 74
Iterations
IterNodes
done5003
34568
2963
1313
0129

prune324.0ms

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0b

localize20.0ms

Local error

Found 2 expressions with local error:

0.3b
(/ 2.0 (/ (- y t) (/ x z)))
5.4b
(/ (- y t) (/ x z))

rewrite55.0ms

Algorithm
rewrite-expression-head
Rules
769×times-frac
457×add-sqr-sqrt *-un-lft-identity
325×add-cube-cbrt
83×associate-/r*
66×distribute-lft-out-- difference-of-squares
32×div-inv
16×add-cbrt-cube add-exp-log
cbrt-undiv div-exp
associate-/l*
associate-/r/
expm1-log1p-u pow1 clear-num frac-2neg insert-posit16 log1p-expm1-u add-log-exp associate-/l/
flip3-- div-sub flip--
Counts
2 → 407
Calls
2 calls:
19.0ms
(/ 2.0 (/ (- y t) (/ x z)))
20.0ms
(/ (- y t) (/ x z))

series248.0ms

Counts
2 → 6
Calls
2 calls:
181.0ms
(/ 2.0 (/ (- y t) (/ x z)))
67.0ms
(/ (- y t) (/ x z))

simplify1.5s

Counts
413 → 413
Iterations
IterNodes
done5002
11786
0604

prune1.8s

Pruning

8 alts after pruning (5 fresh and 3 done)

Merged error: 0b

regimes519.0ms

Accuracy

94.6% (0.3b remaining)

Error of 0.3b against oracle of 0.0b and baseline of 5.5b

bsearch1.0ms

simplify1.0m

Iterations
IterNodes
done5000
6674998
6664990
6654983
6644975
6634968
6624960
6614953
6604945
6594938
6584930
6574923
6564915
6554908
6544900
6534893
6524885
6514878
6504870
6494863
6484855
6474848
6464840
6454833
6444825
6434818
6424810
6414803
6404795
6394788
6384780
6374773
6364765
6354758
6344750
6334743
6324735
6314728
6304720
6294713
6284705
6274698
6264690
6254683
6244675
6234668
6224660
6214653
6204645
6194638
6184630
6174623
6164615
6154608
6144600
6134593
6124585
6114578
6104570
6094563
6084555
6074548
6064540
6054533
6044525
6034518
6024510
6014503
6004495
5994488
5984480
5974473
5964465
5954458
5944450
5934443
5924435
5914428
5904420
5894413
5884405
5874398
5864390
5854383
5844375
5834368
5824360
5814353
5804345
5794338
5784330
5774323
5764315
5754308
5744300
5734293
5724285
5714278
5704270
5694263
5684255
5674248
5664240
5654233
5644225
5634218
5624210
5614203
5604195
5594188
5584180
5574173
5564165
5554158
5544150
5534143
5524135
5514128
5504120
5494113
5484105
5474098
5464090
5454083
5444075
5434068
5424060
5414053
5404045
5394038
5384030
5374023
5364015
5354008
5344000
5333993
5323985
5313978
5303970
5293963
5283955
5273948
5263940
5253933
5243925
5233918
5223910
5213903
5203895
5193888
5183880
5173873
5163865
5153858
5143850
5133843
5123835
5113828
5103820
5093813
5083805
5073798
5063790
5053783
5043775
5033768
5023760
5013753
5003745
4993738
4983730
4973723
4963715
4953708
4943700
4933693
4923685
4913678
4903670
4893663
4883655
4873648
4863640
4853633
4843625
4833618
4823610
4813603
4803595
4793588
4783580
4773573
4763565
4753558
4743550
4733543
4723535
4713528
4703520
4693513
4683505
4673498
4663490
4653483
4643475
4633468
4623460
4613453
4603445
4593438
4583430
4573423
4563415
4553408
4543400
4533393
4523385
4513378
4503370
4493363
4483355
4473348
4463340
4453333
4443325
4433318
4423310
4413303
4403295
4393288
4383280
4373273
4363265
4353258
4343250
4333243
4323235
4313228
4303220
4293213
4283205
4273198
4263190
4253183
4243175
4233168
4223160
4213153
4203145
4193138
4183130
4173123
4163115
4153108
4143100
4133093
4123085
4113078
4103070
4093063
4083055
4073048
4063040
4053033
4043025
4033018
4023010
4013003
4002995
3992988
3982980
3972973
3962965
3952958
3942950
3932943
3922935
3912928
3902920
3892913
3882905
3872898
3862890
3852883
3842875
3832868
3822860
3812853
3802845
3792838
3782830
3772823
3762815
3752808
3742800
3732793
3722785
3712778
3702770
3692763
3682755
3672748
3662740
3652733
3642725
3632718
3622710
3612703
3602695
3592688
3582680
3572673
3562665
3552658
3542650
3532643
3522635
3512628
3502620
3492613
3482605
3472598
3462590
3452583
3442575
3432568
3422560
3412553
3402545
3392538
3382530
3372523
3362515
3352508
3342500
3332493
3322485
3312478
3302470
3292463
3282455
3272448
3262440
3252433
3242425
3232418
3222410
3212403
3202395
3192388
3182380
3172373
3162365
3152358
3142350
3132343
3122335
3112328
3102320
3092313
3082305
3072298
3062290
3052283
3042275
3032268
3022260
3012253
3002245
2992238
2982230
2972223
2962215
2952208
2942200
2932193
2922185
2912178
2902170
2892163
2882155
2872148
2862140
2852133
2842125
2832118
2822110
2812103
2802095
2792088
2782080
2772073
2762065
2752058
2742050
2732043
2722035
2712028
2702020
2692013
2682005
2671998
2661990
2651983
2641975
2631968
2621960
2611953
2601945
2591938
2581930
2571923
2561915
2551908
2541900
2531893
2521885
2511878
2501870
2491863
2481855
2471848
2461840
2451833
2441825
2431818
2421810
2411803
2401795
2391788
2381780
2371773
2361765
2351758
2341750
2331743
2321735
2311728
2301720
2291713
2281705
2271698
2261690
2251683
2241675
2231668
2221660
2211653
2201645
2191638
2181630
2171623
2161615
2151608
2141600
2131593
2121585
2111578
2101570
2091563
2081555
2071548
2061540
2051533
2041525
2031518
2021510
2011503
2001495
1991488
1981480
1971473
1961465
1951458
1941450
1931443
1921435
1911428
1901420
1891413
1881405
1871398
1861390
1851383
1841375
1831368
1821360
1811353
1801345
1791338
1781330
1771323
1761315
1751308
1741300
1731293
1721285
1711278
1701270
1691263
1681255
1671248
1661240
1651233
1641225
1631218
1621210
1611203
1601195
1591188
1581180
1571173
1561165
1551158
1541150
1531143
1521135
1511128
1501120
1491113
1481105
1471098
1461090
1451083
1441075
1431068
1421060
1411053
1401045
1391038
1381030
1371023
1361015
1351008
1341000
133993
132985
131978
130970
129963
128955
127948
126940
125933
124925
123918
122910
121903
120895
119888
118880
117873
116865
115858
114850
113843
112835
111828
110820
109813
108805
107798
106790
105783
104775
103768
102760
101753
100745
99738
98730
97723
96715
95708
94700
93693
92685
91678
90670
89663
88655
87648
86640
85633
84625
83618
82610
81603
80595
79588
78580
77573
76565
75558
74550
73543
72535
71528
70520
69513
68505
67498
66490
65483
64475
63468
62460
61453
60445
59438
58430
57423
56415
55408
54400
53393
52385
51378
50370
49363
48355
47348
46340
45333
44325
43318
42310
41303
40295
39288
38280
37273
36265
35258
34250
33243
32235
31228
30220
29213
28205
27198
26190
25183
24175
23168
22160
21153
20145
19138
18130
17123
16115
15108
14100
1393
1285
1178
1070
963
853
752
649
548
445
342
236
133
026

end0.0ms

sample1.1s

Algorithm
intervals
Results
855.0ms8741×body80valid