Details

analyze27.0ms (0.3%)

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)

sample126.0ms (1.6%)

Algorithm

1×

intervals

Results

57.0ms	115×	body	1024	valid
45.0ms	43×	body	2048	valid
8.0ms	34×	body	512	valid
4.0ms	26×	body	256	valid
3.0ms	38×	body	128	valid

Compiler

Compiled 21 to 15 computations (28.6% saved)

simplify14.0ms (0.2%)

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

Counts

2 → 1

Alt Table

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

Compiler

Compiled 27 to 18 computations (33.3% saved)

localize8.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	1.9b	(-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))
✓	2.9b	(sin.f64 (+.f64 x eps))

rewrite34.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

20×	`add-cube-cbrt_binary64`
10×	`add-sqr-sqrt_binary64`
8×	`add-log-exp_binary64`
8×	`pow1_binary64`
8×	`sin-sum_binary64`

Counts

2 → 84

Calls

2 calls:

16.0ms	(-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))
11.0ms	(sin.f64 (+.f64 x eps))

series16.0ms (0.2%)

Counts

2 → 48

Calls

2 calls:

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

simplify148.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

732×	`associate-l_binary64`
606×	`fma-def_binary64`
479×	`cancel-sign-sub-inv_binary64`
374×	`sub-neg_binary64`
183×	`distribute-rgt-neg-in_binary64`

Counts

132 → 193

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	151	1753
1	423	1734
2	1369	1682
3	4091	1661
4	4691	1655
5	4900	1655

prune116.0ms (1.5%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	186	7	193
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	187	7	194

Error

0.2b

Counts

194 → 7

Alt Table

Status	Error	Program
	30.3b	(fma.f64 (.f64 (sin.f64 x) (.f64 eps eps)) -1/2 (*.f64 eps (cos.f64 x)))
	28.0b	(-.f64 (/.f64 (+.f64 (pow.f64 (.f64 (sin.f64 x) (cos.f64 eps)) 3) (pow.f64 (.f64 (cos.f64 x) (sin.f64 eps)) 3)) (+.f64 (.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.4b	(-.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (cos.f64 eps) (sin.f64 x))) (sin.f64 x))
	23.4b	(fma.f64 (sin.f64 x) (cos.f64 eps) (-.f64 (*.f64 (cos.f64 x) (sin.f64 eps)) (sin.f64 x)))
	28.0b	(-.f64 (/.f64 (+.f64 (pow.f64 (.f64 (cos.f64 eps) (sin.f64 x)) 3) (pow.f64 (.f64 (sin.f64 eps) (cos.f64 x)) 3)) (fma.f64 (sin.f64 eps) (.f64 (sin.f64 eps) (.f64 (cos.f64 x) (cos.f64 x))) (.f64 (.f64 (cos.f64 eps) (sin.f64 x)) (-.f64 (.f64 (cos.f64 eps) (sin.f64 x)) (.f64 (sin.f64 eps) (cos.f64 x)))))) (sin.f64 x))
	24.8b	(-.f64 (/.f64 (-.f64 (.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (.f64 (sin.f64 x) (cos.f64 eps))) (.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))
	39.4b	(+.f64 (fma.f64 (cos.f64 eps) x (sin.f64 eps)) (-.f64 (.f64 (pow.f64 x 3) (+.f64 1/6 (.f64 (cos.f64 eps) -1/6))) (fma.f64 1/2 (.f64 (sin.f64 eps) (.f64 x x)) x)))

Compiler

Compiled 3222 to 818 computations (74.6% saved)

localize13.0ms (0.2%)

Local error

Found 3 expressions with local error:

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

rewrite48.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

26×	`add-cube-cbrt_binary64`
19×	`pow1_binary64`
18×	`add-sqr-sqrt_binary64`
11×	`add-cbrt-cube_binary64`
10×	`add-exp-log_binary64`

Counts

3 → 119

Calls

3 calls:

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

series145.0ms (1.8%)

Counts

3 → 68

Calls

3 calls:

68.0ms	(-.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (cos.f64 eps) (sin.f64 x))) (sin.f64 x))
50.0ms	(fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (cos.f64 eps) (sin.f64 x)))
27.0ms	(*.f64 (cos.f64 eps) (sin.f64 x))

simplify140.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

1014×	`fma-neg_binary64`
669×	`cancel-sign-sub-inv_binary64`
393×	`distribute-rgt-in_binary64`
271×	`distribute-rgt-neg-in_binary64`
243×	`distribute-lft-neg-in_binary64`

Counts

187 → 307

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	207	3453
1	551	3317
2	1990	3150
3	4519	3146
4	5127	3146

prune228.0ms (2.9%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	295	12	307
Fresh	4	2	6
Picked	1	0	1
Done	0	0	0
Total	300	14	314

Error

0.1b

Counts

314 → 14

Alt Table

Status	Error	Program
	14.3b	(/.f64 (.f64 (fma.f64 (cos.f64 x) (sin.f64 eps) (.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1))) (fma.f64 (cos.f64 x) (sin.f64 eps) (.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))) (fma.f64 (cos.f64 x) (sin.f64 eps) (.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1))))
	42.2b	(exp.f64 (log.f64 (-.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (cos.f64 eps) (sin.f64 x))) (sin.f64 x))))
	23.4b	(fma.f64 (sin.f64 x) (cos.f64 eps) (-.f64 (*.f64 (cos.f64 x) (sin.f64 eps)) (sin.f64 x)))
	42.0b	(pow.f64 (sqrt.f64 (-.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (cos.f64 eps) (sin.f64 x))) (sin.f64 x))) 2)
	1.6b	(.f64 (.f64 (cbrt.f64 (fma.f64 (cos.f64 x) (sin.f64 eps) (.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))) (cbrt.f64 (fma.f64 (cos.f64 x) (sin.f64 eps) (.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1))))) (cbrt.f64 (fma.f64 (cos.f64 x) (sin.f64 eps) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))))
	31.4b	(log.f64 (+.f64 (expm1.f64 (fma.f64 (cos.f64 x) (sin.f64 eps) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))) 1))
	24.8b	(/.f64 (-.f64 (.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (.f64 (cos.f64 eps) (sin.f64 x))) (fma.f64 (sin.f64 eps) (cos.f64 x) (.f64 (cos.f64 eps) (sin.f64 x)))) (.f64 (sin.f64 x) (sin.f64 x))) (+.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (cos.f64 eps) (sin.f64 x))) (sin.f64 x)))
	30.3b	(fma.f64 (.f64 (sin.f64 x) (.f64 eps eps)) -1/2 (*.f64 eps (cos.f64 x)))
	23.1b	(/.f64 (+.f64 0 (pow.f64 (fma.f64 (cos.f64 x) (sin.f64 eps) (.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1))) 3)) (.f64 (fma.f64 (cos.f64 x) (sin.f64 eps) (.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1))) (fma.f64 (cos.f64 x) (sin.f64 eps) (.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))))
▶	0.4b	(fma.f64 (sin.f64 eps) (cos.f64 x) (-.f64 (*.f64 (cos.f64 eps) (sin.f64 x)) (sin.f64 x)))
	30.3b	(.f64 (sqrt.f64 (fma.f64 (cos.f64 x) (sin.f64 eps) (.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))) (sqrt.f64 (fma.f64 (cos.f64 x) (sin.f64 eps) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))))
	14.8b	(.f64 (cbrt.f64 (.f64 (fma.f64 (cos.f64 x) (sin.f64 eps) (.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1))) (fma.f64 (cos.f64 x) (sin.f64 eps) (.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1))))) (cbrt.f64 (fma.f64 (cos.f64 x) (sin.f64 eps) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))))
	24.2b	(.f64 (.f64 (cbrt.f64 (-.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (.f64 (cos.f64 eps) (sin.f64 x))) (sin.f64 x))) (cbrt.f64 (-.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (.f64 (cos.f64 eps) (sin.f64 x))) (sin.f64 x)))) (cbrt.f64 (-.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (cos.f64 eps) (sin.f64 x))) (sin.f64 x))))
	22.1b	(cbrt.f64 (pow.f64 (fma.f64 (cos.f64 x) (sin.f64 eps) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1))) 3))

Compiler

Compiled 5873 to 1523 computations (74.1% saved)

localize14.0ms (0.2%)

Local error

Found 3 expressions with local error:

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

rewrite31.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

15×	`add-cube-cbrt_binary64`
10×	`add-sqr-sqrt_binary64`
8×	`pow1_binary64`
8×	`add-log-exp_binary64`
7×	`fma-udef_binary64`

Counts

2 → 81

Calls

2 calls:

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

series100.0ms (1.3%)

Counts

2 → 36

Calls

2 calls:

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

simplify112.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

885×	`fma-neg_binary64`
584×	`cancel-sign-sub-inv_binary64`
296×	`distribute-rgt-in_binary64`
236×	`distribute-lft-in_binary64`
201×	`distribute-rgt-neg-in_binary64`

Counts

117 → 197

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	185	2461
1	516	2223
2	1780	2125
3	4247	2118
4	4912	2118

prune259.0ms (3.3%)

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	280	3	283
Fresh	3	10	13
Picked	0	1	1
Done	0	0	0
Total	283	14	297

Error

0.1b

Counts

297 → 14

Alt Table

Status	Error	Program
	23.4b	(fma.f64 (sin.f64 x) (cos.f64 eps) (-.f64 (*.f64 (cos.f64 x) (sin.f64 eps)) (sin.f64 x)))
	42.0b	(pow.f64 (sqrt.f64 (-.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (cos.f64 eps) (sin.f64 x))) (sin.f64 x))) 2)
	31.3b	(log.f64 (exp.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (-.f64 (*.f64 (cos.f64 eps) (sin.f64 x)) (sin.f64 x)))))
✓	0.4b	(fma.f64 (sin.f64 eps) (cos.f64 x) (-.f64 (*.f64 (cos.f64 eps) (sin.f64 x)) (sin.f64 x)))
▶	0.4b	(fma.f64 (sin.f64 eps) (cos.f64 x) (/.f64 (.f64 (.f64 (sin.f64 x) (sin.f64 x)) (neg.f64 (*.f64 (sin.f64 eps) (sin.f64 eps)))) (fma.f64 (sin.f64 x) (cos.f64 eps) (sin.f64 x))))
	24.2b	(.f64 (.f64 (cbrt.f64 (-.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (.f64 (cos.f64 eps) (sin.f64 x))) (sin.f64 x))) (cbrt.f64 (-.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (.f64 (cos.f64 eps) (sin.f64 x))) (sin.f64 x)))) (cbrt.f64 (-.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (cos.f64 eps) (sin.f64 x))) (sin.f64 x))))
	0.5b	(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 (sin.f64 x) (sin.f64 x))) (+.f64 (*.f64 (cos.f64 eps) (sin.f64 x)) (sin.f64 x))))
	22.1b	(cbrt.f64 (pow.f64 (fma.f64 (cos.f64 x) (sin.f64 eps) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1))) 3))
	14.3b	(/.f64 (.f64 (fma.f64 (cos.f64 x) (sin.f64 eps) (.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1))) (fma.f64 (cos.f64 x) (sin.f64 eps) (.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))) (fma.f64 (cos.f64 x) (sin.f64 eps) (.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1))))
	24.8b	(/.f64 (-.f64 (.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (.f64 (cos.f64 eps) (sin.f64 x))) (fma.f64 (sin.f64 eps) (cos.f64 x) (.f64 (cos.f64 eps) (sin.f64 x)))) (.f64 (sin.f64 x) (sin.f64 x))) (+.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (cos.f64 eps) (sin.f64 x))) (sin.f64 x)))
	23.1b	(/.f64 (+.f64 0 (pow.f64 (fma.f64 (cos.f64 x) (sin.f64 eps) (.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1))) 3)) (.f64 (fma.f64 (cos.f64 x) (sin.f64 eps) (.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1))) (fma.f64 (cos.f64 x) (sin.f64 eps) (.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))))
	30.3b	(.f64 (sqrt.f64 (fma.f64 (cos.f64 x) (sin.f64 eps) (.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))) (sqrt.f64 (fma.f64 (cos.f64 x) (sin.f64 eps) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))))
	14.8b	(.f64 (cbrt.f64 (.f64 (fma.f64 (cos.f64 x) (sin.f64 eps) (.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1))) (fma.f64 (cos.f64 x) (sin.f64 eps) (.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1))))) (cbrt.f64 (fma.f64 (cos.f64 x) (sin.f64 eps) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))))
	1.6b	(.f64 (.f64 (cbrt.f64 (fma.f64 (cos.f64 x) (sin.f64 eps) (.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))) (cbrt.f64 (fma.f64 (cos.f64 x) (sin.f64 eps) (.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1))))) (cbrt.f64 (fma.f64 (cos.f64 x) (sin.f64 eps) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))))

Compiler

Compiled 5586 to 1769 computations (68.3% saved)

localize16.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(*.f64 (sin.f64 x) (sin.f64 x))
✓	0.2b	(*.f64 (sin.f64 eps) (sin.f64 eps))
✓	0.3b	(fma.f64 (sin.f64 x) (cos.f64 eps) (sin.f64 x))
✓	10.0b	(/.f64 (.f64 (.f64 (sin.f64 x) (sin.f64 x)) (neg.f64 (*.f64 (sin.f64 eps) (sin.f64 eps)))) (fma.f64 (sin.f64 x) (cos.f64 eps) (sin.f64 x)))

rewrite64.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

40×	`pow1_binary64`
29×	`add-cube-cbrt_binary64`
24×	`add-exp-log_binary64`
20×	`add-cbrt-cube_binary64`
18×	`add-sqr-sqrt_binary64`

Counts

4 → 186

Calls

4 calls:

16.0ms	(/.f64 (.f64 (.f64 (sin.f64 x) (sin.f64 x)) (neg.f64 (*.f64 (sin.f64 eps) (sin.f64 eps)))) (fma.f64 (sin.f64 x) (cos.f64 eps) (sin.f64 x)))
16.0ms	(*.f64 (sin.f64 x) (sin.f64 x))
14.0ms	(*.f64 (sin.f64 eps) (sin.f64 eps))
9.0ms	(fma.f64 (sin.f64 x) (cos.f64 eps) (sin.f64 x))

series247.0ms (3.1%)

Counts

4 → 72

Calls

4 calls:

199.0ms	(/.f64 (.f64 (.f64 (sin.f64 x) (sin.f64 x)) (neg.f64 (*.f64 (sin.f64 eps) (sin.f64 eps)))) (fma.f64 (sin.f64 x) (cos.f64 eps) (sin.f64 x)))
36.0ms	(fma.f64 (sin.f64 x) (cos.f64 eps) (sin.f64 x))
6.0ms	(*.f64 (sin.f64 eps) (sin.f64 eps))
6.0ms	(*.f64 (sin.f64 x) (sin.f64 x))

simplify141.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

303×	`associate-r_binary64`
259×	`fma-def_binary64`
243×	`fma-neg_binary64`
241×	`associate-l_binary64`
236×	`times-frac_binary64`

Counts

258 → 433

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	372	4902
1	1055	4384
2	4331	4356
3	4975	4356

prune443.0ms (5.6%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	430	3	433
Fresh	4	8	12
Picked	1	0	1
Done	1	0	1
Total	436	11	447

Error

0.1b

Counts

447 → 11

Alt Table

Status	Error	Program
	23.4b	(fma.f64 (sin.f64 x) (cos.f64 eps) (-.f64 (*.f64 (cos.f64 x) (sin.f64 eps)) (sin.f64 x)))
	42.0b	(pow.f64 (sqrt.f64 (-.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (cos.f64 eps) (sin.f64 x))) (sin.f64 x))) 2)
	0.6b	(fma.f64 (sin.f64 eps) (cos.f64 x) (/.f64 (.f64 (-.f64 (cos.f64 (-.f64 x x)) (cos.f64 (+.f64 x x))) (neg.f64 (-.f64 (cos.f64 (-.f64 eps eps)) (cos.f64 (+.f64 eps eps))))) (.f64 4 (*.f64 (+.f64 1 (cos.f64 eps)) (sin.f64 x)))))
	14.8b	(.f64 (cbrt.f64 (.f64 (fma.f64 (cos.f64 x) (sin.f64 eps) (.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1))) (fma.f64 (cos.f64 x) (sin.f64 eps) (.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1))))) (cbrt.f64 (fma.f64 (cos.f64 x) (sin.f64 eps) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))))
	0.6b	(fma.f64 (sin.f64 eps) (cos.f64 x) (log.f64 (exp.f64 (neg.f64 (/.f64 (.f64 (pow.f64 (sin.f64 eps) 2) (pow.f64 (sin.f64 x) 2)) (.f64 (+.f64 1 (cos.f64 eps)) (sin.f64 x)))))))
	1.6b	(.f64 (.f64 (cbrt.f64 (fma.f64 (cos.f64 x) (sin.f64 eps) (.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))) (cbrt.f64 (fma.f64 (cos.f64 x) (sin.f64 eps) (.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1))))) (cbrt.f64 (fma.f64 (cos.f64 x) (sin.f64 eps) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))))
	14.3b	(/.f64 (.f64 (fma.f64 (cos.f64 x) (sin.f64 eps) (.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1))) (fma.f64 (cos.f64 x) (sin.f64 eps) (.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))) (fma.f64 (cos.f64 x) (sin.f64 eps) (.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1))))
	0.5b	(fma.f64 (sin.f64 eps) (cos.f64 x) (pow.f64 (cbrt.f64 (/.f64 (.f64 (.f64 (sin.f64 x) (sin.f64 x)) (neg.f64 (*.f64 (sin.f64 eps) (sin.f64 eps)))) (fma.f64 (sin.f64 x) (cos.f64 eps) (sin.f64 x)))) 3))
	23.1b	(/.f64 (+.f64 0 (pow.f64 (fma.f64 (cos.f64 x) (sin.f64 eps) (.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1))) 3)) (.f64 (fma.f64 (cos.f64 x) (sin.f64 eps) (.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1))) (fma.f64 (cos.f64 x) (sin.f64 eps) (.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))))
	30.3b	(.f64 (sqrt.f64 (fma.f64 (cos.f64 x) (sin.f64 eps) (.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))) (sqrt.f64 (fma.f64 (cos.f64 x) (sin.f64 eps) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))))
	22.1b	(cbrt.f64 (pow.f64 (fma.f64 (cos.f64 x) (sin.f64 eps) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1))) 3))

Compiler

Compiled 10423 to 3399 computations (67.4% saved)

regimes1.5s (18.6%)

Accuracy

Total 0.3b remaining (77.1%)

Threshold costs 0.3b (77.1%)

Compiler

Compiled 26547 to 15083 computations (43.2% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	40
1	28	40
2	35	40
3	41	40
4	44	40
5	45	40
6	44	40

end1.0ms (0%)

Compiler: Compiled 27 to 19 computations (29.6% saved)

sample3.9s (49.6%)

Algorithm

1×

intervals

Results

1.6s	3485×	body	1024	valid
1.3s	1272×	body	2048	valid
338.0ms	1350×	body	512	valid
108.0ms	1334×	body	128	valid
94.0ms	556×	body	256	valid
9.0ms	3×	body	4096	valid

Compiler

Compiled 381 to 228 computations (40.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

analyze27.0ms (0.3%)

sample126.0ms (1.6%)

simplify14.0ms (0.2%)

prune2.0ms (0%)

localize8.0ms (0.1%)

rewrite34.0ms (0.4%)

series16.0ms (0.2%)

simplify148.0ms (1.9%)

prune116.0ms (1.5%)

localize13.0ms (0.2%)

rewrite48.0ms (0.6%)

series145.0ms (1.8%)

simplify140.0ms (1.8%)

prune228.0ms (2.9%)

localize14.0ms (0.2%)

rewrite31.0ms (0.4%)

series100.0ms (1.3%)

simplify112.0ms (1.4%)

prune259.0ms (3.3%)

localize16.0ms (0.2%)

rewrite64.0ms (0.8%)

series247.0ms (3.1%)

simplify141.0ms (1.8%)

prune443.0ms (5.6%)

regimes1.5s (18.6%)

simplify4.0ms (0.1%)

end1.0ms (0%)

sample3.9s (49.6%)

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