Details

Time bar (total: 46.2s)

sample153.0ms

Algorithm
intervals
Results
45.0ms45×body1280valid
28.0ms311×body80nan
15.0ms182×body80valid
13.0ms12×body2560valid
12.0ms33×body640valid
5.0ms21×body320valid
1.0ms7×body160valid

simplify82.0ms

Counts
1 → 1
Iterations
IterNodes
done97
697
595
489
375
253
133
018

prune12.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 21.6b

localize35.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ (* z t) 3.0)
0.2b
(* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))
0.3b
(/ a (* b 3.0))
23.3b
(cos (- y (/ (* z t) 3.0)))

rewrite120.0ms

Algorithm
rewrite-expression-head
Rules
23×cos-sum
22×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
21×prod-diff
19×add-cbrt-cube add-exp-log
15×times-frac
9×pow1
5×prod-exp cbrt-unprod div-inv
4×expm1-log1p-u cbrt-undiv associate-/r* div-exp log1p-expm1-u associate-/l* add-log-exp
3×cos-diff associate-*r* pow-prod-down
2×clear-num frac-2neg
1×distribute-rgt-in sub-neg distribute-lft-in associate-*l* *-commutative
Counts
4 → 101
Calls
4 calls:
12.0ms
(/ (* z t) 3.0)
55.0ms
(* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))
11.0ms
(/ a (* b 3.0))
38.0ms
(cos (- y (/ (* z t) 3.0)))

series242.0ms

Counts
4 → 12
Calls
4 calls:
29.0ms
(/ (* z t) 3.0)
127.0ms
(* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))
33.0ms
(/ a (* b 3.0))
52.0ms
(cos (- y (/ (* z t) 3.0)))

simplify1.4s

Counts
113 → 113
Iterations
IterNodes
done5000
21878
1709
0327

prune1.3s

Pruning

25 alts after pruning (25 fresh and 0 done)

Merged error: 15.5b

localize168.0ms

Local error

Found 4 expressions with local error:

23.3b
(cos (fma 1 y (- (* (/ t (cbrt 3.0)) (/ z (* (cbrt 3.0) (cbrt 3.0)))))))
23.5b
(sin (fma 1 y (- (* (/ t (cbrt 3.0)) (/ z (* (cbrt 3.0) (cbrt 3.0)))))))
53.3b
(fma (- (/ t (cbrt 3.0))) (/ z (* (cbrt 3.0) (cbrt 3.0))) (* (/ t (cbrt 3.0)) (/ z (* (cbrt 3.0) (cbrt 3.0)))))
53.3b
(fma (- (/ t (cbrt 3.0))) (/ z (* (cbrt 3.0) (cbrt 3.0))) (* (/ t (cbrt 3.0)) (/ z (* (cbrt 3.0) (cbrt 3.0)))))

rewrite9.0ms

Algorithm
rewrite-expression-head
Rules
4×add-sqr-sqrt expm1-log1p-u pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt fma-udef log1p-expm1-u add-log-exp
1×cos-sum sin-sum
Counts
4 → 40
Calls
4 calls:
4.0ms
(cos (fma 1 y (- (* (/ t (cbrt 3.0)) (/ z (* (cbrt 3.0) (cbrt 3.0)))))))
4.0ms
(sin (fma 1 y (- (* (/ t (cbrt 3.0)) (/ z (* (cbrt 3.0) (cbrt 3.0)))))))
0.0ms
(fma (- (/ t (cbrt 3.0))) (/ z (* (cbrt 3.0) (cbrt 3.0))) (* (/ t (cbrt 3.0)) (/ z (* (cbrt 3.0) (cbrt 3.0)))))
1.0ms
(fma (- (/ t (cbrt 3.0))) (/ z (* (cbrt 3.0) (cbrt 3.0))) (* (/ t (cbrt 3.0)) (/ z (* (cbrt 3.0) (cbrt 3.0)))))

series910.0ms

Counts
4 → 12
Calls
4 calls:
150.0ms
(cos (fma 1 y (- (* (/ t (cbrt 3.0)) (/ z (* (cbrt 3.0) (cbrt 3.0)))))))
135.0ms
(sin (fma 1 y (- (* (/ t (cbrt 3.0)) (/ z (* (cbrt 3.0) (cbrt 3.0)))))))
302.0ms
(fma (- (/ t (cbrt 3.0))) (/ z (* (cbrt 3.0) (cbrt 3.0))) (* (/ t (cbrt 3.0)) (/ z (* (cbrt 3.0) (cbrt 3.0)))))
323.0ms
(fma (- (/ t (cbrt 3.0))) (/ z (* (cbrt 3.0) (cbrt 3.0))) (* (/ t (cbrt 3.0)) (/ z (* (cbrt 3.0) (cbrt 3.0)))))

simplify5.7s

Counts
52 → 52
Iterations
IterNodes
done5018
54200
41212
3430
2210
1111
066

prune1.1s

Pruning

31 alts after pruning (31 fresh and 0 done)

Merged error: 15.4b

localize229.0ms

Local error

Found 4 expressions with local error:

28.2b
(cos (- (* (/ t (cbrt 3.0)) (/ z (* (cbrt 3.0) (cbrt 3.0))))))
28.2b
(sin (- (* (/ t (cbrt 3.0)) (/ z (* (cbrt 3.0) (cbrt 3.0))))))
53.3b
(fma (- (/ t (cbrt 3.0))) (/ z (* (cbrt 3.0) (cbrt 3.0))) (* (/ t (cbrt 3.0)) (/ z (* (cbrt 3.0) (cbrt 3.0)))))
53.3b
(fma (- (/ t (cbrt 3.0))) (/ z (* (cbrt 3.0) (cbrt 3.0))) (* (/ t (cbrt 3.0)) (/ z (* (cbrt 3.0) (cbrt 3.0)))))

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
4×add-sqr-sqrt expm1-log1p-u pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt log1p-expm1-u add-log-exp
2×neg-sub0 fma-udef
1×cos-diff cos-neg sin-neg sin-diff
Counts
4 → 42
Calls
4 calls:
9.0ms
(cos (- (* (/ t (cbrt 3.0)) (/ z (* (cbrt 3.0) (cbrt 3.0))))))
6.0ms
(sin (- (* (/ t (cbrt 3.0)) (/ z (* (cbrt 3.0) (cbrt 3.0))))))
0.0ms
(fma (- (/ t (cbrt 3.0))) (/ z (* (cbrt 3.0) (cbrt 3.0))) (* (/ t (cbrt 3.0)) (/ z (* (cbrt 3.0) (cbrt 3.0)))))
0.0ms
(fma (- (/ t (cbrt 3.0))) (/ z (* (cbrt 3.0) (cbrt 3.0))) (* (/ t (cbrt 3.0)) (/ z (* (cbrt 3.0) (cbrt 3.0)))))

series729.0ms

Counts
4 → 12
Calls
4 calls:
78.0ms
(cos (- (* (/ t (cbrt 3.0)) (/ z (* (cbrt 3.0) (cbrt 3.0))))))
80.0ms
(sin (- (* (/ t (cbrt 3.0)) (/ z (* (cbrt 3.0) (cbrt 3.0))))))
256.0ms
(fma (- (/ t (cbrt 3.0))) (/ z (* (cbrt 3.0) (cbrt 3.0))) (* (/ t (cbrt 3.0)) (/ z (* (cbrt 3.0) (cbrt 3.0)))))
315.0ms
(fma (- (/ t (cbrt 3.0))) (/ z (* (cbrt 3.0) (cbrt 3.0))) (* (/ t (cbrt 3.0)) (/ z (* (cbrt 3.0) (cbrt 3.0)))))

simplify4.6s

Counts
54 → 54
Iterations
IterNodes
done5000
53553
41208
3454
2190
197
059

prune1.2s

Pruning

32 alts after pruning (32 fresh and 0 done)

Merged error: 15.4b

localize153.0ms

Local error

Found 4 expressions with local error:

28.2b
(sin (- (* (/ t (cbrt 3.0)) (/ z (* (cbrt 3.0) (cbrt 3.0))))))
28.4b
(cos (* (* z t) 0.3333333333333333))
53.3b
(fma (- (/ t (cbrt 3.0))) (/ z (* (cbrt 3.0) (cbrt 3.0))) (* (/ t (cbrt 3.0)) (/ z (* (cbrt 3.0) (cbrt 3.0)))))
53.3b
(fma (- (/ t (cbrt 3.0))) (/ z (* (cbrt 3.0) (cbrt 3.0))) (* (/ t (cbrt 3.0)) (/ z (* (cbrt 3.0) (cbrt 3.0)))))

rewrite23.0ms

Algorithm
rewrite-expression-head
Rules
4×add-sqr-sqrt expm1-log1p-u pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt log1p-expm1-u add-log-exp
2×fma-udef
1×neg-sub0 sin-neg sin-diff
Counts
4 → 40
Calls
4 calls:
8.0ms
(sin (- (* (/ t (cbrt 3.0)) (/ z (* (cbrt 3.0) (cbrt 3.0))))))
13.0ms
(cos (* (* z t) 0.3333333333333333))
0.0ms
(fma (- (/ t (cbrt 3.0))) (/ z (* (cbrt 3.0) (cbrt 3.0))) (* (/ t (cbrt 3.0)) (/ z (* (cbrt 3.0) (cbrt 3.0)))))
0.0ms
(fma (- (/ t (cbrt 3.0))) (/ z (* (cbrt 3.0) (cbrt 3.0))) (* (/ t (cbrt 3.0)) (/ z (* (cbrt 3.0) (cbrt 3.0)))))

series600.0ms

Counts
4 → 12
Calls
4 calls:
97.0ms
(sin (- (* (/ t (cbrt 3.0)) (/ z (* (cbrt 3.0) (cbrt 3.0))))))
11.0ms
(cos (* (* z t) 0.3333333333333333))
222.0ms
(fma (- (/ t (cbrt 3.0))) (/ z (* (cbrt 3.0) (cbrt 3.0))) (* (/ t (cbrt 3.0)) (/ z (* (cbrt 3.0) (cbrt 3.0)))))
270.0ms
(fma (- (/ t (cbrt 3.0))) (/ z (* (cbrt 3.0) (cbrt 3.0))) (* (/ t (cbrt 3.0)) (/ z (* (cbrt 3.0) (cbrt 3.0)))))

simplify5.5s

Counts
52 → 52
Iterations
IterNodes
done5018
54040
41171
3425
2189
195
059

prune872.0ms

Pruning

34 alts after pruning (34 fresh and 0 done)

Merged error: 15.4b

regimes7.8s

Accuracy

27.9% (4.1b remaining)

Error of 18.9b against oracle of 14.8b and baseline of 20.5b

bsearch823.0ms

Steps
ItersRangePoint
11
0.778402845272117
2.4271944513829233e+25
1.0324049488188947
9
-1.3974794276663469e+17
-454307648390.4797
-537756909249.61255

simplify6.2s

Iterations
IterNodes
done5001
12234997
12224993
12214989
12204985
12194981
12184977
12174973
12164969
12154965
12144961
12134957
12124953
12114949
12104945
12094941
12084937
12074933
12064929
12054925
12044921
12034917
12024913
12014909
12004905
11994901
11984897
11974893
11964889
11954885
11944881
11934877
11924873
11914869
11904865
11894861
11884857
11874853
11864849
11854845
11844841
11834837
11824833
11814829
11804825
11794821
11784817
11774813
11764809
11754805
11744801
11734797
11724793
11714789
11704785
11694781
11684777
11674773
11664769
11654765
11644761
11634757
11624753
11614749
11604745
11594741
11584737
11574733
11564729
11554725
11544721
11534717
11524713
11514709
11504705
11494701
11484697
11474693
11464689
11454685
11444681
11434677
11424673
11414669
11404665
11394661
11384657
11374653
11364649
11354645
11344641
11334637
11324633
11314629
11304625
11294621
11284617
11274613
11264609
11254605
11244601
11234597
11224593
11214589
11204585
11194581
11184577
11174573
11164569
11154565
11144561
11134557
11124553
11114549
11104545
11094541
11084537
11074533
11064529
11054525
11044521
11034517
11024513
11014509
11004505
10994501
10984497
10974493
10964489
10954485
10944481
10934477
10924473
10914469
10904465
10894461
10884457
10874453
10864449
10854445
10844441
10834437
10824433
10814429
10804425
10794421
10784417
10774413
10764409
10754405
10744401
10734397
10724393
10714389
10704385
10694381
10684377
10674373
10664369
10654365
10644361
10634357
10624353
10614349
10604345
10594341
10584337
10574333
10564329
10554325
10544321
10534317
10524313
10514309
10504305
10494301
10484297
10474293
10464289
10454285
10444281
10434277
10424273
10414269
10404265
10394261
10384257
10374253
10364249
10354245
10344241
10334237
10324233
10314229
10304225
10294221
10284217
10274213
10264209
10254205
10244201
10234197
10224193
10214189
10204185
10194181
10184177
10174173
10164169
10154165
10144161
10134157
10124153
10114149
10104145
10094141
10084137
10074133
10064129
10054125
10044121
10034117
10024113
10014109
10004105
9994101
9984097
9974093
9964089
9954085
9944081
9934077
9924073
9914069
9904065
9894061
9884057
9874053
9864049
9854045
9844041
9834037
9824033
9814029
9804025
9794021
9784017
9774013
9764009
9754005
9744001
9733997
9723993
9713989
9703985
9693981
9683977
9673973
9663969
9653965
9643961
9633957
9623953
9613949
9603945
9593941
9583937
9573933
9563929
9553925
9543921
9533917
9523913
9513909
9503905
9493901
9483897
9473893
9463889
9453885
9443881
9433877
9423873
9413869
9403865
9393861
9383857
9373853
9363849
9353845
9343841
9333837
9323833
9313829
9303825
9293821
9283817
9273813
9263809
9253805
9243801
9233797
9223793
9213789
9203785
9193781
9183777
9173773
9163769
9153765
9143761
9133757
9123753
9113749
9103745
9093741
9083737
9073733
9063729
9053725
9043721
9033717
9023713
9013709
9003705
8993701
8983697
8973693
8963689
8953685
8943681
8933677
8923673
8913669
8903665
8893661
8883657
8873653
8863649
8853645
8843641
8833637
8823633
8813629
8803625
8793621
8783617
8773613
8763609
8753605
8743601
8733597
8723593
8713589
8703585
8693581
8683577
8673573
8663569
8653565
8643561
8633557
8623553
8613549
8603545
8593541
8583537
8573533
8563529
8553525
8543521
8533517
8523513
8513509
8503505
8493501
8483497
8473493
8463489
8453485
8443481
8433477
8423473
8413469
8403465
8393461
8383457
8373453
8363449
8353445
8343441
8333437
8323433
8313429
8303425
8293421
8283417
8273413
8263409
8253405
8243401
8233397
8223393
8213389
8203385
8193381
8183377
8173373
8163369
8153365
8143361
8133357
8123353
8113349
8103345
8093341
8083337
8073333
8063329
8053325
8043321
8033317
8023313
8013309
8003305
7993301
7983297
7973293
7963289
7953285
7943281
7933277
7923273
7913269
7903265
7893261
7883257
7873253
7863249
7853245
7843241
7833237
7823233
7813229
7803225
7793221
7783217
7773213
7763209
7753205
7743201
7733197
7723193
7713189
7703185
7693181
7683177
7673173
7663169
7653165
7643161
7633157
7623153
7613149
7603145
7593141
7583137
7573133
7563129
7553125
7543121
7533117
7523113
7513109
7503105
7493101
7483097
7473093
7463089
7453085
7443081
7433077
7423073
7413069
7403065
7393061
7383057
7373053
7363049
7353045
7343041
7333037
7323033
7313029
7303025
7293021
7283017
7273013
7263009
7253005
7243001
7232997
7222993
7212989
7202985
7192981
7182977
7172973
7162969
7152965
7142961
7132957
7122953
7112949
7102945
7092941
7082937
7072933
7062929
7052925
7042921
7032917
7022913
7012909
7002905
6992901
6982897
6972893
6962889
6952885
6942881
6932877
6922873
6912869
6902865
6892861
6882857
6872853
6862849
6852845
6842841
6832837
6822833
6812829
6802825
6792821
6782817
6772813
6762809
6752805
6742801
6732797
6722793
6712789
6702785
6692781
6682777
6672773
6662769
6652765
6642761
6632757
6622753
6612749
6602745
6592741
6582737
6572733
6562729
6552725
6542721
6532717
6522713
6512709
6502705
6492701
6482697
6472693
6462689
6452685
6442681
6432677
6422673
6412669
6402665
6392661
6382657
6372653
6362649
6352645
6342641
6332637
6322633
6312629
6302625
6292621
6282617
6272613
6262609
6252605
6242601
6232597
6222593
6212589
6202585
6192581
6182577
6172573
6162569
6152565
6142561
6132557
6122553
6112549
6102545
6092541
6082537
6072533
6062529
6052525
6042521
6032517
6022513
6012509
6002505
5992501
5982497
5972493
5962489
5952485
5942481
5932477
5922473
5912469
5902465
5892461
5882457
5872453
5862449
5852445
5842441
5832437
5822433
5812429
5802425
5792421
5782417
5772413
5762409
5752405
5742401
5732397
5722393
5712389
5702385
5692381
5682377
5672373
5662369
5652365
5642361
5632357
5622353
5612349
5602345
5592341
5582337
5572333
5562329
5552325
5542321
5532317
5522313
5512309
5502305
5492301
5482297
5472293
5462289
5452285
5442281
5432277
5422273
5412269
5402265
5392261
5382257
5372253
5362249
5352245
5342241
5332237
5322233
5312229
5302225
5292221
5282217
5272213
5262209
5252205
5242201
5232197
5222193
5212189
5202185
5192181
5182177
5172173
5162169
5152165
5142161
5132157
5122153
5112149
5102145
5092141
5082137
5072133
5062129
5052125
5042121
5032117
5022113
5012109
5002105
4992101
4982097
4972093
4962089
4952085
4942081
4932077
4922073
4912069
4902065
4892061
4882057
4872053
4862049
4852045
4842041
4832037
4822033
4812029
4802025
4792021
4782017
4772013
4762009
4752005
4742001
4731997
4721993
4711989
4701985
4691981
4681977
4671973
4661969
4651965
4641961
4631957
4621953
4611949
4601945
4591941
4581937
4571933
4561929
4551925
4541921
4531917
4521913
4511909
4501905
4491901
4481897
4471893
4461889
4451885
4441881
4431877
4421873
4411869
4401865
4391861
4381857
4371853
4361849
4351845
4341841
4331837
4321833
4311829
4301825
4291821
4281817
4271813
4261809
4251805
4241801
4231797
4221793
4211789
4201785
4191781
4181777
4171773
4161769
4151765
4141761
4131757
4121753
4111749
4101745
4091741
4081737
4071733
4061729
4051725
4041721
4031717
4021713
4011709
4001705
3991701
3981697
3971693
3961689
3951685
3941681
3931677
3921673
3911669
3901665
3891661
3881657
3871653
3861649
3851645
3841641
3831637
3821633
3811629
3801625
3791621
3781617
3771613
3761609
3751605
3741601
3731597
3721593
3711589
3701585
3691581
3681577
3671573
3661569
3651565
3641561
3631557
3621553
3611549
3601545
3591541
3581537
3571533
3561529
3551525
3541521
3531517
3521513
3511509
3501505
3491501
3481497
3471493
3461489
3451485
3441481
3431477
3421473
3411469
3401465
3391461
3381457
3371453
3361449
3351445
3341441
3331437
3321433
3311429
3301425
3291421
3281417
3271413
3261409
3251405
3241401
3231397
3221393
3211389
3201385
3191381
3181377
3171373
3161369
3151365
3141361
3131357
3121353
3111349
3101345
3091341
3081337
3071333
3061329
3051325
3041321
3031317
3021313
3011309
3001305
2991301
2981297
2971293
2961289
2951285
2941281
2931277
2921273
2911269
2901265
2891261
2881257
2871253
2861249
2851245
2841241
2831237
2821233
2811229
2801225
2791221
2781217
2771213
2761209
2751205
2741201
2731197
2721193
2711189
2701185
2691181
2681177
2671173
2661169
2651165
2641161
2631157
2621153
2611149
2601145
2591141
2581137
2571133
2561129
2551125
2541121
2531117
2521113
2511109
2501105
2491101
2481097
2471093
2461089
2451085
2441081
2431077
2421073
2411069
2401065
2391061
2381057
2371053
2361049
2351045
2341041
2331037
2321033
2311029
2301025
2291021
2281017
2271013
2261009
2251005
2241001
223997
222993
221989
220985
219981
218977
217973
216969
215965
214961
213957
212953
211949
210945
209941
208937
207933
206929
205925
204921
203917
202913
201909
200905
199901
198897
197893
196889
195885
194881
193877
192873
191869
190865
189861
188857
187853
186849
185845
184841
183837
182833
181829
180825
179821
178817
177813
176809
175805
174801
173797
172793
171789
170785
169781
168777
167773
166769
165765
164761
163757
162753
161749
160745
159741
158737
157733
156729
155725
154721
153717
152713
151709
150705
149701
148697
147693
146689
145685
144681
143677
142673
141669
140665
139661
138657
137653
136649
135645
134641
133637
132633
131629
130625
129621
128617
127613
126609
125605
124601
123597
122593
121589
120585
119581
118577
117573
116569
115565
114561
113557
112553
111549
110545
109541
108537
107533
106529
105525
104521
103517
102513
101509
100505
99501
98497
97493
96489
95485
94481
93477
92473
91469
90465
89461
88457
87453
86449
85445
84441
83437
82433
81429
80425
79421
78417
77413
76409
75405
74401
73397
72393
71389
70385
69381
68377
67373
66369
65365
64361
63357
62353
61349
60345
59341
58337
57333
56329
55325
54321
53317
52313
51309
50305
49301
48297
47293
46289
45285
44281
43277
42273
41269
40265
39261
38257
37253
36249
35245
34241
33237
32233
31229
30225
29221
28217
27213
26209
25205
24201
23197
22193
21189
20185
19181
18177
17173
16169
15165
14161
13157
12153
11149
10145
9141
8137
7133
6129
5125
4121
3117
2113
1105
076

end0.0ms

sample6.3s

Algorithm
intervals
Results
1.6s9187×body80nan
1.3s1639×body1280valid
863.0ms926×body640valid
835.0ms5564×body80valid
479.0ms387×body2560valid
247.0ms431×body320valid
47.0ms218×body160valid