Details

Time bar (total: 30.9s)

sample58.0ms

Algorithm
intervals
Results
14.0ms284×body80valid
14.0ms307×body80nan

simplify5.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0124
1144
2144

prune2.0ms

Filtered
1 candidates to 0 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 22.5b

Counts
2 → 1

localize10.0ms

Local error

Found 3 expressions with local error:

1.0b
(* c0 (sqrt (/ A (* V l))))
6.6b
(/ A (* V l))
16.6b
(sqrt (/ A (* V l)))

rewrite45.0ms

Algorithm
rewrite-expression-head
Rules
123×add-sqr-sqrt
112×times-frac
83×sqrt-prod
82×add-cube-cbrt *-un-lft-identity
79×associate-*r*
39×associate-*l*
36×sqrt-div associate-/r*
18×associate-*r/ unswap-sqr
13×*-commutative
10×add-exp-log add-cbrt-cube
9×associate-/l*
6×pow1
3×rem-sqrt-square frac-2neg clear-num div-inv add-log-exp
2×cbrt-undiv div-exp prod-exp cbrt-unprod
1×sqrt-pow1 pow1/2 pow-prod-down
Counts
3 → 214
Calls
3 calls:
19.0ms
(* c0 (sqrt (/ A (* V l))))
7.0ms
(/ A (* V l))
9.0ms
(sqrt (/ A (* V l)))

series102.0ms

Counts
3 → 9
Calls
3 calls:
45.0ms
(* c0 (sqrt (/ A (* V l))))
20.0ms
(/ A (* V l))
37.0ms
(sqrt (/ A (* V l)))

simplify61.0ms

Algorithm
egg-herbie
Counts
223 → 223
Iterations

Useful iterations: 2 (41.0ms)

IterNodesCost
05241258
119271215
250011200

prune595.0ms

Filtered
223 candidates to 171 candidates (76.7%)
Pruning

19 alts after pruning (19 fresh and 0 done)

PrunedKeptTotal
New20419223
Fresh000
Picked101
Done000
Total20519224

Merged error: 1.0b

Counts
224 → 19

localize13.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt V)
1.1b
(* (* c0 (fabs (/ (cbrt A) (cbrt V)))) (sqrt (/ (cbrt A) (* (cbrt V) l))))
2.9b
(/ (cbrt A) (* (cbrt V) l))
4.3b
(sqrt (/ (cbrt A) (* (cbrt V) l)))

rewrite107.0ms

Algorithm
rewrite-expression-head
Rules
360×add-sqr-sqrt
306×times-frac
255×cbrt-prod
214×sqrt-prod
197×add-cube-cbrt *-un-lft-identity
169×associate-*r*
141×associate-*l*
79×unswap-sqr
50×sqrt-div
48×associate-/r*
25×associate-*r/
23×*-commutative
20×add-cbrt-cube
18×associate-/l*
14×add-exp-log
10×pow1
7×rem-sqrt-square cbrt-unprod
6×cbrt-undiv
4×prod-exp add-log-exp
3×frac-2neg pow-prod-down clear-num div-inv
2×div-exp
1×sqrt-pow1 pow1/2 pow1/3
Counts
4 → 458
Calls
4 calls:
1.0ms
(cbrt V)
51.0ms
(* (* c0 (fabs (/ (cbrt A) (cbrt V)))) (sqrt (/ (cbrt A) (* (cbrt V) l))))
10.0ms
(/ (cbrt A) (* (cbrt V) l))
17.0ms
(sqrt (/ (cbrt A) (* (cbrt V) l)))

series600.0ms

Counts
4 → 12
Calls
4 calls:
179.0ms
(cbrt V)
157.0ms
(* (* c0 (fabs (/ (cbrt A) (cbrt V)))) (sqrt (/ (cbrt A) (* (cbrt V) l))))
96.0ms
(/ (cbrt A) (* (cbrt V) l))
167.0ms
(sqrt (/ (cbrt A) (* (cbrt V) l)))

simplify80.0ms

Algorithm
egg-herbie
Counts
470 → 470
Iterations

Useful iterations: 1 (31.0ms)

IterNodesCost
014145327
150015201

prune2.1s

Filtered
470 candidates to 396 candidates (84.3%)
Pruning

20 alts after pruning (20 fresh and 0 done)

PrunedKeptTotal
New4619470
Fresh71118
Picked101
Done000
Total46920489

Merged error: 0.2b

Counts
489 → 20

localize20.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt V)
0.6b
(cbrt V)
1.1b
(* (* c0 (fabs (/ (cbrt A) (cbrt V)))) (sqrt (* (/ (cbrt 1) (* (cbrt V) (* (cbrt l) (cbrt l)))) (/ (cbrt A) (cbrt l)))))
4.3b
(sqrt (* (/ (cbrt 1) (* (cbrt V) (* (cbrt l) (cbrt l)))) (/ (cbrt A) (cbrt l))))

rewrite1.6s

Algorithm
rewrite-expression-head
Rules
11539×add-sqr-sqrt
6747×cbrt-prod
5597×unswap-sqr
3329×times-frac
2584×associate-/r*
2213×associate-*r*
2114×sqrt-div
1950×frac-times
1932×sqrt-prod
1885×*-un-lft-identity
1408×add-cube-cbrt
1223×associate-*l*
1087×associate-*r/
986×associate-/l*
740×swap-sqr
330×*-commutative
291×rem-sqrt-square
166×clear-num
164×frac-2neg
130×associate-*l/
12×pow1
9×add-exp-log add-cbrt-cube
4×pow-prod-down un-div-inv div-inv add-log-exp
3×prod-exp cbrt-unprod
2×sqrt-pow1 pow1/3
1×pow1/2
Counts
4 → 4400
Calls
4 calls:
1.0ms
(cbrt V)
1.0ms
(cbrt V)
557.0ms
(* (* c0 (fabs (/ (cbrt A) (cbrt V)))) (sqrt (* (/ (cbrt 1) (* (cbrt V) (* (cbrt l) (cbrt l)))) (/ (cbrt A) (cbrt l)))))
325.0ms
(sqrt (* (/ (cbrt 1) (* (cbrt V) (* (cbrt l) (cbrt l)))) (/ (cbrt A) (cbrt l))))

series710.0ms

Counts
4 → 12
Calls
4 calls:
184.0ms
(cbrt V)
194.0ms
(cbrt V)
171.0ms
(* (* c0 (fabs (/ (cbrt A) (cbrt V)))) (sqrt (* (/ (cbrt 1) (* (cbrt V) (* (cbrt l) (cbrt l)))) (/ (cbrt A) (cbrt l)))))
161.0ms
(sqrt (* (/ (cbrt 1) (* (cbrt V) (* (cbrt l) (cbrt l)))) (/ (cbrt A) (cbrt l))))

simplify799.0ms

Algorithm
egg-herbie
Counts
4412 → 4412
Iterations

Useful iterations: 0 (51.0ms)

IterNodesCost
05619101101

prune20.7s

Filtered
4412 candidates to 3275 candidates (74.2%)
Pruning

21 alts after pruning (20 fresh and 1 done)

PrunedKeptTotal
New440574412
Fresh61319
Picked011
Done000
Total4411214432

Merged error: 0.0b

Counts
4432 → 21

localize24.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt l)
0.6b
(cbrt V)
0.6b
(cbrt V)
1.2b
(* (* c0 (fabs (/ (cbrt A) (cbrt V)))) (sqrt (/ 1 (* (cbrt l) (cbrt l)))))

rewrite84.0ms

Algorithm
rewrite-expression-head
Rules
244×add-sqr-sqrt
123×sqrt-prod
117×times-frac
115×associate-*r*
97×cbrt-prod
94×*-un-lft-identity
93×unswap-sqr
76×add-cube-cbrt
39×associate-*l*
33×sqrt-div associate-*r/
32×swap-sqr
27×associate-/r*
10×*-commutative
9×pow1 add-exp-log add-cbrt-cube
4×add-log-exp
3×pow1/3 pow-prod-down prod-exp cbrt-unprod associate-/l*
1×frac-2neg clear-num div-inv
Counts
4 → 220
Calls
4 calls:
1.0ms
(cbrt l)
1.0ms
(cbrt V)
1.0ms
(cbrt V)
63.0ms
(* (* c0 (fabs (/ (cbrt A) (cbrt V)))) (sqrt (/ 1 (* (cbrt l) (cbrt l)))))

series761.0ms

Counts
4 → 12
Calls
4 calls:
218.0ms
(cbrt l)
222.0ms
(cbrt V)
213.0ms
(cbrt V)
107.0ms
(* (* c0 (fabs (/ (cbrt A) (cbrt V)))) (sqrt (/ 1 (* (cbrt l) (cbrt l)))))

simplify107.0ms

Algorithm
egg-herbie
Counts
232 → 232
Iterations

Useful iterations: 2 (81.0ms)

IterNodesCost
08693000
135302805
250012639

prune891.0ms

Filtered
232 candidates to 144 candidates (62.1%)
Pruning

21 alts after pruning (19 fresh and 2 done)

PrunedKeptTotal
New2302232
Fresh21719
Picked011
Done011
Total23221253

Merged error: 0.0b

Counts
253 → 21

regimes505.0ms

Accuracy

0% (1.4b remaining)

Error of 1.5b against oracle of 0.1b and baseline of 1.5b

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03125
13125

end0.0ms

sample938.0ms

Algorithm
intervals
Results
244.0ms8870×body80valid
234.0ms9106×body80nan