Details

Time bar (total: 10.3s)

sample199.0ms

Algorithm
intervals
Results
42.0ms69×body5120valid
30.0ms382×body80nan
28.0ms58×body2560valid
17.0ms185×body80valid
14.0ms36×body1280valid
7.0ms11×body5120exit
7.0ms22×body640valid
1.0ms4×body320valid
1.0ms4×body160valid

simplify48.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (46.0ms)

IterNodesCost
0507440

prune18.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))))

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

series341.0ms

Counts
4 → 12
Calls
4 calls:
133.0ms
(sqrt (- (* (/ c0 (* w h)) (* (pow (/ d D) 4) (/ c0 (* w h)))) (* M M)))
23.0ms
(* (pow (/ d D) 4) (/ c0 (* w h)))
36.0ms
(* (/ c0 (* w h)) (pow (/ d D) 2))
149.0ms
(+ (* (/ c0 (* w h)) (pow (/ d D) 2)) (sqrt (- (* (/ c0 (* w h)) (* (pow (/ d D) 4) (/ c0 (* w h)))) (* M M))))

simplify53.0ms

Algorithm
egg-herbie
Counts
146 → 146
Iterations

Useful iterations: 0 (39.0ms)

IterNodesCost
049762508
149762508

prune371.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)

simplify42.0ms

Algorithm
egg-herbie
Counts
55 → 55
Iterations

Useful iterations: 0 (37.0ms)

IterNodesCost
05030230

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

localize0.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify3.0ms

Algorithm
egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
000

prune87.0ms

Pruning

16 alts after pruning (15 fresh and 1 done)

PrunedKeptTotal
New000
Fresh01515
Picked011
Done000
Total01616

Merged error: 26.5b

Counts
16 → 16

localize25.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)))))

rewrite69.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))
25.0ms
(/ (+ 0 (* M M)) (- (* (/ c0 (* w h)) (pow (/ d D) 2)) (sqrt (- (* (/ c0 (* w h)) (* (/ c0 (* w h)) (pow (/ d D) 4))) (* M M)))))

series419.0ms

Counts
4 → 12
Calls
4 calls:
133.0ms
(sqrt (- (* (/ c0 (* w h)) (* (/ c0 (* w h)) (pow (/ d D) 4))) (* M M)))
54.0ms
(* (/ c0 (* w h)) (pow (/ d D) 4))
39.0ms
(* (/ c0 (* w h)) (pow (/ d D) 2))
193.0ms
(/ (+ 0 (* M M)) (- (* (/ c0 (* w h)) (pow (/ d D) 2)) (sqrt (- (* (/ c0 (* w h)) (* (/ c0 (* w h)) (pow (/ d D) 4))) (* M M)))))

simplify77.0ms

Algorithm
egg-herbie
Counts
166 → 166
Iterations

Useful iterations: 0 (58.0ms)

IterNodesCost
049723554
149723554

prune310.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.6s

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.4s

Algorithm
intervals
Results
1.4s2301×body5120valid
1.0s13068×body80nan
829.0ms1711×body2560valid
546.0ms6829×body80valid
373.0ms960×body1280valid
362.0ms572×body5120exit
140.0ms462×body640valid
48.0ms194×body320valid
16.0ms103×body160valid

Profiling

Loading profile data...