Details

Time bar (total: 18.3s)

sample313.0ms

Algorithm
intervals
Results
151.0ms1173×body80nan
61.0ms414×body80valid

simplify24.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (22.0ms)

IterNodesCost
0564135

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: 27.3b

Counts
2 → 2

localize27.0ms

Local error

Found 4 expressions with local error:

6.3b
(* h (* (/ 1.0 2.0) (/ (pow (* M (/ D (* d 2.0))) 2.0) l)))
8.0b
(/ (pow (* M (/ D (* d 2.0))) 2.0) l)
11.8b
(pow (/ d l) (/ 1.0 2.0))
13.8b
(pow (/ d h) (/ 1.0 2.0))

rewrite38.0ms

Algorithm
rewrite-expression-head
Rules
100×add-exp-log
51×times-frac
43×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
41×prod-exp
33×div-exp
30×unpow-prod-down
26×pow-unpow
24×add-cbrt-cube
16×pow-exp
11×pow1
9×cbrt-unprod
6×sqr-pow
5×cbrt-undiv pow-to-exp div-inv associate-/l*
4×associate-*r/ add-log-exp
3×associate-*l* pow-prod-down associate-/r*
2×pow-pow
1×frac-times frac-2neg associate-*r* associate-*l/ clear-num *-commutative
Counts
4 → 153
Calls
4 calls:
12.0ms
(* h (* (/ 1.0 2.0) (/ (pow (* M (/ D (* d 2.0))) 2.0) l)))
6.0ms
(/ (pow (* M (/ D (* d 2.0))) 2.0) l)
6.0ms
(pow (/ d l) (/ 1.0 2.0))
6.0ms
(pow (/ d h) (/ 1.0 2.0))

series438.0ms

Counts
4 → 12
Calls
4 calls:
209.0ms
(* h (* (/ 1.0 2.0) (/ (pow (* M (/ D (* d 2.0))) 2.0) l)))
201.0ms
(/ (pow (* M (/ D (* d 2.0))) 2.0) l)
14.0ms
(pow (/ d l) (/ 1.0 2.0))
15.0ms
(pow (/ d h) (/ 1.0 2.0))

simplify54.0ms

Algorithm
egg-herbie
Counts
165 → 165
Iterations

Useful iterations: 0 (38.0ms)

IterNodesCost
049932434
149932434

prune584.0ms

Filtered
114 candidates to 165 candidates (-44.7%)
Pruning

21 alts after pruning (21 fresh and 0 done)

PrunedKeptTotal
New14520165
Fresh011
Picked101
Done000
Total14621167

Merged error: 12.6b

Counts
167 → 21

localize34.0ms

Local error

Found 4 expressions with local error:

5.7b
(* M (/ D (* d 2.0)))
6.3b
(* h (* (/ 1.0 2.0) (/ (pow (* M (/ D (* d 2.0))) 2.0) l)))
8.0b
(/ (pow (* M (/ D (* d 2.0))) 2.0) l)
11.8b
(pow (/ d l) (/ 1.0 2.0))

rewrite42.0ms

Algorithm
rewrite-expression-head
Rules
106×add-exp-log
45×prod-exp
36×times-frac
34×add-sqr-sqrt div-exp
33×add-cbrt-cube
32×add-cube-cbrt *-un-lft-identity
17×unpow-prod-down
14×pow-exp
13×pow-unpow cbrt-unprod
12×pow1
8×associate-*r*
7×cbrt-undiv
6×associate-*l*
5×associate-*r/ associate-/l* sqr-pow
4×pow-to-exp pow-prod-down div-inv add-log-exp
3×associate-/r*
2×*-commutative
1×frac-times pow-pow frac-2neg associate-*l/ clear-num unswap-sqr
Counts
4 → 142
Calls
4 calls:
8.0ms
(* M (/ D (* d 2.0)))
15.0ms
(* h (* (/ 1.0 2.0) (/ (pow (* M (/ D (* d 2.0))) 2.0) l)))
6.0ms
(/ (pow (* M (/ D (* d 2.0))) 2.0) l)
6.0ms
(pow (/ d l) (/ 1.0 2.0))

series428.0ms

Counts
4 → 12
Calls
4 calls:
7.0ms
(* M (/ D (* d 2.0)))
206.0ms
(* h (* (/ 1.0 2.0) (/ (pow (* M (/ D (* d 2.0))) 2.0) l)))
201.0ms
(/ (pow (* M (/ D (* d 2.0))) 2.0) l)
14.0ms
(pow (/ d l) (/ 1.0 2.0))

simplify37.0ms

Algorithm
egg-herbie
Counts
154 → 154
Iterations

Useful iterations: 0 (22.0ms)

IterNodesCost
051672198

prune601.0ms

Filtered
103 candidates to 154 candidates (-49.5%)
Pruning

26 alts after pruning (26 fresh and 0 done)

PrunedKeptTotal
New1459154
Fresh31720
Picked101
Done000
Total14926175

Merged error: 11.3b

Counts
175 → 26

localize44.0ms

Local error

Found 4 expressions with local error:

3.3b
(* (* (pow (* (/ (cbrt d) (cbrt h)) (/ (cbrt d) (cbrt h))) (/ 1.0 2.0)) (pow (/ (cbrt d) (cbrt h)) (/ 1.0 2.0))) (* (* (pow (* (/ (cbrt d) (cbrt l)) (/ (cbrt d) (cbrt l))) (/ 1.0 2.0)) (pow (/ (cbrt d) (cbrt l)) (/ 1.0 2.0))) (- 1.0 (* h (* (/ 1.0 2.0) (/ (pow (* M (/ D (* d 2.0))) 2.0) l))))))
5.7b
(* M (/ D (* d 2.0)))
6.3b
(* h (* (/ 1.0 2.0) (/ (pow (* M (/ D (* d 2.0))) 2.0) l)))
8.0b
(/ (pow (* M (/ D (* d 2.0))) 2.0) l)

rewrite259.0ms

Algorithm
rewrite-expression-head
Rules
5988×add-exp-log
4352×prod-exp
2018×pow-exp
1390×div-exp
652×pow-to-exp
54×add-cbrt-cube
28×cbrt-unprod
20×add-sqr-sqrt
18×add-cube-cbrt *-un-lft-identity times-frac
16×pow1
9×associate-*r/ associate-*r*
8×distribute-rgt-in distribute-lft-in
7×cbrt-undiv associate-*l* pow-prod-down
5×associate-/l*
4×sub-neg unpow-prod-down add-log-exp sqr-pow
3×associate-/r* *-commutative
2×div-inv
1×frac-times flip3-- frac-2neg associate-*l/ clear-num flip-- unswap-sqr
Counts
4 → 1002
Calls
4 calls:
50.0ms
(* (* (pow (* (/ (cbrt d) (cbrt h)) (/ (cbrt d) (cbrt h))) (/ 1.0 2.0)) (pow (/ (cbrt d) (cbrt h)) (/ 1.0 2.0))) (* (* (pow (* (/ (cbrt d) (cbrt l)) (/ (cbrt d) (cbrt l))) (/ 1.0 2.0)) (pow (/ (cbrt d) (cbrt l)) (/ 1.0 2.0))) (- 1.0 (* h (* (/ 1.0 2.0) (/ (pow (* M (/ D (* d 2.0))) 2.0) l))))))
8.0ms
(* M (/ D (* d 2.0)))
12.0ms
(* h (* (/ 1.0 2.0) (/ (pow (* M (/ D (* d 2.0))) 2.0) l)))
6.0ms
(/ (pow (* M (/ D (* d 2.0))) 2.0) l)

series746.0ms

Counts
4 → 12
Calls
4 calls:
318.0ms
(* (* (pow (* (/ (cbrt d) (cbrt h)) (/ (cbrt d) (cbrt h))) (/ 1.0 2.0)) (pow (/ (cbrt d) (cbrt h)) (/ 1.0 2.0))) (* (* (pow (* (/ (cbrt d) (cbrt l)) (/ (cbrt d) (cbrt l))) (/ 1.0 2.0)) (pow (/ (cbrt d) (cbrt l)) (/ 1.0 2.0))) (- 1.0 (* h (* (/ 1.0 2.0) (/ (pow (* M (/ D (* d 2.0))) 2.0) l))))))
7.0ms
(* M (/ D (* d 2.0)))
216.0ms
(* h (* (/ 1.0 2.0) (/ (pow (* M (/ D (* d 2.0))) 2.0) l)))
206.0ms
(/ (pow (* M (/ D (* d 2.0))) 2.0) l)

simplify287.0ms

Algorithm
egg-herbie
Counts
1014 → 1014
Iterations

Useful iterations: 0 (73.0ms)

IterNodesCost
0500940907

prune690.0ms

Filtered
88 candidates to 1014 candidates (-1052.3%)
Pruning

33 alts after pruning (33 fresh and 0 done)

PrunedKeptTotal
New1004101014
Fresh22325
Picked101
Done000
Total1007331040

Merged error: 7.0b

Counts
1040 → 33

localize50.0ms

Local error

Found 4 expressions with local error:

4.3b
(/ (pow (* M (/ D (* d 2.0))) (/ 2.0 2)) (* (cbrt l) (cbrt l)))
5.7b
(* M (/ D (* d 2.0)))
5.7b
(* M (/ D (* d 2.0)))
6.3b
(* h (* (/ 1.0 2.0) (* (/ (pow (* M (/ D (* d 2.0))) (/ 2.0 2)) (* (cbrt l) (cbrt l))) (/ (pow (* M (/ D (* d 2.0))) (/ 2.0 2)) (cbrt l)))))

rewrite107.0ms

Algorithm
rewrite-expression-head
Rules
1568×add-exp-log
873×prod-exp
544×div-exp
224×pow-exp
92×add-cbrt-cube
56×pow-to-exp
54×cbrt-unprod
27×cbrt-undiv
17×pow1 add-sqr-sqrt
15×associate-*r*
14×associate-*r/
13×add-cube-cbrt *-un-lft-identity
11×times-frac
9×associate-*l*
8×pow-prod-down
5×frac-times associate-/l*
4×add-log-exp
3×associate-*l/ *-commutative div-inv
2×unpow-prod-down unswap-sqr sqr-pow
1×frac-2neg clear-num associate-/r*
Counts
4 → 311
Calls
4 calls:
10.0ms
(/ (pow (* M (/ D (* d 2.0))) (/ 2.0 2)) (* (cbrt l) (cbrt l)))
8.0ms
(* M (/ D (* d 2.0)))
13.0ms
(* M (/ D (* d 2.0)))
34.0ms
(* h (* (/ 1.0 2.0) (* (/ (pow (* M (/ D (* d 2.0))) (/ 2.0 2)) (* (cbrt l) (cbrt l))) (/ (pow (* M (/ D (* d 2.0))) (/ 2.0 2)) (cbrt l)))))

series394.0ms

Counts
4 → 12
Calls
4 calls:
160.0ms
(/ (pow (* M (/ D (* d 2.0))) (/ 2.0 2)) (* (cbrt l) (cbrt l)))
6.0ms
(* M (/ D (* d 2.0)))
7.0ms
(* M (/ D (* d 2.0)))
221.0ms
(* h (* (/ 1.0 2.0) (* (/ (pow (* M (/ D (* d 2.0))) (/ 2.0 2)) (* (cbrt l) (cbrt l))) (/ (pow (* M (/ D (* d 2.0))) (/ 2.0 2)) (cbrt l)))))

simplify109.0ms

Algorithm
egg-herbie
Counts
323 → 323
Iterations

Useful iterations: 0 (69.0ms)

IterNodesCost
049656204
149656204

prune452.0ms

Filtered
88 candidates to 323 candidates (-267.0%)
Pruning

35 alts after pruning (35 fresh and 0 done)

PrunedKeptTotal
New3203323
Fresh03232
Picked101
Done000
Total32135356

Merged error: 7.0b

Counts
356 → 35

regimes2.3s

Accuracy

0% (6.0b remaining)

Error of 13.4b against oracle of 7.4b and baseline of 13.4b

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
04994
14994

end0.0ms

sample10.2s

Algorithm
intervals
Results
5.2s38287×body80nan
1.8s12960×body80valid

Profiling

Loading profile data...