Details

sample22.0ms

Algorithm

intervals

Results

9.0ms

317×

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	39	5
3	58	5
4	73	5
5	87	5
6	102	5
7	108	5
8	110	5
9	110	5

prune2.0ms

Filtered

1 candidates to 0 candidates (100.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: 3.3b

Counts

2 → 1

localize8.0ms

Local error

Found 3 expressions with local error:

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

rewrite90.0ms

Algorithm

rewrite-expression-head

Rules

198×	`frac-sub`
165×	`add-sqr-sqrt`
161×	`-un-lft-identity` `associate-/r`
123×	`associate-/l*`
101×	`associate-*r/`
95×	`add-cube-cbrt`
41×	`frac-2neg` `clear-num`
31×	`times-frac`
30×	`distribute-lft-out--` `difference-of-squares`
10×	`associate-r`
7×	`add-exp-log` `add-cbrt-cube`
5×	`pow1` `add-log-exp`
3×	`sub-neg` `flip3--` `associate-l` `flip--`
2×	`distribute-rgt-in` `distribute-lft-in` `associate-/r/`
1×	`cbrt-undiv` `diff-log` `div-exp` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `div-inv` `unswap-sqr`

Counts

3 → 285

Calls

3 calls:

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

series130.0ms

Counts

3 → 9

Calls

3 calls:

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

simplify74.0ms

Algorithm

egg-herbie

Counts

294 → 294

Iterations

Useful iterations: 1 (38.0ms)

Iter	Nodes	Cost
0	1304	2862
1	5001	2759

prune460.0ms

Filtered

294 candidates to 179 candidates (39.1%)

Pruning

16 alts after pruning (16 fresh and 0 done)

	Pruned	Kept	Total
New	278	16	294
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	279	16	295

Merged error: 0.0b

Counts

295 → 16

localize10.0ms

Local error

Found 4 expressions with local error:

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

rewrite119.0ms

Algorithm

rewrite-expression-head

Rules

240×	`associate-*r/`
167×	`*-un-lft-identity`
143×	`add-sqr-sqrt`
132×	`distribute-neg-frac`
121×	`frac-add`
101×	`associate-/r*`
92×	`add-cube-cbrt`
87×	`associate-/l*`
67×	`associate-r`
59×	`times-frac`
37×	`clear-num`
25×	`frac-2neg`
24×	`distribute-rgt-neg-in` `un-div-inv`
23×	`distribute-lft-out--`
22×	`difference-of-squares`
21×	`distribute-lft-neg-in`
14×	`associate-l`
13×	`add-exp-log` `add-cbrt-cube`
11×	`distribute-lft-out`
8×	`pow1`
6×	`associate-/r/` `add-log-exp`
4×	`*-commutative` `div-inv`
3×	`flip3--` `prod-exp` `distribute-rgt-neg-out` `flip--` `cbrt-unprod` `unswap-sqr`
2×	`cbrt-undiv` `div-exp` `pow-prod-down`
1×	`+-commutative` `neg-mul-1` `distribute-rgt-out` `flip3-+` `unsub-neg` `sum-log` `flip-+`

Counts

4 → 298

Calls

4 calls:

71.0ms	(+ (* x (/ y z)) (* x (- (/ t (- 1.0 z)))))
5.0ms	(/ t (- 1.0 z))
15.0ms	(* x (- (/ t (- 1.0 z))))
8.0ms	(* x (/ y z))

series204.0ms

Counts

4 → 12

Calls

4 calls:

72.0ms	(+ (* x (/ y z)) (* x (- (/ t (- 1.0 z)))))
38.0ms	(/ t (- 1.0 z))
69.0ms	(* x (- (/ t (- 1.0 z))))
24.0ms	(* x (/ y z))

simplify74.0ms

Algorithm

egg-herbie

Counts

310 → 310

Iterations

Useful iterations: 1 (39.0ms)

Iter	Nodes	Cost
0	1596	2794
1	5001	2726

prune486.0ms

Filtered

310 candidates to 190 candidates (38.7%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	303	7	310
Fresh	12	3	15
Picked	1	0	1
Done	0	0	0
Total	316	10	326

Merged error: 0.0b

Counts

326 → 10

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (/ x (/ z y)) (* x (- (/ t (- 1.0 z)))))
0.0b	(/ t (- 1.0 z))
4.1b	(/ x (/ z y))
4.3b	(* x (- (/ t (- 1.0 z))))

rewrite175.0ms

Algorithm

rewrite-expression-head

Rules

270×	`*-un-lft-identity`
268×	`add-sqr-sqrt`
264×	`associate-/r*`
220×	`associate-*r/` `distribute-neg-frac`
219×	`times-frac`
209×	`frac-add`
206×	`add-cube-cbrt`
102×	`associate-/l*`
46×	`associate-r`
34×	`frac-2neg` `clear-num`
30×	`distribute-lft-out--` `difference-of-squares`
21×	`distribute-lft-neg-in` `distribute-rgt-neg-in`
20×	`div-inv`
15×	`associate-/r/`
13×	`add-exp-log` `add-cbrt-cube`
6×	`pow1` `add-log-exp`
4×	`cbrt-undiv` `div-exp` `associate-l`
3×	`flip3--` `distribute-rgt-neg-out` `flip--` `distribute-lft-out`
1×	`+-commutative` `neg-mul-1` `flip3-+` `unsub-neg` `pow-prod-down` `prod-exp` `sum-log` `*-commutative` `cbrt-unprod` `flip-+` `unswap-sqr`

Counts

4 → 413

Calls

4 calls:

118.0ms	(+ (/ x (/ z y)) (* x (- (/ t (- 1.0 z)))))
5.0ms	(/ t (- 1.0 z))
7.0ms	(/ x (/ z y))
15.0ms	(* x (- (/ t (- 1.0 z))))

series206.0ms

Counts

4 → 12

Calls

4 calls:

70.0ms	(+ (/ x (/ z y)) (* x (- (/ t (- 1.0 z)))))
45.0ms	(/ t (- 1.0 z))
22.0ms	(/ x (/ z y))
69.0ms	(* x (- (/ t (- 1.0 z))))

simplify121.0ms

Algorithm

egg-herbie

Counts

425 → 425

Iterations

Useful iterations: 1 (63.0ms)

Iter	Nodes	Cost
0	2740	5038
1	5001	4977

prune811.0ms

Filtered

425 candidates to 294 candidates (30.8%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	418	7	425
Fresh	6	3	9
Picked	1	0	1
Done	0	0	0
Total	425	10	435

Merged error: 0b

Counts

435 → 10

localize15.0ms

Local error

Found 4 expressions with local error:

0.3b	(cbrt (- 1.0 z))
1.0b	(/ (* x (- (/ t (* (cbrt (- 1.0 z)) (cbrt (- 1.0 z)))))) (cbrt (- 1.0 z)))
3.3b	(* x (- (/ t (* (cbrt (- 1.0 z)) (cbrt (- 1.0 z))))))
4.1b	(/ x (/ z y))

rewrite569.0ms

Algorithm

rewrite-expression-head

Rules

4151×	`times-frac`
3364×	`add-sqr-sqrt`
3220×	`*-un-lft-identity`
2981×	`cbrt-prod`
2876×	`associate-r`
1854×	`add-cube-cbrt`
1170×	`distribute-lft-neg-in` `distribute-rgt-neg-in`
621×	`distribute-lft-out--`
620×	`swap-sqr`
526×	`associate-l`
497×	`difference-of-squares`
259×	`associate-/l*`
258×	`unswap-sqr`
244×	`cbrt-div`
171×	`associate-/r/`
122×	`flip3--` `associate-*r/` `flip--`
94×	`associate-/r*`
82×	`distribute-neg-frac`
80×	`frac-times`
72×	`*-commutative`
41×	`associate-/l/`
40×	`associate-*l/`
26×	`div-inv`
19×	`add-cbrt-cube`
16×	`add-exp-log`
10×	`neg-mul-1`
7×	`cbrt-undiv`
6×	`pow1`
5×	`frac-2neg` `div-exp` `clear-num`
4×	`add-log-exp`
3×	`cbrt-unprod`
2×	`prod-exp` `distribute-rgt-neg-out`
1×	`pow1/3` `distribute-frac-neg` `pow-prod-down`

Counts

4 → 2679

Calls

4 calls:

3.0ms	(cbrt (- 1.0 z))
141.0ms	(/ (* x (- (/ t (* (cbrt (- 1.0 z)) (cbrt (- 1.0 z)))))) (cbrt (- 1.0 z)))
69.0ms	(* x (- (/ t (* (cbrt (- 1.0 z)) (cbrt (- 1.0 z))))))
7.0ms	(/ x (/ z y))

series374.0ms

Counts

4 → 12

Calls

4 calls:

101.0ms	(cbrt (- 1.0 z))
70.0ms	(/ (* x (- (/ t (* (cbrt (- 1.0 z)) (cbrt (- 1.0 z)))))) (cbrt (- 1.0 z)))
177.0ms	(* x (- (/ t (* (cbrt (- 1.0 z)) (cbrt (- 1.0 z))))))
25.0ms	(/ x (/ z y))

simplify773.0ms

Algorithm

egg-herbie

Counts

2691 → 2691

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	5001	52616

prune7.3s

Filtered

2691 candidates to 1727 candidates (35.8%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	2689	2	2691
Fresh	2	7	9
Picked	0	1	1
Done	0	0	0
Total	2691	10	2701

Merged error: 0b

Counts

2701 → 10

regimes187.0ms

Accuracy

-13.9% (5.4b remaining)

Error of 5.5b against oracle of 0.1b and baseline of 4.8b

bsearch113.0ms

Steps

Iters	Range		Point
9	4.615676423592499e+124	2.2371510961356514e+130	2.916849536803098e+127
9	-1.2389457142813322e-300	1.0608543826682915e-307	4.442830040929055e-308

simplify3.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	46	23
1	63	23
2	67	23
3	67	23

end0.0ms

sample556.0ms

Algorithm

intervals

Results

300.0ms

9993×

body

valid