Details

Time bar (total: 42.9s)

sample348.0ms

Algorithm
intervals
Results
38.0ms430×body80nan
25.0ms289×body80valid

simplify132.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
04914
115514
268414
3389814
4500114

prune19.0ms

Filtered
1 candidates to 0 candidates (100.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 35.5b

Counts
2 → 1

localize24.0ms

Local error

Found 4 expressions with local error:

6.5b
(/ (* l l) Om)
8.6b
(* (* n (pow (/ l Om) 2.0)) (- U U*))
9.1b
(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
21.4b
(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))

rewrite715.0ms

Algorithm
rewrite-expression-head
Rules
3806×add-sqr-sqrt
1452×prod-diff
1226×*-un-lft-identity
1070×associate-*l*
1062×times-frac
1049×unswap-sqr
958×associate-*r*
776×add-cube-cbrt
732×distribute-rgt-in distribute-lft-in
653×difference-of-squares
429×unpow-prod-down
382×associate--l+
231×distribute-lft-out--
178×*-commutative
160×swap-sqr
77×sqr-pow
48×sqrt-prod
32×add-exp-log div-inv
28×pow1
23×add-cbrt-cube
22×associate-*r/
16×prod-exp
15×pow-prod-down associate-/l*
11×flip3-- flip--
10×cbrt-unprod
8×frac-sub
6×sub-neg sqrt-div
4×expm1-log1p-u rem-sqrt-square sqrt-pow1 log1p-expm1-u add-log-exp
3×div-exp associate-/r*
2×cbrt-undiv pow-exp
1×pow-to-exp frac-2neg pow1/2 clear-num
Counts
4 → 1743
Calls
4 calls:
8.0ms
(/ (* l l) Om)
19.0ms
(* (* n (pow (/ l Om) 2.0)) (- U U*))
148.0ms
(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
286.0ms
(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))

series6.5s

Counts
4 → 12
Calls
4 calls:
19.0ms
(/ (* l l) Om)
372.0ms
(* (* n (pow (/ l Om) 2.0)) (- U U*))
1.3s
(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
4.8s
(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))

simplify640.0ms

Algorithm
egg-herbie
Counts
1755 → 1755
Iterations

Useful iterations: 0 (36.0ms)

IterNodesCost
0500173929

prune5.5s

Filtered
1755 candidates to 945 candidates (46.2%)
Pruning

22 alts after pruning (22 fresh and 0 done)

PrunedKeptTotal
New1733221755
Fresh000
Picked101
Done000
Total1734221756

Merged error: 14.3b

Counts
1756 → 22

localize26.0ms

Local error

Found 4 expressions with local error:

8.6b
(* (* n (pow (/ l Om) 2.0)) (- U U*))
11.4b
(cbrt (* (* 2.0 n) U))
11.4b
(cbrt (* (* 2.0 n) U))
12.2b
(sqrt (* (cbrt (* (* 2.0 n) U)) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))

rewrite321.0ms

Algorithm
rewrite-expression-head
Rules
134×add-sqr-sqrt
114×associate-*l*
72×cbrt-prod
71×*-un-lft-identity
58×associate-*r*
52×sqrt-prod
48×unswap-sqr
45×add-cube-cbrt
19×unpow-prod-down
18×add-exp-log prod-diff
16×distribute-lft-out--
12×pow1 times-frac associate-*r/
11×distribute-rgt-in distribute-lft-in
9×prod-exp *-commutative add-cbrt-cube
7×difference-of-squares
6×flip3-- sqrt-div flip--
5×rem-sqrt-square
4×expm1-log1p-u pow-prod-down frac-sub log1p-expm1-u add-log-exp sqr-pow
3×cbrt-unprod
2×sub-neg sqrt-pow1 pow1/3 pow-exp
1×pow-to-exp pow1/2 div-exp div-inv
Counts
4 → 221
Calls
4 calls:
19.0ms
(* (* n (pow (/ l Om) 2.0)) (- U U*))
7.0ms
(cbrt (* (* 2.0 n) U))
7.0ms
(cbrt (* (* 2.0 n) U))
277.0ms
(sqrt (* (cbrt (* (* 2.0 n) U)) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))

series10.5s

Counts
4 → 12
Calls
4 calls:
372.0ms
(* (* n (pow (/ l Om) 2.0)) (- U U*))
99.0ms
(cbrt (* (* 2.0 n) U))
99.0ms
(cbrt (* (* 2.0 n) U))
9.9s
(sqrt (* (cbrt (* (* 2.0 n) U)) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))

simplify128.0ms

Algorithm
egg-herbie
Counts
233 → 233
Iterations

Useful iterations: 1 (26.0ms)

IterNodesCost
011742906
146352730
250012730

prune976.0ms

Filtered
233 candidates to 175 candidates (24.9%)
Pruning

26 alts after pruning (26 fresh and 0 done)

PrunedKeptTotal
New22310233
Fresh51621
Picked101
Done000
Total22926255

Merged error: 13.6b

Counts
255 → 26

localize33.0ms

Local error

Found 4 expressions with local error:

11.4b
(cbrt (* (* 2.0 n) U))
11.4b
(cbrt (* (* 2.0 n) U))
11.4b
(cbrt (* (* 2.0 n) U))
11.4b
(cbrt (* (* 2.0 n) U))

rewrite38.0ms

Algorithm
rewrite-expression-head
Rules
88×cbrt-prod
60×associate-*l*
52×add-sqr-sqrt
24×add-cube-cbrt *-un-lft-identity associate-*r*
16×unswap-sqr
8×*-commutative
4×pow1 add-exp-log expm1-log1p-u pow1/3 add-cbrt-cube log1p-expm1-u add-log-exp
Counts
4 → 128
Calls
4 calls:
7.0ms
(cbrt (* (* 2.0 n) U))
7.0ms
(cbrt (* (* 2.0 n) U))
12.0ms
(cbrt (* (* 2.0 n) U))
8.0ms
(cbrt (* (* 2.0 n) U))

series407.0ms

Counts
4 → 12
Calls
4 calls:
106.0ms
(cbrt (* (* 2.0 n) U))
100.0ms
(cbrt (* (* 2.0 n) U))
100.0ms
(cbrt (* (* 2.0 n) U))
101.0ms
(cbrt (* (* 2.0 n) U))

simplify65.0ms

Algorithm
egg-herbie
Counts
140 → 140
Iterations

Useful iterations: 4 (53.0ms)

IterNodesCost
0182852
1438824
2961792
31957776
45001772

prune988.0ms

Filtered
140 candidates to 112 candidates (20.0%)
Pruning

25 alts after pruning (24 fresh and 1 done)

PrunedKeptTotal
New1391140
Fresh22325
Picked011
Done000
Total14125166

Merged error: 13.6b

Counts
166 → 25

localize42.0ms

Local error

Found 4 expressions with local error:

10.8b
(sqrt (* (cbrt (cbrt (* (* 2.0 n) U))) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))
11.4b
(cbrt (* (* 2.0 n) U))
11.4b
(cbrt (* (* 2.0 n) U))
11.4b
(cbrt (* (* 2.0 n) U))

rewrite313.0ms

Algorithm
rewrite-expression-head
Rules
127×cbrt-prod
104×add-sqr-sqrt
100×associate-*l*
56×sqrt-prod
52×*-un-lft-identity
42×associate-*r*
41×unswap-sqr
28×add-cube-cbrt
15×distribute-lft-out--
10×associate-*r/
9×*-commutative
7×pow1
6×rem-sqrt-square sqrt-div difference-of-squares
5×flip3-- flip--
4×add-exp-log expm1-log1p-u frac-sub add-cbrt-cube log1p-expm1-u add-log-exp
3×pow1/3
2×unpow-prod-down sqrt-pow1
1×times-frac pow1/2 pow-prod-down sqr-pow
Counts
4 → 176
Calls
4 calls:
279.0ms
(sqrt (* (cbrt (cbrt (* (* 2.0 n) U))) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))
10.0ms
(cbrt (* (* 2.0 n) U))
7.0ms
(cbrt (* (* 2.0 n) U))
8.0ms
(cbrt (* (* 2.0 n) U))

series9.7s

Counts
4 → 12
Calls
4 calls:
9.4s
(sqrt (* (cbrt (cbrt (* (* 2.0 n) U))) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))
99.0ms
(cbrt (* (* 2.0 n) U))
103.0ms
(cbrt (* (* 2.0 n) U))
99.0ms
(cbrt (* (* 2.0 n) U))

simplify82.0ms

Algorithm
egg-herbie
Counts
188 → 188
Iterations

Useful iterations: 2 (59.0ms)

IterNodesCost
08252491
128342455
250012445

prune1.2s

Filtered
188 candidates to 154 candidates (18.1%)
Pruning

25 alts after pruning (23 fresh and 2 done)

PrunedKeptTotal
New1871188
Fresh12223
Picked011
Done011
Total18825213

Merged error: 13.6b

Counts
213 → 25

regimes1.1s

Accuracy

10.1% (12.0b remaining)

Error of 27.4b against oracle of 15.4b and baseline of 28.7b

bsearch415.0ms

Steps
ItersRangePoint
8
2.6913061862570087e+262
1.152299597490014e+265
2.718121113023407e+262
8
6.359735093855544e-116
8.871289280256932e-113
8.078217297388268e-115
9
1.7219891066244823e-300
4.033023019392756e-292
4.437888771927319e-300

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
076106
176106

end0.0ms

sample2.7s

Algorithm
intervals
Results
1.2s14745×body80nan
742.0ms9120×body80valid