Details

sample13.0ms

Algorithm

intervals

Results

6.0ms

256×

body

valid

simplify5.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	11	5
1	12	5
2	12	5

prune2.0ms

Filtered

1 candidates to 0 candidates (0.0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

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`
4×	`associate-/r/`
2×	`flip3-+` `flip-+` `div-inv`
1×	`+-commutative` `flip3--` `flip--`

Counts

3 → 22

Calls

3 calls:

3.0ms	(/ x (+ x 1.0))
2.0ms	(/ 1.0 (- x 1.0))
7.0ms	(+ (/ 1.0 (- x 1.0)) (/ x (+ x 1.0)))

series187.0ms

Counts

3 → 9

Calls

3 calls:

34.0ms	(/ x (+ x 1.0))
28.0ms	(/ 1.0 (- x 1.0))
124.0ms	(+ (/ 1.0 (- x 1.0)) (/ x (+ x 1.0)))

simplify38.0ms

Algorithm

egg-herbie

Counts

31 → 31

Iterations

Useful iterations: 2 (34.0ms)

Iter	Nodes	Cost
0	306	231
1	1208	213
2	5001	209

prune64.0ms

Filtered

31 candidates to 26 candidates (83.9%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	30	1	31
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	31	1	32

Merged error: 0b

Counts

32 → 1

localize9.0ms

Local error

Found 4 expressions with local error:

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

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

34×	`associate-/l/`
20×	`frac-times` `associate-*r/`
18×	`flip3--` `associate-/r/` `flip--`
15×	`clear-num`
12×	`frac-add`
11×	`frac-2neg` `flip3-+` `flip-+`
5×	`div-inv`
4×	`associate-*l/` `un-div-inv`
3×	`associate-/r*`
2×	`associate-r` `*-commutative`
1×	`associate-+l-` `div-sub`

Counts

4 → 69

Calls

4 calls:

13.0ms	(/ (+ (- x 1.0) (* 1.0 (/ (+ x 1.0) x))) (* (- x 1.0) (/ (+ x 1.0) x)))
5.0ms	(* (- x 1.0) (/ (+ x 1.0) x))
3.0ms	(/ (+ x 1.0) x)
3.0ms	(/ (+ x 1.0) x)

series328.0ms

Counts

4 → 12

Calls

4 calls:

123.0ms	(/ (+ (- x 1.0) (* 1.0 (/ (+ x 1.0) x))) (* (- x 1.0) (/ (+ x 1.0) x)))
110.0ms	(* (- x 1.0) (/ (+ x 1.0) x))
46.0ms	(/ (+ x 1.0) x)
49.0ms	(/ (+ x 1.0) x)

simplify67.0ms

Algorithm

egg-herbie

Counts

81 → 81

Iterations

Useful iterations: 2 (58.0ms)

Iter	Nodes	Cost
0	377	633
1	2210	631
2	5001	617

prune223.0ms

Filtered

81 candidates to 71 candidates (87.7%)

Pruning

1 alts after pruning (0 fresh and 1 done)

	Pruned	Kept	Total
New	81	0	81
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	81	1	82

Merged error: 0b

Counts

82 → 1

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	10
1	13	10

end0.0ms

sample280.0ms

Algorithm

intervals

Results

192.0ms

8000×

body

valid