Details

Time bar (total: 37.4s)

sample385.0ms

Algorithm
intervals
Results
171.0ms550×body80nan
112.0ms299×body80valid

simplify1.4s

Counts
1 → 1
Iterations
IterNodes
done5001
3844
2174
150
021

prune33.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 29.6b

localize45.0ms

Local error

Found 4 expressions with local error:

0.9b
(* (/ l Om) (+ (* (* (- U U*) n) (/ l Om)) (* 2 l)))
10.5b
(* (* n (* U 2)) (- t (* (/ l Om) (+ (* (* (- U U*) n) (/ l Om)) (* 2 l)))))
12.0b
(* (* (- U U*) n) (/ l Om))
18.6b
(sqrt (* (* n (* U 2)) (- t (* (/ l Om) (+ (* (* (- U U*) n) (/ l Om)) (* 2 l))))))

rewrite341.0ms

Algorithm
rewrite-expression-head
Rules
30×pow1 add-cbrt-cube add-exp-log
27×add-sqr-sqrt
22×*-un-lft-identity add-cube-cbrt
19×times-frac associate-*r*
16×pow-prod-down
15×associate-*l*
14×prod-exp cbrt-unprod
7×associate-*l/ associate-*r/
6×distribute-rgt-in distribute-lft-in prod-diff
4×expm1-log1p-u frac-times sqrt-pow1 flip3-- insert-posit16 log1p-expm1-u flip-- add-log-exp
3×cbrt-undiv div-exp *-commutative
2×sub-neg flip3-+ sqrt-div flip-+ div-inv unswap-sqr
1×pow1/2 sqrt-prod
Counts
4 → 135
Calls
4 calls:
148.0ms
(* (/ l Om) (+ (* (* (- U U*) n) (/ l Om)) (* 2 l)))
87.0ms
(* (* n (* U 2)) (- t (* (/ l Om) (+ (* (* (- U U*) n) (/ l Om)) (* 2 l)))))
55.0ms
(* (* (- U U*) n) (/ l Om))
45.0ms
(sqrt (* (* n (* U 2)) (- t (* (/ l Om) (+ (* (* (- U U*) n) (/ l Om)) (* 2 l))))))

series2.8s

Counts
4 → 12
Calls
4 calls:
173.0ms
(* (/ l Om) (+ (* (* (- U U*) n) (/ l Om)) (* 2 l)))
561.0ms
(* (* n (* U 2)) (- t (* (/ l Om) (+ (* (* (- U U*) n) (/ l Om)) (* 2 l)))))
94.0ms
(* (* (- U U*) n) (/ l Om))
2.0s
(sqrt (* (* n (* U 2)) (- t (* (/ l Om) (+ (* (* (- U U*) n) (/ l Om)) (* 2 l))))))

simplify1.4s

Counts
147 → 147
Iterations
IterNodes
done5001
11075
0320

prune1.2s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 17.9b

localize78.0ms

Local error

Found 4 expressions with local error:

5.7b
(* n (/ l Om))
8.1b
(* (- U U*) (* n (/ l Om)))
8.8b
(* (* n (* U 2)) (/ l Om))
18.6b
(sqrt (+ (* t (* n (* U 2))) (- (* (* (* n (* U 2)) (/ l Om)) (fma l 2 (* (- U U*) (* n (/ l Om))))))))

rewrite212.0ms

Algorithm
rewrite-expression-head
Rules
39×add-cbrt-cube add-exp-log
29×add-sqr-sqrt
27×associate-*r*
23×*-un-lft-identity
21×pow1 add-cube-cbrt
19×times-frac prod-exp cbrt-unprod
10×pow-prod-down
9×associate-*l*
6×associate-*r/
5×cbrt-undiv div-exp
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×*-commutative sqrt-prod
2×frac-times flip3-- sqrt-div associate-*l/ div-inv flip-- unswap-sqr
1×rem-sqrt-square sqrt-pow1 flip3-+ pow1/2 flip-+ distribute-lft-out-- difference-of-squares
Counts
4 → 124
Calls
4 calls:
18.0ms
(* n (/ l Om))
60.0ms
(* (- U U*) (* n (/ l Om)))
54.0ms
(* (* n (* U 2)) (/ l Om))
76.0ms
(sqrt (+ (* t (* n (* U 2))) (- (* (* (* n (* U 2)) (/ l Om)) (fma l 2 (* (- U U*) (* n (/ l Om))))))))

series1.5s

Counts
4 → 12
Calls
4 calls:
47.0ms
(* n (/ l Om))
125.0ms
(* (- U U*) (* n (/ l Om)))
86.0ms
(* (* n (* U 2)) (/ l Om))
1.3s
(sqrt (+ (* t (* n (* U 2))) (- (* (* (* n (* U 2)) (/ l Om)) (fma l 2 (* (- U U*) (* n (/ l Om))))))))

simplify2.5s

Counts
136 → 136
Iterations
IterNodes
done5000
24018
1678
0227

prune1.1s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 17.1b

localize66.0ms

Local error

Found 4 expressions with local error:

5.7b
(* (* U 2) (/ l Om))
5.7b
(* n (/ l Om))
8.1b
(* (- U U*) (* n (/ l Om)))
18.6b
(sqrt (+ (* t (* n (* U 2))) (- (* (* n (* (* U 2) (/ l Om))) (fma l 2 (* (- U U*) (* n (/ l Om))))))))

rewrite163.0ms

Algorithm
rewrite-expression-head
Rules
30×add-cbrt-cube add-exp-log
29×add-sqr-sqrt
27×associate-*r*
23×*-un-lft-identity
21×add-cube-cbrt
19×times-frac
17×pow1
13×prod-exp cbrt-unprod
9×associate-*l*
7×pow-prod-down
6×associate-*r/
4×expm1-log1p-u cbrt-undiv div-exp insert-posit16 log1p-expm1-u add-log-exp
3×*-commutative sqrt-prod
2×frac-times flip3-- sqrt-div associate-*l/ div-inv flip-- unswap-sqr
1×rem-sqrt-square sqrt-pow1 flip3-+ pow1/2 flip-+ distribute-lft-out-- difference-of-squares
Counts
4 → 119
Calls
4 calls:
18.0ms
(* (* U 2) (/ l Om))
8.0ms
(* n (/ l Om))
34.0ms
(* (- U U*) (* n (/ l Om)))
100.0ms
(sqrt (+ (* t (* n (* U 2))) (- (* (* n (* (* U 2) (/ l Om))) (fma l 2 (* (- U U*) (* n (/ l Om))))))))

series1.4s

Counts
4 → 12
Calls
4 calls:
52.0ms
(* (* U 2) (/ l Om))
30.0ms
(* n (/ l Om))
90.0ms
(* (- U U*) (* n (/ l Om)))
1.3s
(sqrt (+ (* t (* n (* U 2))) (- (* (* n (* (* U 2) (/ l Om))) (fma l 2 (* (- U U*) (* n (/ l Om))))))))

simplify2.2s

Counts
131 → 131
Iterations
IterNodes
done5000
23169
1632
0219

prune1.2s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 17.1b

localize81.0ms

Local error

Found 4 expressions with local error:

5.7b
(* (* U 2) (/ l Om))
5.7b
(* n (/ l Om))
8.1b
(* (- U U*) (* n (/ l Om)))
18.6b
(pow (+ (* t (* n (* U 2))) (- (* (* n (* (* U 2) (/ l Om))) (fma l 2 (* (- U U*) (* n (/ l Om))))))) 1/2)

rewrite132.0ms

Algorithm
rewrite-expression-head
Rules
31×add-exp-log
30×add-cbrt-cube
29×add-sqr-sqrt
27×associate-*r*
24×*-un-lft-identity
22×add-cube-cbrt
19×times-frac
17×pow1
13×prod-exp cbrt-unprod
9×associate-*l*
7×pow-prod-down
6×associate-*r/
4×expm1-log1p-u cbrt-undiv div-exp insert-posit16 log1p-expm1-u add-log-exp
3×pow-unpow unpow-prod-down *-commutative
2×frac-times flip3-- associate-*l/ div-inv flip-- unswap-sqr
1×pow-to-exp pow-pow pow-exp distribute-lft-out-- unpow1/2 difference-of-squares sqr-pow
Counts
4 → 122
Calls
4 calls:
16.0ms
(* (* U 2) (/ l Om))
10.0ms
(* n (/ l Om))
31.0ms
(* (- U U*) (* n (/ l Om)))
73.0ms
(pow (+ (* t (* n (* U 2))) (- (* (* n (* (* U 2) (/ l Om))) (fma l 2 (* (- U U*) (* n (/ l Om))))))) 1/2)

series742.0ms

Counts
4 → 12
Calls
4 calls:
36.0ms
(* (* U 2) (/ l Om))
36.0ms
(* n (/ l Om))
115.0ms
(* (- U U*) (* n (/ l Om)))
555.0ms
(pow (+ (* t (* n (* U 2))) (- (* (* n (* (* U 2) (/ l Om))) (fma l 2 (* (- U U*) (* n (/ l Om))))))) 1/2)

simplify2.2s

Counts
134 → 134
Iterations
IterNodes
done5000
23393
1709
0248

prune1.1s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 17.1b

regimes1.1s

Accuracy

-7% (9.5b remaining)

Error of 26.6b against oracle of 17.1b and baseline of 26.0b

bsearch605.0ms

Steps
ItersRangePoint
10
1.2340430375744053e+78
7.923991060301251e+89
3.0637303742447407e+78
8
6.065948969726987e-135
1.1831120164315597e-130
3.3996094788145963e-131

simplify4.5s

Iterations
IterNodes
done5001
6094993
6084985
6074977
6064969
6054961
6044953
6034945
6024937
6014929
6004921
5994913
5984905
5974897
5964889
5954881
5944873
5934865
5924857
5914849
5904841
5894833
5884825
5874817
5864809
5854801
5844793
5834785
5824777
5814769
5804761
5794753
5784745
5774737
5764729
5754721
5744713
5734705
5724697
5714689
5704681
5694673
5684665
5674657
5664649
5654641
5644633
5634625
5624617
5614609
5604601
5594593
5584585
5574577
5564569
5554561
5544553
5534545
5524537
5514529
5504521
5494513
5484505
5474497
5464489
5454481
5444473
5434465
5424457
5414449
5404441
5394433
5384425
5374417
5364409
5354401
5344393
5334385
5324377
5314369
5304361
5294353
5284345
5274337
5264329
5254321
5244313
5234305
5224297
5214289
5204281
5194273
5184265
5174257
5164249
5154241
5144233
5134225
5124217
5114209
5104201
5094193
5084185
5074177
5064169
5054161
5044153
5034145
5024137
5014129
5004121
4994113
4984105
4974097
4964089
4954081
4944073
4934065
4924057
4914049
4904041
4894033
4884025
4874017
4864009
4854001
4843993
4833985
4823977
4813969
4803961
4793953
4783945
4773937
4763929
4753921
4743913
4733905
4723897
4713889
4703881
4693873
4683865
4673857
4663849
4653841
4643833
4633825
4623817
4613809
4603801
4593793
4583785
4573777
4563769
4553761
4543753
4533745
4523737
4513729
4503721
4493713
4483705
4473697
4463689
4453681
4443673
4433665
4423657
4413649
4403641
4393633
4383625
4373617
4363609
4353601
4343593
4333585
4323577
4313569
4303561
4293553
4283545
4273537
4263529
4253521
4243513
4233505
4223497
4213489
4203481
4193473
4183465
4173457
4163449
4153441
4143433
4133425
4123417
4113409
4103401
4093393
4083385
4073377
4063369
4053361
4043353
4033345
4023337
4013329
4003321
3993313
3983305
3973297
3963289
3953281
3943273
3933265
3923257
3913249
3903241
3893233
3883225
3873217
3863209
3853201
3843193
3833185
3823177
3813169
3803161
3793153
3783145
3773137
3763129
3753121
3743113
3733105
3723097
3713089
3703081
3693073
3683065
3673057
3663049
3653041
3643033
3633025
3623017
3613009
3603001
3592993
3582985
3572977
3562969
3552961
3542953
3532945
3522937
3512929
3502921
3492913
3482905
3472897
3462889
3452881
3442873
3432865
3422857
3412849
3402841
3392833
3382825
3372817
3362809
3352801
3342793
3332785
3322777
3312769
3302761
3292753
3282745
3272737
3262729
3252721
3242713
3232705
3222697
3212689
3202681
3192673
3182665
3172657
3162649
3152641
3142633
3132625
3122617
3112609
3102601
3092593
3082585
3072577
3062569
3052561
3042553
3032545
3022537
3012529
3002521
2992513
2982505
2972497
2962489
2952481
2942473
2932465
2922457
2912449
2902441
2892433
2882425
2872417
2862409
2852401
2842393
2832385
2822377
2812369
2802361
2792353
2782345
2772337
2762329
2752321
2742313
2732305
2722297
2712289
2702281
2692273
2682265
2672257
2662249
2652241
2642233
2632225
2622217
2612209
2602201
2592193
2582185
2572177
2562169
2552161
2542153
2532145
2522137
2512129
2502121
2492113
2482105
2472097
2462089
2452081
2442073
2432065
2422057
2412049
2402041
2392033
2382025
2372017
2362009
2352001
2341993
2331985
2321977
2311969
2301961
2291953
2281945
2271937
2261929
2251921
2241913
2231905
2221897
2211889
2201881
2191873
2181865
2171857
2161849
2151841
2141833
2131825
2121817
2111809
2101801
2091793
2081785
2071777
2061769
2051761
2041753
2031745
2021737
2011729
2001721
1991713
1981705
1971697
1961689
1951681
1941673
1931665
1921657
1911649
1901641
1891633
1881625
1871617
1861609
1851601
1841593
1831585
1821577
1811569
1801561
1791553
1781545
1771537
1761529
1751521
1741513
1731505
1721497
1711489
1701481
1691473
1681465
1671457
1661449
1651441
1641433
1631425
1621417
1611409
1601401
1591393
1581385
1571377
1561369
1551361
1541353
1531345
1521337
1511329
1501321
1491313
1481305
1471297
1461289
1451281
1441273
1431265
1421257
1411249
1401241
1391233
1381225
1371217
1361209
1351201
1341193
1331185
1321177
1311169
1301161
1291153
1281145
1271137
1261129
1251121
1241113
1231105
1221097
1211089
1201081
1191073
1181065
1171057
1161049
1151041
1141033
1131025
1121017
1111009
1101001
109993
108985
107977
106969
105961
104953
103945
102937
101929
100921
99913
98905
97897
96889
95881
94873
93865
92857
91849
90841
89833
88825
87817
86809
85801
84793
83785
82777
81769
80761
79753
78745
77737
76729
75721
74713
73705
72697
71689
70681
69673
68665
67657
66649
65641
64633
63625
62617
61609
60601
59593
58585
57577
56569
55561
54553
53545
52537
51529
50521
49513
48505
47497
46489
45481
44473
43465
42457
41449
40441
39433
38425
37417
36409
35401
34393
33385
32377
31369
30361
29353
28345
27337
26329
25321
24313
23305
22297
21289
20281
19273
18265
17257
16249
15241
14233
13225
12217
11209
10201
9193
8185
7177
6169
5161
4151
3129
299
167
045

end0.0ms

sample8.8s

Algorithm
intervals
Results
4.3s14949×body80nan
2.8s9174×body80valid