Details

sample31.0ms

Algorithm

intervals

Results

9.0ms	272×	body	80	valid
9.0ms	278×	body	80	nan

simplify22.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	24	7
1	47	7
2	73	7
3	92	7
4	105	7
5	128	7
6	161	7
7	210	7
8	244	7
9	244	7

prune5.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.3b

Counts

2 → 1

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(- 1.0 (/ 1.0 (* x 9.0)))
0.2b	(/ y (* 3.0 (sqrt x)))
0.2b	(/ 1.0 (* x 9.0))
0.3b	(* 3.0 (sqrt x))

rewrite54.0ms

Algorithm

rewrite-expression-head

Rules

227×	`add-sqr-sqrt`
194×	`times-frac`
174×	`*-un-lft-identity`
172×	`add-cube-cbrt`
120×	`prod-diff`
69×	`associate-r`
54×	`associate-l`
28×	`associate-/r*`
24×	`unswap-sqr`
20×	`sqrt-prod`
18×	`*-commutative`
16×	`add-exp-log` `add-cbrt-cube`
6×	`pow1` `associate-/l*` `add-log-exp`
5×	`div-inv`
4×	`cbrt-undiv` `expm1-log1p-u` `div-exp` `log1p-expm1-u`
3×	`fma-neg` `prod-exp` `cbrt-unprod` `difference-of-squares`
2×	`frac-2neg` `clear-num`
1×	`sub-neg` `flip3--` `diff-log` `pow-prod-down` `flip--` `distribute-lft-out--`

Counts

4 → 315

Calls

4 calls:

18.0ms	(- 1.0 (/ 1.0 (* x 9.0)))
8.0ms	(/ y (* 3.0 (sqrt x)))
7.0ms	(/ 1.0 (* x 9.0))
5.0ms	(* 3.0 (sqrt x))

series162.0ms

Counts

4 → 12

Calls

4 calls:

33.0ms	(- 1.0 (/ 1.0 (* x 9.0)))
65.0ms	(/ y (* 3.0 (sqrt x)))
17.0ms	(/ 1.0 (* x 9.0))
48.0ms	(* 3.0 (sqrt x))

simplify80.0ms

Algorithm

egg-herbie

Counts

327 → 327

Iterations

Useful iterations: 1 (37.0ms)

Iter	Nodes	Cost
0	1458	4514
1	5001	3455

prune506.0ms

Filtered

327 candidates to 182 candidates (55.7%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	319	8	327
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	320	8	328

Merged error: 0b

Counts

328 → 8

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b	(- 1.0 (/ 1.0 (* x 9.0)))
0.2b	(/ y (sqrt x))
0.2b	(/ 1.0 (* x 9.0))
0.3b	(/ (/ y (sqrt x)) 3.0)

rewrite57.0ms

Algorithm

rewrite-expression-head

Rules

302×	`times-frac`
264×	`add-sqr-sqrt`
231×	`*-un-lft-identity`
229×	`add-cube-cbrt`
120×	`prod-diff`
51×	`sqrt-prod`
39×	`associate-r` `associate-l`
31×	`associate-/l*`
27×	`associate-/r*`
16×	`add-exp-log` `add-cbrt-cube`
14×	`unswap-sqr`
13×	`*-commutative`
12×	`associate-/l/`
10×	`div-inv`
6×	`cbrt-undiv` `div-exp` `add-log-exp`
4×	`pow1` `expm1-log1p-u` `frac-2neg` `clear-num` `log1p-expm1-u`
3×	`fma-neg` `difference-of-squares`
1×	`sub-neg` `flip3--` `diff-log` `prod-exp` `flip--` `cbrt-unprod` `distribute-lft-out--`

Counts

4 → 368

Calls

4 calls:

17.0ms	(- 1.0 (/ 1.0 (* x 9.0)))
4.0ms	(/ y (sqrt x))
7.0ms	(/ 1.0 (* x 9.0))
9.0ms	(/ (/ y (sqrt x)) 3.0)

series172.0ms

Counts

4 → 12

Calls

4 calls:

33.0ms	(- 1.0 (/ 1.0 (* x 9.0)))
49.0ms	(/ y (sqrt x))
17.0ms	(/ 1.0 (* x 9.0))
72.0ms	(/ (/ y (sqrt x)) 3.0)

simplify87.0ms

Algorithm

egg-herbie

Counts

380 → 380

Iterations

Useful iterations: 1 (36.0ms)

Iter	Nodes	Cost
0	1569	5025
1	5002	3931

prune609.0ms

Filtered

380 candidates to 218 candidates (57.4%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	376	4	380
Fresh	4	3	7
Picked	1	0	1
Done	0	0	0
Total	381	7	388

Merged error: 0b

Counts

388 → 7

localize14.0ms

Local error

Found 4 expressions with local error:

0.2b	(/ y (sqrt x))
0.3b	(/ (/ y (sqrt x)) 3.0)
0.3b	(/ (/ 1.0 (* x (sqrt 9.0))) (sqrt 9.0))
0.3b	(/ 1.0 (* x (sqrt 9.0)))

rewrite100.0ms

Algorithm

rewrite-expression-head

Rules

852×	`times-frac`
548×	`add-sqr-sqrt`
444×	`add-cube-cbrt` `*-un-lft-identity`
314×	`sqrt-prod`
156×	`associate-r`
86×	`associate-/l*`
78×	`associate-l`
53×	`associate-/r*`
52×	`unswap-sqr`
34×	`associate-/l/`
26×	`*-commutative`
25×	`add-exp-log` `add-cbrt-cube`
15×	`div-inv`
11×	`cbrt-undiv` `div-exp`
6×	`frac-2neg` `clear-num`
4×	`pow1` `expm1-log1p-u` `log1p-expm1-u` `add-log-exp`
2×	`prod-exp` `cbrt-unprod`

Counts

4 → 653

Calls

4 calls:

5.0ms	(/ y (sqrt x))
11.0ms	(/ (/ y (sqrt x)) 3.0)
26.0ms	(/ (/ 1.0 (* x (sqrt 9.0))) (sqrt 9.0))
13.0ms	(/ 1.0 (* x (sqrt 9.0)))

series287.0ms

Counts

4 → 12

Calls

4 calls:

44.0ms	(/ y (sqrt x))
66.0ms	(/ (/ y (sqrt x)) 3.0)
102.0ms	(/ (/ 1.0 (* x (sqrt 9.0))) (sqrt 9.0))
74.0ms	(/ 1.0 (* x (sqrt 9.0)))

simplify114.0ms

Algorithm

egg-herbie

Counts

665 → 665

Iterations

Useful iterations: 1 (42.0ms)

Iter	Nodes	Cost
0	1852	6690
1	5001	6092

prune1.4s

Filtered

665 candidates to 379 candidates (57.0%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	664	1	665
Fresh	2	4	6
Picked	0	1	1
Done	0	0	0
Total	666	6	672

Merged error: 0b

Counts

672 → 6

localize25.0ms

Local error

Found 4 expressions with local error:

0.2b	(* 3.0 (sqrt (sqrt x)))
0.2b	(/ 1.0 (* x 9.0))
0.3b	(/ 1 (* 3.0 (sqrt (sqrt x))))
0.3b	(* (/ 1 (* 3.0 (sqrt (sqrt x)))) (/ y (sqrt (sqrt x))))

rewrite150.0ms

Algorithm

rewrite-expression-head

Rules

624×	`add-sqr-sqrt`
609×	`sqrt-prod`
595×	`associate-/r*`
390×	`frac-times`
350×	`*-un-lft-identity`
333×	`add-cube-cbrt`
259×	`associate-r`
242×	`times-frac`
148×	`associate-l`
136×	`associate-/l*` `unswap-sqr`
67×	`add-exp-log`
46×	`clear-num`
45×	`frac-2neg`
37×	`add-cbrt-cube`
29×	`*-commutative`
26×	`associate-*l/`
25×	`prod-exp`
21×	`div-exp`
15×	`associate-*r/`
11×	`pow1` `cbrt-undiv` `cbrt-unprod`
6×	`rec-exp` `1-exp`
4×	`expm1-log1p-u` `log1p-expm1-u` `div-inv` `add-log-exp`
3×	`pow-prod-down`
2×	`pow-flip` `un-div-inv`
1×	`inv-pow`

Counts

4 → 796

Calls

4 calls:

6.0ms	(* 3.0 (sqrt (sqrt x)))
11.0ms	(/ 1.0 (* x 9.0))
11.0ms	(/ 1 (* 3.0 (sqrt (sqrt x))))
65.0ms	(* (/ 1 (* 3.0 (sqrt (sqrt x)))) (/ y (sqrt (sqrt x))))

series418.0ms

Counts

4 → 12

Calls

4 calls:

166.0ms	(* 3.0 (sqrt (sqrt x)))
16.0ms	(/ 1.0 (* x 9.0))
178.0ms	(/ 1 (* 3.0 (sqrt (sqrt x))))
58.0ms	(* (/ 1 (* 3.0 (sqrt (sqrt x)))) (/ y (sqrt (sqrt x))))

simplify143.0ms

Algorithm

egg-herbie

Counts

808 → 808

Iterations

Useful iterations: 1 (64.0ms)

Iter	Nodes	Cost
0	2567	8399
1	5001	7689

prune1.1s

Filtered

808 candidates to 347 candidates (42.9%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	806	2	808
Fresh	2	2	4
Picked	1	0	1
Done	0	1	1
Total	809	5	814

Merged error: 0b

Counts

814 → 5

regimes53.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	10
1	15	10

end0.0ms

sample821.0ms

Algorithm

intervals

Results

282.0ms	8523×	body	80	valid
263.0ms	8434×	body	80	nan