Details

Time bar (total: 50.2s)

sample37.0ms

Algorithm
intervals
Results
10.0ms288×body80valid
8.0ms302×body80nan

simplify6.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.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: 17.1b

Counts
2 → 1

localize7.0ms

Local error

Found 3 expressions with local error:

1.4b
(* c0 (sqrt (/ A (* V l))))
4.5b
(/ A (* V l))
13.5b
(sqrt (/ A (* V l)))

rewrite50.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×expm1-log1p-u rem-sqrt-square frac-2neg clear-num log1p-expm1-u div-inv add-log-exp
2×cbrt-undiv div-exp prod-exp cbrt-unprod
1×sqrt-pow1 pow1/2 pow-prod-down
Counts
3 → 220
Calls
3 calls:
19.0ms
(* c0 (sqrt (/ A (* V l))))
8.0ms
(/ A (* V l))
10.0ms
(sqrt (/ A (* V l)))

series106.0ms

Counts
3 → 9
Calls
3 calls:
51.0ms
(* c0 (sqrt (/ A (* V l))))
21.0ms
(/ A (* V l))
34.0ms
(sqrt (/ A (* V l)))

simplify64.0ms

Algorithm
egg-herbie
Counts
229 → 229
Iterations

Useful iterations: 2 (47.0ms)

IterNodesCost
05301282
119331239
250011224

prune435.0ms

Filtered
229 candidates to 177 candidates (77.3%)
Pruning

15 alts after pruning (15 fresh and 0 done)

PrunedKeptTotal
New21415229
Fresh000
Picked101
Done000
Total21515230

Merged error: 1.3b

Counts
230 → 15

localize13.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt V)
1.4b
(* c0 (* (fabs (/ (cbrt A) (cbrt V))) (sqrt (/ (cbrt A) (* (cbrt V) l)))))
1.8b
(/ (cbrt A) (* (cbrt V) l))
5.6b
(sqrt (/ (cbrt A) (* (cbrt V) l)))

rewrite127.0ms

Algorithm
rewrite-expression-head
Rules
360×add-sqr-sqrt
306×times-frac
285×associate-*r*
255×cbrt-prod
214×sqrt-prod
197×add-cube-cbrt *-un-lft-identity
132×associate-*l*
79×unswap-sqr
50×sqrt-div associate-*r/
48×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×expm1-log1p-u prod-exp log1p-expm1-u 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 → 466
Calls
4 calls:
1.0ms
(cbrt V)
63.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)))

series634.0ms

Counts
4 → 12
Calls
4 calls:
185.0ms
(cbrt V)
167.0ms
(* c0 (* (fabs (/ (cbrt A) (cbrt V))) (sqrt (/ (cbrt A) (* (cbrt V) l)))))
102.0ms
(/ (cbrt A) (* (cbrt V) l))
180.0ms
(sqrt (/ (cbrt A) (* (cbrt V) l)))

simplify94.0ms

Algorithm
egg-herbie
Counts
478 → 478
Iterations

Useful iterations: 1 (37.0ms)

IterNodesCost
015625258
150025153

prune1.5s

Filtered
478 candidates to 407 candidates (85.1%)
Pruning

16 alts after pruning (16 fresh and 0 done)

PrunedKeptTotal
New4708478
Fresh6814
Picked101
Done000
Total47716493

Merged error: 0.3b

Counts
493 → 16

localize26.0ms

Local error

Found 4 expressions with local error:

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

rewrite5.3s

Algorithm
rewrite-expression-head
Rules
22254×add-sqr-sqrt
19457×cbrt-prod
11823×unswap-sqr
6020×sqrt-prod
5850×times-frac
4916×associate-*r/
4874×sqrt-div
4114×associate-*r*
3421×associate-*l*
2510×associate-/r*
2392×add-cube-cbrt *-un-lft-identity
2368×frac-times
2037×associate-/l*
1971×swap-sqr
634×*-commutative
109×frac-2neg clear-num
74×associate-*l/
14×pow1
13×add-exp-log rem-sqrt-square add-cbrt-cube
6×pow-prod-down prod-exp cbrt-unprod
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×div-inv
2×pow1/3
1×sqrt-pow1 pow1/2
Counts
4 → 6660
Calls
4 calls:
2.0ms
(cbrt V)
2.0ms
(cbrt V)
28.0ms
(sqrt (/ (cbrt (cbrt A)) (* (cbrt (cbrt V)) l)))
3.8s
(* (* c0 (* (fabs (/ (cbrt A) (cbrt V))) (sqrt (/ (* (cbrt (cbrt A)) (cbrt (cbrt A))) (cbrt (* (cbrt V) (cbrt V))))))) (sqrt (/ (cbrt (cbrt A)) (* (cbrt (cbrt V)) l))))

series779.0ms

Counts
4 → 12
Calls
4 calls:
187.0ms
(cbrt V)
195.0ms
(cbrt V)
173.0ms
(sqrt (/ (cbrt (cbrt A)) (* (cbrt (cbrt V)) l)))
223.0ms
(* (* c0 (* (fabs (/ (cbrt A) (cbrt V))) (sqrt (/ (* (cbrt (cbrt A)) (cbrt (cbrt A))) (cbrt (* (cbrt V) (cbrt V))))))) (sqrt (/ (cbrt (cbrt A)) (* (cbrt (cbrt V)) l))))

simplify2.3s

Algorithm
egg-herbie
Counts
6672 → 6672
Iterations

Useful iterations: 0 (93.0ms)

IterNodesCost
06298269891

prune34.5s

Filtered
6672 candidates to 4558 candidates (68.3%)
Pruning

17 alts after pruning (16 fresh and 1 done)

PrunedKeptTotal
New666666672
Fresh51015
Picked011
Done000
Total6671176688

Merged error: 0.0b

Counts
6688 → 17

localize32.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt V)
0.6b
(cbrt V)
0.6b
(cbrt V)
1.5b
(sqrt (/ (cbrt (cbrt A)) (* (cbrt (cbrt V)) l)))

rewrite54.0ms

Algorithm
rewrite-expression-head
Rules
339×cbrt-prod
215×add-sqr-sqrt
192×times-frac
184×sqrt-prod
121×add-cube-cbrt *-un-lft-identity
90×associate-*l*
39×unswap-sqr
32×sqrt-div
30×associate-*r*
20×associate-/r*
13×rem-sqrt-square
10×*-commutative
9×associate-/l*
5×pow1
4×add-exp-log expm1-log1p-u add-cbrt-cube log1p-expm1-u add-log-exp
3×pow1/3
1×frac-2neg sqrt-pow1 pow1/2 clear-num div-inv
Counts
4 → 279
Calls
4 calls:
1.0ms
(cbrt V)
1.0ms
(cbrt V)
2.0ms
(cbrt V)
30.0ms
(sqrt (/ (cbrt (cbrt A)) (* (cbrt (cbrt V)) l)))

series747.0ms

Counts
4 → 12
Calls
4 calls:
186.0ms
(cbrt V)
183.0ms
(cbrt V)
192.0ms
(cbrt V)
186.0ms
(sqrt (/ (cbrt (cbrt A)) (* (cbrt (cbrt V)) l)))

simplify101.0ms

Algorithm
egg-herbie
Counts
291 → 291
Iterations

Useful iterations: 2 (61.0ms)

IterNodesCost
09353677
125423634
250013618

prune1.7s

Filtered
291 candidates to 257 candidates (88.3%)
Pruning

18 alts after pruning (16 fresh and 2 done)

PrunedKeptTotal
New2901291
Fresh01515
Picked011
Done011
Total29018308

Merged error: 0.0b

Counts
308 → 18

regimes701.0ms

Accuracy

0% (3.0b remaining)

Error of 3.2b against oracle of 0.3b and baseline of 3.2b

bsearch0.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02930
12930

end0.0ms

sample928.0ms

Algorithm
intervals
Results
254.0ms8915×body80valid
224.0ms9002×body80nan