Details

Time bar (total: 5.0s)

sample57.0ms

Algorithm
intervals
Results
21.0ms285×body80valid
7.0ms94×body80nan

simplify71.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (69.0ms)

IterNodesCost
0520618

prune19.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: 11.6b

Counts
2 → 2

localize14.0ms

Local error

Found 4 expressions with local error:

1.2b
(* w0 (sqrt (- 1.0 (* (pow (* M (/ D (* 2.0 d))) 2.0) (/ h l)))))
4.0b
(sqrt (- 1.0 (* (pow (* M (/ D (* 2.0 d))) 2.0) (/ h l))))
5.1b
(* M (/ D (* 2.0 d)))
10.8b
(* (pow (* M (/ D (* 2.0 d))) 2.0) (/ h l))

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
55×add-exp-log
34×add-sqr-sqrt
26×associate-*r*
25×prod-exp
20×add-cbrt-cube
19×add-cube-cbrt *-un-lft-identity
14×times-frac
12×div-exp
11×associate-*l*
9×pow1
8×pow-exp
7×sqrt-prod cbrt-unprod unswap-sqr
4×sqrt-div associate-*r/ add-log-exp
3×cbrt-undiv *-commutative sqr-pow
2×pow-to-exp flip3-- pow-prod-down flip-- div-inv
1×unpow-prod-down rem-sqrt-square sqrt-pow1 pow1/2
Counts
4 → 111
Calls
4 calls:
6.0ms
(* w0 (sqrt (- 1.0 (* (pow (* M (/ D (* 2.0 d))) 2.0) (/ h l)))))
3.0ms
(sqrt (- 1.0 (* (pow (* M (/ D (* 2.0 d))) 2.0) (/ h l))))
7.0ms
(* M (/ D (* 2.0 d)))
9.0ms
(* (pow (* M (/ D (* 2.0 d))) 2.0) (/ h l))

series565.0ms

Counts
4 → 12
Calls
4 calls:
186.0ms
(* w0 (sqrt (- 1.0 (* (pow (* M (/ D (* 2.0 d))) 2.0) (/ h l)))))
155.0ms
(sqrt (- 1.0 (* (pow (* M (/ D (* 2.0 d))) 2.0) (/ h l))))
6.0ms
(* M (/ D (* 2.0 d)))
218.0ms
(* (pow (* M (/ D (* 2.0 d))) 2.0) (/ h l))

simplify37.0ms

Algorithm
egg-herbie
Counts
123 → 123
Iterations

Useful iterations: 0 (24.0ms)

IterNodesCost
054361864

prune211.0ms

Filtered
82 candidates to 123 candidates (-50.0%)
Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New1194123
Fresh101
Picked101
Done000
Total1214125

Merged error: 7.4b

Counts
125 → 4

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

prune17.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New000
Fresh033
Picked011
Done000
Total044

Merged error: 7.4b

Counts
4 → 4

localize17.0ms

Local error

Found 4 expressions with local error:

4.0b
(sqrt (- 1.0 (* (pow (* M (/ D (* 2.0 d))) (/ 2.0 2)) (* (/ h l) (pow (* M (/ D (* 2.0 d))) (/ 2.0 2))))))
5.1b
(* M (/ D (* 2.0 d)))
5.1b
(* M (/ D (* 2.0 d)))
9.8b
(* (/ h l) (pow (* M (/ D (* 2.0 d))) (/ 2.0 2)))

rewrite29.0ms

Algorithm
rewrite-expression-head
Rules
62×add-exp-log
32×add-sqr-sqrt
28×prod-exp
27×add-cbrt-cube
19×add-cube-cbrt *-un-lft-identity associate-*r* associate-*l*
17×times-frac
14×div-exp
10×cbrt-unprod
9×pow1
8×pow-exp
6×unswap-sqr
5×cbrt-undiv
4×add-log-exp
3×sqrt-prod *-commutative div-inv sqr-pow
2×pow-to-exp sqrt-div associate-*r/ pow-prod-down
1×unpow-prod-down rem-sqrt-square flip3-- sqrt-pow1 pow1/2 associate-*l/ flip--
Counts
4 → 114
Calls
4 calls:
2.0ms
(sqrt (- 1.0 (* (pow (* M (/ D (* 2.0 d))) (/ 2.0 2)) (* (/ h l) (pow (* M (/ D (* 2.0 d))) (/ 2.0 2))))))
7.0ms
(* M (/ D (* 2.0 d)))
7.0ms
(* M (/ D (* 2.0 d)))
9.0ms
(* (/ h l) (pow (* M (/ D (* 2.0 d))) (/ 2.0 2)))

series323.0ms

Counts
4 → 12
Calls
4 calls:
154.0ms
(sqrt (- 1.0 (* (pow (* M (/ D (* 2.0 d))) (/ 2.0 2)) (* (/ h l) (pow (* M (/ D (* 2.0 d))) (/ 2.0 2))))))
6.0ms
(* M (/ D (* 2.0 d)))
6.0ms
(* M (/ D (* 2.0 d)))
156.0ms
(* (/ h l) (pow (* M (/ D (* 2.0 d))) (/ 2.0 2)))

simplify34.0ms

Algorithm
egg-herbie
Counts
126 → 126
Iterations

Useful iterations: 0 (22.0ms)

IterNodesCost
050481747

prune262.0ms

Filtered
84 candidates to 126 candidates (-50.0%)
Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New1233126
Fresh022
Picked101
Done011
Total1246130

Merged error: 6.0b

Counts
130 → 6

localize20.0ms

Local error

Found 4 expressions with local error:

4.1b
(/ (pow (* M (/ D (* 2.0 d))) (/ 2.0 2)) l)
5.1b
(* M (/ D (* 2.0 d)))
5.1b
(* M (/ D (* 2.0 d)))
7.0b
(* h (/ (pow (* M (/ D (* 2.0 d))) (/ 2.0 2)) l))

rewrite34.0ms

Algorithm
rewrite-expression-head
Rules
64×add-exp-log
41×add-sqr-sqrt
38×times-frac
33×associate-*r*
30×add-cube-cbrt *-un-lft-identity
29×add-cbrt-cube
23×prod-exp
20×div-exp
10×pow1 cbrt-unprod
9×associate-*l*
8×pow-exp sqr-pow
7×unpow-prod-down
6×cbrt-undiv
5×associate-/l* unswap-sqr
4×div-inv add-log-exp
3×associate-*r/ pow-prod-down associate-/r* *-commutative
2×pow-to-exp
1×frac-2neg clear-num
Counts
4 → 138
Calls
4 calls:
5.0ms
(/ (pow (* M (/ D (* 2.0 d))) (/ 2.0 2)) l)
7.0ms
(* M (/ D (* 2.0 d)))
7.0ms
(* M (/ D (* 2.0 d)))
9.0ms
(* h (/ (pow (* M (/ D (* 2.0 d))) (/ 2.0 2)) l))

series367.0ms

Counts
4 → 12
Calls
4 calls:
178.0ms
(/ (pow (* M (/ D (* 2.0 d))) (/ 2.0 2)) l)
6.0ms
(* M (/ D (* 2.0 d)))
6.0ms
(* M (/ D (* 2.0 d)))
177.0ms
(* h (/ (pow (* M (/ D (* 2.0 d))) (/ 2.0 2)) l))

simplify53.0ms

Algorithm
egg-herbie
Counts
150 → 150
Iterations

Useful iterations: 0 (37.0ms)

IterNodesCost
050512157

prune320.0ms

Filtered
104 candidates to 150 candidates (-44.2%)
Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New1491150
Fresh134
Picked011
Done011
Total1506156

Merged error: 6.0b

Counts
156 → 6

regimes777.0ms

Accuracy

0% (1.2b remaining)

Error of 7.9b against oracle of 6.8b and baseline of 7.9b

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02532
12532

end0.0ms

sample1.7s

Algorithm
intervals
Results
708.0ms9303×body80valid
254.0ms3149×body80nan

Profiling

Loading profile data...