Details

analyze1.0ms (0%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
99.9%	0%	0.1%	1

Compiler

Compiled 10 to 7 computations (30% saved)

sample5.0s (99%)

Results

2.2s	3939×	body	1024	valid
2.2s	2177×	body	2048	valid
513.0ms	1372×	body	512	valid
126.0ms	529×	body	256	valid
31.0ms	236×	body	128	valid
7.0ms	3×	body	4096	valid

Compiler

Compiled 20 to 14 computations (30% saved)

preprocess21.0ms (0.4%)

Algorithm

2×	egg-herbie

Rules

76×	`fma-def_binary64`
57×	`fma-neg_binary64`
27×	`cancel-sign-sub-inv_binary64`
24×	`sub-neg_binary64`
18×	`distribute-rgt-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	22
1	17	22
2	25	22
3	38	22
4	53	22
5	81	22
6	141	22
7	200	22
8	282	22
9	353	22
10	405	22
11	409	22
0	2	2

Stop Event

1×	saturated
1×	saturated

Compiler

Compiled 9 to 6 computations (33.3% saved)

simplify9.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

39×	`fma-def_binary64`
32×	`fma-neg_binary64`
15×	`cancel-sign-sub-inv_binary64`
12×	`sub-neg_binary64`
10×	`distribute-rgt-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	11
1	10	11
2	15	11
3	22	11
4	31	11
5	48	11
6	86	11
7	124	11
8	172	11
9	208	11
10	234	11
11	236	11

Stop Event

1×

saturated

Counts

1 → 1

prune2.0ms (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

Error

38.8b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	38.8b	(-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x))

Compiler

Compiled 27 to 18 computations (33.3% saved)

localize6.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(cos.f64 x)
✓	0.8b	(-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x))
✓	3.4b	(cos.f64 (+.f64 x eps))

series11.0ms (0.2%)

Counts

3 → 52

Calls

15 calls:

1.0ms	(-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x))	eps	0
1.0ms	(-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x))	eps	-inf
1.0ms	(-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x))	x	0
1.0ms	(cos.f64 (+.f64 x eps))	x	0
1.0ms	(-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x))	eps	inf

rewrite0.0ms (0%)

Algorithm

1×	batch-egg-rewrite

Details

analyze1.0ms (0%)

sample5.0s (99%)

preprocess21.0ms (0.4%)

simplify9.0ms (0.2%)

prune2.0ms (0%)

localize6.0ms (0.1%)

series11.0ms (0.2%)

rewrite0.0ms (0%)

end0.0ms (0%)

Profiling

Iter	Nodes	Cost
0	11	22
1	17	22
2	25	22
3	38	22
4	53	22
5	81	22
6	141	22
7	200	22
8	282	22
9	353	22
10	405	22
11	409	22
0	2	2

Iter	Nodes	Cost
0	7	11
1	10	11
2	15	11
3	22	11
4	31	11
5	48	11
6	86	11
7	124	11
8	172	11
9	208	11
10	234	11
11	236	11

Iter	Nodes	Cost
0	11	22
1	17	22
2	25	22
3	38	22
4	53	22
5	81	22
6	141	22
7	200	22
8	282	22
9	353	22
10	405	22
11	409	22
0	2	2

Iter	Nodes	Cost
0	7	11
1	10	11
2	15	11
3	22	11
4	31	11
5	48	11
6	86	11
7	124	11
8	172	11
9	208	11
10	234	11
11	236	11

Iter	Nodes	Cost
0	11	22
1	17	22
2	25	22
3	38	22
4	53	22
5	81	22
6	141	22
7	200	22
8	282	22
9	353	22
10	405	22
11	409	22
0	2	2

Iter	Nodes	Cost
0	7	11
1	10	11
2	15	11
3	22	11
4	31	11
5	48	11
6	86	11
7	124	11
8	172	11
9	208	11
10	234	11
11	236	11