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

Results

2.2s	3939×	body	1024	valid
2.2s	2125×	body	2048	valid
471.0ms	1381×	body	512	valid
135.0ms	555×	body	256	valid
34.0ms	255×	body	128	valid
3.0ms	1×	body	4096	valid

Compiler

Compiled 20 to 14 computations (30% saved)

preprocess21.0ms (0.3%)

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

39.8b

Counts

2 → 1

Alt Table

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

Compiler

Compiled 27 to 18 computations (33.3% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

series10.0ms (0.1%)

Counts

2 → 48

Calls

12 calls:

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

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

simplify34.0ms (0.4%)

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

prune159.0ms (2%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	183	10	193
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	184	10	194

Error

0.1b

Counts

194 → 10

Alt Table

Status	Error	Program
	40.6b	(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))))
	25.3b	(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))))
	32.1b	(.f64 -2 (.f64 (sin.f64 (.f64 (+.f64 x (-.f64 eps x)) 1/2)) (sin.f64 (.f64 (+.f64 x (+.f64 x eps)) 1/2))))
▶	24.6b	(fma.f64 (cos.f64 x) (cos.f64 eps) (neg.f64 (fma.f64 (sin.f64 x) (sin.f64 eps) (cos.f64 x))))
	39.9b	(+.f64 (log.f64 (sqrt.f64 (exp.f64 (-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x))))) (log.f64 (sqrt.f64 (exp.f64 (-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x))))))
	32.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)))
	32.0b	(fma.f64 (sqrt.f64 (cos.f64 x)) (.f64 (sqrt.f64 (cos.f64 x)) (cos.f64 eps)) (neg.f64 (-.f64 (.f64 (sin.f64 x) (sin.f64 eps)) (neg.f64 (cos.f64 x)))))
	24.8b	(-.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))
	25.0b	(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))))
	24.7b	(-.f64 (fma.f64 (cos.f64 x) (cos.f64 eps) (neg.f64 (*.f64 (sin.f64 x) (sin.f64 eps)))) (cos.f64 x))

Compiler

Compiled 3995 to 1226 computations (69.3% saved)

localize10.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

series26.0ms (0.3%)

Counts

2 → 48

Calls

12 calls:

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

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

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

prune121.0ms (1.6%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	225	3	228
Fresh	1	8	9
Picked	1	0	1
Done	0	0	0
Total	227	11	238

Error

0.1b

Counts

238 → 11

Alt Table

Status	Error	Program
	25.3b	(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))))
	24.9b	(fma.f64 (cos.f64 x) (cos.f64 eps) (neg.f64 (/.f64 (+.f64 (pow.f64 (.f64 (sin.f64 x) (sin.f64 eps)) 3) (pow.f64 (cos.f64 x) 3)) (+.f64 (.f64 (.f64 (sin.f64 x) (sin.f64 eps)) (.f64 (sin.f64 x) (sin.f64 eps))) (-.f64 (pow.f64 (cos.f64 x) 2) (.f64 (.f64 (sin.f64 x) (sin.f64 eps)) (cos.f64 x)))))))
	32.0b	(fma.f64 (sqrt.f64 (cos.f64 x)) (.f64 (sqrt.f64 (cos.f64 x)) (cos.f64 eps)) (neg.f64 (-.f64 (.f64 (sin.f64 x) (sin.f64 eps)) (neg.f64 (cos.f64 x)))))
▶	8.6b	(-.f64 (.f64 (cos.f64 x) (+.f64 (cos.f64 eps) -1)) (.f64 (sin.f64 eps) (sin.f64 x)))
	25.0b	(/.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.8b	(-.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))
	40.6b	(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))))
	32.1b	(.f64 -2 (.f64 (sin.f64 (.f64 (+.f64 x (-.f64 eps x)) 1/2)) (sin.f64 (.f64 (+.f64 x (+.f64 x eps)) 1/2))))
	39.9b	(+.f64 (log.f64 (sqrt.f64 (exp.f64 (-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x))))) (log.f64 (sqrt.f64 (exp.f64 (-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x))))))
	32.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)))
	25.0b	(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))))

Compiler

Compiled 9035 to 1810 computations (80% saved)

localize10.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))
✓	2.5b	(+.f64 (cos.f64 eps) -1)

series39.0ms (0.5%)

Counts

4 → 84

Calls

21 calls:

7.0ms	(-.f64 (.f64 (cos.f64 x) (+.f64 (cos.f64 eps) -1)) (.f64 (sin.f64 eps) (sin.f64 x)))	eps	-inf
3.0ms	(-.f64 (.f64 (cos.f64 x) (+.f64 (cos.f64 eps) -1)) (.f64 (sin.f64 eps) (sin.f64 x)))	eps	inf
3.0ms	(-.f64 (.f64 (cos.f64 x) (+.f64 (cos.f64 eps) -1)) (.f64 (sin.f64 eps) (sin.f64 x)))	x	inf
3.0ms	(-.f64 (.f64 (cos.f64 x) (+.f64 (cos.f64 eps) -1)) (.f64 (sin.f64 eps) (sin.f64 x)))	x	-inf
2.0ms	(-.f64 (.f64 (cos.f64 x) (+.f64 (cos.f64 eps) -1)) (.f64 (sin.f64 eps) (sin.f64 x)))	eps	0

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

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

prune241.0ms (3.1%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	200	9	209
Fresh	6	4	10
Picked	1	0	1
Done	0	0	0
Total	207	13	220

Error

0.0b

Counts

220 → 13

Alt Table

Status	Error	Program
	25.3b	(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))))
	24.9b	(fma.f64 (cos.f64 x) (cos.f64 eps) (neg.f64 (/.f64 (+.f64 (pow.f64 (.f64 (sin.f64 x) (sin.f64 eps)) 3) (pow.f64 (cos.f64 x) 3)) (+.f64 (.f64 (.f64 (sin.f64 x) (sin.f64 eps)) (.f64 (sin.f64 x) (sin.f64 eps))) (-.f64 (pow.f64 (cos.f64 x) 2) (.f64 (.f64 (sin.f64 x) (sin.f64 eps)) (cos.f64 x)))))))
	8.6b	(-.f64 (+.f64 (.f64 (cos.f64 eps) (cos.f64 x)) (neg.f64 (cos.f64 x))) (.f64 (sin.f64 eps) (sin.f64 x)))
	24.8b	(-.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))
	8.6b	(fma.f64 (+.f64 (cos.f64 eps) -1) (cos.f64 x) (*.f64 (sin.f64 eps) (neg.f64 (sin.f64 x))))
	40.9b	(pow.f64 (sqrt.f64 (-.f64 (.f64 (+.f64 (cos.f64 eps) -1) (cos.f64 x)) (.f64 (sin.f64 eps) (sin.f64 x)))) 2)
	8.6b	(+.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)))))
	32.1b	(.f64 -2 (.f64 (sin.f64 (.f64 (+.f64 x (-.f64 eps x)) 1/2)) (sin.f64 (.f64 (+.f64 x (+.f64 x eps)) 1/2))))
	8.6b	(-.f64 (.f64 (cos.f64 x) (log.f64 (exp.f64 (+.f64 (cos.f64 eps) -1)))) (.f64 (sin.f64 eps) (sin.f64 x)))
	21.7b	(/.f64 1 (/.f64 (fma.f64 (+.f64 (cos.f64 eps) -1) (cos.f64 x) (.f64 (sin.f64 eps) (sin.f64 x))) (-.f64 (pow.f64 (.f64 (+.f64 (cos.f64 eps) -1) (cos.f64 x)) 2) (pow.f64 (*.f64 (sin.f64 eps) (sin.f64 x)) 2))))
	9.1b	(-.f64 (.f64 (cos.f64 x) (+.f64 (cos.f64 eps) -1)) (pow.f64 (cbrt.f64 (.f64 (sin.f64 eps) (sin.f64 x))) 3))
	0.8b	(-.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)))
▶	0.8b	(-.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)))

Compiler

Compiled 5490 to 2328 computations (57.6% saved)

localize16.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 1 (+.f64 (cos.f64 eps) 1)))
✓	0.2b	(pow.f64 (sin.f64 eps) 2)
✓	0.6b	(+.f64 (cos.f64 eps) 1)

series29.0ms (0.4%)

Counts

3 → 28

Calls

9 calls:

17.0ms	(*.f64 (neg.f64 (pow.f64 (sin.f64 eps) 2)) (/.f64 1 (+.f64 (cos.f64 eps) 1)))	eps	inf
6.0ms	(*.f64 (neg.f64 (pow.f64 (sin.f64 eps) 2)) (/.f64 1 (+.f64 (cos.f64 eps) 1)))	eps	-inf
1.0ms	(*.f64 (neg.f64 (pow.f64 (sin.f64 eps) 2)) (/.f64 1 (+.f64 (cos.f64 eps) 1)))	eps	0
1.0ms	(pow.f64 (sin.f64 eps) 2)	eps	-inf
1.0ms	(pow.f64 (sin.f64 eps) 2)	eps	inf

rewrite50.0ms (0.6%)

Algorithm

1×	batch-egg-rewrite

Rules

868×	`log1p-expm1-u_binary64`
868×	`expm1-log1p-u_binary64`
127×	`prod-diff_binary64`
117×	`egg-rr`
110×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	11	28
1	236	18
2	2971	18

Stop Event

1×	node limit

Counts

3 → 117

simplify34.0ms (0.4%)

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

145 → 143

prune213.0ms (2.7%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	174	3	177
Fresh	4	8	12
Picked	1	0	1
Done	0	0	0
Total	179	11	190

Error

0.0b

Counts

190 → 11

Alt Table

Status	Error	Program
	8.6b	(+.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)))))
	1.2b	(-.f64 (.f64 (cos.f64 x) (.f64 (neg.f64 (pow.f64 (sin.f64 eps) 2)) (/.f64 1 (fma.f64 (pow.f64 (cbrt.f64 (cos.f64 eps)) 2) (cbrt.f64 (cos.f64 eps)) 1)))) (*.f64 (sin.f64 eps) (sin.f64 x)))
	25.3b	(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))))
	24.9b	(fma.f64 (cos.f64 x) (cos.f64 eps) (neg.f64 (/.f64 (+.f64 (pow.f64 (.f64 (sin.f64 x) (sin.f64 eps)) 3) (pow.f64 (cos.f64 x) 3)) (+.f64 (.f64 (.f64 (sin.f64 x) (sin.f64 eps)) (.f64 (sin.f64 x) (sin.f64 eps))) (-.f64 (pow.f64 (cos.f64 x) 2) (.f64 (.f64 (sin.f64 x) (sin.f64 eps)) (cos.f64 x)))))))
	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)))
	8.6b	(-.f64 (.f64 (cos.f64 x) (log.f64 (exp.f64 (+.f64 (cos.f64 eps) -1)))) (.f64 (sin.f64 eps) (sin.f64 x)))
	21.7b	(/.f64 1 (/.f64 (fma.f64 (+.f64 (cos.f64 eps) -1) (cos.f64 x) (.f64 (sin.f64 eps) (sin.f64 x))) (-.f64 (pow.f64 (.f64 (+.f64 (cos.f64 eps) -1) (cos.f64 x)) 2) (pow.f64 (*.f64 (sin.f64 eps) (sin.f64 x)) 2))))
	9.1b	(-.f64 (.f64 (cos.f64 x) (+.f64 (cos.f64 eps) -1)) (pow.f64 (cbrt.f64 (.f64 (sin.f64 eps) (sin.f64 x))) 3))
	8.7b	(-.f64 (.f64 (cos.f64 x) (/.f64 (-.f64 (pow.f64 (cos.f64 eps) 3) 1) (+.f64 (pow.f64 (cos.f64 eps) 2) (+.f64 (cos.f64 eps) 1)))) (.f64 (sin.f64 eps) (sin.f64 x)))
	8.6b	(-.f64 (+.f64 (.f64 (cos.f64 eps) (cos.f64 x)) (neg.f64 (cos.f64 x))) (.f64 (sin.f64 eps) (sin.f64 x)))
	40.9b	(pow.f64 (sqrt.f64 (-.f64 (.f64 (+.f64 (cos.f64 eps) -1) (cos.f64 x)) (.f64 (sin.f64 eps) (sin.f64 x)))) 2)

Compiler

Compiled 4742 to 2517 computations (46.9% saved)

regimes1.3s (16.1%)

Accuracy

Total 0.2b remaining (78.7%)

Threshold costs 0.2b (78.7%)

Counts

329 → 1

Compiler

Compiled 20619 to 13915 computations (32.5% 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

end201.0ms (2.6%)

Stop Event

1×

fuel

Compiler

Compiled 332 to 199 computations (40.1% 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 (64.3%)

preprocess21.0ms (0.3%)

simplify9.0ms (0.1%)

prune2.0ms (0%)

localize5.0ms (0.1%)

series10.0ms (0.1%)

rewrite58.0ms (0.7%)

simplify34.0ms (0.4%)

prune159.0ms (2%)

localize10.0ms (0.1%)

series26.0ms (0.3%)

rewrite87.0ms (1.1%)

simplify40.0ms (0.5%)

prune121.0ms (1.6%)

localize10.0ms (0.1%)

series39.0ms (0.5%)

rewrite68.0ms (0.9%)

simplify38.0ms (0.5%)

prune241.0ms (3.1%)

localize16.0ms (0.2%)

series29.0ms (0.4%)

rewrite50.0ms (0.6%)

simplify34.0ms (0.4%)

prune213.0ms (2.7%)

regimes1.3s (16.1%)

simplify3.0ms (0%)

end201.0ms (2.6%)

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