Details

Time bar (total: 2.5s)

sample35.0ms

Algorithm
intervals
Results
8.0ms284×body80valid
8.0ms297×body80nan

simplify7.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0124
1144
2144

prune3.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: 18.4b

Counts
2 → 1

localize11.0ms

Local error

Found 3 expressions with local error:

1.0b
(* c0 (sqrt (/ A (* V l))))
3.9b
(/ A (* V l))
17.5b
(sqrt (/ A (* V l)))

rewrite17.0ms

Algorithm
rewrite-expression-head
Rules
10×sqrt-div
6×associate-/r*
5×associate-*r/
4×*-commutative
3×frac-2neg clear-num div-inv
2×sqrt-prod
1×pow1/2 associate-*r*
Counts
3 → 19
Calls
3 calls:
7.0ms
(* c0 (sqrt (/ A (* V l))))
5.0ms
(/ A (* V l))
5.0ms
(sqrt (/ A (* V l)))

series106.0ms

Counts
3 → 9
Calls
3 calls:
44.0ms
(* c0 (sqrt (/ A (* V l))))
19.0ms
(/ A (* V l))
42.0ms
(sqrt (/ A (* V l)))

simplify25.0ms

Algorithm
egg-herbie
Counts
28 → 28
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
06862
114262
227362
346362
453262
553362
653362

prune79.0ms

Filtered
28 candidates to 24 candidates (85.7%)
Pruning

11 alts after pruning (11 fresh and 0 done)

PrunedKeptTotal
New171128
Fresh000
Picked101
Done000
Total181129

Merged error: 2.7b

Counts
29 → 11

localize9.0ms

Local error

Found 3 expressions with local error:

1.1b
(/ (* c0 (sqrt 1)) (sqrt (/ (* V l) A)))
4.1b
(/ (* V l) A)
17.3b
(sqrt (/ (* V l) A))

rewrite12.0ms

Algorithm
rewrite-expression-head
Rules
10×sqrt-div
8×associate-/l*
6×div-inv
5×associate-/r/ *-commutative
4×frac-2neg clear-num sqrt-prod
2×times-frac
1×pow1/2 associate-/r*
Counts
3 → 25
Calls
3 calls:
5.0ms
(/ (* c0 (sqrt 1)) (sqrt (/ (* V l) A)))
3.0ms
(/ (* V l) A)
3.0ms
(sqrt (/ (* V l) A))

series153.0ms

Counts
3 → 9
Calls
3 calls:
83.0ms
(/ (* c0 (sqrt 1)) (sqrt (/ (* V l) A)))
18.0ms
(/ (* V l) A)
52.0ms
(sqrt (/ (* V l) A))

simplify54.0ms

Algorithm
egg-herbie
Counts
34 → 34
Iterations

Useful iterations: 4 (51.0ms)

IterNodesCost
0112123
1235119
2479117
31968116
4500197

prune112.0ms

Filtered
34 candidates to 29 candidates (85.3%)
Pruning

12 alts after pruning (12 fresh and 0 done)

PrunedKeptTotal
New29534
Fresh3710
Picked101
Done000
Total331245

Merged error: 2.6b

Counts
45 → 12

localize8.0ms

Local error

Found 4 expressions with local error:

0.4b
(/ 1 (* V l))
1.0b
(* c0 (sqrt (* A (/ 1 (* V l)))))
3.7b
(* A (/ 1 (* V l)))
17.5b
(sqrt (* A (/ 1 (* V l))))

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
22×associate-*r/
14×sqrt-div
8×associate-/r* *-commutative
7×clear-num
6×associate-*r* sqrt-prod un-div-inv
4×frac-2neg div-inv
1×pow1/2 inv-pow
Counts
4 → 37
Calls
4 calls:
3.0ms
(/ 1 (* V l))
5.0ms
(* c0 (sqrt (* A (/ 1 (* V l)))))
3.0ms
(* A (/ 1 (* V l)))
4.0ms
(sqrt (* A (/ 1 (* V l))))

series106.0ms

Counts
4 → 12
Calls
4 calls:
11.0ms
(/ 1 (* V l))
43.0ms
(* c0 (sqrt (* A (/ 1 (* V l)))))
21.0ms
(* A (/ 1 (* V l)))
30.0ms
(sqrt (* A (/ 1 (* V l))))

simplify84.0ms

Algorithm
egg-herbie
Counts
49 → 49
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
08399
126299
288899
3234499
4318099
5377199
6500299

prune92.0ms

Filtered
49 candidates to 28 candidates (57.1%)
Pruning

12 alts after pruning (11 fresh and 1 done)

PrunedKeptTotal
New46349
Fresh3811
Picked011
Done000
Total491261

Merged error: 2.6b

Counts
61 → 12

localize9.0ms

Local error

Found 3 expressions with local error:

1.1b
(/ (* c0 (sqrt 1)) (sqrt (/ V (/ A l))))
4.7b
(/ V (/ A l))
17.3b
(sqrt (/ V (/ A l)))

rewrite12.0ms

Algorithm
rewrite-expression-head
Rules
19×associate-/r/
16×sqrt-prod
9×frac-2neg clear-num div-inv
8×times-frac sqrt-div
7×associate-/r*
5×*-commutative
2×associate-/l*
1×pow1/2
Counts
3 → 37
Calls
3 calls:
6.0ms
(/ (* c0 (sqrt 1)) (sqrt (/ V (/ A l))))
3.0ms
(/ V (/ A l))
3.0ms
(sqrt (/ V (/ A l)))

series152.0ms

Counts
3 → 9
Calls
3 calls:
89.0ms
(/ (* c0 (sqrt 1)) (sqrt (/ V (/ A l))))
20.0ms
(/ V (/ A l))
43.0ms
(sqrt (/ V (/ A l)))

simplify60.0ms

Algorithm
egg-herbie
Counts
46 → 46
Iterations

Useful iterations: 4 (55.0ms)

IterNodesCost
0131183
1254179
2540153
32356147
45001143

prune96.0ms

Filtered
46 candidates to 36 candidates (78.3%)
Pruning

11 alts after pruning (11 fresh and 0 done)

PrunedKeptTotal
New42446
Fresh3710
Picked101
Done101
Total471158

Merged error: 1.3b

Counts
58 → 11

regimes291.0ms

Accuracy

63.1% (6.2b remaining)

Error of 8.3b against oracle of 2.0b and baseline of 18.9b

bsearch1.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
05236
15436
25436

end0.0ms

sample908.0ms

Algorithm
intervals
Results
246.0ms8924×body80valid
230.0ms8883×body80nan