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.3s	2177×	body	2048	valid
2.1s	3939×	body	1024	valid
443.0ms	1372×	body	512	valid
138.0ms	529×	body	256	valid
30.0ms	236×	body	128	valid
7.0ms	3×	body	4096	valid

Compiler

Compiled 29 to 20 computations (31% 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)

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))

series13.0ms (0.2%)

Counts

3 → 52

Calls

3 calls:

6.0ms	(-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x))
6.0ms	(cos.f64 (+.f64 x eps))
1.0ms	(cos.f64 x)

rewrite61.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

457×	`fma-def_binary64`
445×	`log-prod_binary64`
238×	`fma-neg_binary64`
185×	`egg-rr`
180×	`expm1-udef_binary64`

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

3 → 185

Calls

3 calls:

55.0ms	(cos.f64 x)
55.0ms	(-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x))
55.0ms	(cos.f64 (+.f64 x eps))

simplify34.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

320×	`associate-+l-_binary64`
306×	`sub-neg_binary64`
268×	`fma-def_binary64`
247×	`associate--l+_binary64`
224×	`associate-+l+_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	72	674
1	222	666
2	668	650
3	2430	632

Stop Event

1×	node limit

Counts

237 → 224

prune199.0ms (2.5%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	210	14	224
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	211	14	225

Error

0.2b

Counts

225 → 14

Alt Table

Status	Error	Program
	25.2b	(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 (fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x))))
	39.0b	(/.f64 1 (/.f64 (+.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x)) (-.f64 (pow.f64 (cos.f64 (+.f64 x eps)) 2) (pow.f64 (cos.f64 x) 2))))
	34.1b	(.f64 (.f64 -2 (sin.f64 (.f64 (+.f64 x (-.f64 eps x)) 1/2))) (sin.f64 (.f64 (+.f64 x (+.f64 x eps)) 1/2)))
	24.7b	(-.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))
	47.1b	(fma.f64 (sqrt.f64 (cos.f64 (+.f64 x eps))) (sqrt.f64 (cos.f64 (+.f64 x eps))) (neg.f64 (cos.f64 x)))
	24.4b	(-.f64 (fma.f64 (cos.f64 x) (cos.f64 eps) (neg.f64 (*.f64 (sin.f64 x) (sin.f64 eps)))) (cos.f64 x))
	24.9b	(fma.f64 (pow.f64 (cbrt.f64 (cos.f64 x)) 2) (.f64 (cbrt.f64 (cos.f64 x)) (cos.f64 eps)) (neg.f64 (-.f64 (.f64 (sin.f64 x) (sin.f64 eps)) (neg.f64 (cos.f64 x)))))
	38.8b	(-.f64 (cbrt.f64 (pow.f64 (cos.f64 (+.f64 x eps)) 3)) (cos.f64 x))
▶	24.4b	(fma.f64 (cos.f64 x) (cos.f64 eps) (neg.f64 (fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x))))
	38.9b	(log.f64 (exp.f64 (-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x))))
	39.0b	(*.f64 (-.f64 (pow.f64 (cos.f64 (+.f64 x eps)) 2) (pow.f64 (cos.f64 x) 2)) (/.f64 1 (+.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x))))
	24.8b	(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))))
	29.6b	(+.f64 (.f64 (.f64 eps (.f64 eps (cos.f64 x))) (-.f64 (.f64 1/24 (.f64 eps eps)) 1/2)) (.f64 (sin.f64 x) (-.f64 (*.f64 1/6 (pow.f64 eps 3)) eps)))
	24.6b	(-.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))

Compiler

Compiled 4509 to 1476 computations (67.3% saved)

localize10.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

series42.0ms (0.5%)

Counts

2 → 48

Calls

2 calls:

29.0ms	(fma.f64 (cos.f64 x) (cos.f64 eps) (neg.f64 (fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x))))
13.0ms	(fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x))

rewrite87.0ms (1.1%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	10	32
1	199	30
2	2468	30

Stop Event

1×	node limit

Counts

2 → 195

Calls

2 calls:

80.0ms	(fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x))
80.0ms	(fma.f64 (cos.f64 x) (cos.f64 eps) (neg.f64 (fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x))))

simplify38.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

901×	`fma-neg_binary64`
279×	`associate-+l-_binary64`
259×	`sub-neg_binary64`
240×	`distribute-rgt-neg-in_binary64`
240×	`fma-def_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	64	844
1	207	826
2	639	808
3	2400	791

Stop Event

1×	node limit

Counts

243 → 228

prune224.0ms (2.8%)

Pruning

17 alts after pruning (17 fresh and 0 done)

	Pruned	Kept	Total
New	277	9	286
Fresh	5	8	13
Picked	1	0	1
Done	0	0	0
Total	283	17	300

Error

0.1b

Counts

300 → 17

Alt Table

Status	Error	Program
	47.1b	(fma.f64 (sqrt.f64 (cos.f64 (+.f64 x eps))) (sqrt.f64 (cos.f64 (+.f64 x eps))) (neg.f64 (cos.f64 x)))
	24.4b	(-.f64 (fma.f64 (cos.f64 x) (cos.f64 eps) (neg.f64 (*.f64 (sin.f64 x) (sin.f64 eps)))) (cos.f64 x))
	24.9b	(fma.f64 (pow.f64 (cbrt.f64 (cos.f64 x)) 2) (.f64 (cbrt.f64 (cos.f64 x)) (cos.f64 eps)) (neg.f64 (-.f64 (.f64 (sin.f64 x) (sin.f64 eps)) (neg.f64 (cos.f64 x)))))
	38.8b	(-.f64 (cbrt.f64 (pow.f64 (cos.f64 (+.f64 x eps)) 3)) (cos.f64 x))
	24.7b	(fma.f64 (*.f64 (pow.f64 (cbrt.f64 (cos.f64 x)) 2) (cbrt.f64 (cos.f64 x))) (cos.f64 eps) (neg.f64 (fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x))))
	26.6b	(fma.f64 (cos.f64 x) (cos.f64 eps) (neg.f64 (-.f64 (exp.f64 (log1p.f64 (fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x)))) 1)))
	29.6b	(+.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)))
	24.5b	(fma.f64 (log1p.f64 (expm1.f64 (cos.f64 x))) (cos.f64 eps) (neg.f64 (fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x))))
	39.0b	(/.f64 1 (/.f64 (+.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x)) (-.f64 (pow.f64 (cos.f64 (+.f64 x eps)) 2) (pow.f64 (cos.f64 x) 2))))
	34.1b	(.f64 (.f64 -2 (sin.f64 (.f64 (+.f64 x (-.f64 eps x)) 1/2))) (sin.f64 (.f64 (+.f64 x (+.f64 x eps)) 1/2)))
	39.0b	(*.f64 (-.f64 (pow.f64 (cos.f64 (+.f64 x eps)) 2) (pow.f64 (cos.f64 x) 2)) (/.f64 1 (+.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x))))
	24.6b	(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))))
▶	4.9b	(-.f64 (.f64 (cos.f64 x) (+.f64 (cos.f64 eps) -1)) (.f64 (sin.f64 eps) (sin.f64 x)))
	24.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))))
	24.5b	(fma.f64 (log.f64 (exp.f64 (cos.f64 x))) (cos.f64 eps) (neg.f64 (fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x))))
	38.9b	(log.f64 (exp.f64 (-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x))))
	24.5b	(fma.f64 (cos.f64 x) (cos.f64 eps) (neg.f64 (fma.f64 (sin.f64 x) (sin.f64 eps) (expm1.f64 (log1p.f64 (cos.f64 x))))))

Compiler

Compiled 10137 to 2248 computations (77.8% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series39.0ms (0.5%)

Counts

4 → 84

Calls

4 calls:

16.0ms	(-.f64 (.f64 (cos.f64 x) (+.f64 (cos.f64 eps) -1)) (.f64 (sin.f64 eps) (sin.f64 x)))
12.0ms	(*.f64 (sin.f64 eps) (sin.f64 x))
9.0ms	(*.f64 (cos.f64 x) (+.f64 (cos.f64 eps) -1))
2.0ms	(+.f64 (cos.f64 eps) -1)

rewrite69.0ms (0.9%)

Algorithm

1×	batch-egg-rewrite

Rules

341×	`fma-neg_binary64`
256×	`expm1-udef_binary64`
256×	`log1p-udef_binary64`
152×	`egg-rr`
144×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	46
1	275	46
2	3910	46

Stop Event

1×	node limit

Counts

4 → 152

Calls

4 calls:

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

simplify40.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

730×	`fma-def_binary64`
477×	`cancel-sign-sub-inv_binary64`
393×	`associate-l_binary64`
380×	`associate-r_binary64`
254×	`fma-neg_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	125	1448
1	400	1383
2	1358	1314

Stop Event

1×	node limit

Counts

236 → 209

prune253.0ms (3.2%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	199	10	209
Fresh	11	5	16
Picked	1	0	1
Done	0	0	0
Total	211	15	226

Error

0.0b

Counts

226 → 15

Alt Table

Status	Error	Program
	5.0b	(+.f64 (-.f64 (.f64 (+.f64 (cos.f64 eps) -1) (cos.f64 x)) (.f64 (sin.f64 eps) (sin.f64 x))) (+.f64 (fma.f64 (neg.f64 (sin.f64 x)) (sin.f64 eps) (.f64 (sin.f64 eps) (sin.f64 x))) (fma.f64 (neg.f64 (sin.f64 x)) (sin.f64 eps) (.f64 (sin.f64 eps) (sin.f64 x)))))
	39.0b	(*.f64 (-.f64 (pow.f64 (cos.f64 (+.f64 x eps)) 2) (pow.f64 (cos.f64 x) 2)) (/.f64 1 (+.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x))))
	24.5b	(log.f64 (exp.f64 (-.f64 (.f64 (+.f64 (cos.f64 eps) -1) (cos.f64 x)) (.f64 (sin.f64 eps) (sin.f64 x)))))
	23.8b	(.f64 (-.f64 (pow.f64 (.f64 (+.f64 (cos.f64 eps) -1) (cos.f64 x)) 2) (pow.f64 (.f64 (sin.f64 eps) (sin.f64 x)) 2)) (/.f64 1 (fma.f64 (+.f64 (cos.f64 eps) -1) (cos.f64 x) (.f64 (sin.f64 eps) (sin.f64 x)))))
	0.6b	(-.f64 (.f64 (cos.f64 x) (.f64 (neg.f64 (pow.f64 (sin.f64 eps) 2)) (/.f64 1 (+.f64 (cos.f64 eps) 1)))) (*.f64 (sin.f64 eps) (sin.f64 x)))
	31.4b	(-.f64 (.f64 (cos.f64 x) (+.f64 (cos.f64 eps) -1)) (pow.f64 (sqrt.f64 (.f64 (sin.f64 eps) (sin.f64 x))) 2))
	24.5b	(fma.f64 (log1p.f64 (expm1.f64 (cos.f64 x))) (cos.f64 eps) (neg.f64 (fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x))))
	5.7b	(.f64 (cbrt.f64 (-.f64 (.f64 (+.f64 (cos.f64 eps) -1) (cos.f64 x)) (.f64 (sin.f64 eps) (sin.f64 x)))) (pow.f64 (cbrt.f64 (-.f64 (.f64 (+.f64 (cos.f64 eps) -1) (cos.f64 x)) (*.f64 (sin.f64 eps) (sin.f64 x)))) 2))
	34.1b	(.f64 (.f64 -2 (sin.f64 (.f64 (+.f64 x (-.f64 eps x)) 1/2))) (sin.f64 (.f64 (+.f64 x (+.f64 x eps)) 1/2)))
	5.5b	(-.f64 (.f64 (cos.f64 x) (+.f64 (cos.f64 eps) -1)) (pow.f64 (cbrt.f64 (.f64 (sin.f64 eps) (sin.f64 x))) 3))
	24.7b	(fma.f64 (*.f64 (pow.f64 (cbrt.f64 (cos.f64 x)) 2) (cbrt.f64 (cos.f64 x))) (cos.f64 eps) (neg.f64 (fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x))))
▶	0.6b	(-.f64 (.f64 (cos.f64 x) (/.f64 (neg.f64 (pow.f64 (sin.f64 eps) 2)) (+.f64 (cos.f64 eps) 1))) (.f64 (sin.f64 eps) (sin.f64 x)))
	5.0b	(-.f64 (.f64 (cos.f64 x) (/.f64 (+.f64 -1 (pow.f64 (cos.f64 eps) 3)) (+.f64 1 (-.f64 (pow.f64 (cos.f64 eps) 2) (.f64 (cos.f64 eps) -1))))) (*.f64 (sin.f64 eps) (sin.f64 x)))
	24.5b	(fma.f64 (log.f64 (exp.f64 (cos.f64 x))) (cos.f64 eps) (neg.f64 (fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x))))
	0.7b	(-.f64 (.f64 (cos.f64 x) (/.f64 1 (/.f64 (+.f64 (cos.f64 eps) 1) (neg.f64 (pow.f64 (sin.f64 eps) 2))))) (.f64 (sin.f64 eps) (sin.f64 x)))

Compiler

Compiled 5490 to 2392 computations (56.4% saved)

localize13.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

series19.0ms (0.2%)

Counts

3 → 28

Calls

3 calls:

14.0ms	(/.f64 (neg.f64 (pow.f64 (sin.f64 eps) 2)) (+.f64 (cos.f64 eps) 1))
3.0ms	(pow.f64 (sin.f64 eps) 2)
2.0ms	(+.f64 (cos.f64 eps) 1)

rewrite49.0ms (0.6%)

Algorithm

1×	batch-egg-rewrite

Rules

812×	`log1p-expm1-u_binary64`
812×	`expm1-log1p-u_binary64`
142×	`prod-diff_binary64`
123×	`egg-rr`
101×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	10	28
1	214	18
2	2794	18

Stop Event

1×	node limit

Counts

3 → 123

Calls

3 calls:

47.0ms	(/.f64 (neg.f64 (pow.f64 (sin.f64 eps) 2)) (+.f64 (cos.f64 eps) 1))
47.0ms	(pow.f64 (sin.f64 eps) 2)
47.0ms	(+.f64 (cos.f64 eps) 1)

simplify48.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

703×	`fma-def_binary64`
471×	`cancel-sign-sub-inv_binary64`
344×	`fma-neg_binary64`
282×	`sub-neg_binary64`
186×	`unswap-sqr_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	48	372
1	125	362
2	332	352
3	1152	326
4	4124	326

Stop Event

1×	node limit

Counts

151 → 149

prune240.0ms (3%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	179	4	183
Fresh	4	10	14
Picked	1	0	1
Done	0	0	0
Total	184	14	198

Error

0.0b

Counts

198 → 14

Alt Table

Status	Error	Program
	34.1b	(.f64 (.f64 -2 (sin.f64 (.f64 (+.f64 x (-.f64 eps x)) 1/2))) (sin.f64 (.f64 (+.f64 x (+.f64 x eps)) 1/2)))
	5.1b	(-.f64 (.f64 (cos.f64 x) (/.f64 (neg.f64 (-.f64 1/2 (.f64 1/2 (cos.f64 (.f64 2 eps))))) (+.f64 (cos.f64 eps) 1))) (.f64 (sin.f64 eps) (sin.f64 x)))
	5.0b	(+.f64 (-.f64 (.f64 (+.f64 (cos.f64 eps) -1) (cos.f64 x)) (.f64 (sin.f64 eps) (sin.f64 x))) (+.f64 (fma.f64 (neg.f64 (sin.f64 x)) (sin.f64 eps) (.f64 (sin.f64 eps) (sin.f64 x))) (fma.f64 (neg.f64 (sin.f64 x)) (sin.f64 eps) (.f64 (sin.f64 eps) (sin.f64 x)))))
	28.3b	(-.f64 (.f64 (cos.f64 x) (/.f64 (neg.f64 (pow.f64 (sin.f64 eps) 2)) (+.f64 (cos.f64 eps) 1))) (pow.f64 (sqrt.f64 (.f64 (sin.f64 eps) (sin.f64 x))) 2))
	5.5b	(-.f64 (.f64 (cos.f64 x) (+.f64 (cos.f64 eps) -1)) (pow.f64 (cbrt.f64 (.f64 (sin.f64 eps) (sin.f64 x))) 3))
	26.3b	(-.f64 (.f64 (cos.f64 x) (/.f64 (neg.f64 (pow.f64 (sin.f64 eps) 2)) (+.f64 (cos.f64 eps) 1))) (pow.f64 (pow.f64 (.f64 (sin.f64 eps) (sin.f64 x)) 3) 1/3))
	0.3b	(-.f64 (.f64 (cos.f64 x) (.f64 (tan.f64 (/.f64 eps 2)) (neg.f64 (sin.f64 eps)))) (*.f64 (sin.f64 eps) (sin.f64 x)))
	5.0b	(-.f64 (.f64 (cos.f64 x) (/.f64 (+.f64 -1 (pow.f64 (cos.f64 eps) 3)) (+.f64 1 (-.f64 (pow.f64 (cos.f64 eps) 2) (.f64 (cos.f64 eps) -1))))) (*.f64 (sin.f64 eps) (sin.f64 x)))
	23.8b	(.f64 (-.f64 (pow.f64 (.f64 (+.f64 (cos.f64 eps) -1) (cos.f64 x)) 2) (pow.f64 (.f64 (sin.f64 eps) (sin.f64 x)) 2)) (/.f64 1 (fma.f64 (+.f64 (cos.f64 eps) -1) (cos.f64 x) (.f64 (sin.f64 eps) (sin.f64 x)))))
	0.6b	(-.f64 (.f64 (cos.f64 x) (.f64 (neg.f64 (pow.f64 (sin.f64 eps) 2)) (/.f64 1 (+.f64 (cos.f64 eps) 1)))) (*.f64 (sin.f64 eps) (sin.f64 x)))
	5.7b	(.f64 (cbrt.f64 (-.f64 (.f64 (+.f64 (cos.f64 eps) -1) (cos.f64 x)) (.f64 (sin.f64 eps) (sin.f64 x)))) (pow.f64 (cbrt.f64 (-.f64 (.f64 (+.f64 (cos.f64 eps) -1) (cos.f64 x)) (*.f64 (sin.f64 eps) (sin.f64 x)))) 2))
	24.7b	(fma.f64 (*.f64 (pow.f64 (cbrt.f64 (cos.f64 x)) 2) (cbrt.f64 (cos.f64 x))) (cos.f64 eps) (neg.f64 (fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x))))
	24.5b	(fma.f64 (log.f64 (exp.f64 (cos.f64 x))) (cos.f64 eps) (neg.f64 (fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x))))
	24.5b	(fma.f64 (log1p.f64 (expm1.f64 (cos.f64 x))) (cos.f64 eps) (neg.f64 (fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x))))

Compiler

Compiled 4660 to 2349 computations (49.6% saved)

regimes1.0s (13.3%)

Accuracy

Total 0.3b remaining (81.9%)

Threshold costs 0.3b (81.9%)

Counts

303 → 1

Compiler

Compiled 17300 to 11942 computations (31% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

13×	`*-commutative_binary64`
10×	`+-commutative_binary64`
10×	`neg-sub0_binary64`
10×	`neg-mul-1_binary64`
9×	`sub-neg_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	28
1	27	28
2	47	28
3	74	28
4	88	28
5	95	28
6	97	28

Stop Event

1×

saturated

end253.0ms (3.2%)

Compiler: Compiled 384 to 254 computations (33.9% saved)

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

simplify9.0ms (0.1%)

prune2.0ms (0%)

localize6.0ms (0.1%)

series13.0ms (0.2%)

rewrite61.0ms (0.8%)

simplify34.0ms (0.4%)

prune199.0ms (2.5%)

localize10.0ms (0.1%)

series42.0ms (0.5%)

rewrite87.0ms (1.1%)

simplify38.0ms (0.5%)

prune224.0ms (2.8%)

localize11.0ms (0.1%)

series39.0ms (0.5%)

rewrite69.0ms (0.9%)

simplify40.0ms (0.5%)

prune253.0ms (3.2%)

localize13.0ms (0.2%)

series19.0ms (0.2%)

rewrite49.0ms (0.6%)

simplify48.0ms (0.6%)

prune240.0ms (3%)

regimes1.0s (13.3%)

simplify3.0ms (0%)

end253.0ms (3.2%)

Profiling

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