Details

Time bar (total: 16.6s)

sample129.0ms

Algorithm
intervals
Results
48.0ms467×body80nan
27.0ms288×body80valid

simplify62.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (60.0ms)

IterNodesCost
0585928

prune15.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 28.7b

Counts
2 → 2

localize18.0ms

Local error

Found 4 expressions with local error:

5.5b
(* n (* (pow (/ l Om) 2.0) (- U* U)))
6.3b
(* n (* U (+ t (- (* n (* (pow (/ l Om) 2.0) (- U* U))) (* 2.0 (* l (/ l Om)))))))
6.8b
(* (pow (/ l Om) 2.0) (- U* U))
19.1b
(sqrt (* 2.0 (* n (* U (+ t (- (* n (* (pow (/ l Om) 2.0) (- U* U))) (* 2.0 (* l (/ l Om)))))))))

rewrite56.0ms

Algorithm
rewrite-expression-head
Rules
31×add-exp-log
25×add-sqr-sqrt
23×associate-*l*
21×pow1
17×*-un-lft-identity
16×associate-*r/ prod-exp add-cbrt-cube
15×add-cube-cbrt unpow-prod-down
14×distribute-rgt-in distribute-lft-in
10×times-frac pow-prod-down
7×associate-*r* cbrt-unprod
6×sub-neg
4×sqrt-pow1 pow-exp add-log-exp unswap-sqr
3×*-commutative
2×pow-to-exp flip3-- flip3-+ sqrt-div div-exp flip-- flip-+ sqr-pow
1×pow1/2 sqrt-prod div-inv distribute-lft-out-- difference-of-squares
Counts
4 → 114
Calls
4 calls:
11.0ms
(* n (* (pow (/ l Om) 2.0) (- U* U)))
13.0ms
(* n (* U (+ t (- (* n (* (pow (/ l Om) 2.0) (- U* U))) (* 2.0 (* l (/ l Om)))))))
11.0ms
(* (pow (/ l Om) 2.0) (- U* U))
17.0ms
(sqrt (* 2.0 (* n (* U (+ t (- (* n (* (pow (/ l Om) 2.0) (- U* U))) (* 2.0 (* l (/ l Om)))))))))

series2.5s

Counts
4 → 12
Calls
4 calls:
126.0ms
(* n (* (pow (/ l Om) 2.0) (- U* U)))
334.0ms
(* n (* U (+ t (- (* n (* (pow (/ l Om) 2.0) (- U* U))) (* 2.0 (* l (/ l Om)))))))
122.0ms
(* (pow (/ l Om) 2.0) (- U* U))
1.9s
(sqrt (* 2.0 (* n (* U (+ t (- (* n (* (pow (/ l Om) 2.0) (- U* U))) (* 2.0 (* l (/ l Om)))))))))

simplify41.0ms

Algorithm
egg-herbie
Counts
126 → 126
Iterations

Useful iterations: 0 (27.0ms)

IterNodesCost
064652386

prune270.0ms

Filtered
85 candidates to 126 candidates (-48.2%)
Pruning

11 alts after pruning (11 fresh and 0 done)

PrunedKeptTotal
New11610126
Fresh011
Picked101
Done000
Total11711128

Merged error: 25.3b

Counts
128 → 11

localize22.0ms

Local error

Found 4 expressions with local error:

5.5b
(* n (* (pow (/ l Om) (/ 2.0 2)) (* (- U* U) (pow (/ l Om) (/ 2.0 2)))))
6.2b
(* (- U* U) (pow (/ l Om) (/ 2.0 2)))
6.3b
(* n (* U (+ t (- (* n (* (pow (/ l Om) (/ 2.0 2)) (* (- U* U) (pow (/ l Om) (/ 2.0 2))))) (* 2.0 (* l (/ l Om)))))))
19.1b
(sqrt (* 2.0 (* n (* U (+ t (- (* n (* (pow (/ l Om) (/ 2.0 2)) (* (- U* U) (pow (/ l Om) (/ 2.0 2))))) (* 2.0 (* l (/ l Om)))))))))

rewrite70.0ms

Algorithm
rewrite-expression-head
Rules
95×add-exp-log
64×prod-exp
25×add-sqr-sqrt
21×pow1
20×pow-exp add-cbrt-cube
19×associate-*r*
17×*-un-lft-identity
15×add-cube-cbrt unpow-prod-down
14×associate-*r/
11×associate-*l*
10×pow-to-exp times-frac div-exp pow-prod-down cbrt-unprod
4×distribute-rgt-in distribute-lft-in sqrt-pow1 associate-*l/ add-log-exp unswap-sqr
3×*-commutative
2×flip3-- flip3-+ sqrt-div flip-- flip-+ sqr-pow
1×pow1/2 sqrt-prod div-inv distribute-lft-out-- difference-of-squares
Counts
4 → 119
Calls
4 calls:
17.0ms
(* n (* (pow (/ l Om) (/ 2.0 2)) (* (- U* U) (pow (/ l Om) (/ 2.0 2)))))
12.0ms
(* (- U* U) (pow (/ l Om) (/ 2.0 2)))
16.0ms
(* n (* U (+ t (- (* n (* (pow (/ l Om) (/ 2.0 2)) (* (- U* U) (pow (/ l Om) (/ 2.0 2))))) (* 2.0 (* l (/ l Om)))))))
16.0ms
(sqrt (* 2.0 (* n (* U (+ t (- (* n (* (pow (/ l Om) (/ 2.0 2)) (* (- U* U) (pow (/ l Om) (/ 2.0 2))))) (* 2.0 (* l (/ l Om)))))))))

series2.5s

Counts
4 → 12
Calls
4 calls:
129.0ms
(* n (* (pow (/ l Om) (/ 2.0 2)) (* (- U* U) (pow (/ l Om) (/ 2.0 2)))))
89.0ms
(* (- U* U) (pow (/ l Om) (/ 2.0 2)))
334.0ms
(* n (* U (+ t (- (* n (* (pow (/ l Om) (/ 2.0 2)) (* (- U* U) (pow (/ l Om) (/ 2.0 2))))) (* 2.0 (* l (/ l Om)))))))
1.9s
(sqrt (* 2.0 (* n (* U (+ t (- (* n (* (pow (/ l Om) (/ 2.0 2)) (* (- U* U) (pow (/ l Om) (/ 2.0 2))))) (* 2.0 (* l (/ l Om)))))))))

simplify73.0ms

Algorithm
egg-herbie
Counts
131 → 131
Iterations

Useful iterations: 0 (54.0ms)

IterNodesCost
049752720
149752720

prune286.0ms

Filtered
84 candidates to 131 candidates (-56.0%)
Pruning

12 alts after pruning (12 fresh and 0 done)

PrunedKeptTotal
New1292131
Fresh01010
Picked101
Done000
Total13012142

Merged error: 24.6b

Counts
142 → 12

localize21.0ms

Local error

Found 4 expressions with local error:

5.5b
(* n (* (pow (/ l Om) (/ 2.0 2)) (* (- U* U) (pow (/ l Om) (/ 2.0 2)))))
6.2b
(* (- U* U) (pow (/ l Om) (/ 2.0 2)))
9.3b
(* (* n U) (+ t (- (* n (* (pow (/ l Om) (/ 2.0 2)) (* (- U* U) (pow (/ l Om) (/ 2.0 2))))) (* 2.0 (* l (/ l Om))))))
19.1b
(sqrt (* 2.0 (* (* n U) (+ t (- (* n (* (pow (/ l Om) (/ 2.0 2)) (* (- U* U) (pow (/ l Om) (/ 2.0 2))))) (* 2.0 (* l (/ l Om))))))))

rewrite67.0ms

Algorithm
rewrite-expression-head
Rules
95×add-exp-log
64×prod-exp
25×add-sqr-sqrt
22×associate-*r*
21×pow1
20×pow-exp add-cbrt-cube
19×*-un-lft-identity
15×add-cube-cbrt unpow-prod-down
10×pow-to-exp times-frac associate-*r/ div-exp pow-prod-down cbrt-unprod
9×associate-*l*
4×sqrt-pow1 associate-*l/ add-log-exp unswap-sqr
3×*-commutative
2×flip3-- flip3-+ sqrt-div flip-- flip-+ sqr-pow
1×distribute-rgt-in distribute-lft-in pow1/2 sqrt-prod div-inv distribute-lft-out distribute-lft-out-- difference-of-squares
Counts
4 → 118
Calls
4 calls:
18.0ms
(* n (* (pow (/ l Om) (/ 2.0 2)) (* (- U* U) (pow (/ l Om) (/ 2.0 2)))))
12.0ms
(* (- U* U) (pow (/ l Om) (/ 2.0 2)))
16.0ms
(* (* n U) (+ t (- (* n (* (pow (/ l Om) (/ 2.0 2)) (* (- U* U) (pow (/ l Om) (/ 2.0 2))))) (* 2.0 (* l (/ l Om))))))
16.0ms
(sqrt (* 2.0 (* (* n U) (+ t (- (* n (* (pow (/ l Om) (/ 2.0 2)) (* (- U* U) (pow (/ l Om) (/ 2.0 2))))) (* 2.0 (* l (/ l Om))))))))

series2.5s

Counts
4 → 12
Calls
4 calls:
126.0ms
(* n (* (pow (/ l Om) (/ 2.0 2)) (* (- U* U) (pow (/ l Om) (/ 2.0 2)))))
90.0ms
(* (- U* U) (pow (/ l Om) (/ 2.0 2)))
331.0ms
(* (* n U) (+ t (- (* n (* (pow (/ l Om) (/ 2.0 2)) (* (- U* U) (pow (/ l Om) (/ 2.0 2))))) (* 2.0 (* l (/ l Om))))))
1.9s
(sqrt (* 2.0 (* (* n U) (+ t (- (* n (* (pow (/ l Om) (/ 2.0 2)) (* (- U* U) (pow (/ l Om) (/ 2.0 2))))) (* 2.0 (* l (/ l Om))))))))

simplify58.0ms

Algorithm
egg-herbie
Counts
130 → 130
Iterations

Useful iterations: 0 (40.0ms)

IterNodesCost
050312696

prune295.0ms

Filtered
84 candidates to 130 candidates (-54.8%)
Pruning

13 alts after pruning (12 fresh and 1 done)

PrunedKeptTotal
New1273130
Fresh2911
Picked011
Done000
Total12913142

Merged error: 24.5b

Counts
142 → 13

localize18.0ms

Local error

Found 4 expressions with local error:

5.1b
(* n (pow (/ l Om) 2.0))
6.3b
(* n (* U (+ t (- (* (* n (pow (/ l Om) 2.0)) (- U* U)) (* 2.0 (* l (/ l Om)))))))
7.6b
(* (* n (pow (/ l Om) 2.0)) (- U* U))
19.1b
(sqrt (* 2.0 (* n (* U (+ t (- (* (* n (pow (/ l Om) 2.0)) (- U* U)) (* 2.0 (* l (/ l Om)))))))))

rewrite52.0ms

Algorithm
rewrite-expression-head
Rules
31×add-exp-log
25×add-sqr-sqrt
23×associate-*r*
21×pow1
17×*-un-lft-identity
16×prod-exp add-cbrt-cube
15×add-cube-cbrt unpow-prod-down
12×associate-*r/
10×times-frac pow-prod-down
7×associate-*l* cbrt-unprod
6×distribute-rgt-in distribute-lft-in
4×sqrt-pow1 pow-exp add-log-exp unswap-sqr
3×*-commutative
2×pow-to-exp sub-neg flip3-+ sqrt-div div-exp flip-+ sqr-pow
1×flip3-- pow1/2 sqrt-prod flip-- div-inv distribute-lft-out-- difference-of-squares
Counts
4 → 104
Calls
4 calls:
8.0ms
(* n (pow (/ l Om) 2.0))
13.0ms
(* n (* U (+ t (- (* (* n (pow (/ l Om) 2.0)) (- U* U)) (* 2.0 (* l (/ l Om)))))))
11.0ms
(* (* n (pow (/ l Om) 2.0)) (- U* U))
13.0ms
(sqrt (* 2.0 (* n (* U (+ t (- (* (* n (pow (/ l Om) 2.0)) (- U* U)) (* 2.0 (* l (/ l Om)))))))))

series2.5s

Counts
4 → 12
Calls
4 calls:
43.0ms
(* n (pow (/ l Om) 2.0))
327.0ms
(* n (* U (+ t (- (* (* n (pow (/ l Om) 2.0)) (- U* U)) (* 2.0 (* l (/ l Om)))))))
124.0ms
(* (* n (pow (/ l Om) 2.0)) (- U* U))
2.0s
(sqrt (* 2.0 (* n (* U (+ t (- (* (* n (pow (/ l Om) 2.0)) (- U* U)) (* 2.0 (* l (/ l Om)))))))))

simplify38.0ms

Algorithm
egg-herbie
Counts
116 → 116
Iterations

Useful iterations: 0 (26.0ms)

IterNodesCost
063942109

prune164.0ms

Filtered
76 candidates to 116 candidates (-52.6%)
Pruning

13 alts after pruning (11 fresh and 2 done)

PrunedKeptTotal
New1160116
Fresh01111
Picked011
Done011
Total11613129

Merged error: 24.5b

Counts
129 → 13

regimes1.3s

Accuracy

41.7% (4.6b remaining)

Error of 28.4b against oracle of 23.8b and baseline of 31.7b

bsearch2.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
075133
175133

end0.0ms

sample3.7s

Algorithm
intervals
Results
1.4s14859×body80nan
857.0ms9222×body80valid

Profiling

Loading profile data...