Details

sample21.0ms

Algorithm

intervals

Results

10.0ms

323×

body

valid

simplify21.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	15	5
1	25	5
2	41	5
3	63	5
4	80	5
5	96	5
6	113	5
7	121	5
8	124	5
9	124	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: 4.6b

Counts

2 → 1

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ t (- 1.0 z))
4.4b	(* x (- (/ y z) (/ t (- 1.0 z))))

rewrite160.0ms

Algorithm

rewrite-expression-head

Rules

791×	`times-frac`
778×	`add-sqr-sqrt`
775×	`*-un-lft-identity`
582×	`add-cube-cbrt`
546×	`prod-diff`
275×	`distribute-rgt-in` `distribute-lft-in`
101×	`associate-*r/`
99×	`frac-sub`
95×	`distribute-lft-out--` `difference-of-squares`
83×	`associate-/r*`
69×	`div-inv`
63×	`associate-/l*`
54×	`associate-/r/`
28×	`flip3--` `flip--`
21×	`frac-2neg` `clear-num`
10×	`associate-r`
6×	`add-exp-log` `add-cbrt-cube`
4×	`pow1`
3×	`associate-l`
2×	`expm1-log1p-u` `sub-neg` `log1p-expm1-u` `add-log-exp`
1×	`cbrt-undiv` `div-exp` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`

Counts

2 → 717

Calls

2 calls:

5.0ms	(/ t (- 1.0 z))
64.0ms	(* x (- (/ y z) (/ t (- 1.0 z))))

series84.0ms

Counts

2 → 6

Calls

2 calls:

35.0ms	(/ t (- 1.0 z))
49.0ms	(* x (- (/ y z) (/ t (- 1.0 z))))

simplify212.0ms

Algorithm

egg-herbie

Counts

723 → 723

Iterations

Useful iterations: 1 (53.0ms)

Iter	Nodes	Cost
0	2438	19883
1	5001	18031

prune1.1s

Filtered

723 candidates to 256 candidates (35.4%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	714	9	723
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	715	9	724

Merged error: 0.0b

Counts

724 → 9

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ t (- 1.0 z))
4.4b	(* (- (/ y z) (/ t (- 1.0 z))) x)

rewrite55.0ms

Algorithm

rewrite-expression-head

Rules

101×	`associate-*l/`
99×	`frac-sub`
94×	`add-sqr-sqrt`
91×	`*-un-lft-identity`
83×	`associate-/r*`
63×	`associate-/l*`
54×	`add-cube-cbrt`
23×	`times-frac`
21×	`frac-2neg` `clear-num`
17×	`distribute-lft-out--` `difference-of-squares`
10×	`associate-l`
6×	`add-exp-log` `add-cbrt-cube`
4×	`pow1`
3×	`associate-r`
2×	`expm1-log1p-u` `flip3--` `associate-/r/` `flip--` `log1p-expm1-u` `add-log-exp`
1×	`cbrt-undiv` `div-exp` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `div-inv` `unswap-sqr`

Counts

2 → 167

Calls

2 calls:

8.0ms	(/ t (- 1.0 z))
37.0ms	(* (- (/ y z) (/ t (- 1.0 z))) x)

series74.0ms

Counts

2 → 6

Calls

2 calls:

38.0ms	(/ t (- 1.0 z))
36.0ms	(* (- (/ y z) (/ t (- 1.0 z))) x)

simplify50.0ms

Algorithm

egg-herbie

Counts

173 → 173

Iterations

Useful iterations: 1 (35.0ms)

Iter	Nodes	Cost
0	1157	1422
1	5001	1385

prune367.0ms

Filtered

173 candidates to 112 candidates (64.7%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	167	6	173
Fresh	7	1	8
Picked	0	1	1
Done	0	0	0
Total	174	8	182

Merged error: 0.0b

Counts

182 → 8

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ (- 1.0 z) t)
0.9b	(/ 1 (/ (- 1.0 z) t))
4.4b	(* (- (/ y z) (/ 1 (/ (- 1.0 z) t))) x)

rewrite143.0ms

Algorithm

rewrite-expression-head

Rules

336×	`add-sqr-sqrt`
324×	`*-un-lft-identity`
289×	`times-frac`
271×	`associate-/r*`
227×	`associate-*l/`
225×	`frac-sub`
213×	`add-cube-cbrt`
119×	`associate-/l*`
54×	`difference-of-squares`
52×	`distribute-lft-out--`
39×	`clear-num`
37×	`frac-2neg`
19×	`associate-l`
18×	`add-exp-log`
16×	`associate-/r/` `div-inv`
12×	`add-cbrt-cube`
8×	`div-exp`
6×	`pow1`
4×	`cbrt-undiv` `associate-/l/`
3×	`expm1-log1p-u` `flip3--` `associate-r` `flip--` `log1p-expm1-u` `remove-double-div` `add-log-exp`
2×	`rec-exp` `1-exp`
1×	`pow-flip` `div-sub` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `inv-pow` `unswap-sqr`

Counts

3 → 420

Calls

3 calls:

7.0ms	(/ (- 1.0 z) t)
11.0ms	(/ 1 (/ (- 1.0 z) t))
89.0ms	(* (- (/ y z) (/ 1 (/ (- 1.0 z) t))) x)

series98.0ms

Counts

3 → 9

Calls

3 calls:

36.0ms	(/ (- 1.0 z) t)
25.0ms	(/ 1 (/ (- 1.0 z) t))
36.0ms	(* (- (/ y z) (/ 1 (/ (- 1.0 z) t))) x)

simplify98.0ms

Algorithm

egg-herbie

Counts

429 → 429

Iterations

Useful iterations: 1 (58.0ms)

Iter	Nodes	Cost
0	2717	4327
1	5001	4075

prune855.0ms

Filtered

429 candidates to 248 candidates (57.8%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	427	2	429
Fresh	3	3	6
Picked	0	1	1
Done	0	1	1
Total	430	7	437

Merged error: 0.0b

Counts

437 → 7

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (/ (* y 1) t) (/ (- z) (- 1.0 z)))
0.2b	(* z (/ 1 t))
2.5b	(* x (+ (/ (* y 1) t) (/ (- z) (- 1.0 z))))
15.1b	(/ (* x (+ (/ (* y 1) t) (/ (- z) (- 1.0 z)))) (* z (/ 1 t)))

rewrite639.0ms

Algorithm

rewrite-expression-head

Rules

2398×	`*-un-lft-identity`
1584×	`times-frac`
1320×	`add-sqr-sqrt`
1305×	`associate-/l*`
1026×	`frac-add`
938×	`associate-r`
794×	`add-cube-cbrt`
706×	`associate-*r/`
477×	`associate-/r*`
438×	`associate-l`
351×	`distribute-lft-out`
344×	`associate-/l/`
333×	`distribute-rgt-neg-in`
221×	`unswap-sqr`
219×	`distribute-lft-out--`
218×	`*-commutative`
171×	`distribute-lft-neg-in`
116×	`clear-num`
114×	`frac-2neg`
57×	`neg-mul-1` `difference-of-squares`
50×	`add-exp-log`
43×	`fma-def`
32×	`add-cbrt-cube`
29×	`div-inv`
18×	`prod-exp`
16×	`div-exp`
12×	`associate-/r/`
10×	`cbrt-unprod`
9×	`cbrt-undiv`
8×	`pow1`
6×	`un-div-inv` `add-log-exp`
4×	`expm1-log1p-u` `log1p-expm1-u`
3×	`+-commutative` `rec-exp` `flip3-+` `1-exp` `flip-+`
2×	`distribute-rgt-in` `distribute-lft-in` `distribute-frac-neg` `pow-prod-down`
1×	`neg-sub0` `associate-+r-` `div-sub` `unsub-neg` `sum-log`

Counts

4 → 1876

Calls

4 calls:

111.0ms	(+ (/ (* y 1) t) (/ (- z) (- 1.0 z)))
9.0ms	(* z (/ 1 t))
142.0ms	(* x (+ (/ (* y 1) t) (/ (- z) (- 1.0 z))))
182.0ms	(/ (* x (+ (/ (* y 1) t) (/ (- z) (- 1.0 z)))) (* z (/ 1 t)))

series204.0ms

Counts

4 → 12

Calls

4 calls:

41.0ms	(+ (/ (* y 1) t) (/ (- z) (- 1.0 z)))
9.0ms	(* z (/ 1 t))
62.0ms	(* x (+ (/ (* y 1) t) (/ (- z) (- 1.0 z))))
91.0ms	(/ (* x (+ (/ (* y 1) t) (/ (- z) (- 1.0 z)))) (* z (/ 1 t)))

simplify278.0ms

Algorithm

egg-herbie

Counts

1888 → 1888

Iterations

Useful iterations: 0 (35.0ms)

Iter	Nodes	Cost
0	5001	23412

prune3.7s

Filtered

1888 candidates to 967 candidates (51.2%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	1886	2	1888
Fresh	1	3	4
Picked	0	1	1
Done	1	1	2
Total	1888	7	1895

Merged error: 0b

Counts

1895 → 7

regimes136.0ms

Accuracy

-9.1% (5.3b remaining)

Error of 5.3b against oracle of 0.0b and baseline of 4.9b

bsearch74.0ms

Steps

Iters	Range		Point
4	-5.253484480651273e-135	-3.2877479649688e-135	-5.192055214536196e-135
8	-7.084610648621826e-96	-1.7942833742098703e-99	-1.8155881336898239e-99

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	39	16
1	39	16

end0.0ms

sample558.0ms

Algorithm

intervals

Results

309.0ms

10055×

body

valid