Details

sample29.0ms

Algorithm

intervals

Results

15.0ms

474×

body

valid

simplify13.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 3 (9.0ms)

Iter	Nodes	Cost
0	18	5
1	46	4
2	77	4
3	87	3
4	87	3

prune7.0ms

Filtered

1 candidates to 1 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: 0.0b

Counts

2 → 2

localize6.0ms

Local error

Found 1 expressions with local error:

0.0b	(fma (fma y 2.0 x) x (* y y))

rewrite1.0ms

Algorithm

rewrite-expression-head

Rules

1×	`pow1` `add-exp-log` `add-sqr-sqrt` `expm1-log1p-u` `add-cube-cbrt` `*-un-lft-identity` `add-cbrt-cube` `fma-udef` `log1p-expm1-u` `add-log-exp`

Counts

1 → 10

Calls

1 calls:

1.0ms

(fma (fma y 2.0 x) x (* y y))

series30.0ms

Counts

1 → 3

Calls

1 calls:

30.0ms

(fma (fma y 2.0 x) x (* y y))

simplify100.0ms

Algorithm

egg-herbie

Counts

13 → 13

Iterations

Useful iterations: 1 (5.0ms)

Iter	Nodes	Cost
0	42	68
1	104	52
2	467	52
3	2419	52
4	5001	52

prune32.0ms

Filtered

13 candidates to 10 candidates (76.9%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	12	1	13
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	13	2	15

Merged error: 0.0b

Counts

15 → 2

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(fma (fma y 2.0 x) x (* y y))
0.0b	(* (sqrt (fma (fma y 2.0 x) x (* y y))) (sqrt (fma (fma y 2.0 x) x (* y y))))
6.1b	(sqrt (fma (fma y 2.0 x) x (* y y)))
6.1b	(sqrt (fma (fma y 2.0 x) x (* y y)))

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

28×	`add-sqr-sqrt`
24×	`sqrt-prod`
21×	`pow1`
14×	`add-cube-cbrt` `*-un-lft-identity`
10×	`sqrt-pow1` `pow1/2`
8×	`swap-sqr`
6×	`add-exp-log` `associate-r` `associate-l` `add-cbrt-cube`
5×	`pow-prod-up`
4×	`expm1-log1p-u` `log1p-expm1-u` `add-log-exp` `unswap-sqr`
3×	`pow-prod-down` `pow-sqr`
2×	`rem-sqrt-square`
1×	`pow2` `pow-plus` `sqrt-unprod` `prod-exp` `rem-square-sqrt` `*-commutative` `cbrt-unprod` `fma-udef`

Counts

4 → 91

Calls

4 calls:

1.0ms	(fma (fma y 2.0 x) x (* y y))
6.0ms	(* (sqrt (fma (fma y 2.0 x) x (* y y))) (sqrt (fma (fma y 2.0 x) x (* y y))))
2.0ms	(sqrt (fma (fma y 2.0 x) x (* y y)))
2.0ms	(sqrt (fma (fma y 2.0 x) x (* y y)))

series193.0ms

Counts

4 → 12

Calls

4 calls:

28.0ms	(fma (fma y 2.0 x) x (* y y))
32.0ms	(* (sqrt (fma (fma y 2.0 x) x (* y y))) (sqrt (fma (fma y 2.0 x) x (* y y))))
64.0ms	(sqrt (fma (fma y 2.0 x) x (* y y)))
69.0ms	(sqrt (fma (fma y 2.0 x) x (* y y)))

simplify159.0ms

Algorithm

egg-herbie

Counts

103 → 103

Iterations

Useful iterations: 3 (149.0ms)

Iter	Nodes	Cost
0	141	562
1	488	484
2	3117	464
3	5003	449

prune187.0ms

Filtered

103 candidates to 63 candidates (61.2%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	103	0	103
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	103	2	105

Merged error: 0.0b

Counts

105 → 2

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ (* x x) (* (* x 2.0) y))
0.0b	(+ (+ (* x x) (* (* x 2.0) y)) (* y y))

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

9×	`add-log-exp`
4×	`fma-def` `sum-log`
3×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
2×	`pow1` `add-exp-log` `+-commutative` `expm1-log1p-u` `flip3-+` `add-cbrt-cube` `flip-+` `log1p-expm1-u`
1×	`associate-+l+`

Counts

2 → 32

Calls

2 calls:

4.0ms	(+ (* x x) (* (* x 2.0) y))
6.0ms	(+ (+ (* x x) (* (* x 2.0) y)) (* y y))

series71.0ms

Counts

2 → 6

Calls

2 calls:

45.0ms	(+ (* x x) (* (* x 2.0) y))
26.0ms	(+ (+ (* x x) (* (* x 2.0) y)) (* y y))

simplify44.0ms

Algorithm

egg-herbie

Counts

38 → 38

Iterations

Useful iterations: 2 (39.0ms)

Iter	Nodes	Cost
0	204	251
1	1082	223
2	5002	196

prune77.0ms

Filtered

38 candidates to 30 candidates (78.9%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	37	1	38
Fresh	0	0	0
Picked	1	0	1
Done	0	1	1
Total	38	2	40

Merged error: 0b

Counts

40 → 2

localize7.0ms

Local error

Found 1 expressions with local error:

0.0b	(fma y (fma 2.0 x y) (pow x 2))

rewrite1.0ms

Algorithm

rewrite-expression-head

Rules

1×	`pow1` `add-exp-log` `add-sqr-sqrt` `expm1-log1p-u` `add-cube-cbrt` `*-un-lft-identity` `add-cbrt-cube` `fma-udef` `log1p-expm1-u` `add-log-exp`

Counts

1 → 10

Calls

1 calls:

1.0ms

(fma y (fma 2.0 x y) (pow x 2))

series28.0ms

Counts

1 → 3

Calls

1 calls:

28.0ms

(fma y (fma 2.0 x y) (pow x 2))

simplify99.0ms

Algorithm

egg-herbie

Counts

13 → 13

Iterations

Useful iterations: 1 (5.0ms)

Iter	Nodes	Cost
0	41	68
1	97	52
2	453	52
3	2426	52
4	5002	52

prune28.0ms

Filtered

13 candidates to 10 candidates (76.9%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	13	0	13
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	13	2	15

Merged error: 0b

Counts

15 → 2

regimes25.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	3

end0.0ms

sample679.0ms

Algorithm

intervals

Results

464.0ms

14181×

body

valid

Details

sample29.0ms

simplify13.0ms

prune7.0ms

localize6.0ms

rewrite1.0ms

series30.0ms

simplify100.0ms

prune32.0ms

localize9.0ms

rewrite13.0ms

series193.0ms

simplify159.0ms

prune187.0ms

localize8.0ms

rewrite11.0ms

series71.0ms

simplify44.0ms

prune77.0ms

localize7.0ms

rewrite1.0ms

series28.0ms

simplify99.0ms

prune28.0ms

regimes25.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample679.0ms

Profiling