Details

Time bar (total: 5.2s)

analyze1.1s

Algorithm
search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
0%99.9%0.1%3
0%99.9%0.1%4
0%99.9%0.1%5
0%99.9%0.1%6
0%99.9%0.1%7
0%99.9%0.1%8
0%96.7%3.3%9
16.4%74.9%8.7%10
17.6%71.8%10.7%11
26.3%59.5%14.2%12
30.7%45.7%23.5%13
31.7%43.5%24.7%14

sample50.0ms

Algorithm
intervals
Results
19.0ms256×body80valid
11.0ms155×body80invalid

simplify430.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (26.0ms)

IterNodesCost
0623629

prune29.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 8.3b

Counts
2 → 2

localize20.0ms

Local error

Found 4 expressions with local error:

0.6b
(/ 2.0 (* r r))
5.1b
(* r (* (* 0.125 (- 3.0 (* 2.0 v))) (* (/ r (- 1.0 v)) (* w w))))
6.2b
(* (* 0.125 (- 3.0 (* 2.0 v))) (* (/ r (- 1.0 v)) (* w w)))
9.6b
(* (/ r (- 1.0 v)) (* w w))

rewrite62.0ms

Algorithm
rewrite-expression-head
Rules
115×add-exp-log add-cbrt-cube
72×prod-exp cbrt-unprod
59×pow1
40×pow-prod-down
25×add-sqr-sqrt associate-*l*
22×*-un-lft-identity
19×times-frac
16×add-cube-cbrt
15×associate-*r/
12×cbrt-undiv div-exp
11×associate-*l/
5×flip3-- flip--
4×frac-times add-log-exp
3×associate-*r* *-commutative associate-/l* distribute-lft-out-- difference-of-squares
2×associate-/r/ div-inv unswap-sqr
1×frac-2neg clear-num associate-/r*
Counts
4 → 151
Calls
4 calls:
4.0ms
(/ 2.0 (* r r))
18.0ms
(* r (* (* 0.125 (- 3.0 (* 2.0 v))) (* (/ r (- 1.0 v)) (* w w))))
15.0ms
(* (* 0.125 (- 3.0 (* 2.0 v))) (* (/ r (- 1.0 v)) (* w w)))
12.0ms
(* (/ r (- 1.0 v)) (* w w))

series69.0ms

Counts
4 → 12
Calls
4 calls:
3.0ms
(/ 2.0 (* r r))
22.0ms
(* r (* (* 0.125 (- 3.0 (* 2.0 v))) (* (/ r (- 1.0 v)) (* w w))))
20.0ms
(* (* 0.125 (- 3.0 (* 2.0 v))) (* (/ r (- 1.0 v)) (* w w)))
25.0ms
(* (/ r (- 1.0 v)) (* w w))

simplify47.0ms

Algorithm
egg-herbie
Counts
163 → 163
Iterations

Useful iterations: 0 (28.0ms)

IterNodesCost
050452536

prune271.0ms

Filtered
87 candidates to 163 candidates (-87.4%)
Pruning

15 alts after pruning (15 fresh and 0 done)

PrunedKeptTotal
New14914163
Fresh011
Picked101
Done000
Total15015165

Merged error: 1.9b

Counts
165 → 15

localize17.0ms

Local error

Found 4 expressions with local error:

0.6b
(/ 2.0 (* r r))
2.6b
(* r (/ w (- 1.0 v)))
5.1b
(* r (* (* 0.125 (- 3.0 (* 2.0 v))) (* (* r (/ w (- 1.0 v))) w)))
6.2b
(* (* 0.125 (- 3.0 (* 2.0 v))) (* (* r (/ w (- 1.0 v))) w))

rewrite55.0ms

Algorithm
rewrite-expression-head
Rules
88×add-exp-log add-cbrt-cube
56×pow1 prod-exp cbrt-unprod
38×pow-prod-down
28×add-sqr-sqrt
23×*-un-lft-identity associate-*r*
22×associate-*r/
19×times-frac
17×add-cube-cbrt
10×associate-*l/
7×cbrt-undiv div-exp associate-*l*
5×flip3-- flip--
4×frac-times add-log-exp
3×*-commutative associate-/l* distribute-lft-out-- difference-of-squares
2×associate-/r/ div-inv unswap-sqr
1×frac-2neg clear-num associate-/r*
Counts
4 → 140
Calls
4 calls:
4.0ms
(/ 2.0 (* r r))
12.0ms
(* r (/ w (- 1.0 v)))
17.0ms
(* r (* (* 0.125 (- 3.0 (* 2.0 v))) (* (* r (/ w (- 1.0 v))) w)))
15.0ms
(* (* 0.125 (- 3.0 (* 2.0 v))) (* (* r (/ w (- 1.0 v))) w))

series55.0ms

Counts
4 → 12
Calls
4 calls:
3.0ms
(/ 2.0 (* r r))
10.0ms
(* r (/ w (- 1.0 v)))
22.0ms
(* r (* (* 0.125 (- 3.0 (* 2.0 v))) (* (* r (/ w (- 1.0 v))) w)))
20.0ms
(* (* 0.125 (- 3.0 (* 2.0 v))) (* (* r (/ w (- 1.0 v))) w))

simplify44.0ms

Algorithm
egg-herbie
Counts
152 → 152
Iterations

Useful iterations: 0 (28.0ms)

IterNodesCost
049932270
149932270

prune248.0ms

Filtered
85 candidates to 152 candidates (-78.8%)
Pruning

14 alts after pruning (14 fresh and 0 done)

PrunedKeptTotal
New1484152
Fresh41014
Picked101
Done000
Total15314167

Merged error: 1.4b

Counts
167 → 14

localize20.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (/ (* r w) (- 1.0 v)) w)
0.6b
(/ 2.0 (* r r))
5.1b
(* r (* (* 0.125 (- 3.0 (* 2.0 v))) (* (/ (* r w) (- 1.0 v)) w)))
6.2b
(* (* 0.125 (- 3.0 (* 2.0 v))) (* (/ (* r w) (- 1.0 v)) w))

rewrite49.0ms

Algorithm
rewrite-expression-head
Rules
92×add-exp-log add-cbrt-cube
54×prod-exp cbrt-unprod
36×pow1
22×pow-prod-down
15×associate-*r/ associate-*l*
14×add-sqr-sqrt
12×cbrt-undiv *-un-lft-identity div-exp
11×associate-*l/
10×add-cube-cbrt
8×times-frac
5×flip3-- associate-*r* flip--
4×frac-times add-log-exp
3×*-commutative associate-/l*
2×associate-/r/ div-inv
1×frac-2neg clear-num associate-/r* distribute-lft-out-- difference-of-squares unswap-sqr
Counts
4 → 127
Calls
4 calls:
9.0ms
(* (/ (* r w) (- 1.0 v)) w)
4.0ms
(/ 2.0 (* r r))
16.0ms
(* r (* (* 0.125 (- 3.0 (* 2.0 v))) (* (/ (* r w) (- 1.0 v)) w)))
14.0ms
(* (* 0.125 (- 3.0 (* 2.0 v))) (* (/ (* r w) (- 1.0 v)) w))

series62.0ms

Counts
4 → 12
Calls
4 calls:
14.0ms
(* (/ (* r w) (- 1.0 v)) w)
3.0ms
(/ 2.0 (* r r))
25.0ms
(* r (* (* 0.125 (- 3.0 (* 2.0 v))) (* (/ (* r w) (- 1.0 v)) w)))
20.0ms
(* (* 0.125 (- 3.0 (* 2.0 v))) (* (/ (* r w) (- 1.0 v)) w))

simplify54.0ms

Algorithm
egg-herbie
Counts
139 → 139
Iterations

Useful iterations: 0 (41.0ms)

IterNodesCost
049622167
149622167

prune212.0ms

Filtered
80 candidates to 139 candidates (-73.8%)
Pruning

14 alts after pruning (13 fresh and 1 done)

PrunedKeptTotal
New1390139
Fresh01313
Picked011
Done000
Total13914153

Merged error: 1.4b

Counts
153 → 14

localize17.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* r (/ w (- 1.0 v))) w)
2.6b
(* r (/ w (- 1.0 v)))
5.1b
(* r (* (* 0.125 (- 3.0 (* 2.0 v))) (* (* r (/ w (- 1.0 v))) w)))
6.2b
(* (* 0.125 (- 3.0 (* 2.0 v))) (* (* r (/ w (- 1.0 v))) w))

rewrite59.0ms

Algorithm
rewrite-expression-head
Rules
92×add-exp-log add-cbrt-cube
61×pow1
60×prod-exp cbrt-unprod
41×pow-prod-down
27×add-sqr-sqrt
26×associate-*r*
23×associate-*r/
22×*-un-lft-identity
16×add-cube-cbrt times-frac
11×associate-*l/
8×associate-*l*
6×cbrt-undiv div-exp
5×flip3-- flip--
4×frac-times *-commutative add-log-exp
3×distribute-lft-out-- difference-of-squares
2×associate-/r/ unswap-sqr
1×div-inv
Counts
4 → 140
Calls
4 calls:
9.0ms
(* (* r (/ w (- 1.0 v))) w)
10.0ms
(* r (/ w (- 1.0 v)))
17.0ms
(* r (* (* 0.125 (- 3.0 (* 2.0 v))) (* (* r (/ w (- 1.0 v))) w)))
16.0ms
(* (* 0.125 (- 3.0 (* 2.0 v))) (* (* r (/ w (- 1.0 v))) w))

series69.0ms

Counts
4 → 12
Calls
4 calls:
14.0ms
(* (* r (/ w (- 1.0 v))) w)
10.0ms
(* r (/ w (- 1.0 v)))
25.0ms
(* r (* (* 0.125 (- 3.0 (* 2.0 v))) (* (* r (/ w (- 1.0 v))) w)))
20.0ms
(* (* 0.125 (- 3.0 (* 2.0 v))) (* (* r (/ w (- 1.0 v))) w))

simplify42.0ms

Algorithm
egg-herbie
Counts
152 → 152
Iterations

Useful iterations: 0 (28.0ms)

IterNodesCost
050142404

prune178.0ms

Filtered
84 candidates to 152 candidates (-81.0%)
Pruning

15 alts after pruning (13 fresh and 2 done)

PrunedKeptTotal
New1511152
Fresh01212
Picked011
Done011
Total15115166

Merged error: 1.4b

Counts
166 → 15

regimes690.0ms

Accuracy

0% (1.9b remaining)

Error of 3.8b against oracle of 1.9b and baseline of 3.8b

bsearch0.0ms

simplify10.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (9.0ms)

IterNodesCost
052529
152529

end0.0ms

sample1.2s

Algorithm
intervals
Results
579.0ms8000×body80valid
348.0ms4843×body80invalid

Profiling

Loading profile data...