Details

Time bar (total: 3.7s)

sample53.0ms

Algorithm
intervals
Results
11.0ms288×body80valid
11.0ms291×body80nan

simplify3.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0148
1148

prune4.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 19.1b

Counts
2 → 1

localize7.0ms

Local error

Found 3 expressions with local error:

1.7b
(* c0 (sqrt (/ A (* V l))))
1.9b
(/ A (* V l))
18.3b
(sqrt (/ A (* V l)))

rewrite22.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×associate-*l* 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 → 66
Calls
3 calls:
8.0ms
(* c0 (sqrt (/ A (* V l))))
8.0ms
(/ A (* V l))
4.0ms
(sqrt (/ A (* V l)))

series30.0ms

Counts
3 → 9
Calls
3 calls:
15.0ms
(* c0 (sqrt (/ A (* V l))))
5.0ms
(/ A (* V l))
10.0ms
(sqrt (/ A (* V l)))

simplify48.0ms

Algorithm
egg-herbie
Counts
75 → 75
Iterations

Useful iterations: 0 (42.0ms)

IterNodesCost
05394561

prune152.0ms

Filtered
57 candidates to 75 candidates (-31.6%)
Pruning

16 alts after pruning (16 fresh and 0 done)

PrunedKeptTotal
New591675
Fresh000
Picked101
Done000
Total601676

Merged error: 8.5b

Counts
76 → 16

localize8.0ms

Local error

Found 4 expressions with local error:

0.5b
(/ 1 (* V l))
1.7b
(* c0 (sqrt (* A (/ 1 (* V l)))))
2.0b
(* A (/ 1 (* V l)))
18.3b
(sqrt (* A (/ 1 (* V l))))

rewrite33.0ms

Algorithm
rewrite-expression-head
Rules
36×add-exp-log
20×add-cbrt-cube
15×add-sqr-sqrt
14×pow1 prod-exp
11×add-cube-cbrt *-un-lft-identity associate-*r*
8×div-exp
6×times-frac associate-*l* cbrt-unprod
5×associate-*r/
4×cbrt-undiv rec-exp sqrt-div 1-exp pow-prod-down add-log-exp
3×un-div-inv associate-/l*
2×pow-flip sqrt-pow1 sqrt-prod *-commutative div-inv unswap-sqr
1×frac-2neg pow1/2 clear-num associate-/r* inv-pow
Counts
4 → 94
Calls
4 calls:
5.0ms
(/ 1 (* V l))
9.0ms
(* c0 (sqrt (* A (/ 1 (* V l)))))
11.0ms
(* A (/ 1 (* V l)))
5.0ms
(sqrt (* A (/ 1 (* V l))))

series32.0ms

Counts
4 → 12
Calls
4 calls:
3.0ms
(/ 1 (* V l))
15.0ms
(* c0 (sqrt (* A (/ 1 (* V l)))))
5.0ms
(* A (/ 1 (* V l)))
10.0ms
(sqrt (* A (/ 1 (* V l))))

simplify55.0ms

Algorithm
egg-herbie
Counts
106 → 106
Iterations

Useful iterations: 0 (48.0ms)

IterNodesCost
05237662

prune137.0ms

Filtered
57 candidates to 106 candidates (-86.0%)
Pruning

16 alts after pruning (15 fresh and 1 done)

PrunedKeptTotal
New1060106
Fresh01515
Picked011
Done000
Total10616122

Merged error: 8.5b

Counts
122 → 16

localize9.0ms

Local error

Found 4 expressions with local error:

2.5b
(sqrt (sqrt (/ A (* V l))))
2.5b
(sqrt (sqrt (/ A (* V l))))
18.3b
(sqrt (/ A (* V l)))
18.3b
(sqrt (/ A (* V l)))

rewrite20.0ms

Algorithm
rewrite-expression-head
Rules
50×sqrt-prod
20×add-sqr-sqrt
14×add-cube-cbrt *-un-lft-identity
12×times-frac
10×pow1 sqrt-pow1
6×rem-sqrt-square pow1/2 sqrt-div
4×add-exp-log add-cbrt-cube div-inv add-log-exp
Counts
4 → 84
Calls
4 calls:
5.0ms
(sqrt (sqrt (/ A (* V l))))
5.0ms
(sqrt (sqrt (/ A (* V l))))
4.0ms
(sqrt (/ A (* V l)))
4.0ms
(sqrt (/ A (* V l)))

series75.0ms

Counts
4 → 12
Calls
4 calls:
26.0ms
(sqrt (sqrt (/ A (* V l))))
27.0ms
(sqrt (sqrt (/ A (* V l))))
12.0ms
(sqrt (/ A (* V l)))
10.0ms
(sqrt (/ A (* V l)))

simplify46.0ms

Algorithm
egg-herbie
Counts
96 → 96
Iterations

Useful iterations: 0 (39.0ms)

IterNodesCost
04994746
14994746

prune143.0ms

Filtered
70 candidates to 96 candidates (-37.1%)
Pruning

16 alts after pruning (14 fresh and 2 done)

PrunedKeptTotal
New95196
Fresh11314
Picked011
Done011
Total9616112

Merged error: 8.4b

Counts
112 → 16

localize15.0ms

Local error

Found 4 expressions with local error:

18.3b
(sqrt (/ A (* V l)))
18.3b
(sqrt (/ A (* V l)))
18.3b
(sqrt (/ A (* V l)))
18.3b
(sqrt (/ A (* V l)))

rewrite21.0ms

Algorithm
rewrite-expression-head
Rules
28×sqrt-prod
16×add-sqr-sqrt
12×add-cube-cbrt *-un-lft-identity times-frac
8×pow1
4×add-exp-log rem-sqrt-square sqrt-pow1 pow1/2 sqrt-div add-cbrt-cube div-inv add-log-exp
Counts
4 → 72
Calls
4 calls:
4.0ms
(sqrt (/ A (* V l)))
5.0ms
(sqrt (/ A (* V l)))
4.0ms
(sqrt (/ A (* V l)))
6.0ms
(sqrt (/ A (* V l)))

series39.0ms

Counts
4 → 12
Calls
4 calls:
10.0ms
(sqrt (/ A (* V l)))
9.0ms
(sqrt (/ A (* V l)))
10.0ms
(sqrt (/ A (* V l)))
10.0ms
(sqrt (/ A (* V l)))

simplify92.0ms

Algorithm
egg-herbie
Counts
84 → 84
Iterations

Useful iterations: 0 (85.0ms)

IterNodesCost
04736592
14736592

prune100.0ms

Filtered
68 candidates to 84 candidates (-23.5%)
Pruning

16 alts after pruning (13 fresh and 3 done)

PrunedKeptTotal
New84084
Fresh01313
Picked011
Done022
Total8416100

Merged error: 8.4b

Counts
100 → 16

regimes1.0s

Accuracy

45.9% (7.2b remaining)

Error of 13.5b against oracle of 6.3b and baseline of 19.7b

bsearch2.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03343
13343

end0.0ms

sample1.5s

Algorithm
intervals
Results
332.0ms8906×body80valid
329.0ms8865×body80nan

Profiling

Loading profile data...