Details

Time bar (total: 1.1s)

sample12.0ms

Algorithm
intervals
Results
6.0ms256×body80valid

simplify5.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0115
1125
2125

prune1.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: 0.0b

Counts
2 → 1

localize6.0ms

Local error

Found 3 expressions with local error:

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

rewrite13.0ms

Algorithm
rewrite-expression-head
Rules
9×frac-add
8×frac-2neg clear-num
6×associate-/r/
3×fma-def div-inv
2×flip3-- flip3-+ flip-- flip-+
1×+-commutative
Counts
3 → 25
Calls
3 calls:
3.0ms
(/ x (+ x 1.0))
3.0ms
(/ 1.0 (- x 1.0))
7.0ms
(+ (/ 1.0 (- x 1.0)) (/ x (+ x 1.0)))

series191.0ms

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

simplify43.0ms

Algorithm
egg-herbie
Counts
34 → 34
Iterations

Useful iterations: 2 (34.0ms)

IterNodesCost
0329221
11346200
25001196

prune70.0ms

Filtered
34 candidates to 29 candidates (85.3%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New33134
Fresh000
Picked101
Done000
Total34135

Merged error: 0b

Counts
35 → 1

localize10.0ms

Local error

Found 4 expressions with local error:

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

rewrite15.0ms

Algorithm
rewrite-expression-head
Rules
12×distribute-neg-frac
10×frac-times associate-/l/
6×flip3-- clear-num flip--
5×frac-2neg flip3-+ associate-*r/ flip-+
3×div-inv
2×associate-*l/
1×distribute-lft-neg-out neg-mul-1 associate-*r* associate-*l* un-div-inv *-commutative fma-udef
Counts
4 → 33
Calls
4 calls:
1.0ms
(fma 1.0 (/ (+ x 1.0) x) (- x 1.0))
6.0ms
(* (- (- x 1.0)) (/ (+ x 1.0) x))
3.0ms
(/ (+ x 1.0) x)
3.0ms
(/ (+ x 1.0) x)

series313.0ms

Counts
4 → 12
Calls
4 calls:
105.0ms
(fma 1.0 (/ (+ x 1.0) x) (- x 1.0))
108.0ms
(* (- (- x 1.0)) (/ (+ x 1.0) x))
50.0ms
(/ (+ x 1.0) x)
50.0ms
(/ (+ x 1.0) x)

simplify35.0ms

Algorithm
egg-herbie
Counts
45 → 45
Iterations

Useful iterations: 2 (30.0ms)

IterNodesCost
0228224
11152213
25001206

prune115.0ms

Filtered
45 candidates to 36 candidates (80.0%)
Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New45045
Fresh000
Picked011
Done000
Total45146

Merged error: 0b

Counts
46 → 1

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01611
12011
22311
32711
42711

end0.0ms

sample279.0ms

Algorithm
intervals
Results
193.0ms8000×body80valid