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

Results

2.4s	3631×	body	1024	valid
1.6s	1270×	body	2048	valid
649.0ms	1440×	body	512	valid
196.0ms	1332×	body	128	valid
157.0ms	580×	body	256	valid
9.0ms	3×	body	4096	valid

Compiler

Compiled 29 to 20 computations (31% saved)

simplify10.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	11
1	10	11
2	15	11
3	22	11
4	29	11
5	46	11
6	72	11
7	93	11
8	110	11
9	120	11
10	124	11
11	126	11
12	112	11

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

Counts

2 → 1

Alt Table

Status	Error	Program
▶	38.3b	(-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))

Compiler

Compiled 27 to 18 computations (33.3% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	1.6b	(-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))
✓	4.1b	(sin.f64 (+.f64 x eps))

series53.0ms (0.7%)

Counts

2 → 48

Calls

2 calls:

49.0ms	(-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))
4.0ms	(sin.f64 (+.f64 x eps))

rewrite62.0ms (0.8%)

Algorithm

2×	batch-egg-rewrite

Rules

471×	`fma-def_binary64`
446×	`log-prod_binary64`
214×	`fma-neg_binary64`
179×	`expm1-udef_binary64`
179×	`log1p-udef_binary64`

Counts

2 → 151

Calls

2 calls:

59.0ms	(-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))
59.0ms	(sin.f64 (+.f64 x eps))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	17
1	173	17
2	2539	17
3	5359	17
0	0	0
1	0	0

simplify117.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

830×	`sub-neg_binary64`
730×	`fma-neg_binary64`
266×	`cancel-sign-sub-inv_binary64`
264×	`associate-+l-_binary64`
245×	`distribute-rgt-neg-in_binary64`

Counts

199 → 180

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	53	602
1	170	587
2	523	572
3	1688	569
4	4695	565
5	5641	565

prune145.0ms (1.8%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	168	12	180
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	169	12	181

Error

0.2b

Counts

181 → 12

Alt Table

Status	Error	Program
	44.4b	(-.f64 (fma.f64 (sqrt.f64 (sin.f64 x)) (.f64 (sqrt.f64 (sin.f64 x)) (cos.f64 eps)) (.f64 (cos.f64 x) (sin.f64 eps))) (sin.f64 x))
	47.2b	(fma.f64 (sqrt.f64 (.f64 (sin.f64 x) (cos.f64 eps))) (sqrt.f64 (.f64 (sin.f64 x) (cos.f64 eps))) (-.f64 (*.f64 (cos.f64 x) (sin.f64 eps)) (sin.f64 x)))
	24.3b	(fma.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 x) (cos.f64 eps))) (cbrt.f64 (.f64 (sin.f64 x) (cos.f64 eps)))) (cbrt.f64 (.f64 (sin.f64 x) (cos.f64 eps))) (-.f64 (*.f64 (cos.f64 x) (sin.f64 eps)) (sin.f64 x)))
	52.4b	(-.f64 (pow.f64 (pow.f64 (sin.f64 (+.f64 x eps)) 3) 1/3) (sin.f64 x))
	27.0b	(-.f64 (/.f64 (+.f64 (pow.f64 (.f64 (sin.f64 x) (cos.f64 eps)) 3) (pow.f64 (.f64 (cos.f64 x) (sin.f64 eps)) 3)) (fma.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (.f64 (sin.f64 x) (cos.f64 eps)) (-.f64 (.f64 (.f64 (cos.f64 x) (sin.f64 eps)) (.f64 (cos.f64 x) (sin.f64 eps))) (.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (.f64 (cos.f64 x) (sin.f64 eps)))))) (sin.f64 x))
	23.6b	(-.f64 (fma.f64 (cos.f64 x) (sin.f64 eps) (*.f64 (sin.f64 x) (cos.f64 eps))) (sin.f64 x))
	44.4b	(fma.f64 (sqrt.f64 (sin.f64 x)) (.f64 (sqrt.f64 (sin.f64 x)) (cos.f64 eps)) (-.f64 (.f64 (cos.f64 x) (sin.f64 eps)) (sin.f64 x)))
▶	23.6b	(-.f64 (fma.f64 (sin.f64 x) (cos.f64 eps) (*.f64 (cos.f64 x) (sin.f64 eps))) (sin.f64 x))
	24.3b	(fma.f64 (pow.f64 (cbrt.f64 (sin.f64 x)) 2) (.f64 (cbrt.f64 (sin.f64 x)) (cos.f64 eps)) (-.f64 (.f64 (cos.f64 x) (sin.f64 eps)) (sin.f64 x)))
	23.6b	(fma.f64 (sin.f64 x) (cos.f64 eps) (-.f64 (*.f64 (cos.f64 x) (sin.f64 eps)) (sin.f64 x)))
	44.8b	(-.f64 (fma.f64 (sqrt.f64 (.f64 (cos.f64 x) (sin.f64 eps))) (sqrt.f64 (.f64 (cos.f64 x) (sin.f64 eps))) (*.f64 (sin.f64 x) (cos.f64 eps))) (sin.f64 x))
	29.5b	(fma.f64 (cos.f64 x) (+.f64 eps (.f64 (pow.f64 eps 3) -1/6)) (.f64 (sin.f64 x) (+.f64 (.f64 (.f64 eps eps) -1/2) (*.f64 1/24 (pow.f64 eps 4)))))

Compiler

Compiled 3757 to 1198 computations (68.1% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(sin.f64 eps)
✓	0.1b	(fma.f64 (sin.f64 x) (cos.f64 eps) (*.f64 (cos.f64 x) (sin.f64 eps)))
✓	0.1b	(*.f64 (cos.f64 x) (sin.f64 eps))
✓	4.0b	(-.f64 (fma.f64 (sin.f64 x) (cos.f64 eps) (*.f64 (cos.f64 x) (sin.f64 eps))) (sin.f64 x))

series48.0ms (0.6%)

Counts

4 → 68

Calls

4 calls:

22.0ms	(-.f64 (fma.f64 (sin.f64 x) (cos.f64 eps) (*.f64 (cos.f64 x) (sin.f64 eps))) (sin.f64 x))
15.0ms	(fma.f64 (sin.f64 x) (cos.f64 eps) (*.f64 (cos.f64 x) (sin.f64 eps)))
10.0ms	(*.f64 (cos.f64 x) (sin.f64 eps))
2.0ms	(sin.f64 eps)

rewrite101.0ms (1.3%)

Algorithm

2×	batch-egg-rewrite

Rules

960×	`prod-diff_binary64`
281×	`fma-def_binary64`
198×	`expm1-udef_binary64`
198×	`log1p-udef_binary64`
151×	`fma-neg_binary64`

Counts

4 → 150

Calls

4 calls:

98.0ms	(sin.f64 eps)
98.0ms	(fma.f64 (sin.f64 x) (cos.f64 eps) (*.f64 (cos.f64 x) (sin.f64 eps)))
98.0ms	(*.f64 (cos.f64 x) (sin.f64 eps))
98.0ms	(-.f64 (fma.f64 (sin.f64 x) (cos.f64 eps) (*.f64 (cos.f64 x) (sin.f64 eps))) (sin.f64 x))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	48
1	207	48
2	2598	28
3	4649	28
4	5135	28
0	0	0
1	0	0

simplify87.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

441×	`cancel-sign-sub-inv_binary64`
440×	`fma-def_binary64`
382×	`distribute-rgt-neg-in_binary64`
371×	`sub-neg_binary64`
364×	`distribute-lft-neg-in_binary64`

Counts

218 → 204

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	94	1234
1	292	1193
2	883	1116
3	2873	1108
4	4851	1108
5	5034	1108

prune224.0ms (2.8%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	196	8	204
Fresh	5	6	11
Picked	1	0	1
Done	0	0	0
Total	202	14	216

Error

0.2b

Counts

216 → 14

Alt Table

Status	Error	Program
	52.4b	(-.f64 (pow.f64 (pow.f64 (sin.f64 (+.f64 x eps)) 3) 1/3) (sin.f64 x))
	51.7b	(fma.f64 (.f64 (sqrt.f64 (sin.f64 x)) (sqrt.f64 (cos.f64 eps))) (.f64 (sqrt.f64 (sin.f64 x)) (sqrt.f64 (cos.f64 eps))) (-.f64 (*.f64 (cos.f64 x) (sin.f64 eps)) (sin.f64 x)))
	23.7b	(-.f64 (fma.f64 (sin.f64 x) (cos.f64 eps) (*.f64 (cos.f64 x) (log1p.f64 (expm1.f64 (sin.f64 eps))))) (sin.f64 x))
▶	0.5b	(fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))
	28.9b	(sin.f64 eps)
	44.4b	(fma.f64 (sqrt.f64 (sin.f64 x)) (.f64 (sqrt.f64 (sin.f64 x)) (cos.f64 eps)) (-.f64 (.f64 (cos.f64 x) (sin.f64 eps)) (sin.f64 x)))
	35.3b	(fma.f64 (.f64 (sin.f64 x) (sqrt.f64 (cos.f64 eps))) (sqrt.f64 (cos.f64 eps)) (-.f64 (.f64 (cos.f64 x) (sin.f64 eps)) (sin.f64 x)))
	23.8b	(fma.f64 (.f64 (sin.f64 x) (pow.f64 (cbrt.f64 (cos.f64 eps)) 2)) (cbrt.f64 (cos.f64 eps)) (-.f64 (.f64 (cos.f64 x) (sin.f64 eps)) (sin.f64 x)))
	31.4b	(-.f64 (fma.f64 (sin.f64 x) (cos.f64 eps) (*.f64 (cos.f64 x) (log.f64 (exp.f64 (sin.f64 eps))))) (sin.f64 x))
	23.7b	(-.f64 (fma.f64 (sin.f64 x) (cos.f64 eps) (expm1.f64 (log1p.f64 (*.f64 (cos.f64 x) (sin.f64 eps))))) (sin.f64 x))
	24.3b	(fma.f64 (pow.f64 (cbrt.f64 (sin.f64 x)) 2) (.f64 (cbrt.f64 (sin.f64 x)) (cos.f64 eps)) (-.f64 (.f64 (cos.f64 x) (sin.f64 eps)) (sin.f64 x)))
	23.6b	(fma.f64 (sin.f64 x) (cos.f64 eps) (-.f64 (*.f64 (cos.f64 x) (sin.f64 eps)) (sin.f64 x)))
	29.5b	(fma.f64 (cos.f64 x) (+.f64 eps (.f64 (pow.f64 eps 3) -1/6)) (.f64 (sin.f64 x) (+.f64 (.f64 (.f64 eps eps) -1/2) (*.f64 1/24 (pow.f64 eps 4)))))
	47.2b	(fma.f64 (sqrt.f64 (.f64 (sin.f64 x) (cos.f64 eps))) (sqrt.f64 (.f64 (sin.f64 x) (cos.f64 eps))) (-.f64 (*.f64 (cos.f64 x) (sin.f64 eps)) (sin.f64 x)))

Compiler

Compiled 4137 to 1444 computations (65.1% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.0b	(sin.f64 eps)
✓	0.1b	(*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1))
✓	0.2b	(fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))
✓	2.0b	(+.f64 (cos.f64 eps) -1)

series30.0ms (0.4%)

Counts

3 → 60

Calls

3 calls:

17.0ms	(fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))
11.0ms	(*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1))
2.0ms	(+.f64 (cos.f64 eps) -1)

rewrite93.0ms (1.2%)

Algorithm

2×	batch-egg-rewrite

Rules

887×	`prod-diff_binary64`
209×	`expm1-udef_binary64`
209×	`log1p-udef_binary64`
189×	`fma-def_binary64`
184×	`log-pow_binary64`

Counts

3 → 113

Calls

3 calls:

91.0ms	(*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1))
91.0ms	(fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))
91.0ms	(+.f64 (cos.f64 eps) -1)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	36
1	227	36
2	2751	30
3	4743	30
4	5544	30
0	0	0
1	0	0

simplify60.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

638×	`fma-def_binary64`
574×	`sub-neg_binary64`
424×	`cancel-sign-sub-inv_binary64`
403×	`distribute-rgt-neg-in_binary64`
387×	`distribute-lft-neg-in_binary64`

Counts

173 → 155

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	106	1102
1	321	1032
2	1019	986
3	3708	986
4	4957	986

prune207.0ms (2.6%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	174	8	182
Fresh	7	6	13
Picked	1	0	1
Done	0	0	0
Total	182	14	196

Error

0.1b

Counts

196 → 14

Alt Table

Status	Error	Program
	52.4b	(-.f64 (pow.f64 (pow.f64 (sin.f64 (+.f64 x eps)) 3) 1/3) (sin.f64 x))
	0.6b	(fma.f64 (sin.f64 eps) (cos.f64 x) (pow.f64 (cbrt.f64 (*.f64 (+.f64 (cos.f64 eps) -1) (sin.f64 x))) 3))
	51.7b	(fma.f64 (.f64 (sqrt.f64 (sin.f64 x)) (sqrt.f64 (cos.f64 eps))) (.f64 (sqrt.f64 (sin.f64 x)) (sqrt.f64 (cos.f64 eps))) (-.f64 (*.f64 (cos.f64 x) (sin.f64 eps)) (sin.f64 x)))
	28.9b	(sin.f64 eps)
	44.4b	(fma.f64 (sqrt.f64 (sin.f64 x)) (.f64 (sqrt.f64 (sin.f64 x)) (cos.f64 eps)) (-.f64 (.f64 (cos.f64 x) (sin.f64 eps)) (sin.f64 x)))
▶	0.4b	(fma.f64 (sin.f64 eps) (cos.f64 x) (/.f64 (*.f64 (neg.f64 (pow.f64 (sin.f64 eps) 2)) (sin.f64 x)) (+.f64 (cos.f64 eps) 1)))
	24.3b	(fma.f64 (pow.f64 (cbrt.f64 (sin.f64 x)) 2) (.f64 (cbrt.f64 (sin.f64 x)) (cos.f64 eps)) (-.f64 (.f64 (cos.f64 x) (sin.f64 eps)) (sin.f64 x)))
	0.6b	(fma.f64 (sin.f64 eps) (cos.f64 x) (log.f64 (+.f64 1 (expm1.f64 (*.f64 (+.f64 (cos.f64 eps) -1) (sin.f64 x))))))
	1.6b	(fma.f64 (pow.f64 (cbrt.f64 (sin.f64 eps)) 3) (cos.f64 x) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))
	0.7b	(fma.f64 (sin.f64 eps) (cos.f64 x) (/.f64 (-.f64 (.f64 (.f64 (cos.f64 eps) (sin.f64 x)) (.f64 (cos.f64 eps) (sin.f64 x))) (.f64 (neg.f64 (sin.f64 x)) (neg.f64 (sin.f64 x)))) (-.f64 (*.f64 (cos.f64 eps) (sin.f64 x)) (neg.f64 (sin.f64 x)))))
	23.7b	(-.f64 (fma.f64 (sin.f64 x) (cos.f64 eps) (*.f64 (cos.f64 x) (log1p.f64 (expm1.f64 (sin.f64 eps))))) (sin.f64 x))
	0.5b	(fma.f64 (-.f64 (cos.f64 eps) 1) (sin.f64 x) (*.f64 (cos.f64 x) (sin.f64 eps)))
	31.8b	(fma.f64 (pow.f64 (sqrt.f64 (sin.f64 eps)) 2) (cos.f64 x) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))
	0.4b	(fma.f64 (sin.f64 eps) (cos.f64 x) (.f64 (sin.f64 x) (.f64 (neg.f64 (pow.f64 (sin.f64 eps) 2)) (/.f64 1 (+.f64 (cos.f64 eps) 1)))))

Compiler

Compiled 3888 to 1713 computations (55.9% saved)

localize14.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(/.f64 (*.f64 (neg.f64 (pow.f64 (sin.f64 eps) 2)) (sin.f64 x)) (+.f64 (cos.f64 eps) 1))
✓	0.2b	(fma.f64 (sin.f64 eps) (cos.f64 x) (/.f64 (*.f64 (neg.f64 (pow.f64 (sin.f64 eps) 2)) (sin.f64 x)) (+.f64 (cos.f64 eps) 1)))
✓	0.2b	(pow.f64 (sin.f64 eps) 2)
✓	0.3b	(+.f64 (cos.f64 eps) 1)

series152.0ms (1.9%)

Counts

4 → 64

Calls

4 calls:

103.0ms	(fma.f64 (sin.f64 eps) (cos.f64 x) (/.f64 (*.f64 (neg.f64 (pow.f64 (sin.f64 eps) 2)) (sin.f64 x)) (+.f64 (cos.f64 eps) 1)))
43.0ms	(/.f64 (*.f64 (neg.f64 (pow.f64 (sin.f64 eps) 2)) (sin.f64 x)) (+.f64 (cos.f64 eps) 1))
4.0ms	(pow.f64 (sin.f64 eps) 2)
2.0ms	(+.f64 (cos.f64 eps) 1)

rewrite74.0ms (0.9%)

Algorithm

2×	batch-egg-rewrite

Rules

474×	`prod-diff_binary64`
246×	`log1p-udef_binary64`
245×	`expm1-udef_binary64`
153×	`add-sqr-sqrt_binary64`
148×	`egg-rr`

Counts

4 → 148

Calls

4 calls:

72.0ms	(/.f64 (*.f64 (neg.f64 (pow.f64 (sin.f64 eps) 2)) (sin.f64 x)) (+.f64 (cos.f64 eps) 1))
72.0ms	(fma.f64 (sin.f64 eps) (cos.f64 x) (/.f64 (*.f64 (neg.f64 (pow.f64 (sin.f64 eps) 2)) (sin.f64 x)) (+.f64 (cos.f64 eps) 1)))
72.0ms	(pow.f64 (sin.f64 eps) 2)
72.0ms	(+.f64 (cos.f64 eps) 1)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	62
1	314	42
2	3433	42
3	5025	42
0	0	0
1	0	0

simplify87.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

433×	`distribute-rgt-neg-in_binary64`
416×	`distribute-lft-neg-in_binary64`
359×	`associate-r_binary64`
331×	`fma-def_binary64`
322×	`associate-l_binary64`

Counts

212 → 199

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	107	1530
1	304	1490
2	887	1461
3	2967	1412
4	4889	1412
5	5104	1412

prune296.0ms (3.7%)

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	195	4	199
Fresh	4	9	13
Picked	0	1	1
Done	0	0	0
Total	199	14	213

Error

0.0b

Counts

213 → 14

Alt Table

Status	Error	Program
	52.4b	(-.f64 (pow.f64 (pow.f64 (sin.f64 (+.f64 x eps)) 3) 1/3) (sin.f64 x))
	51.7b	(fma.f64 (.f64 (sqrt.f64 (sin.f64 x)) (sqrt.f64 (cos.f64 eps))) (.f64 (sqrt.f64 (sin.f64 x)) (sqrt.f64 (cos.f64 eps))) (-.f64 (*.f64 (cos.f64 x) (sin.f64 eps)) (sin.f64 x)))
	0.4b	(fma.f64 (sin.f64 eps) (cos.f64 x) (/.f64 (*.f64 (neg.f64 (pow.f64 (sin.f64 eps) 2)) (sin.f64 x)) (pow.f64 (sqrt.f64 (+.f64 (cos.f64 eps) 1)) 2)))
	44.4b	(fma.f64 (sqrt.f64 (sin.f64 x)) (.f64 (sqrt.f64 (sin.f64 x)) (cos.f64 eps)) (-.f64 (.f64 (cos.f64 x) (sin.f64 eps)) (sin.f64 x)))
	0.6b	(fma.f64 (sin.f64 eps) (cos.f64 x) (log.f64 (+.f64 1 (expm1.f64 (*.f64 (+.f64 (cos.f64 eps) -1) (sin.f64 x))))))
	1.6b	(fma.f64 (pow.f64 (cbrt.f64 (sin.f64 eps)) 3) (cos.f64 x) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))
	21.8b	(cbrt.f64 (pow.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (+.f64 (cos.f64 eps) -1) (sin.f64 x))) 3))
	0.4b	(fma.f64 (sin.f64 eps) (cos.f64 x) (.f64 (sin.f64 x) (.f64 (neg.f64 (pow.f64 (sin.f64 eps) 2)) (/.f64 1 (+.f64 (cos.f64 eps) 1)))))
	1.7b	(.f64 (cbrt.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (.f64 (+.f64 (cos.f64 eps) -1) (sin.f64 x)))) (pow.f64 (cbrt.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (+.f64 (cos.f64 eps) -1) (sin.f64 x)))) 2))
	23.7b	(-.f64 (fma.f64 (sin.f64 x) (cos.f64 eps) (*.f64 (cos.f64 x) (log1p.f64 (expm1.f64 (sin.f64 eps))))) (sin.f64 x))
	0.5b	(fma.f64 (-.f64 (cos.f64 eps) 1) (sin.f64 x) (*.f64 (cos.f64 x) (sin.f64 eps)))
✓	0.4b	(fma.f64 (sin.f64 eps) (cos.f64 x) (/.f64 (*.f64 (neg.f64 (pow.f64 (sin.f64 eps) 2)) (sin.f64 x)) (+.f64 (cos.f64 eps) 1)))
	31.8b	(fma.f64 (pow.f64 (sqrt.f64 (sin.f64 eps)) 2) (cos.f64 x) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))
	31.2b	(pow.f64 (sqrt.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (+.f64 (cos.f64 eps) -1) (sin.f64 x)))) 2)

Compiler

Compiled 4771 to 2463 computations (48.4% saved)

regimes705.0ms (8.9%)

Accuracy

Total 0.3b remaining (79.5%)

Threshold costs 0.3b (79.5%)

Counts

209 → 1

Compiler

Compiled 10842 to 7373 computations (32% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

6×	`*-commutative_binary64`
5×	`+-commutative_binary64`
4×	`sub-neg_binary64`
4×	`neg-sub0_binary64`
4×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	29
1	24	29
2	33	29
3	41	29
4	46	29
5	48	29
6	47	29

end238.0ms (3%)

Compiler: Compiled 311 to 214 computations (31.2% saved)

Iter	Nodes	Cost
0	7	11
1	10	11
2	15	11
3	22	11
4	29	11
5	46	11
6	72	11
7	93	11
8	110	11
9	120	11
10	124	11
11	126	11
12	112	11

Iter	Nodes	Cost
0	7	11
1	10	11
2	15	11
3	22	11
4	29	11
5	46	11
6	72	11
7	93	11
8	110	11
9	120	11
10	124	11
11	126	11
12	112	11

Details

analyze1.0ms (0%)

sample5.1s (64.3%)

simplify10.0ms (0.1%)

prune2.0ms (0%)

localize6.0ms (0.1%)

series53.0ms (0.7%)

rewrite62.0ms (0.8%)

simplify117.0ms (1.5%)

prune145.0ms (1.8%)

localize11.0ms (0.1%)

series48.0ms (0.6%)

rewrite101.0ms (1.3%)

simplify87.0ms (1.1%)

prune224.0ms (2.8%)

localize10.0ms (0.1%)

series30.0ms (0.4%)

rewrite93.0ms (1.2%)

simplify60.0ms (0.8%)

prune207.0ms (2.6%)

localize14.0ms (0.2%)

series152.0ms (1.9%)

rewrite74.0ms (0.9%)

simplify87.0ms (1.1%)

prune296.0ms (3.7%)

regimes705.0ms (8.9%)

simplify3.0ms (0%)

end238.0ms (3%)

Profiling

Iter	Nodes	Cost
0	7	11
1	10	11
2	15	11
3	22	11
4	29	11
5	46	11
6	72	11
7	93	11
8	110	11
9	120	11
10	124	11
11	126	11
12	112	11