Details

Time bar (total: 1.3s)

sample10.0ms

Algorithm
intervals
sampling

Space saved by range analysis: 0.048828%

Space saved by search: 0.048828%

Guaranteed chance to sample good point: 0%

Results
5.0ms256×body80valid

simplify3.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
063
163

prune2.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 17.2b

Counts
2 → 1

localize4.0ms

Local error

Found 1 expressions with local error:

17.2b
(/ x (+ (* x x) 1.0))

rewrite6.0ms

Algorithm
rewrite-expression-head
Rules
9×add-sqr-sqrt add-cube-cbrt *-un-lft-identity times-frac
3×add-exp-log associate-/r* add-cbrt-cube associate-/l*
2×associate-/r/
1×pow1 cbrt-undiv frac-2neg flip3-+ div-exp clear-num flip-+ div-inv add-log-exp
Counts
1 → 29
Calls
1 calls:
5.0ms
(/ x (+ (* x x) 1.0))

series4.0ms

Counts
1 → 3
Calls
1 calls:
4.0ms
(/ x (+ (* x x) 1.0))

simplify51.0ms

Algorithm
egg-herbie
Counts
32 → 32
Iterations

Useful iterations: 2 (13.0ms)

IterNodesCost
0165210
1555195
21825192
35001192

prune55.0ms

Filtered
26 candidates to 32 candidates (-23.1%)
Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New28432
Fresh000
Picked101
Done000
Total29433

Merged error: 0b

Counts
33 → 4

localize6.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ x (sqrt (+ (* x x) 1.0)))
0.0b
(/ (/ x (sqrt (+ (* x x) 1.0))) (sqrt (+ (* x x) 1.0)))
17.1b
(sqrt (+ (* x x) 1.0))
17.1b
(sqrt (+ (* x x) 1.0))

rewrite45.0ms

Algorithm
rewrite-expression-head
Rules
288×times-frac
164×add-sqr-sqrt
162×add-cube-cbrt *-un-lft-identity
156×sqrt-prod
27×associate-/l*
22×sqrt-div
18×associate-/r/
12×associate-/r*
11×add-exp-log flip3-+ add-cbrt-cube flip-+
9×div-inv
6×pow1
4×cbrt-undiv div-exp add-log-exp
2×rem-sqrt-square frac-2neg sqrt-pow1 pow1/2 clear-num
1×associate-/l/
Counts
4 → 262
Calls
4 calls:
8.0ms
(/ x (sqrt (+ (* x x) 1.0)))
16.0ms
(/ (/ x (sqrt (+ (* x x) 1.0))) (sqrt (+ (* x x) 1.0)))
4.0ms
(sqrt (+ (* x x) 1.0))
4.0ms
(sqrt (+ (* x x) 1.0))

series18.0ms

Counts
4 → 12
Calls
4 calls:
7.0ms
(/ x (sqrt (+ (* x x) 1.0)))
4.0ms
(/ (/ x (sqrt (+ (* x x) 1.0))) (sqrt (+ (* x x) 1.0)))
3.0ms
(sqrt (+ (* x x) 1.0))
4.0ms
(sqrt (+ (* x x) 1.0))

simplify88.0ms

Algorithm
egg-herbie
Counts
274 → 274
Iterations

Useful iterations: 2 (50.0ms)

IterNodesCost
07743878
129623482
250013411

prune320.0ms

Filtered
147 candidates to 274 candidates (-86.4%)
Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New2740274
Fresh033
Picked011
Done000
Total2744278

Merged error: 0b

Counts
278 → 4

localize9.0ms

Local error

Found 2 expressions with local error:

1.6b
(/ x (+ (neg (* 1.0 1.0)) (pow x 4)))
21.2b
(* (/ x (+ (neg (* 1.0 1.0)) (pow x 4))) (- (* x x) 1.0))

rewrite27.0ms

Algorithm
rewrite-expression-head
Rules
34×*-un-lft-identity
26×add-sqr-sqrt
25×times-frac
20×add-cube-cbrt
18×associate-*l*
9×add-exp-log add-cbrt-cube
7×distribute-lft-out
4×pow1 associate-*r* associate-/r* associate-/r/
3×associate-/l*
2×cbrt-undiv distribute-rgt-in frac-times sub-neg flip3-- distribute-lft-in flip3-+ associate-*r/ div-exp prod-exp flip-- cbrt-unprod flip-+ div-inv add-log-exp unswap-sqr
1×frac-2neg pow-prod-down associate-*l/ clear-num *-commutative difference-of-squares
Counts
2 → 79
Calls
2 calls:
7.0ms
(/ x (+ (neg (* 1.0 1.0)) (pow x 4)))
14.0ms
(* (/ x (+ (neg (* 1.0 1.0)) (pow x 4))) (- (* x x) 1.0))

series16.0ms

Counts
2 → 6
Calls
2 calls:
9.0ms
(/ x (+ (neg (* 1.0 1.0)) (pow x 4)))
7.0ms
(* (/ x (+ (neg (* 1.0 1.0)) (pow x 4))) (- (* x x) 1.0))

simplify52.0ms

Algorithm
egg-herbie
Counts
85 → 85
Iterations

Useful iterations: 2 (43.0ms)

IterNodesCost
0427860
11887778
25002745

prune129.0ms

Filtered
62 candidates to 85 candidates (-37.1%)
Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New85085
Fresh022
Picked011
Done011
Total85489

Merged error: 0b

Counts
89 → 4

localize7.0ms

Local error

Found 1 expressions with local error:

19.4b
(- (+ x (pow x 5)) (pow x 3))

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
8×add-sqr-sqrt
6×*-un-lft-identity add-log-exp
4×difference-of-squares
2×diff-log distribute-lft-out--
1×pow1 add-exp-log add-cube-cbrt sub-neg unpow-prod-down flip3-- cube-prod associate--l+ sum-log add-cbrt-cube flip-- distribute-lft-out sqr-pow
Counts
1 → 20
Calls
1 calls:
10.0ms
(- (+ x (pow x 5)) (pow x 3))

series5.0ms

Counts
1 → 3
Calls
1 calls:
5.0ms
(- (+ x (pow x 5)) (pow x 3))

simplify70.0ms

Algorithm
egg-herbie
Counts
23 → 23
Iterations

Useful iterations: 2 (13.0ms)

IterNodesCost
0108163
1374154
22146151
35001151

prune31.0ms

Filtered
14 candidates to 23 candidates (-64.3%)
Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New23023
Fresh011
Picked011
Done022
Total23427

Merged error: 0b

Counts
27 → 4

regimes41.0ms

Accuracy

100% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 14.8b

bsearch34.0ms

Steps
ItersRangePoint
10
0.1548105202495828
14499472231.689178
1971.031520810307
7
-163023133.53792068
-3600966.9917031904
-86651080.3686412

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
04016
14016

end0.0ms

sample244.0ms

Algorithm
intervals
sampling

Space saved by range analysis: 0.048828%

Space saved by search: 0.048828%

Guaranteed chance to sample good point: 0%

Results
162.0ms8000×body80valid

Profiling

Loading profile data...