Details

Time bar (total: 1.8s)

sample44.0ms

Algorithm
intervals
sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 99.996948%

Results
16.0ms76×body1280valid
7.0ms46×body640valid
3.0ms31×body320valid
2.0ms86×body80valid
2.0ms97×body80invalid
1.0ms17×body160valid

simplify6.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0103
1133
2153
3153

prune3.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 40.7b

Counts
2 → 1

localize4.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ (- (exp x) 1.0) x)
6.0b
(- (exp x) 1.0)

rewrite12.0ms

Algorithm
rewrite-expression-head
Rules
22×add-sqr-sqrt *-un-lft-identity
15×times-frac
12×add-cube-cbrt
5×associate-/l* distribute-lft-out-- difference-of-squares
4×add-exp-log add-cbrt-cube add-log-exp
3×associate-/r*
2×pow1 flip3-- flip-- associate-/l/
1×cbrt-undiv sub-neg frac-2neg diff-log div-sub div-exp clear-num div-inv
Counts
2 → 52
Calls
2 calls:
6.0ms
(/ (- (exp x) 1.0) x)
4.0ms
(- (exp x) 1.0)

series7.0ms

Counts
2 → 6
Calls
2 calls:
4.0ms
(/ (- (exp x) 1.0) x)
3.0ms
(- (exp x) 1.0)

simplify77.0ms

Algorithm
egg-herbie
Counts
58 → 58
Iterations

Useful iterations: 2 (18.0ms)

IterNodesCost
0222329
1625311
22717309
35001309

prune79.0ms

Filtered
43 candidates to 58 candidates (-34.9%)
Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New55358
Fresh000
Picked101
Done000
Total56359

Merged error: 0.0b

Counts
59 → 3

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (* 1/6 (pow x 2)) (+ (* 1/2 x) 1))
0.2b
(* 1/6 (pow x 2))

rewrite14.0ms

Algorithm
rewrite-expression-head
Rules
11×add-sqr-sqrt
8×associate-*r*
7×add-exp-log add-log-exp
5×add-cube-cbrt *-un-lft-identity
4×unpow-prod-down add-cbrt-cube unswap-sqr
3×associate-*l* prod-exp sum-log
2×pow1 unpow2 sqr-pow
1×+-commutative pow-to-exp associate-+r+ flip3-+ pow-exp *-commutative cbrt-unprod flip-+
Counts
2 → 40
Calls
2 calls:
7.0ms
(+ (* 1/6 (pow x 2)) (+ (* 1/2 x) 1))
5.0ms
(* 1/6 (pow x 2))

series6.0ms

Counts
2 → 6
Calls
2 calls:
3.0ms
(+ (* 1/6 (pow x 2)) (+ (* 1/2 x) 1))
3.0ms
(* 1/6 (pow x 2))

simplify36.0ms

Algorithm
egg-herbie
Counts
46 → 46
Iterations

Useful iterations: 2 (31.0ms)

IterNodesCost
0201222
1825201
25001198

prune59.0ms

Filtered
29 candidates to 46 candidates (-58.6%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New45146
Fresh112
Picked101
Done000
Total47249

Merged error: 0.0b

Counts
49 → 2

localize6.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (* x (+ 1/2 (* x 1/6))) 1)
0.1b
(* x (+ 1/2 (* x 1/6)))
0.3b
(* x 1/6)

rewrite15.0ms

Algorithm
rewrite-expression-head
Rules
11×add-sqr-sqrt
7×pow1 add-exp-log add-cube-cbrt *-un-lft-identity add-cbrt-cube
6×associate-*r* associate-*l*
5×add-log-exp
2×distribute-rgt-in associate-+l+ distribute-lft-in flip3-+ associate-*r/ pow-prod-down prod-exp *-commutative cbrt-unprod flip-+ unswap-sqr
1×+-commutative sum-log
Counts
3 → 53
Calls
3 calls:
5.0ms
(+ (* x (+ 1/2 (* x 1/6))) 1)
5.0ms
(* x (+ 1/2 (* x 1/6)))
4.0ms
(* x 1/6)

series11.0ms

Counts
3 → 9
Calls
3 calls:
3.0ms
(+ (* x (+ 1/2 (* x 1/6))) 1)
6.0ms
(* x (+ 1/2 (* x 1/6)))
2.0ms
(* x 1/6)

simplify47.0ms

Algorithm
egg-herbie
Counts
62 → 62
Iterations

Useful iterations: 1 (9.0ms)

IterNodesCost
0249253
11223236
25001236

prune60.0ms

Filtered
41 candidates to 62 candidates (-51.2%)
Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New62062
Fresh011
Picked011
Done000
Total62264

Merged error: 0.0b

Counts
64 → 2

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ (exp x) x)
4.8b
(- (/ (exp x) x) (/ 1.0 x))

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
24×add-sqr-sqrt
20×*-un-lft-identity
19×times-frac
12×add-cube-cbrt
4×add-cbrt-cube distribute-lft-out-- add-log-exp difference-of-squares
3×add-exp-log associate-/r* div-inv associate-/l*
2×pow1
1×cbrt-undiv sub-neg flip3-- distribute-rgt-out-- frac-2neg diff-log div-exp clear-num frac-sub flip-- sub-div
Counts
2 → 50
Calls
2 calls:
4.0ms
(/ (exp x) x)
14.0ms
(- (/ (exp x) x) (/ 1.0 x))

series8.0ms

Counts
2 → 6
Calls
2 calls:
3.0ms
(/ (exp x) x)
5.0ms
(- (/ (exp x) x) (/ 1.0 x))

simplify66.0ms

Algorithm
egg-herbie
Counts
56 → 56
Iterations

Useful iterations: 3 (61.0ms)

IterNodesCost
0215317
1591300
22297299
35001297

prune53.0ms

Filtered
46 candidates to 56 candidates (-21.7%)
Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New56056
Fresh000
Picked011
Done011
Total56258

Merged error: 0.0b

Counts
58 → 2

regimes27.0ms

Accuracy

98.8% (0.2b remaining)

Error of 0.3b against oracle of 0.1b and baseline of 21.1b

bsearch16.0ms

Steps
ItersRangePoint
10
-21869.37453130546
-1.302763117677963e-06
-0.00022539918397129907

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0228
1228

end0.0ms

sample1.1s

Algorithm
intervals
sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 99.996948%

Results
449.0ms2240×body1280valid
230.0ms1717×body640valid
72.0ms825×body320valid
70.0ms2807×body80valid
62.0ms2656×body80invalid
23.0ms411×body160valid

Profiling

Loading profile data...