Details

Time bar (total: 9.9s)

sample194.0ms

Algorithm
intervals
Results
39.0ms69×body5120valid
31.0ms382×body80nan
27.0ms58×body2560valid
14.0ms185×body80valid
13.0ms36×body1280valid
7.0ms11×body5120exit
6.0ms22×body640valid
1.0ms4×body320valid
1.0ms4×body160valid

simplify48.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (46.0ms)

IterNodesCost
0507440

prune16.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

localize22.0ms

Local error

Found 4 expressions with local error:

13.6b
(sqrt (- (* (/ c0 (* w h)) (* (pow (/ d D) 4) (/ c0 (* w h)))) (* M M)))
14.4b
(* (pow (/ d D) 4) (/ c0 (* w h)))
14.9b
(* (/ c0 (* w h)) (pow (/ d D) 2))
31.7b
(+ (* (/ c0 (* w h)) (pow (/ d D) 2)) (sqrt (- (* (/ c0 (* w h)) (* (pow (/ d D) 4) (/ c0 (* w h)))) (* M M))))

rewrite63.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:
12.0ms
(sqrt (- (* (/ c0 (* w h)) (* (pow (/ d D) 4) (/ c0 (* w h)))) (* M M)))
11.0ms
(* (pow (/ d D) 4) (/ c0 (* w h)))
12.0ms
(* (/ c0 (* w h)) (pow (/ d D) 2))
23.0ms
(+ (* (/ c0 (* w h)) (pow (/ d D) 2)) (sqrt (- (* (/ c0 (* w h)) (* (pow (/ d D) 4) (/ c0 (* w h)))) (* M M))))

series337.0ms

Counts
4 → 12
Calls
4 calls:
129.0ms
(sqrt (- (* (/ c0 (* w h)) (* (pow (/ d D) 4) (/ c0 (* w h)))) (* M M)))
25.0ms
(* (pow (/ d D) 4) (/ c0 (* w h)))
35.0ms
(* (/ c0 (* w h)) (pow (/ d D) 2))
148.0ms
(+ (* (/ c0 (* w h)) (pow (/ d D) 2)) (sqrt (- (* (/ c0 (* w h)) (* (pow (/ d D) 4) (/ c0 (* w h)))) (* M M))))

simplify50.0ms

Algorithm
egg-herbie
Counts
146 → 146
Iterations

Useful iterations: 0 (37.0ms)

IterNodesCost
049762508
149762508

prune350.0ms

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

16 alts after pruning (16 fresh and 0 done)

PrunedKeptTotal
New13115146
Fresh011
Picked101
Done000
Total13216148

Merged error: 28.1b

Counts
148 → 16

localize5.0ms

Local error

Found 2 expressions with local error:

0.2b
(/ c0 (* 2.0 w))
4.7b
(* (/ c0 (* 2.0 w)) 0)

rewrite11.0ms

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

series4.0ms

Counts
2 → 6
Calls
2 calls:
3.0ms
(/ c0 (* 2.0 w))
1.0ms
(* (/ c0 (* 2.0 w)) 0)

simplify39.0ms

Algorithm
egg-herbie
Counts
55 → 55
Iterations

Useful iterations: 0 (35.0ms)

IterNodesCost
05030230

prune129.0ms

Filtered
38 candidates to 55 candidates (-44.7%)
Pruning

16 alts after pruning (16 fresh and 0 done)

PrunedKeptTotal
New54155
Fresh01515
Picked101
Done000
Total551671

Merged error: 26.5b

Counts
71 → 16

localize2.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

prune77.0ms

Pruning

16 alts after pruning (15 fresh and 1 done)

PrunedKeptTotal
New000
Fresh01515
Picked011
Done000
Total01616

Merged error: 26.5b

Counts
16 → 16

localize24.0ms

Local error

Found 4 expressions with local error:

13.6b
(sqrt (- (* (/ c0 (* w h)) (* (/ c0 (* w h)) (pow (/ d D) 4))) (* M M)))
14.4b
(* (/ c0 (* w h)) (pow (/ d D) 4))
14.9b
(* (/ c0 (* w h)) (pow (/ d D) 2))
15.2b
(/ (+ 0 (* M M)) (- (* (/ c0 (* w h)) (pow (/ d D) 2)) (sqrt (- (* (/ c0 (* w h)) (* (/ c0 (* w h)) (pow (/ d D) 4))) (* M M)))))

rewrite66.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:
12.0ms
(sqrt (- (* (/ c0 (* w h)) (* (/ c0 (* w h)) (pow (/ d D) 4))) (* M M)))
12.0ms
(* (/ c0 (* w h)) (pow (/ d D) 4))
14.0ms
(* (/ c0 (* w h)) (pow (/ d D) 2))
23.0ms
(/ (+ 0 (* M M)) (- (* (/ c0 (* w h)) (pow (/ d D) 2)) (sqrt (- (* (/ c0 (* w h)) (* (/ c0 (* w h)) (pow (/ d D) 4))) (* M M)))))

series418.0ms

Counts
4 → 12
Calls
4 calls:
134.0ms
(sqrt (- (* (/ c0 (* w h)) (* (/ c0 (* w h)) (pow (/ d D) 4))) (* M M)))
53.0ms
(* (/ c0 (* w h)) (pow (/ d D) 4))
38.0ms
(* (/ c0 (* w h)) (pow (/ d D) 2))
194.0ms
(/ (+ 0 (* M M)) (- (* (/ c0 (* w h)) (pow (/ d D) 2)) (sqrt (- (* (/ c0 (* w h)) (* (/ c0 (* w h)) (pow (/ d D) 4))) (* M M)))))

simplify75.0ms

Algorithm
egg-herbie
Counts
166 → 166
Iterations

Useful iterations: 0 (56.0ms)

IterNodesCost
049723554
149723554

prune297.0ms

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

17 alts after pruning (15 fresh and 2 done)

PrunedKeptTotal
New1615166
Fresh41014
Picked011
Done011
Total16517182

Merged error: 24.0b

Counts
182 → 17

regimes1.5s

Accuracy

-29.9% (11.4b remaining)

Error of 36.4b against oracle of 25.0b and baseline of 33.8b

bsearch1.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
05284
15284

end0.0ms

sample6.2s

Algorithm
intervals
Results
1.3s2301×body5120valid
1.0s13068×body80nan
794.0ms1711×body2560valid
534.0ms6829×body80valid
367.0ms960×body1280valid
351.0ms572×body5120exit
142.0ms462×body640valid
43.0ms194×body320valid
15.0ms103×body160valid

Profiling

Loading profile data...