Details

Time bar (total: 3.6s)

sample21.0ms

Algorithm
intervals
Results
7.0ms64×body640valid
4.0ms148×body80valid
2.0ms29×body320valid
1.0ms15×body160valid

simplify6.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0125
1155
2155

prune2.0ms

Filtered
1 candidates to 0 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 12.7b

Counts
2 → 1

localize6.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ 1.0 (- x 1.0))
0.0b
(/ 1.0 (+ x 1.0))
1.5b
(- (/ 1.0 (+ x 1.0)) (/ 1.0 (- x 1.0)))

rewrite89.0ms

Algorithm
rewrite-expression-head
Rules
662×*-un-lft-identity
589×times-frac
496×add-sqr-sqrt
378×prod-diff
368×add-cube-cbrt
86×associate-/r/
79×distribute-lft-out--
76×distribute-lft-out
62×difference-of-squares
44×div-inv
24×flip-+
23×flip3-+
21×flip--
20×flip3--
18×fma-neg
9×associate-/r*
7×add-exp-log add-cbrt-cube
6×associate-/l*
5×add-log-exp
3×pow1 expm1-log1p-u log1p-expm1-u
2×cbrt-undiv frac-2neg div-exp clear-num
1×sub-neg diff-log frac-sub
Counts
3 → 504
Calls
3 calls:
5.0ms
(/ 1.0 (- x 1.0))
5.0ms
(/ 1.0 (+ x 1.0))
38.0ms
(- (/ 1.0 (+ x 1.0)) (/ 1.0 (- x 1.0)))

series434.0ms

Counts
3 → 9
Calls
3 calls:
28.0ms
(/ 1.0 (- x 1.0))
25.0ms
(/ 1.0 (+ x 1.0))
381.0ms
(- (/ 1.0 (+ x 1.0)) (/ 1.0 (- x 1.0)))

simplify185.0ms

Algorithm
egg-herbie
Counts
513 → 513
Iterations

Useful iterations: 2 (82.0ms)

IterNodesCost
0120013350
135939620
250019568

prune605.0ms

Filtered
513 candidates to 209 candidates (40.7%)
Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New5103513
Fresh000
Picked101
Done000
Total5113514

Merged error: 0.2b

Counts
514 → 3

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (* x x) (* 1.0 1.0))
0.0b
(/ (* 1.0 (- (- x 1.0) (+ x 1.0))) (- (* x x) (* 1.0 1.0)))
1.0b
(- (- x 1.0) (+ x 1.0))

rewrite41.0ms

Algorithm
rewrite-expression-head
Rules
53×*-un-lft-identity
33×add-sqr-sqrt
30×prod-diff
21×add-cube-cbrt
17×add-log-exp
11×associate--l+ distribute-lft-out--
9×difference-of-squares
8×add-exp-log flip3-- frac-sub add-cbrt-cube flip--
7×diff-log distribute-lft-out
6×fma-neg associate-*r/ associate-/l/
4×flip3-+ times-frac associate-/r* flip-+
3×pow1 expm1-log1p-u sub-neg log1p-expm1-u
2×cbrt-undiv div-exp sum-log associate-/r/
1×associate--l- frac-2neg prod-exp clear-num cbrt-unprod div-inv associate-/l* associate--r+
Counts
3 → 114
Calls
3 calls:
4.0ms
(- (* x x) (* 1.0 1.0))
23.0ms
(/ (* 1.0 (- (- x 1.0) (+ x 1.0))) (- (* x x) (* 1.0 1.0)))
11.0ms
(- (- x 1.0) (+ x 1.0))

series101.0ms

Counts
3 → 9
Calls
3 calls:
45.0ms
(- (* x x) (* 1.0 1.0))
49.0ms
(/ (* 1.0 (- (- x 1.0) (+ x 1.0))) (- (* x x) (* 1.0 1.0)))
7.0ms
(- (- x 1.0) (+ x 1.0))

simplify111.0ms

Algorithm
egg-herbie
Counts
123 → 123
Iterations

Useful iterations: 2 (99.0ms)

IterNodesCost
05931128
13665844
25001841

prune192.0ms

Filtered
123 candidates to 82 candidates (66.7%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New1221123
Fresh112
Picked011
Done000
Total1233126

Merged error: 0.2b

Counts
126 → 3

localize7.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (- (- x 1.0) (+ x 1.0)) (- x 1.0))
0.0b
(/ 1.0 (+ x 1.0))
0.0b
(* (/ 1.0 (+ x 1.0)) (/ (- (- x 1.0) (+ x 1.0)) (- x 1.0)))
1.0b
(- (- x 1.0) (+ x 1.0))

rewrite79.0ms

Algorithm
rewrite-expression-head
Rules
278×*-un-lft-identity
146×add-sqr-sqrt
108×times-frac
94×distribute-lft-out--
66×add-cube-cbrt
46×associate-*r*
36×distribute-lft-out
34×difference-of-squares
29×prod-diff
20×add-exp-log add-cbrt-cube
18×associate-*l*
16×add-log-exp
11×associate--l+ associate-/l*
9×associate-/r*
8×flip3-- associate-/r/ frac-sub flip--
6×pow1 cbrt-undiv flip3-+ diff-log div-exp flip-+ associate-/l/
5×fma-neg
4×expm1-log1p-u prod-exp cbrt-unprod log1p-expm1-u div-inv unswap-sqr
2×sub-neg frac-2neg clear-num sum-log
1×associate--l- frac-times div-sub associate-*r/ pow-prod-down associate-*l/ *-commutative associate--r+
Counts
4 → 265
Calls
4 calls:
16.0ms
(/ (- (- x 1.0) (+ x 1.0)) (- x 1.0))
5.0ms
(/ 1.0 (+ x 1.0))
35.0ms
(* (/ 1.0 (+ x 1.0)) (/ (- (- x 1.0) (+ x 1.0)) (- x 1.0)))
11.0ms
(- (- x 1.0) (+ x 1.0))

series135.0ms

Counts
4 → 12
Calls
4 calls:
34.0ms
(/ (- (- x 1.0) (+ x 1.0)) (- x 1.0))
24.0ms
(/ 1.0 (+ x 1.0))
69.0ms
(* (/ 1.0 (+ x 1.0)) (/ (- (- x 1.0) (+ x 1.0)) (- x 1.0)))
7.0ms
(- (- x 1.0) (+ x 1.0))

simplify52.0ms

Algorithm
egg-herbie
Counts
277 → 277
Iterations

Useful iterations: 1 (26.0ms)

IterNodesCost
09312416
150012075

prune352.0ms

Filtered
277 candidates to 165 candidates (59.6%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New2761277
Fresh011
Picked101
Done011
Total2773280

Merged error: 0.0b

Counts
280 → 3

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ (- 2.0) (- x 1.0))
0.0b
(/ 1.0 (+ x 1.0))
0.1b
(* (/ 1.0 (+ x 1.0)) (/ (- 2.0) (- x 1.0)))

rewrite54.0ms

Algorithm
rewrite-expression-head
Rules
131×*-un-lft-identity
129×add-sqr-sqrt
128×times-frac
75×add-cube-cbrt
56×associate-*r*
33×distribute-lft-neg-in distribute-rgt-neg-in
21×distribute-lft-out-- difference-of-squares
19×add-exp-log add-cbrt-cube
18×associate-*l*
13×associate-/l*
11×neg-mul-1
9×associate-/r*
8×associate-/r/
7×distribute-lft-out
6×cbrt-undiv div-exp
5×pow1
4×prod-exp cbrt-unprod div-inv unswap-sqr
3×expm1-log1p-u log1p-expm1-u add-log-exp
2×flip3-- frac-2neg flip3-+ distribute-frac-neg clear-num flip-- flip-+
1×neg-sub0 frac-times div-sub associate-*r/ pow-prod-down associate-*l/ *-commutative distribute-rgt-neg-out
Counts
3 → 219
Calls
3 calls:
7.0ms
(/ (- 2.0) (- x 1.0))
5.0ms
(/ 1.0 (+ x 1.0))
33.0ms
(* (/ 1.0 (+ x 1.0)) (/ (- 2.0) (- x 1.0)))

series128.0ms

Counts
3 → 9
Calls
3 calls:
33.0ms
(/ (- 2.0) (- x 1.0))
25.0ms
(/ 1.0 (+ x 1.0))
70.0ms
(* (/ 1.0 (+ x 1.0)) (/ (- 2.0) (- x 1.0)))

simplify97.0ms

Algorithm
egg-herbie
Counts
228 → 228
Iterations

Useful iterations: 2 (79.0ms)

IterNodesCost
08591597
144451497
250011495

prune332.0ms

Filtered
228 candidates to 161 candidates (70.6%)
Pruning

5 alts after pruning (5 fresh and 0 done)

PrunedKeptTotal
New2244228
Fresh011
Picked101
Done101
Total2265231

Merged error: 0b

Counts
231 → 5

regimes19.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0136
1156
2196
3226
4226

end0.0ms

sample577.0ms

Algorithm
intervals
Results
215.0ms1971×body640valid
125.0ms4164×body80valid
100.0ms1242×body320valid
34.0ms623×body160valid

Profiling

Loading profile data...