Details

Time bar (total: 4.5s)

sample33.0ms

Algorithm
intervals
Results
8.0ms296×body80valid
7.0ms301×body80nan

simplify5.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0124
1144
2144

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 21.1b

localize8.0ms

Local error

Found 3 expressions with local error:

2.1b
(* c0 (sqrt (/ A (* V l))))
6.2b
(/ A (* V l))
15.7b
(sqrt (/ A (* V l)))

rewrite18.0ms

Algorithm
rewrite-expression-head
Rules
16×add-sqr-sqrt
15×sqrt-prod
11×add-cube-cbrt *-un-lft-identity
10×add-exp-log associate-*r* add-cbrt-cube
9×times-frac
6×pow1
3×expm1-log1p-u associate-*l* log1p-expm1-u div-inv associate-/l* add-log-exp
2×cbrt-undiv sqrt-div div-exp prod-exp cbrt-unprod unswap-sqr
1×rem-sqrt-square frac-2neg sqrt-pow1 pow1/2 associate-*r/ pow-prod-down clear-num associate-/r* *-commutative
Counts
3 → 72
Calls
3 calls:
10.0ms
(* c0 (sqrt (/ A (* V l))))
3.0ms
(/ A (* V l))
3.0ms
(sqrt (/ A (* V l)))

series102.0ms

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

simplify69.0ms

Algorithm
egg-herbie
Counts
81 → 81
Iterations

Useful iterations: 2 (23.0ms)

IterNodesCost
0215345
1819320
23061317
35001317

prune210.0ms

Pruning

16 alts after pruning (15 fresh and 1 done)

Merged error: 5.8b

localize10.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt A)
2.1b
(* c0 (sqrt (* (/ (* (cbrt A) (cbrt A)) V) (/ (cbrt A) l))))
4.1b
(* (/ (* (cbrt A) (cbrt A)) V) (/ (cbrt A) l))
15.7b
(sqrt (* (/ (* (cbrt A) (cbrt A)) V) (/ (cbrt A) l)))

rewrite84.0ms

Algorithm
rewrite-expression-head
Rules
40×add-sqr-sqrt
28×times-frac
27×add-exp-log
26×associate-*r*
22×add-cube-cbrt *-un-lft-identity
20×add-cbrt-cube
14×cbrt-prod
11×pow1
10×associate-*l*
9×prod-exp cbrt-unprod
7×cbrt-undiv div-exp unswap-sqr
6×sqrt-div associate-*r/
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×frac-times pow-prod-down associate-*l/
2×sqrt-pow1 sqrt-prod *-commutative div-inv
1×pow1/2 pow1/3
Counts
4 → 114
Calls
4 calls:
0.0ms
(cbrt A)
44.0ms
(* c0 (sqrt (* (/ (* (cbrt A) (cbrt A)) V) (/ (cbrt A) l))))
23.0ms
(* (/ (* (cbrt A) (cbrt A)) V) (/ (cbrt A) l))
13.0ms
(sqrt (* (/ (* (cbrt A) (cbrt A)) V) (/ (cbrt A) l)))

series350.0ms

Counts
4 → 12
Calls
4 calls:
178.0ms
(cbrt A)
73.0ms
(* c0 (sqrt (* (/ (* (cbrt A) (cbrt A)) V) (/ (cbrt A) l))))
43.0ms
(* (/ (* (cbrt A) (cbrt A)) V) (/ (cbrt A) l))
56.0ms
(sqrt (* (/ (* (cbrt A) (cbrt A)) V) (/ (cbrt A) l)))

simplify65.0ms

Algorithm
egg-herbie
Counts
126 → 126
Iterations

Useful iterations: 2 (56.0ms)

IterNodesCost
05181059
12563904
25001844

prune371.0ms

Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 4.8b

localize13.0ms

Local error

Found 4 expressions with local error:

4.1b
(* (/ (* (cbrt A) (cbrt A)) V) (/ (cbrt A) l))
4.1b
(* (/ (* (cbrt A) (cbrt A)) V) (/ (cbrt A) l))
15.7b
(sqrt (* (/ (* (cbrt A) (cbrt A)) V) (/ (cbrt A) l)))
15.7b
(sqrt (* (/ (* (cbrt A) (cbrt A)) V) (/ (cbrt A) l)))

rewrite79.0ms

Algorithm
rewrite-expression-head
Rules
66×add-sqr-sqrt
56×times-frac
46×add-exp-log
44×associate-*r*
34×add-cube-cbrt *-un-lft-identity
32×add-cbrt-cube
22×cbrt-prod
16×prod-exp cbrt-unprod
14×pow1 cbrt-undiv div-exp associate-*l*
12×unswap-sqr
6×sqrt-div
4×expm1-log1p-u frac-times sqrt-pow1 associate-*r/ pow-prod-down associate-*l/ log1p-expm1-u div-inv add-log-exp
2×pow1/2 sqrt-prod *-commutative
Counts
4 → 154
Calls
4 calls:
24.0ms
(* (/ (* (cbrt A) (cbrt A)) V) (/ (cbrt A) l))
23.0ms
(* (/ (* (cbrt A) (cbrt A)) V) (/ (cbrt A) l))
13.0ms
(sqrt (* (/ (* (cbrt A) (cbrt A)) V) (/ (cbrt A) l)))
13.0ms
(sqrt (* (/ (* (cbrt A) (cbrt A)) V) (/ (cbrt A) l)))

series194.0ms

Counts
4 → 12
Calls
4 calls:
41.0ms
(* (/ (* (cbrt A) (cbrt A)) V) (/ (cbrt A) l))
45.0ms
(* (/ (* (cbrt A) (cbrt A)) V) (/ (cbrt A) l))
54.0ms
(sqrt (* (/ (* (cbrt A) (cbrt A)) V) (/ (cbrt A) l)))
54.0ms
(sqrt (* (/ (* (cbrt A) (cbrt A)) V) (/ (cbrt A) l)))

simplify58.0ms

Algorithm
egg-herbie
Counts
166 → 166
Iterations

Useful iterations: 2 (46.0ms)

IterNodesCost
04211508
120541332
250011206

prune621.0ms

Pruning

19 alts after pruning (18 fresh and 1 done)

Merged error: 4.8b

localize11.0ms

Local error

Found 3 expressions with local error:

2.1b
(* c0 (sqrt (* (/ A V) (/ 1 l))))
5.8b
(* (/ A V) (/ 1 l))
15.7b
(sqrt (* (/ A V) (/ 1 l)))

rewrite39.0ms

Algorithm
rewrite-expression-head
Rules
38×add-sqr-sqrt
27×add-exp-log
25×times-frac
21×*-un-lft-identity
19×add-cube-cbrt
17×associate-*r* add-cbrt-cube
16×associate-*l*
10×pow1
9×prod-exp
8×sqrt-div div-exp
7×associate-*r/ unswap-sqr
5×cbrt-unprod
4×cbrt-undiv
3×expm1-log1p-u frac-times pow-prod-down associate-*l/ un-div-inv log1p-expm1-u add-log-exp
2×rec-exp sqrt-pow1 1-exp sqrt-prod *-commutative div-inv
1×pow1/2
Counts
3 → 101
Calls
3 calls:
17.0ms
(* c0 (sqrt (* (/ A V) (/ 1 l))))
14.0ms
(* (/ A V) (/ 1 l))
5.0ms
(sqrt (* (/ A V) (/ 1 l)))

series102.0ms

Counts
3 → 9
Calls
3 calls:
46.0ms
(* c0 (sqrt (* (/ A V) (/ 1 l))))
24.0ms
(* (/ A V) (/ 1 l))
32.0ms
(sqrt (* (/ A V) (/ 1 l)))

simplify47.0ms

Algorithm
egg-herbie
Counts
110 → 110
Iterations

Useful iterations: 2 (41.0ms)

IterNodesCost
0440542
11884482
25001443

prune222.0ms

Pruning

19 alts after pruning (18 fresh and 1 done)

Merged error: 4.8b

regimes668.0ms

Accuracy

34.6% (9.6b remaining)

Error of 14.2b against oracle of 4.6b and baseline of 19.2b

bsearch192.0ms

Steps
ItersRangePoint
8
3.5963236095096674e+157
1.0344036973189953e+160
2.318816611971007e+159
9
1.5014456222892004e-175
1.21754263002048e-168
2.6039713787307445e-173
10
-1.3327577252985049e-275
-7.427267890318316e-287
-7.523293614799967e-287
7
-1.4036214910574762e-141
-1.196740751603595e-143
-1.1986589862513576e-141

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
05131
15131

end0.0ms

sample913.0ms

Algorithm
intervals
Results
236.0ms8964×body80valid
234.0ms9073×body80nan