Details

sample22.0ms

Algorithm

intervals

Results

9.0ms	256×	body	80	valid
3.0ms	256×	pre	80	true

simplify88.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 4 (16.0ms)

Iter	Nodes	Cost
0	25	7
1	61	7
2	171	7
3	368	7
4	849	6
5	2630	6
6	5002	6

prune5.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 62.0b

Counts

2 → 1

localize12.0ms

Local error

Found 1 expressions with local error:

62.0b

(- (* 9.0 (pow x 4.0)) (* (* y y) (- (* y y) 2.0)))

rewrite147.0ms

Algorithm

rewrite-expression-head

Rules

999×	`add-sqr-sqrt`
720×	`prod-diff`
504×	`associate-r`
477×	`associate-l`
415×	`*-un-lft-identity`
331×	`add-cube-cbrt`
300×	`unswap-sqr`
150×	`unpow-prod-down`
118×	`*-commutative`
114×	`difference-of-squares`
112×	`swap-sqr`
94×	`associate--r+`
78×	`sqr-pow`
47×	`distribute-rgt-in` `distribute-lft-in`
42×	`distribute-lft-out--`
18×	`fma-neg`
3×	`sub-neg` `add-log-exp`
1×	`pow1` `add-exp-log` `expm1-log1p-u` `flip3--` `diff-log` `add-cbrt-cube` `flip--` `log1p-expm1-u`

Counts

1 → 786

Calls

1 calls:

72.0ms

(- (* 9.0 (pow x 4.0)) (* (* y y) (- (* y y) 2.0)))

series180.0ms

Counts

1 → 3

Calls

1 calls:

180.0ms

(- (* 9.0 (pow x 4.0)) (* (* y y) (- (* y y) 2.0)))

simplify195.0ms

Algorithm

egg-herbie

Counts

789 → 789

Iterations

Useful iterations: 1 (40.0ms)

Iter	Nodes	Cost
0	2170	20376
1	5002	13585

prune386.0ms

Filtered

789 candidates to 130 candidates (83.5%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	788	1	789
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	789	1	790

Merged error: 52.0b

Counts

790 → 1

localize11.0ms

Local error

Found 1 expressions with local error:

23.0b

(- (* 9.0 (pow x 4)) (pow y 4))

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

135×	`add-sqr-sqrt`
126×	`prod-diff`
93×	`unpow-prod-down`
73×	`*-un-lft-identity`
69×	`add-cube-cbrt`
56×	`associate-r`
41×	`sqr-pow`
33×	`unswap-sqr`
25×	`associate-l`
18×	`fma-neg`
12×	`difference-of-squares`
8×	`*-commutative`
3×	`add-log-exp`
2×	`distribute-lft-out--`
1×	`pow1` `add-exp-log` `expm1-log1p-u` `sub-neg` `flip3--` `diff-log` `add-cbrt-cube` `flip--` `log1p-expm1-u`

Counts

1 → 172

Calls

1 calls:

18.0ms

(- (* 9.0 (pow x 4)) (pow y 4))

series74.0ms

Counts

1 → 3

Calls

1 calls:

73.0ms

(- (* 9.0 (pow x 4)) (pow y 4))

simplify66.0ms

Algorithm

egg-herbie

Counts

175 → 175

Iterations

Useful iterations: 2 (42.0ms)

Iter	Nodes	Cost
0	530	2751
1	1351	1969
2	5002	1629

prune138.0ms

Filtered

175 candidates to 46 candidates (73.7%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	174	1	175
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	175	1	176

Merged error: 0b

Counts

176 → 1

localize20.0ms

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms

Counts: 0 → 0

simplify2.0ms

Algorithm

egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	0	0

prune4.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

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

Merged error: 0b

Counts

1 → 1

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	16
1	19	16

end0.0ms

sample505.0ms

Algorithm

intervals

Results

274.0ms	8000×	body	80	valid
98.0ms	8000×	pre	80	true