Details

Time bar (total: 4.8s)

sample257.0ms

Algorithm
intervals
Results
41.0ms561×body80valid

simplify467.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (16.0ms)

IterNodesCost
0537329

prune14.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: 9.5b

Counts
2 → 2

localize30.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (/ 0.125 (- 1.0 v)) (- 3.0 (* 2.0 v)))
0.5b
(/ 2.0 (* r r))
6.7b
(* r (* (* r (* w w)) (* (/ 0.125 (- 1.0 v)) (- 3.0 (* 2.0 v)))))
9.3b
(* r (* w w))

rewrite51.0ms

Algorithm
rewrite-expression-head
Rules
66×add-exp-log add-cbrt-cube
40×pow1 prod-exp cbrt-unprod
30×add-sqr-sqrt
27×associate-*l*
26×distribute-rgt-in distribute-lft-in pow-prod-down
24×*-un-lft-identity
19×times-frac
18×add-cube-cbrt
14×associate-*r/
10×sub-neg
6×cbrt-undiv div-exp
5×flip3-- associate-*r* flip--
4×frac-times add-log-exp
3×*-commutative associate-/l* distribute-lft-out-- difference-of-squares unswap-sqr
2×associate-*l/ associate-/r/ div-inv
1×frac-2neg clear-num associate-/r*
Counts
4 → 148
Calls
4 calls:
11.0ms
(* (/ 0.125 (- 1.0 v)) (- 3.0 (* 2.0 v)))
4.0ms
(/ 2.0 (* r r))
20.0ms
(* r (* (* r (* w w)) (* (/ 0.125 (- 1.0 v)) (- 3.0 (* 2.0 v)))))
8.0ms
(* r (* w w))

series50.0ms

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

simplify44.0ms

Algorithm
egg-herbie
Counts
160 → 160
Iterations

Useful iterations: 0 (28.0ms)

IterNodesCost
053652470

prune245.0ms

Filtered
88 candidates to 160 candidates (-81.8%)
Pruning

14 alts after pruning (14 fresh and 0 done)

PrunedKeptTotal
New14713160
Fresh011
Picked101
Done000
Total14814162

Merged error: 3.0b

Counts
162 → 14

localize18.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* r w) w)
0.3b
(* (/ 0.125 (- 1.0 v)) (- 3.0 (* 2.0 v)))
0.5b
(/ 2.0 (* r r))
6.7b
(* r (* (* (* r w) w) (* (/ 0.125 (- 1.0 v)) (- 3.0 (* 2.0 v)))))

rewrite44.0ms

Algorithm
rewrite-expression-head
Rules
66×add-exp-log add-cbrt-cube
40×pow1 prod-exp cbrt-unprod
29×add-sqr-sqrt
26×distribute-rgt-in distribute-lft-in pow-prod-down
25×associate-*l*
24×*-un-lft-identity
19×times-frac
18×add-cube-cbrt
14×associate-*r/
10×sub-neg
7×associate-*r*
6×cbrt-undiv div-exp
5×flip3-- flip--
4×frac-times add-log-exp
3×*-commutative associate-/l* distribute-lft-out-- difference-of-squares
2×associate-*l/ associate-/r/ div-inv unswap-sqr
1×frac-2neg clear-num associate-/r*
Counts
4 → 147
Calls
4 calls:
5.0ms
(* (* r w) w)
11.0ms
(* (/ 0.125 (- 1.0 v)) (- 3.0 (* 2.0 v)))
4.0ms
(/ 2.0 (* r r))
18.0ms
(* r (* (* (* r w) w) (* (/ 0.125 (- 1.0 v)) (- 3.0 (* 2.0 v)))))

series37.0ms

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

simplify45.0ms

Algorithm
egg-herbie
Counts
159 → 159
Iterations

Useful iterations: 0 (30.0ms)

IterNodesCost
059112441

prune218.0ms

Filtered
85 candidates to 159 candidates (-87.1%)
Pruning

15 alts after pruning (14 fresh and 1 done)

PrunedKeptTotal
New1554159
Fresh31013
Picked011
Done000
Total15815173

Merged error: 1.2b

Counts
173 → 15

localize22.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt r)
0.6b
(cbrt r)
0.6b
(cbrt r)
3.3b
(* (* (cbrt r) (cbrt r)) (* (* r w) (* (* w (* (/ 0.125 (- 1.0 v)) (- 3.0 (* v 2.0)))) (cbrt r))))

rewrite41.0ms

Algorithm
rewrite-expression-head
Rules
129×add-exp-log
99×prod-exp cbrt-unprod
97×pow1
91×add-cbrt-cube
75×pow-prod-down
17×associate-*r/
9×cbrt-prod
7×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
6×associate-*l/
4×cbrt-undiv div-exp add-log-exp
3×pow1/3
2×frac-times flip3-- flip--
1×associate-*r* associate-*l* *-commutative
Counts
4 → 110
Calls
4 calls:
1.0ms
(cbrt r)
1.0ms
(cbrt r)
1.0ms
(cbrt r)
30.0ms
(* (* (cbrt r) (cbrt r)) (* (* r w) (* (* w (* (/ 0.125 (- 1.0 v)) (- 3.0 (* v 2.0)))) (cbrt r))))

series97.0ms

Counts
4 → 12
Calls
4 calls:
21.0ms
(cbrt r)
26.0ms
(cbrt r)
23.0ms
(cbrt r)
27.0ms
(* (* (cbrt r) (cbrt r)) (* (* r w) (* (* w (* (/ 0.125 (- 1.0 v)) (- 3.0 (* v 2.0)))) (cbrt r))))

simplify34.0ms

Algorithm
egg-herbie
Counts
122 → 122
Iterations

Useful iterations: 0 (21.0ms)

IterNodesCost
049771814
149771814

prune148.0ms

Filtered
54 candidates to 122 candidates (-125.9%)
Pruning

16 alts after pruning (14 fresh and 2 done)

PrunedKeptTotal
New1202122
Fresh11213
Picked011
Done011
Total12116137

Merged error: 0.1b

Counts
137 → 16

localize22.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt r)
0.6b
(cbrt r)
0.6b
(cbrt r)
1.4b
(* (* r (* w (* (cbrt r) (cbrt r)))) (* (* w (* (/ 0.125 (- 1.0 v)) (- 3.0 (* v 2.0)))) (cbrt r)))

rewrite37.0ms

Algorithm
rewrite-expression-head
Rules
114×add-exp-log
88×add-cbrt-cube
86×prod-exp cbrt-unprod
84×pow1
64×pow-prod-down
12×associate-*r/
9×cbrt-prod
7×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
6×associate-*l/
4×cbrt-undiv div-exp add-log-exp
3×pow1/3
2×frac-times flip3-- flip--
1×associate-*r* associate-*l* *-commutative
Counts
4 → 104
Calls
4 calls:
1.0ms
(cbrt r)
1.0ms
(cbrt r)
1.0ms
(cbrt r)
27.0ms
(* (* r (* w (* (cbrt r) (cbrt r)))) (* (* w (* (/ 0.125 (- 1.0 v)) (- 3.0 (* v 2.0)))) (cbrt r)))

series91.0ms

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

simplify36.0ms

Algorithm
egg-herbie
Counts
116 → 116
Iterations

Useful iterations: 0 (25.0ms)

IterNodesCost
057681722

prune97.0ms

Filtered
54 candidates to 116 candidates (-114.8%)
Pruning

17 alts after pruning (14 fresh and 3 done)

PrunedKeptTotal
New1142116
Fresh11213
Picked011
Done022
Total11517132

Merged error: 0.1b

Counts
132 → 17

regimes729.0ms

Accuracy

78.2% (0.3b remaining)

Error of 0.4b against oracle of 0.1b and baseline of 1.4b

bsearch199.0ms

Steps
ItersRangePoint
12
4.963061326956952e+148
2.6826601053241825e+187
1.0632622679864246e+167
10
-1.2997057857887708e+180
-2.195754536398676e+162
-5.018123351843445e+164

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
05674
15674

end0.0ms

sample1.7s

Algorithm
intervals
Results
1.1s17083×body80valid

Profiling

Loading profile data...