Details

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

sample9.4s (40.1%)

Results

4.2s	4042×	body	1024	valid
3.9s	2026×	body	2048	valid
958.0ms	1395×	body	512	valid
226.0ms	517×	body	256	valid
67.0ms	274×	body	128	valid
10.0ms	2×	body	4096	valid

Compiler

Compiled 29 to 20 computations (31% saved)

simplify19.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

prune3.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

37.6b

Counts

2 → 1

Alt Table

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

Compiler

Compiled 27 to 18 computations (33.3% saved)

localize11.0ms (0%)

Local error

Found 2 expressions with local error:

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

series20.0ms (0.1%)

Counts

2 → 48

Calls

2 calls:

10.0ms	(-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x))
9.0ms	(cos.f64 (+.f64 x eps))

rewrite110.0ms (0.5%)

Algorithm

2×	batch-egg-rewrite

Rules

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

Counts

2 → 163

Calls

2 calls:

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	17
1	174	17
2	2552	17
3	5399	17
0	0	0
1	0	0

simplify93.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

877×	`fma-neg_binary64`
800×	`sub-neg_binary64`
695×	`cancel-sign-sub-inv_binary64`
284×	`associate-+l-_binary64`
225×	`associate--l+_binary64`

Counts

211 → 192

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	61	622
1	185	614
2	520	602
3	1611	582
4	4360	581
5	5111	581

prune345.0ms (1.5%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	182	10	192
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	183	10	193

Error

0.1b

Counts

193 → 10

Alt Table

Status	Error	Program
	28.4b	(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))))
	21.1b	(fma.f64 (cos.f64 x) (cos.f64 eps) (neg.f64 (fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x))))
	37.5b	(-.f64 (cbrt.f64 (pow.f64 (cos.f64 (+.f64 x eps)) 3)) (cos.f64 x))
	21.4b	(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))))
	21.7b	(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))))
▶	21.1b	(-.f64 (fma.f64 (cos.f64 x) (cos.f64 eps) (neg.f64 (*.f64 (sin.f64 x) (sin.f64 eps)))) (cos.f64 x))
	30.8b	(.f64 -2 (.f64 (sin.f64 (/.f64 (-.f64 (+.f64 x eps) x) 2)) (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))))
	35.8b	(-.f64 (+.f64 (.f64 1/6 (.f64 (pow.f64 eps 3) (sin.f64 x))) (.f64 1/24 (.f64 (pow.f64 eps 4) (cos.f64 x)))) (+.f64 (.f64 1/2 (.f64 (pow.f64 eps 2) (cos.f64 x))) (*.f64 eps (sin.f64 x))))
	40.4b	(fma.f64 (sqrt.f64 (.f64 (cos.f64 x) (cos.f64 eps))) (sqrt.f64 (.f64 (cos.f64 x) (cos.f64 eps))) (neg.f64 (-.f64 (*.f64 (sin.f64 x) (sin.f64 eps)) (neg.f64 (cos.f64 x)))))
	21.7b	(-.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))

Compiler

Compiled 3938 to 1223 computations (68.9% saved)

localize21.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series77.0ms (0.3%)

Counts

4 → 60

Calls

4 calls:

31.0ms	(-.f64 (fma.f64 (cos.f64 x) (cos.f64 eps) (neg.f64 (*.f64 (sin.f64 x) (sin.f64 eps)))) (cos.f64 x))
27.0ms	(fma.f64 (cos.f64 x) (cos.f64 eps) (neg.f64 (*.f64 (sin.f64 x) (sin.f64 eps))))
16.0ms	(*.f64 (sin.f64 x) (sin.f64 eps))
3.0ms	(sin.f64 eps)

rewrite529.0ms (2.3%)

Algorithm

2×	batch-egg-rewrite

Rules

424×	`fma-def_binary64`
228×	`fma-neg_binary64`
213×	`expm1-udef_binary64`
213×	`log1p-udef_binary64`
185×	`egg-rr`

Counts

4 → 185

Calls

4 calls:

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	52
1	241	28
2	2933	28
3	4969	28
0	0	0
1	0	0

simplify127.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

459×	`fma-def_binary64`
405×	`sub-neg_binary64`
390×	`cancel-sign-sub-inv_binary64`
322×	`distribute-rgt-neg-in_binary64`
308×	`distribute-lft-neg-in_binary64`

Counts

245 → 237

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	97	1234
1	315	1198
2	918	1145
3	2885	1128
4	4752	1128
5	5026	1128

prune433.0ms (1.8%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	234	3	237
Fresh	2	7	9
Picked	0	1	1
Done	0	0	0
Total	236	11	247

Error

0.1b

Counts

247 → 11

Alt Table

Status	Error	Program
	21.1b	(-.f64 (fma.f64 (cos.f64 x) (cos.f64 eps) (neg.f64 (log.f64 (+.f64 1 (expm1.f64 (*.f64 (sin.f64 x) (sin.f64 eps))))))) (cos.f64 x))
	21.7b	(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))))
▶	21.1b	(-.f64 (fma.f64 (cos.f64 x) (cos.f64 eps) (neg.f64 (log.f64 (pow.f64 (exp.f64 (sin.f64 x)) (sin.f64 eps))))) (cos.f64 x))
✓	21.1b	(-.f64 (fma.f64 (cos.f64 x) (cos.f64 eps) (neg.f64 (*.f64 (sin.f64 x) (sin.f64 eps)))) (cos.f64 x))
	35.8b	(-.f64 (.f64 (cos.f64 x) (+.f64 (.f64 1/24 (pow.f64 eps 4)) (.f64 (.f64 eps eps) -1/2))) (*.f64 (sin.f64 x) (fma.f64 (pow.f64 eps 3) -1/6 eps)))
	28.4b	(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))))
	21.1b	(fma.f64 (cos.f64 x) (cos.f64 eps) (neg.f64 (fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x))))
	37.5b	(-.f64 (cbrt.f64 (pow.f64 (cos.f64 (+.f64 x eps)) 3)) (cos.f64 x))
	21.4b	(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))))
	30.8b	(.f64 -2 (.f64 (sin.f64 (/.f64 (-.f64 (+.f64 x eps) x) 2)) (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))))
	40.4b	(fma.f64 (sqrt.f64 (.f64 (cos.f64 x) (cos.f64 eps))) (sqrt.f64 (.f64 (cos.f64 x) (cos.f64 eps))) (neg.f64 (-.f64 (*.f64 (sin.f64 x) (sin.f64 eps)) (neg.f64 (cos.f64 x)))))

Compiler

Compiled 4726 to 1701 computations (64% saved)

localize29.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(pow.f64 (exp.f64 (sin.f64 x)) (sin.f64 eps))
✓	0.1b	(fma.f64 (cos.f64 x) (cos.f64 eps) (neg.f64 (log.f64 (pow.f64 (exp.f64 (sin.f64 x)) (sin.f64 eps)))))
✓	2.5b	(-.f64 (fma.f64 (cos.f64 x) (cos.f64 eps) (neg.f64 (log.f64 (pow.f64 (exp.f64 (sin.f64 x)) (sin.f64 eps))))) (cos.f64 x))
✓	3.9b	(log.f64 (pow.f64 (exp.f64 (sin.f64 x)) (sin.f64 eps)))

series5.0s (21.4%)

Counts

4 → 96

Calls

4 calls:

1.6s	(fma.f64 (cos.f64 x) (cos.f64 eps) (neg.f64 (log.f64 (pow.f64 (exp.f64 (sin.f64 x)) (sin.f64 eps)))))
1.5s	(log.f64 (pow.f64 (exp.f64 (sin.f64 x)) (sin.f64 eps)))
1.4s	(-.f64 (fma.f64 (cos.f64 x) (cos.f64 eps) (neg.f64 (log.f64 (pow.f64 (exp.f64 (sin.f64 x)) (sin.f64 eps))))) (cos.f64 x))
573.0ms	(pow.f64 (exp.f64 (sin.f64 x)) (sin.f64 eps))

rewrite248.0ms (1.1%)

Algorithm

2×	batch-egg-rewrite

Rules

886×	`prod-diff_binary64`
417×	`egg-rr`
233×	`log1p-udef_binary64`
140×	`add-sqr-sqrt_binary64`
132×	`log1p-expm1-u_binary64`

Counts

4 → 417

Calls

4 calls:

196.0ms	(pow.f64 (exp.f64 (sin.f64 x)) (sin.f64 eps))
196.0ms	(fma.f64 (cos.f64 x) (cos.f64 eps) (neg.f64 (log.f64 (pow.f64 (exp.f64 (sin.f64 x)) (sin.f64 eps)))))
196.0ms	(-.f64 (fma.f64 (cos.f64 x) (cos.f64 eps) (neg.f64 (log.f64 (pow.f64 (exp.f64 (sin.f64 x)) (sin.f64 eps))))) (cos.f64 x))
196.0ms	(log.f64 (pow.f64 (exp.f64 (sin.f64 x)) (sin.f64 eps)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	59
1	270	55
2	3118	55
3	5053	55
0	0	0
1	0	0

simplify150.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

605×	`fma-def_binary64`
518×	`unswap-sqr_binary64`
463×	`associate-l_binary64`
444×	`associate-r_binary64`
405×	`sub-neg_binary64`

Counts

513 → 476

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	114	1638
1	379	1601
2	1147	1548
3	4167	1546
4	5339	1546

prune689.0ms (2.9%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	476	0	476
Fresh	0	9	9
Picked	0	1	1
Done	0	1	1
Total	476	11	487

Error

0.1b

Counts

487 → 11

Alt Table

Status	Error	Program
▶	21.1b	(-.f64 (fma.f64 (cos.f64 x) (cos.f64 eps) (neg.f64 (log.f64 (+.f64 1 (expm1.f64 (*.f64 (sin.f64 x) (sin.f64 eps))))))) (cos.f64 x))
	21.7b	(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))))
✓	21.1b	(-.f64 (fma.f64 (cos.f64 x) (cos.f64 eps) (neg.f64 (log.f64 (pow.f64 (exp.f64 (sin.f64 x)) (sin.f64 eps))))) (cos.f64 x))
✓	21.1b	(-.f64 (fma.f64 (cos.f64 x) (cos.f64 eps) (neg.f64 (*.f64 (sin.f64 x) (sin.f64 eps)))) (cos.f64 x))
	35.8b	(-.f64 (.f64 (cos.f64 x) (+.f64 (.f64 1/24 (pow.f64 eps 4)) (.f64 (.f64 eps eps) -1/2))) (*.f64 (sin.f64 x) (fma.f64 (pow.f64 eps 3) -1/6 eps)))
	28.4b	(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))))
	21.1b	(fma.f64 (cos.f64 x) (cos.f64 eps) (neg.f64 (fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x))))
	37.5b	(-.f64 (cbrt.f64 (pow.f64 (cos.f64 (+.f64 x eps)) 3)) (cos.f64 x))
	21.4b	(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))))
	30.8b	(.f64 -2 (.f64 (sin.f64 (/.f64 (-.f64 (+.f64 x eps) x) 2)) (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))))
	40.4b	(fma.f64 (sqrt.f64 (.f64 (cos.f64 x) (cos.f64 eps))) (sqrt.f64 (.f64 (cos.f64 x) (cos.f64 eps))) (neg.f64 (-.f64 (*.f64 (sin.f64 x) (sin.f64 eps)) (neg.f64 (cos.f64 x)))))

Compiler

Compiled 16885 to 3778 computations (77.6% saved)

localize29.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(fma.f64 (cos.f64 x) (cos.f64 eps) (neg.f64 (log.f64 (+.f64 1 (expm1.f64 (*.f64 (sin.f64 x) (sin.f64 eps)))))))
	0.2b	(*.f64 (sin.f64 x) (sin.f64 eps))
✓	2.5b	(-.f64 (fma.f64 (cos.f64 x) (cos.f64 eps) (neg.f64 (log.f64 (+.f64 1 (expm1.f64 (*.f64 (sin.f64 x) (sin.f64 eps))))))) (cos.f64 x))
✓	3.9b	(log.f64 (+.f64 1 (expm1.f64 (*.f64 (sin.f64 x) (sin.f64 eps)))))

series2.4s (10.4%)

Counts

3 → 72

Calls

3 calls:

842.0ms

(-.f64 (fma.f64 (cos.f64 x) (cos.f64 eps) (neg.f64 (log.f64 (+.f64 1 (expm1.f64 (*.f64 (sin.f64 x) (sin.f64 eps))))))) (cos.f64 x))

814.0ms

(log.f64 (+.f64 1 (expm1.f64 (*.f64 (sin.f64 x) (sin.f64 eps)))))

793.0ms

(fma.f64 (cos.f64 x) (cos.f64 eps) (neg.f64 (log.f64 (+.f64 1 (expm1.f64 (*.f64 (sin.f64 x) (sin.f64 eps)))))))

rewrite108.0ms (0.5%)

Algorithm

2×	batch-egg-rewrite

Rules

585×	`fma-def_binary64`
300×	`fma-neg_binary64`
252×	`expm1-udef_binary64`
251×	`log1p-udef_binary64`
173×	`egg-rr`

Counts

3 → 173

Calls

3 calls:

102.0ms

(fma.f64 (cos.f64 x) (cos.f64 eps) (neg.f64 (log.f64 (+.f64 1 (expm1.f64 (*.f64 (sin.f64 x) (sin.f64 eps)))))))

102.0ms

(-.f64 (fma.f64 (cos.f64 x) (cos.f64 eps) (neg.f64 (log.f64 (+.f64 1 (expm1.f64 (*.f64 (sin.f64 x) (sin.f64 eps))))))) (cos.f64 x))

102.0ms

(log.f64 (+.f64 1 (expm1.f64 (*.f64 (sin.f64 x) (sin.f64 eps)))))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	49
1	295	25
2	3509	25
3	5074	25
0	0	0
1	0	0

simplify119.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

400×	`fma-def_binary64`
376×	`sub-neg_binary64`
324×	`cancel-sign-sub-inv_binary64`
313×	`distribute-rgt-neg-in_binary64`
304×	`distribute-lft-neg-in_binary64`

Counts

245 → 218

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	89	1306
1	290	1278
2	844	1235
3	2681	1217
4	4775	1217
5	5008	1217

prune342.0ms (1.5%)

Pruning

11 alts after pruning (8 fresh and 3 done)

	Pruned	Kept	Total
New	259	0	259
Fresh	0	8	8
Picked	0	1	1
Done	0	2	2
Total	259	11	270

Error

0.1b

Counts

270 → 11

Alt Table

Status	Error	Program
✓	21.1b	(-.f64 (fma.f64 (cos.f64 x) (cos.f64 eps) (neg.f64 (log.f64 (+.f64 1 (expm1.f64 (*.f64 (sin.f64 x) (sin.f64 eps))))))) (cos.f64 x))
	21.7b	(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))))
✓	21.1b	(-.f64 (fma.f64 (cos.f64 x) (cos.f64 eps) (neg.f64 (log.f64 (pow.f64 (exp.f64 (sin.f64 x)) (sin.f64 eps))))) (cos.f64 x))
✓	21.1b	(-.f64 (fma.f64 (cos.f64 x) (cos.f64 eps) (neg.f64 (*.f64 (sin.f64 x) (sin.f64 eps)))) (cos.f64 x))
	35.8b	(-.f64 (.f64 (cos.f64 x) (+.f64 (.f64 1/24 (pow.f64 eps 4)) (.f64 (.f64 eps eps) -1/2))) (*.f64 (sin.f64 x) (fma.f64 (pow.f64 eps 3) -1/6 eps)))
	28.4b	(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))))
	21.1b	(fma.f64 (cos.f64 x) (cos.f64 eps) (neg.f64 (fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x))))
	37.5b	(-.f64 (cbrt.f64 (pow.f64 (cos.f64 (+.f64 x eps)) 3)) (cos.f64 x))
	21.4b	(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))))
	30.8b	(.f64 -2 (.f64 (sin.f64 (/.f64 (-.f64 (+.f64 x eps) x) 2)) (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))))
	40.4b	(fma.f64 (sqrt.f64 (.f64 (cos.f64 x) (cos.f64 eps))) (sqrt.f64 (.f64 (cos.f64 x) (cos.f64 eps))) (neg.f64 (-.f64 (*.f64 (sin.f64 x) (sin.f64 eps)) (neg.f64 (cos.f64 x)))))

Compiler

Compiled 5284 to 1895 computations (64.1% saved)

regimes2.6s (11%)

Accuracy

Total 0.3b remaining (60.1%)

Threshold costs 0.3b (60.1%)

Counts

234 → 3

Compiler

Compiled 12203 to 7808 computations (36% saved)

bsearch166.0ms (0.7%)

Steps

Iters	Range		Point
8	6.695097620909129e-6	0.11297429327792329	0.0026284641846169455
8	-5.058868441590126	-0.0009478144424796984	-0.002752665168387367

Compiler

Compiled 3 to 2 computations (33.3% saved)

simplify8.0ms (0%)

Algorithm

1×	egg-herbie

Rules

13×	`*-commutative_binary64`
12×	`+-commutative_binary64`
11×	`sub-neg_binary64`
7×	`neg-sub0_binary64`
7×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	38	98
1	61	98
2	81	98
3	94	98
4	102	98
5	104	98
6	104	98

end339.0ms (1.4%)

Compiler: Compiled 353 to 208 computations (41.1% 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

analyze3.0ms (0%)

sample9.4s (40.1%)

simplify19.0ms (0.1%)

prune3.0ms (0%)

localize11.0ms (0%)

series20.0ms (0.1%)

rewrite110.0ms (0.5%)

simplify93.0ms (0.4%)

prune345.0ms (1.5%)

localize21.0ms (0.1%)

series77.0ms (0.3%)

rewrite529.0ms (2.3%)

simplify127.0ms (0.5%)

prune433.0ms (1.8%)

localize29.0ms (0.1%)

series5.0s (21.4%)

rewrite248.0ms (1.1%)

simplify150.0ms (0.6%)

prune689.0ms (2.9%)

localize29.0ms (0.1%)

series2.4s (10.4%)

rewrite108.0ms (0.5%)

simplify119.0ms (0.5%)

prune342.0ms (1.5%)

regimes2.6s (11%)

bsearch166.0ms (0.7%)

simplify8.0ms (0%)

end339.0ms (1.4%)

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