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 (48.1%)

Results

2.2s	4012×	body	1024	valid
2.2s	2120×	body	2048	valid
479.0ms	1357×	body	512	valid
128.0ms	529×	body	256	valid
31.0ms	237×	body	128	valid
3.0ms	1×	body	4096	valid

Compiler

Compiled 20 to 14 computations (30% saved)

preprocess20.0ms (0.2%)

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.1%)

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)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	1.1b	(-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x))
✓	3.9b	(cos.f64 (+.f64 x eps))

series10.0ms (0.1%)

Counts

2 → 48

Calls

12 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	(-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x))	eps	-inf
1.0ms	(cos.f64 (+.f64 x eps))	x	0

rewrite58.0ms (0.6%)

Algorithm

1×	batch-egg-rewrite

Rules

457×	`fma-def_binary64`
445×	`log-prod_binary64`
238×	`fma-neg_binary64`
180×	`expm1-udef_binary64`
180×	`log1p-udef_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	17
1	174	17
2	2709	17

Stop Event

1×	node limit

Counts

2 → 163

simplify32.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

877×	`fma-neg_binary64`
692×	`cancel-sign-sub-inv_binary64`
285×	`associate-+l-_binary64`
264×	`sub-neg_binary64`
230×	`associate--l+_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	61	622
1	187	614
2	557	602
3	1982	582

Stop Event

1×	node limit

Counts

211 → 193

prune166.0ms (1.6%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	182	11	193
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	183	11	194

Error

0.2b

Counts

194 → 11

Alt Table

Status	Error	Program
	23.5b	(-.f64 (/.f64 (-.f64 (pow.f64 (.f64 (cos.f64 x) (cos.f64 eps)) 3) (pow.f64 (.f64 (sin.f64 x) (sin.f64 eps)) 3)) (fma.f64 (.f64 (cos.f64 x) (cos.f64 eps)) (.f64 (cos.f64 x) (cos.f64 eps)) (fma.f64 (.f64 (sin.f64 x) (sin.f64 eps)) (.f64 (sin.f64 x) (sin.f64 eps)) (.f64 (.f64 (cos.f64 x) (cos.f64 eps)) (*.f64 (sin.f64 x) (sin.f64 eps)))))) (cos.f64 x))
	33.5b	(+.f64 (.f64 (cos.f64 x) (fma.f64 1/24 (pow.f64 eps 4) (.f64 eps (.f64 eps -1/2)))) (.f64 (sin.f64 x) (-.f64 (*.f64 1/6 (pow.f64 eps 3)) eps)))
▶	23.3b	(fma.f64 (cos.f64 x) (cos.f64 eps) (neg.f64 (fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x))))
	33.4b	(.f64 (.f64 -2 (sin.f64 (.f64 (+.f64 x (-.f64 eps x)) 1/2))) (sin.f64 (.f64 (+.f64 x (+.f64 x eps)) 1/2)))
	33.0b	(fma.f64 (sqrt.f64 (cos.f64 x)) (*.f64 (sqrt.f64 (cos.f64 x)) (cos.f64 eps)) (neg.f64 (fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x))))
	23.9b	(-.f64 (fma.f64 (.f64 (cbrt.f64 (.f64 (cos.f64 x) (cos.f64 eps))) (cbrt.f64 (.f64 (cos.f64 x) (cos.f64 eps)))) (cbrt.f64 (.f64 (cos.f64 x) (cos.f64 eps))) (neg.f64 (*.f64 (sin.f64 x) (sin.f64 eps)))) (cos.f64 x))
	23.3b	(-.f64 (-.f64 (.f64 (cos.f64 x) (cos.f64 eps)) (.f64 (sin.f64 x) (sin.f64 eps))) (cos.f64 x))
	23.6b	(-.f64 (fma.f64 (pow.f64 (cbrt.f64 (cos.f64 x)) 2) (.f64 (cbrt.f64 (cos.f64 x)) (cos.f64 eps)) (neg.f64 (.f64 (sin.f64 x) (sin.f64 eps)))) (cos.f64 x))
	38.5b	(fma.f64 (sqrt.f64 (.f64 (cos.f64 x) (cos.f64 eps))) (sqrt.f64 (.f64 (cos.f64 x) (cos.f64 eps))) (neg.f64 (fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x))))
	23.6b	(fma.f64 (pow.f64 (cbrt.f64 (cos.f64 x)) 2) (*.f64 (cbrt.f64 (cos.f64 x)) (cos.f64 eps)) (neg.f64 (fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x))))
	38.9b	(log.f64 (*.f64 (exp.f64 (neg.f64 (cos.f64 x))) (exp.f64 (cos.f64 (+.f64 x eps)))))

Compiler

Compiled 4019 to 1252 computations (68.8% saved)

localize12.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(sin.f64 eps)
✓	0.1b	(fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x))
✓	2.7b	(fma.f64 (cos.f64 x) (cos.f64 eps) (neg.f64 (fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x))))

series27.0ms (0.3%)

Counts

3 → 52

Calls

15 calls:

3.0ms	(fma.f64 (cos.f64 x) (cos.f64 eps) (neg.f64 (fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x))))	eps	-inf
3.0ms	(fma.f64 (cos.f64 x) (cos.f64 eps) (neg.f64 (fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x))))	eps	inf
3.0ms	(fma.f64 (cos.f64 x) (cos.f64 eps) (neg.f64 (fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x))))	x	-inf
3.0ms	(fma.f64 (cos.f64 x) (cos.f64 eps) (neg.f64 (fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x))))	x	inf
2.0ms	(fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x))	eps	-inf

rewrite94.0ms (0.9%)

Algorithm

1×	batch-egg-rewrite

Rules

833×	`log1p-expm1-u_binary64`
833×	`expm1-log1p-u_binary64`
285×	`prod-diff_binary64`
213×	`egg-rr`
104×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	10	35
1	199	33
2	2468	33

Stop Event

1×	node limit

Counts

3 → 213

simplify42.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

313×	`associate-+l-_binary64`
304×	`fma-def_binary64`
298×	`sub-neg_binary64`
272×	`cancel-sign-sub-inv_binary64`
259×	`distribute-rgt-neg-in_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	75	900
1	240	878
2	743	848
3	2798	836

Stop Event

1×	node limit

Counts

265 → 253

prune155.0ms (1.5%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	248	5	253
Fresh	0	10	10
Picked	1	0	1
Done	0	0	0
Total	249	15	264

Error

0.1b

Counts

264 → 15

Alt Table

Status	Error	Program
	23.3b	(fma.f64 (cos.f64 x) (cos.f64 eps) (neg.f64 (fma.f64 (sin.f64 x) (expm1.f64 (log1p.f64 (sin.f64 eps))) (cos.f64 x))))
	23.6b	(-.f64 (fma.f64 (pow.f64 (cbrt.f64 (cos.f64 x)) 2) (.f64 (cbrt.f64 (cos.f64 x)) (cos.f64 eps)) (neg.f64 (.f64 (sin.f64 x) (sin.f64 eps)))) (cos.f64 x))
	23.5b	(-.f64 (/.f64 (-.f64 (pow.f64 (.f64 (cos.f64 x) (cos.f64 eps)) 3) (pow.f64 (.f64 (sin.f64 x) (sin.f64 eps)) 3)) (fma.f64 (.f64 (cos.f64 x) (cos.f64 eps)) (.f64 (cos.f64 x) (cos.f64 eps)) (fma.f64 (.f64 (sin.f64 x) (sin.f64 eps)) (.f64 (sin.f64 x) (sin.f64 eps)) (.f64 (.f64 (cos.f64 x) (cos.f64 eps)) (*.f64 (sin.f64 x) (sin.f64 eps)))))) (cos.f64 x))
	33.5b	(+.f64 (.f64 (cos.f64 x) (fma.f64 1/24 (pow.f64 eps 4) (.f64 eps (.f64 eps -1/2)))) (.f64 (sin.f64 x) (-.f64 (*.f64 1/6 (pow.f64 eps 3)) eps)))
	23.4b	(fma.f64 (cos.f64 x) (cos.f64 eps) (neg.f64 (/.f64 (-.f64 (.f64 (.f64 (sin.f64 x) (sin.f64 eps)) (.f64 (sin.f64 x) (sin.f64 eps))) (pow.f64 (cos.f64 x) 2)) (-.f64 (.f64 (sin.f64 x) (sin.f64 eps)) (cos.f64 x)))))
	38.5b	(fma.f64 (sqrt.f64 (.f64 (cos.f64 x) (cos.f64 eps))) (sqrt.f64 (.f64 (cos.f64 x) (cos.f64 eps))) (neg.f64 (fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x))))
	23.5b	(fma.f64 (cos.f64 x) (cos.f64 eps) (neg.f64 (cbrt.f64 (pow.f64 (fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x)) 3))))
	38.9b	(log.f64 (*.f64 (exp.f64 (neg.f64 (cos.f64 x))) (exp.f64 (cos.f64 (+.f64 x eps)))))
	33.4b	(.f64 (.f64 -2 (sin.f64 (.f64 (+.f64 x (-.f64 eps x)) 1/2))) (sin.f64 (.f64 (+.f64 x (+.f64 x eps)) 1/2)))
	33.0b	(fma.f64 (sqrt.f64 (cos.f64 x)) (*.f64 (sqrt.f64 (cos.f64 x)) (cos.f64 eps)) (neg.f64 (fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x))))
	23.9b	(-.f64 (fma.f64 (.f64 (cbrt.f64 (.f64 (cos.f64 x) (cos.f64 eps))) (cbrt.f64 (.f64 (cos.f64 x) (cos.f64 eps)))) (cbrt.f64 (.f64 (cos.f64 x) (cos.f64 eps))) (neg.f64 (*.f64 (sin.f64 x) (sin.f64 eps)))) (cos.f64 x))
▶	23.3b	(-.f64 (-.f64 (.f64 (cos.f64 x) (cos.f64 eps)) (.f64 (sin.f64 x) (sin.f64 eps))) (cos.f64 x))
	23.6b	(fma.f64 (pow.f64 (cbrt.f64 (cos.f64 x)) 2) (*.f64 (cbrt.f64 (cos.f64 x)) (cos.f64 eps)) (neg.f64 (fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x))))
	23.6b	(/.f64 (-.f64 (.f64 (.f64 (cos.f64 x) (cos.f64 eps)) (*.f64 (cos.f64 x) (cos.f64 eps))) (pow.f64 (fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x)) 2)) (fma.f64 (cos.f64 x) (cos.f64 eps) (fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x))))
	23.3b	(fma.f64 (cos.f64 x) (cos.f64 eps) (neg.f64 (fma.f64 (sin.f64 x) (log1p.f64 (expm1.f64 (sin.f64 eps))) (cos.f64 x))))

Compiler

Compiled 9583 to 2054 computations (78.6% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(*.f64 (cos.f64 x) (cos.f64 eps))
✓	0.2b	(-.f64 (.f64 (cos.f64 x) (cos.f64 eps)) (.f64 (sin.f64 x) (sin.f64 eps)))
✓	0.2b	(*.f64 (sin.f64 x) (sin.f64 eps))
✓	2.7b	(-.f64 (-.f64 (.f64 (cos.f64 x) (cos.f64 eps)) (.f64 (sin.f64 x) (sin.f64 eps))) (cos.f64 x))

series52.0ms (0.5%)

Counts

4 → 80

Calls

24 calls:

5.0ms	(*.f64 (cos.f64 x) (cos.f64 eps))	x	-inf
3.0ms	(-.f64 (-.f64 (.f64 (cos.f64 x) (cos.f64 eps)) (.f64 (sin.f64 x) (sin.f64 eps))) (cos.f64 x))	x	inf
3.0ms	(-.f64 (-.f64 (.f64 (cos.f64 x) (cos.f64 eps)) (.f64 (sin.f64 x) (sin.f64 eps))) (cos.f64 x))	eps	-inf
3.0ms	(-.f64 (-.f64 (.f64 (cos.f64 x) (cos.f64 eps)) (.f64 (sin.f64 x) (sin.f64 eps))) (cos.f64 x))	eps	inf
3.0ms	(-.f64 (-.f64 (.f64 (cos.f64 x) (cos.f64 eps)) (.f64 (sin.f64 x) (sin.f64 eps))) (cos.f64 x))	x	-inf

rewrite72.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

486×	`fma-neg_binary64`
245×	`expm1-udef_binary64`
245×	`log1p-udef_binary64`
194×	`egg-rr`
135×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	11	57
1	259	33
2	3805	33

Stop Event

1×	node limit

Counts

4 → 194

simplify58.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

544×	`fma-def_binary64`
456×	`sub-neg_binary64`
395×	`cancel-sign-sub-inv_binary64`
351×	`associate-r_binary64`
314×	`associate-l_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	110	1486
1	362	1455
2	1164	1390
3	4521	1390

Stop Event

1×	node limit

Counts

274 → 254

prune220.0ms (2.1%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	250	4	254
Fresh	6	8	14
Picked	1	0	1
Done	0	0	0
Total	257	12	269

Error

0.1b

Counts

269 → 12

Alt Table

Status	Error	Program
	23.5b	(fma.f64 (cos.f64 x) (cos.f64 eps) (neg.f64 (cbrt.f64 (pow.f64 (fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x)) 3))))
	23.5b	(/.f64 (-.f64 (pow.f64 (.f64 (cos.f64 x) (cos.f64 eps)) 3) (pow.f64 (fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x)) 3)) (+.f64 (pow.f64 (.f64 (cos.f64 x) (cos.f64 eps)) 2) (+.f64 (.f64 (fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x)) (fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x))) (.f64 (*.f64 (cos.f64 x) (cos.f64 eps)) (fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x))))))
	33.4b	(.f64 (.f64 -2 (sin.f64 (.f64 (+.f64 x (-.f64 eps x)) 1/2))) (sin.f64 (.f64 (+.f64 x (+.f64 x eps)) 1/2)))
	33.0b	(fma.f64 (sqrt.f64 (cos.f64 x)) (*.f64 (sqrt.f64 (cos.f64 x)) (cos.f64 eps)) (neg.f64 (fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x))))
	23.6b	(-.f64 (fma.f64 (pow.f64 (cbrt.f64 (cos.f64 x)) 2) (.f64 (cbrt.f64 (cos.f64 x)) (cos.f64 eps)) (neg.f64 (.f64 (sin.f64 x) (sin.f64 eps)))) (cos.f64 x))
	33.5b	(+.f64 (.f64 (cos.f64 x) (fma.f64 1/24 (pow.f64 eps 4) (.f64 eps (.f64 eps -1/2)))) (.f64 (sin.f64 x) (-.f64 (*.f64 1/6 (pow.f64 eps 3)) eps)))
	23.4b	(fma.f64 (cos.f64 x) (cos.f64 eps) (neg.f64 (/.f64 (-.f64 (.f64 (.f64 (sin.f64 x) (sin.f64 eps)) (.f64 (sin.f64 x) (sin.f64 eps))) (pow.f64 (cos.f64 x) 2)) (-.f64 (.f64 (sin.f64 x) (sin.f64 eps)) (cos.f64 x)))))
	23.6b	(fma.f64 (pow.f64 (cbrt.f64 (cos.f64 x)) 2) (*.f64 (cbrt.f64 (cos.f64 x)) (cos.f64 eps)) (neg.f64 (fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x))))
▶	23.4b	(-.f64 (-.f64 (.f64 (cos.f64 x) (cos.f64 eps)) (-.f64 (exp.f64 (log1p.f64 (.f64 (sin.f64 x) (sin.f64 eps)))) 1)) (cos.f64 x))
	40.3b	(fma.f64 (sqrt.f64 (cos.f64 eps)) (*.f64 (sqrt.f64 (cos.f64 eps)) (cos.f64 x)) (neg.f64 (fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x))))
	23.6b	(/.f64 (-.f64 (.f64 (.f64 (cos.f64 x) (cos.f64 eps)) (*.f64 (cos.f64 x) (cos.f64 eps))) (pow.f64 (fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x)) 2)) (fma.f64 (cos.f64 x) (cos.f64 eps) (fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x))))
	23.6b	(-.f64 (-.f64 (log.f64 (+.f64 1 (expm1.f64 (.f64 (cos.f64 x) (cos.f64 eps))))) (.f64 (sin.f64 x) (sin.f64 eps))) (cos.f64 x))

Compiler

Compiled 5811 to 1701 computations (70.7% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(-.f64 (.f64 (cos.f64 x) (cos.f64 eps)) (-.f64 (exp.f64 (log1p.f64 (.f64 (sin.f64 x) (sin.f64 eps)))) 1))
	0.2b	(*.f64 (sin.f64 x) (sin.f64 eps))
✓	2.7b	(-.f64 (-.f64 (.f64 (cos.f64 x) (cos.f64 eps)) (-.f64 (exp.f64 (log1p.f64 (.f64 (sin.f64 x) (sin.f64 eps)))) 1)) (cos.f64 x))
✓	4.9b	(-.f64 (exp.f64 (log1p.f64 (*.f64 (sin.f64 x) (sin.f64 eps)))) 1)

series1.2s (11.7%)

Counts

3 → 72

Calls

18 calls:

116.0ms	(-.f64 (exp.f64 (log1p.f64 (*.f64 (sin.f64 x) (sin.f64 eps)))) 1)	eps	inf
102.0ms	(-.f64 (exp.f64 (log1p.f64 (*.f64 (sin.f64 x) (sin.f64 eps)))) 1)	x	-inf
101.0ms	(-.f64 (exp.f64 (log1p.f64 (*.f64 (sin.f64 x) (sin.f64 eps)))) 1)	eps	-inf
100.0ms	(-.f64 (-.f64 (.f64 (cos.f64 x) (cos.f64 eps)) (-.f64 (exp.f64 (log1p.f64 (.f64 (sin.f64 x) (sin.f64 eps)))) 1)) (cos.f64 x))	x	-inf
98.0ms	(-.f64 (.f64 (cos.f64 x) (cos.f64 eps)) (-.f64 (exp.f64 (log1p.f64 (.f64 (sin.f64 x) (sin.f64 eps)))) 1))	x	inf

rewrite69.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

284×	`log1p-udef_binary64`
159×	`add-sqr-sqrt_binary64`
156×	`expm1-log1p-u_binary64`
155×	`log1p-expm1-u_binary64`
151×	`add-cbrt-cube_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	15	49
1	317	25
2	4530	25

Stop Event

1×	node limit

Counts

3 → 148

simplify54.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

387×	`fma-def_binary64`
375×	`sub-neg_binary64`
320×	`cancel-sign-sub-inv_binary64`
311×	`distribute-rgt-neg-in_binary64`
306×	`distribute-lft-neg-in_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	89	1306
1	292	1278
2	912	1235
3	3380	1218

Stop Event

1×	node limit

Counts

220 → 194

prune175.0ms (1.7%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	226	0	226
Fresh	0	11	11
Picked	0	1	1
Done	0	0	0
Total	226	12	238

Error

0.1b

Counts

238 → 12

Alt Table

Status	Error	Program
	23.5b	(fma.f64 (cos.f64 x) (cos.f64 eps) (neg.f64 (cbrt.f64 (pow.f64 (fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x)) 3))))
	23.5b	(/.f64 (-.f64 (pow.f64 (.f64 (cos.f64 x) (cos.f64 eps)) 3) (pow.f64 (fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x)) 3)) (+.f64 (pow.f64 (.f64 (cos.f64 x) (cos.f64 eps)) 2) (+.f64 (.f64 (fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x)) (fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x))) (.f64 (*.f64 (cos.f64 x) (cos.f64 eps)) (fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x))))))
	33.4b	(.f64 (.f64 -2 (sin.f64 (.f64 (+.f64 x (-.f64 eps x)) 1/2))) (sin.f64 (.f64 (+.f64 x (+.f64 x eps)) 1/2)))
	33.0b	(fma.f64 (sqrt.f64 (cos.f64 x)) (*.f64 (sqrt.f64 (cos.f64 x)) (cos.f64 eps)) (neg.f64 (fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x))))
	23.6b	(-.f64 (fma.f64 (pow.f64 (cbrt.f64 (cos.f64 x)) 2) (.f64 (cbrt.f64 (cos.f64 x)) (cos.f64 eps)) (neg.f64 (.f64 (sin.f64 x) (sin.f64 eps)))) (cos.f64 x))
	33.5b	(+.f64 (.f64 (cos.f64 x) (fma.f64 1/24 (pow.f64 eps 4) (.f64 eps (.f64 eps -1/2)))) (.f64 (sin.f64 x) (-.f64 (*.f64 1/6 (pow.f64 eps 3)) eps)))
	23.4b	(fma.f64 (cos.f64 x) (cos.f64 eps) (neg.f64 (/.f64 (-.f64 (.f64 (.f64 (sin.f64 x) (sin.f64 eps)) (.f64 (sin.f64 x) (sin.f64 eps))) (pow.f64 (cos.f64 x) 2)) (-.f64 (.f64 (sin.f64 x) (sin.f64 eps)) (cos.f64 x)))))
	23.6b	(fma.f64 (pow.f64 (cbrt.f64 (cos.f64 x)) 2) (*.f64 (cbrt.f64 (cos.f64 x)) (cos.f64 eps)) (neg.f64 (fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x))))
✓	23.4b	(-.f64 (-.f64 (.f64 (cos.f64 x) (cos.f64 eps)) (-.f64 (exp.f64 (log1p.f64 (.f64 (sin.f64 x) (sin.f64 eps)))) 1)) (cos.f64 x))
	40.3b	(fma.f64 (sqrt.f64 (cos.f64 eps)) (*.f64 (sqrt.f64 (cos.f64 eps)) (cos.f64 x)) (neg.f64 (fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x))))
	23.6b	(/.f64 (-.f64 (.f64 (.f64 (cos.f64 x) (cos.f64 eps)) (*.f64 (cos.f64 x) (cos.f64 eps))) (pow.f64 (fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x)) 2)) (fma.f64 (cos.f64 x) (cos.f64 eps) (fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x))))
	23.6b	(-.f64 (-.f64 (log.f64 (+.f64 1 (expm1.f64 (.f64 (cos.f64 x) (cos.f64 eps))))) (.f64 (sin.f64 x) (sin.f64 eps))) (cos.f64 x))

Compiler

Compiled 5009 to 1822 computations (63.6% saved)

regimes2.5s (24.1%)

Accuracy

Total 0.3b remaining (63.6%)

Threshold costs 0.3b (63.6%)

Counts

274 → 3

Compiler

Compiled 16428 to 9997 computations (39.1% saved)

bsearch110.0ms (1%)

Algorithm

2×	binary-search

Calls

2 calls:

51.0ms	eps
49.0ms	eps

Steps

Iters	Point		Range
0.0020293481482823845	∈ [	7.105897657451659e-6	,	913.3832847960484	]
-0.0029557493766311335	∈ [	-0.042720044277878566	,	-6.042722393881566e-13	]

Compiler

Compiled 3 to 2 computations (33.3% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

12×	`*-commutative_binary64`
8×	`+-commutative_binary64`
7×	`sub-neg_binary64`
5×	`neg-sub0_binary64`
5×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	33	94
1	50	94
2	64	94
3	74	94
4	79	94
5	80	94

Stop Event

1×

saturated

end218.0ms (2.1%)

Stop Event

1×

fuel

Compiler

Compiled 440 to 234 computations (46.8% saved)

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

Details

analyze1.0ms (0%)

sample5.0s (48.1%)

preprocess20.0ms (0.2%)

simplify9.0ms (0.1%)

prune2.0ms (0%)

localize7.0ms (0.1%)

series10.0ms (0.1%)

rewrite58.0ms (0.6%)

simplify32.0ms (0.3%)

prune166.0ms (1.6%)

localize12.0ms (0.1%)

series27.0ms (0.3%)

rewrite94.0ms (0.9%)

simplify42.0ms (0.4%)

prune155.0ms (1.5%)

localize10.0ms (0.1%)

series52.0ms (0.5%)

rewrite72.0ms (0.7%)

simplify58.0ms (0.6%)

prune220.0ms (2.1%)

localize14.0ms (0.1%)

series1.2s (11.7%)

rewrite69.0ms (0.7%)

simplify54.0ms (0.5%)

prune175.0ms (1.7%)

regimes2.5s (24.1%)

bsearch110.0ms (1%)

simplify4.0ms (0%)

end218.0ms (2.1%)

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