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.9s (48.4%)

Results

2.5s	3983×	body	1024	valid
2.4s	2094×	body	2048	valid
747.0ms	1432×	body	512	valid
188.0ms	502×	body	256	valid
34.0ms	245×	body	128	valid

Compiler

Compiled 29 to 20 computations (31% saved)

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

37.9b

Counts

2 → 1

Alt Table

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

Compiler

Compiled 27 to 18 computations (33.3% saved)

localize6.0ms (0%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(cos.f64 x)
✓	0.9b	(-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x))
✓	4.1b	(cos.f64 (+.f64 x eps))

series12.0ms (0.1%)

Counts

3 → 52

Calls

3 calls:

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

rewrite73.0ms (0.6%)

Algorithm

2×	batch-egg-rewrite

Rules

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

Counts

3 → 188

Calls

3 calls:

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

Iterations

Useful iterations: 0 (0.0ms)

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

simplify101.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

831×	`sub-neg_binary64`
394×	`*-commutative_binary64`
320×	`associate-+l-_binary64`
314×	`unswap-sqr_binary64`
268×	`fma-def_binary64`

Counts

240 → 223

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	72	674
1	220	666
2	623	650
3	1968	632
4	3915	632
5	4896	632
6	4947	632

prune242.0ms (2%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	213	10	223
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	214	10	224

Error

0.1b

Counts

224 → 10

Alt Table

Status	Error	Program
	24.2b	(-.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))
	31.7b	(+.f64 (.f64 (cos.f64 x) (+.f64 (.f64 1/24 (pow.f64 eps 4)) (.f64 (.f64 eps eps) -1/2))) (.f64 (sin.f64 x) (-.f64 (.f64 1/6 (pow.f64 eps 3)) eps)))
	33.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))))
	37.9b	(log.f64 (exp.f64 (-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x))))
▶	24.0b	(fma.f64 (cos.f64 x) (cos.f64 eps) (neg.f64 (fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x))))
	39.0b	(+.f64 (.f64 (.f64 x x) (+.f64 (+.f64 1/2 (.f64 x (.f64 (sin.f64 eps) 1/6))) (*.f64 (cos.f64 eps) -1/2))) (-.f64 (cos.f64 eps) (fma.f64 (sin.f64 eps) x 1)))
	37.9b	(/.f64 1 (/.f64 (fma.f64 (cos.f64 x) (+.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x)) (pow.f64 (cos.f64 (+.f64 x eps)) 2)) (-.f64 (pow.f64 (cos.f64 (+.f64 x eps)) 3) (pow.f64 (cos.f64 x) 3))))
	34.5b	(.f64 -2 (.f64 (sin.f64 (/.f64 (-.f64 (+.f64 x eps) x) 2)) (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))))
	24.1b	(-.f64 (-.f64 (.f64 (cos.f64 x) (cos.f64 eps)) (.f64 (sin.f64 x) (sin.f64 eps))) (cos.f64 x))
	24.1b	(fma.f64 (cos.f64 x) (cos.f64 eps) (neg.f64 (-.f64 (*.f64 (sin.f64 x) (sin.f64 eps)) (neg.f64 (cos.f64 x)))))

Compiler

Compiled 4347 to 1386 computations (68.1% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series83.0ms (0.7%)

Counts

3 → 52

Calls

3 calls:

63.0ms	(fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x))
18.0ms	(fma.f64 (cos.f64 x) (cos.f64 eps) (neg.f64 (fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x))))
2.0ms	(cos.f64 eps)

rewrite189.0ms (1.5%)

Algorithm

2×	batch-egg-rewrite

Rules

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

Counts

3 → 216

Calls

3 calls:

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	35
1	199	33
2	2144	33
3	5513	33
0	0	0
1	0	0

simplify73.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

313×	`associate-+l-_binary64`
313×	`distribute-rgt-neg-in_binary64`
304×	`distribute-lft-neg-in_binary64`
299×	`sub-neg_binary64`
298×	`associate-+l+_binary64`

Counts

268 → 254

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	75	900
1	236	878
2	700	854
3	2239	844
4	4948	844
5	5059	844

prune223.0ms (1.8%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	305	7	312
Fresh	5	4	9
Picked	1	0	1
Done	0	0	0
Total	311	11	322

Error

0.1b

Counts

322 → 11

Alt Table

Status	Error	Program
	24.2b	(fma.f64 (cos.f64 x) (cos.f64 eps) (neg.f64 (log.f64 (exp.f64 (fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x))))))
	33.4b	(fma.f64 (pow.f64 (sqrt.f64 (cos.f64 x)) 2) (cos.f64 eps) (neg.f64 (fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x))))
	24.4b	(fma.f64 (cos.f64 x) (pow.f64 (cbrt.f64 (cos.f64 eps)) 3) (neg.f64 (fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x))))
	24.3b	(/.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))))
	37.9b	(/.f64 1 (/.f64 (fma.f64 (cos.f64 x) (+.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x)) (pow.f64 (cos.f64 (+.f64 x eps)) 2)) (-.f64 (pow.f64 (cos.f64 (+.f64 x eps)) 3) (pow.f64 (cos.f64 x) 3))))
	24.3b	(fma.f64 (+.f64 (log.f64 (sqrt.f64 (exp.f64 (cos.f64 x)))) (log.f64 (sqrt.f64 (exp.f64 (cos.f64 x))))) (cos.f64 eps) (neg.f64 (fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x))))
	34.5b	(.f64 -2 (.f64 (sin.f64 (/.f64 (-.f64 (+.f64 x eps) x) 2)) (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))))
▶	24.2b	(-.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))
	24.3b	(fma.f64 (cos.f64 x) (cos.f64 eps) (neg.f64 (fma.f64 (sin.f64 x) (sin.f64 eps) (+.f64 (log.f64 (sqrt.f64 (exp.f64 (cos.f64 x)))) (log.f64 (sqrt.f64 (exp.f64 (cos.f64 x))))))))
	31.7b	(+.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)))
	37.9b	(log.f64 (exp.f64 (-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x))))

Compiler

Compiled 10503 to 2236 computations (78.7% saved)

localize21.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(pow.f64 (*.f64 (sin.f64 x) (sin.f64 eps)) 3)
✓	0.3b	(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)))))
✓	0.5b	(pow.f64 (*.f64 (cos.f64 x) (cos.f64 eps)) 3)
✓	6.7b	(-.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))

series884.0ms (7.2%)

Counts

4 → 96

Calls

4 calls:

762.0ms	(-.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))
65.0ms	(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)))))
29.0ms	(pow.f64 (*.f64 (sin.f64 x) (sin.f64 eps)) 3)
28.0ms	(pow.f64 (*.f64 (cos.f64 x) (cos.f64 eps)) 3)

rewrite106.0ms (0.9%)

Algorithm

2×	batch-egg-rewrite

Rules

758×	`prod-diff_binary64`
204×	`add-sqr-sqrt_binary64`
199×	`log1p-expm1-u_binary64`
199×	`expm1-log1p-u_binary64`
193×	`add-cbrt-cube_binary64`

Counts

4 → 121

Calls

4 calls:

101.0ms	(pow.f64 (*.f64 (sin.f64 x) (sin.f64 eps)) 3)
101.0ms	(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)))))
101.0ms	(pow.f64 (*.f64 (cos.f64 x) (cos.f64 eps)) 3)
101.0ms	(-.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))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	161
1	410	76
2	4688	76
3	6135	76
0	0	0
1	0	0

simplify147.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

660×	`cancel-sign-sub-inv_binary64`
384×	`fma-neg_binary64`
303×	`distribute-rgt-neg-in_binary64`
294×	`unswap-sqr_binary64`
284×	`distribute-lft-neg-in_binary64`

Counts

217 → 187

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	167	4280
1	536	4216
2	2007	4019
3	4380	4019
4	4981	4019
5	4966	4019

prune263.0ms (2.2%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	186	1	187
Fresh	0	10	10
Picked	0	1	1
Done	0	0	0
Total	186	12	198

Error

0.1b

Counts

198 → 12

Alt Table

Status	Error	Program
	24.3b	(/.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))))
	31.1b	(neg.f64 (fma.f64 eps (sin.f64 x) (.f64 1/2 (.f64 (cos.f64 x) (*.f64 eps eps)))))
▶	24.2b	(fma.f64 (cos.f64 x) (cos.f64 eps) (neg.f64 (log.f64 (exp.f64 (fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x))))))
	33.4b	(fma.f64 (pow.f64 (sqrt.f64 (cos.f64 x)) 2) (cos.f64 eps) (neg.f64 (fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x))))
	24.4b	(fma.f64 (cos.f64 x) (pow.f64 (cbrt.f64 (cos.f64 eps)) 3) (neg.f64 (fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x))))
	37.9b	(/.f64 1 (/.f64 (fma.f64 (cos.f64 x) (+.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x)) (pow.f64 (cos.f64 (+.f64 x eps)) 2)) (-.f64 (pow.f64 (cos.f64 (+.f64 x eps)) 3) (pow.f64 (cos.f64 x) 3))))
	24.3b	(fma.f64 (+.f64 (log.f64 (sqrt.f64 (exp.f64 (cos.f64 x)))) (log.f64 (sqrt.f64 (exp.f64 (cos.f64 x))))) (cos.f64 eps) (neg.f64 (fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x))))
	34.5b	(.f64 -2 (.f64 (sin.f64 (/.f64 (-.f64 (+.f64 x eps) x) 2)) (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))))
✓	24.2b	(-.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))
	24.3b	(fma.f64 (cos.f64 x) (cos.f64 eps) (neg.f64 (fma.f64 (sin.f64 x) (sin.f64 eps) (+.f64 (log.f64 (sqrt.f64 (exp.f64 (cos.f64 x)))) (log.f64 (sqrt.f64 (exp.f64 (cos.f64 x))))))))
	31.7b	(+.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)))
	37.9b	(log.f64 (exp.f64 (-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x))))

Compiler

Compiled 10460 to 2911 computations (72.2% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(exp.f64 (fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x)))
	0.1b	(fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x))
✓	0.4b	(log.f64 (exp.f64 (fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x))))
✓	11.2b	(fma.f64 (cos.f64 x) (cos.f64 eps) (neg.f64 (log.f64 (exp.f64 (fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x))))))

series48.0ms (0.4%)

Counts

3 → 72

Calls

3 calls:

19.0ms

(fma.f64 (cos.f64 x) (cos.f64 eps) (neg.f64 (log.f64 (exp.f64 (fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x))))))

17.0ms

(exp.f64 (fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x)))

12.0ms

(log.f64 (exp.f64 (fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x))))

rewrite95.0ms (0.8%)

Algorithm

2×	batch-egg-rewrite

Rules

900×	`log1p-expm1-u_binary64`
900×	`expm1-log1p-u_binary64`
285×	`prod-diff_binary64`
225×	`egg-rr`
112×	`add-sqr-sqrt_binary64`

Counts

3 → 225

Calls

3 calls:

87.0ms

(exp.f64 (fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x)))

87.0ms

(log.f64 (exp.f64 (fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x))))

87.0ms

(fma.f64 (cos.f64 x) (cos.f64 eps) (neg.f64 (log.f64 (exp.f64 (fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x))))))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	45
1	217	43
2	2323	43
3	5923	43
0	0	0
1	0	0

simplify94.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

697×	`associate-l_binary64`
687×	`associate-r_binary64`
605×	`fma-def_binary64`
359×	`sub-neg_binary64`
334×	`cancel-sign-sub-inv_binary64`

Counts

297 → 274

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	107	1347
1	356	1316
2	1159	1249
3	4574	1246
4	4986	1246
5	4968	1246

prune825.0ms (6.8%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	330	0	330
Fresh	0	10	10
Picked	0	1	1
Done	0	1	1
Total	330	12	342

Error

0.1b

Counts

342 → 12

Alt Table

Status	Error	Program
	24.3b	(/.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))))
	31.1b	(neg.f64 (fma.f64 eps (sin.f64 x) (.f64 1/2 (.f64 (cos.f64 x) (*.f64 eps eps)))))
✓	24.2b	(fma.f64 (cos.f64 x) (cos.f64 eps) (neg.f64 (log.f64 (exp.f64 (fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x))))))
	33.4b	(fma.f64 (pow.f64 (sqrt.f64 (cos.f64 x)) 2) (cos.f64 eps) (neg.f64 (fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x))))
	24.4b	(fma.f64 (cos.f64 x) (pow.f64 (cbrt.f64 (cos.f64 eps)) 3) (neg.f64 (fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x))))
	37.9b	(/.f64 1 (/.f64 (fma.f64 (cos.f64 x) (+.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x)) (pow.f64 (cos.f64 (+.f64 x eps)) 2)) (-.f64 (pow.f64 (cos.f64 (+.f64 x eps)) 3) (pow.f64 (cos.f64 x) 3))))
	24.3b	(fma.f64 (+.f64 (log.f64 (sqrt.f64 (exp.f64 (cos.f64 x)))) (log.f64 (sqrt.f64 (exp.f64 (cos.f64 x))))) (cos.f64 eps) (neg.f64 (fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x))))
	34.5b	(.f64 -2 (.f64 (sin.f64 (/.f64 (-.f64 (+.f64 x eps) x) 2)) (sin.f64 (/.f64 (+.f64 x (+.f64 x eps)) 2))))
✓	24.2b	(-.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))
	24.3b	(fma.f64 (cos.f64 x) (cos.f64 eps) (neg.f64 (fma.f64 (sin.f64 x) (sin.f64 eps) (+.f64 (log.f64 (sqrt.f64 (exp.f64 (cos.f64 x)))) (log.f64 (sqrt.f64 (exp.f64 (cos.f64 x))))))))
	31.7b	(+.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)))
	37.9b	(log.f64 (exp.f64 (-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x))))

Compiler

Compiled 10959 to 2420 computations (77.9% saved)

regimes2.4s (20%)

Accuracy

Total 0.3b remaining (61.8%)

Threshold costs 0.3b (61.8%)

Counts

255 → 3

Compiler

Compiled 16031 to 9671 computations (39.7% saved)

bsearch116.0ms (1%)

Steps

Iters	Range		Point
11	4.2086322736936736e-14	4.9812351269951065e+20	0.002917244219032107
9	-24.44903049980676	-6.073643079888071e-5	-0.0030940495053981593

Compiler

Compiled 3 to 2 computations (33.3% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	38	94
1	52	94
2	58	94
3	61	94
4	62	94
5	62	94

end219.0ms (1.8%)

Compiler: Compiled 420 to 229 computations (45.5% 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.9s (48.4%)

simplify11.0ms (0.1%)

prune2.0ms (0%)

localize6.0ms (0%)

series12.0ms (0.1%)

rewrite73.0ms (0.6%)

simplify101.0ms (0.8%)

prune242.0ms (2%)

localize11.0ms (0.1%)

series83.0ms (0.7%)

rewrite189.0ms (1.5%)

simplify73.0ms (0.6%)

prune223.0ms (1.8%)

localize21.0ms (0.2%)

series884.0ms (7.2%)

rewrite106.0ms (0.9%)

simplify147.0ms (1.2%)

prune263.0ms (2.2%)

localize14.0ms (0.1%)

series48.0ms (0.4%)

rewrite95.0ms (0.8%)

simplify94.0ms (0.8%)

prune825.0ms (6.8%)

regimes2.4s (20%)

bsearch116.0ms (1%)

simplify4.0ms (0%)

end219.0ms (1.8%)

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