Details

Time bar (total: 11.1s)

sample238.0ms

Algorithm
intervals
Results
53.0ms85×body5120valid
37.0ms433×body80nan
28.0ms54×body2560valid
18.0ms206×body80valid
13.0ms26×body1280valid
13.0ms19×body5120exit
5.0ms14×body640valid
2.0ms10×body320valid
1.0ms6×body160valid

simplify41.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (40.0ms)

IterNodesCost
0507440

prune17.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: 55.5b

Counts
2 → 2

localize24.0ms

Local error

Found 4 expressions with local error:

12.2b
(* (/ c0 (* w h)) (pow (/ d D) 2))
12.5b
(* (pow (/ d D) 4) (/ c0 (* w h)))
13.0b
(sqrt (- (* (/ c0 (* w h)) (* (pow (/ d D) 4) (/ c0 (* w h)))) (* M M)))
35.5b
(+ (* (/ c0 (* w h)) (pow (/ d D) 2)) (sqrt (- (* (/ c0 (* w h)) (* (pow (/ d D) 4) (/ c0 (* w h)))) (* M M))))

rewrite76.0ms

Algorithm
rewrite-expression-head
Rules
76×add-exp-log
43×add-sqr-sqrt
32×prod-exp
30×unpow-prod-down
26×times-frac
25×add-cube-cbrt *-un-lft-identity associate-*r*
24×associate-*l*
22×div-exp add-cbrt-cube
12×pow-exp
9×unswap-sqr
8×cbrt-unprod
6×pow-to-exp add-log-exp
5×pow1
4×cbrt-undiv sqrt-div div-inv sqr-pow
3×associate-*l/ sqrt-prod
2×flip3-- frac-add *-commutative flip-- unpow2
1×+-commutative rem-sqrt-square sqrt-pow1 flip3-+ pow1/2 associate-*r/ sum-log flip-+
Counts
4 → 134
Calls
4 calls:
14.0ms
(* (/ c0 (* w h)) (pow (/ d D) 2))
13.0ms
(* (pow (/ d D) 4) (/ c0 (* w h)))
14.0ms
(sqrt (- (* (/ c0 (* w h)) (* (pow (/ d D) 4) (/ c0 (* w h)))) (* M M)))
24.0ms
(+ (* (/ c0 (* w h)) (pow (/ d D) 2)) (sqrt (- (* (/ c0 (* w h)) (* (pow (/ d D) 4) (/ c0 (* w h)))) (* M M))))

series400.0ms

Counts
4 → 12
Calls
4 calls:
42.0ms
(* (/ c0 (* w h)) (pow (/ d D) 2))
26.0ms
(* (pow (/ d D) 4) (/ c0 (* w h)))
157.0ms
(sqrt (- (* (/ c0 (* w h)) (* (pow (/ d D) 4) (/ c0 (* w h)))) (* M M)))
174.0ms
(+ (* (/ c0 (* w h)) (pow (/ d D) 2)) (sqrt (- (* (/ c0 (* w h)) (* (pow (/ d D) 4) (/ c0 (* w h)))) (* M M))))

simplify49.0ms

Algorithm
egg-herbie
Counts
146 → 146
Iterations

Useful iterations: 0 (32.0ms)

IterNodesCost
049762508
149762508

prune377.0ms

Filtered
98 candidates to 146 candidates (-49.0%)
Pruning

12 alts after pruning (12 fresh and 0 done)

PrunedKeptTotal
New13511146
Fresh011
Picked101
Done000
Total13612148

Merged error: 27.5b

Counts
148 → 12

localize5.0ms

Local error

Found 1 expressions with local error:

5.9b
(* (/ c0 (* 2.0 w)) 0)

rewrite8.0ms

Algorithm
rewrite-expression-head
Rules
10×add-exp-log add-cbrt-cube
7×associate-*l*
6×add-sqr-sqrt
4×add-cube-cbrt *-un-lft-identity prod-exp cbrt-unprod
3×pow1 times-frac associate-*r*
2×cbrt-undiv div-exp
1×pow-prod-down associate-*l/ *-commutative div-inv mul0-r add-log-exp unswap-sqr
Counts
1 → 28
Calls
1 calls:
7.0ms
(* (/ c0 (* 2.0 w)) 0)

series1.0ms

Counts
1 → 3
Calls
1 calls:
1.0ms
(* (/ c0 (* 2.0 w)) 0)

simplify33.0ms

Algorithm
egg-herbie
Counts
31 → 31
Iterations

Useful iterations: 0 (30.0ms)

IterNodesCost
0494478
1494478

prune103.0ms

Filtered
21 candidates to 31 candidates (-47.6%)
Pruning

12 alts after pruning (12 fresh and 0 done)

PrunedKeptTotal
New30131
Fresh01111
Picked101
Done000
Total311243

Merged error: 25.2b

Counts
43 → 12

localize0.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify2.0ms

Algorithm
egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
000

prune64.0ms

Pruning

12 alts after pruning (11 fresh and 1 done)

PrunedKeptTotal
New000
Fresh01111
Picked011
Done000
Total01212

Merged error: 25.2b

Counts
12 → 12

localize26.0ms

Local error

Found 4 expressions with local error:

12.2b
(* (/ c0 (* w h)) (pow (/ d D) 2))
12.5b
(* (/ c0 (* w h)) (pow (/ d D) 4))
13.0b
(sqrt (- (* (/ c0 (* w h)) (* (/ c0 (* w h)) (pow (/ d D) 4))) (* M M)))
15.3b
(/ (+ 0 (* M M)) (- (* (/ c0 (* w h)) (pow (/ d D) 2)) (sqrt (- (* (/ c0 (* w h)) (* (/ c0 (* w h)) (pow (/ d D) 4))) (* M M)))))

rewrite79.0ms

Algorithm
rewrite-expression-head
Rules
78×add-exp-log
51×add-sqr-sqrt
35×times-frac associate-*r*
33×add-cube-cbrt *-un-lft-identity
32×prod-exp
30×unpow-prod-down
24×add-cbrt-cube
23×div-exp
14×associate-*l*
12×pow-exp
9×unswap-sqr
8×cbrt-unprod
6×pow-to-exp
5×pow1 cbrt-undiv div-inv
4×sqrt-div associate-*l/ associate-/r/ add-log-exp sqr-pow
3×flip3-- associate-/r* sqrt-prod flip-- associate-/l*
2×*-commutative frac-sub associate-/l/ unpow2
1×rem-sqrt-square frac-2neg sqrt-pow1 flip3-+ pow1/2 clear-num flip-+
Counts
4 → 154
Calls
4 calls:
14.0ms
(* (/ c0 (* w h)) (pow (/ d D) 2))
14.0ms
(* (/ c0 (* w h)) (pow (/ d D) 4))
15.0ms
(sqrt (- (* (/ c0 (* w h)) (* (/ c0 (* w h)) (pow (/ d D) 4))) (* M M)))
29.0ms
(/ (+ 0 (* M M)) (- (* (/ c0 (* w h)) (pow (/ d D) 2)) (sqrt (- (* (/ c0 (* w h)) (* (/ c0 (* w h)) (pow (/ d D) 4))) (* M M)))))

series494.0ms

Counts
4 → 12
Calls
4 calls:
42.0ms
(* (/ c0 (* w h)) (pow (/ d D) 2))
66.0ms
(* (/ c0 (* w h)) (pow (/ d D) 4))
153.0ms
(sqrt (- (* (/ c0 (* w h)) (* (/ c0 (* w h)) (pow (/ d D) 4))) (* M M)))
232.0ms
(/ (+ 0 (* M M)) (- (* (/ c0 (* w h)) (pow (/ d D) 2)) (sqrt (- (* (/ c0 (* w h)) (* (/ c0 (* w h)) (pow (/ d D) 4))) (* M M)))))

simplify68.0ms

Algorithm
egg-herbie
Counts
166 → 166
Iterations

Useful iterations: 0 (47.0ms)

IterNodesCost
049723554
149723554

prune353.0ms

Filtered
113 candidates to 166 candidates (-46.9%)
Pruning

16 alts after pruning (15 fresh and 1 done)

PrunedKeptTotal
New1597166
Fresh2810
Picked101
Done011
Total16216178

Merged error: 22.8b

Counts
178 → 16

regimes1.6s

Accuracy

17.3% (7.2b remaining)

Error of 32.5b against oracle of 25.3b and baseline of 34.0b

bsearch2.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
047184
147184

end0.0ms

sample7.0s

Algorithm
intervals
Results
1.4s2277×body5120valid
1.2s13433×body80nan
910.0ms1747×body2560valid
590.0ms6769×body80valid
409.0ms616×body5120exit
390.0ms923×body1280valid
145.0ms435×body640valid
57.0ms221×body320valid
18.0ms111×body160valid

Profiling

Loading profile data...