Details

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

sample161.0ms (1.8%)

Algorithm

1×

intervals

Results

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

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

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

rewrite11.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`*-un-lft-identity_binary64`
12×	`add-sqr-sqrt_binary64`
10×	`add-cube-cbrt_binary64`
9×	`prod-diff_binary64`
4×	`add-log-exp_binary64`

Counts

2 → 42

Calls

2 calls:

6.0ms	(-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))
3.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))

simplify118.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

639×	`fma-neg_binary64`
483×	`fma-def_binary64`
351×	`cancel-sign-sub-inv_binary64`
291×	`sub-neg_binary64`
284×	`associate-+l-_binary64`

Counts

90 → 136

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	128	1256
1	297	1180
2	960	1116
3	2426	1108
4	4776	1108
5	4953	1108
6	4839	1108

prune74.0ms (0.8%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	132	4	136
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	133	4	137

Error

0.3b

Counts

137 → 4

Alt Table

Status	Error	Program
	23.4b	(+.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (-.f64 (.f64 (cos.f64 x) (sin.f64 eps)) (sin.f64 x)))
	30.3b	(fma.f64 (.f64 (sin.f64 x) (.f64 eps eps)) -1/2 (*.f64 eps (cos.f64 x)))
	39.4b	(-.f64 (+.f64 (.f64 (cos.f64 eps) x) (+.f64 (sin.f64 eps) (.f64 1/6 (pow.f64 x 3)))) (+.f64 (.f64 1/6 (.f64 (cos.f64 eps) (pow.f64 x 3))) (+.f64 x (.f64 1/2 (.f64 (sin.f64 eps) (pow.f64 x 2))))))
▶	23.4b	(-.f64 (+.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (.f64 (cos.f64 x) (sin.f64 eps))) (sin.f64 x))

Compiler

Compiled 1710 to 541 computations (68.4% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite23.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

22×	`add-sqr-sqrt_binary64`
18×	`*-un-lft-identity_binary64`
16×	`add-cube-cbrt_binary64`
11×	`add-log-exp_binary64`
9×	`prod-diff_binary64`

Counts

4 → 87

Calls

4 calls:

7.0ms	(-.f64 (+.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (.f64 (cos.f64 x) (sin.f64 eps))) (sin.f64 x))
5.0ms	(*.f64 (sin.f64 x) (cos.f64 eps))
4.0ms	(+.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (.f64 (cos.f64 x) (sin.f64 eps)))
3.0ms	(*.f64 (cos.f64 x) (sin.f64 eps))

series165.0ms (1.8%)

Counts

4 → 72

Calls

4 calls:

61.0ms	(-.f64 (+.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (.f64 (cos.f64 x) (sin.f64 eps))) (sin.f64 x))
49.0ms	(+.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (.f64 (cos.f64 x) (sin.f64 eps)))
28.0ms	(*.f64 (cos.f64 x) (sin.f64 eps))
27.0ms	(*.f64 (sin.f64 x) (cos.f64 eps))

simplify163.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

418×	`fma-neg_binary64`
276×	`distribute-rgt-in_binary64`
249×	`distribute-rgt-neg-in_binary64`
245×	`distribute-lft-in_binary64`
226×	`associate-r_binary64`

Counts

159 → 280

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	240	3009
1	616	2802
2	2190	2695
3	4798	2695
4	4972	2695
5	4911	2695

prune148.0ms (1.6%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	268	12	280
Fresh	2	1	3
Picked	1	0	1
Done	0	0	0
Total	271	13	284

Error

0.1b

Counts

284 → 13

Alt Table

Status	Error	Program
	23.6b	(-.f64 (+.f64 (.f64 (.f64 (sin.f64 x) (.f64 (cbrt.f64 (cos.f64 eps)) (cbrt.f64 (cos.f64 eps)))) (cbrt.f64 (cos.f64 eps))) (.f64 (cos.f64 x) (sin.f64 eps))) (sin.f64 x))
▶	0.5b	(log1p.f64 (expm1.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))))
	31.4b	(log.f64 (exp.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))))
	30.3b	(fma.f64 (.f64 (sin.f64 x) (.f64 eps eps)) -1/2 (*.f64 eps (cos.f64 x)))
	23.5b	(-.f64 (expm1.f64 (log1p.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (cos.f64 eps) (sin.f64 x))))) (sin.f64 x))
	6.3b	(/.f64 (.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1))) (fma.f64 (cos.f64 eps) (sin.f64 x) (fma.f64 (sin.f64 eps) (cos.f64 x) (sin.f64 x)))) (fma.f64 (cos.f64 eps) (sin.f64 x) (fma.f64 (sin.f64 eps) (cos.f64 x) (sin.f64 x))))
	30.3b	(.f64 (sqrt.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))) (sqrt.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))))
	42.0b	(.f64 (sqrt.f64 (-.f64 (+.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (.f64 (cos.f64 x) (sin.f64 eps))) (sin.f64 x))) (sqrt.f64 (-.f64 (+.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (*.f64 (cos.f64 x) (sin.f64 eps))) (sin.f64 x))))
	1.6b	(.f64 (.f64 (cbrt.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))) (cbrt.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1))))) (cbrt.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))))
	24.1b	(.f64 (.f64 (cbrt.f64 (-.f64 (+.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (.f64 (cos.f64 x) (sin.f64 eps))) (sin.f64 x))) (cbrt.f64 (-.f64 (+.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (.f64 (cos.f64 x) (sin.f64 eps))) (sin.f64 x)))) (cbrt.f64 (-.f64 (+.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (.f64 (cos.f64 x) (sin.f64 eps))) (sin.f64 x))))
	22.1b	(cbrt.f64 (pow.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1))) 3))
	27.7b	(cbrt.f64 (.f64 (.f64 (-.f64 (+.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (.f64 (cos.f64 x) (sin.f64 eps))) (sin.f64 x)) (-.f64 (+.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (.f64 (cos.f64 x) (sin.f64 eps))) (sin.f64 x))) (-.f64 (+.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (.f64 (cos.f64 x) (sin.f64 eps))) (sin.f64 x))))
	42.2b	(exp.f64 (log.f64 (-.f64 (+.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (.f64 (cos.f64 x) (sin.f64 eps))) (sin.f64 x))))

Compiler

Compiled 5023 to 1458 computations (71% saved)

localize15.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

rewrite13.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

11×	`*-un-lft-identity_binary64`
11×	`add-sqr-sqrt_binary64`
7×	`add-cube-cbrt_binary64`
6×	`add-cbrt-cube_binary64`
6×	`add-exp-log_binary64`

Counts

4 → 65

Calls

4 calls:

6.0ms	(*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1))
3.0ms	(+.f64 (cos.f64 eps) -1)
0.0ms	(fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))
0.0ms	(log1p.f64 (expm1.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))))

series1.3s (14.5%)

Counts

4 → 84

Calls

4 calls:

1.2s	(log1p.f64 (expm1.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))))
56.0ms	(fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))
29.0ms	(*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1))
2.0ms	(+.f64 (cos.f64 eps) -1)

simplify113.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

788×	`fma-def_binary64`
674×	`sub-neg_binary64`
442×	`cancel-sign-sub-inv_binary64`
294×	`distribute-rgt-in_binary64`
256×	`distribute-lft-in_binary64`

Counts

149 → 257

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	195	2724
1	482	2470
2	1524	2421
3	4387	2421
4	5186	2421

prune203.0ms (2.2%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	253	4	257
Fresh	3	9	12
Picked	1	0	1
Done	0	0	0
Total	257	13	270

Error

0.1b

Counts

270 → 13

Alt Table

Status	Error	Program
	22.1b	(log1p.f64 (expm1.f64 (cbrt.f64 (.f64 (.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1))) (fma.f64 (sin.f64 eps) (cos.f64 x) (.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))) (fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))))))
▶	0.5b	(log1p.f64 (expm1.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (+.f64 (*.f64 (cos.f64 eps) (sin.f64 x)) (neg.f64 (sin.f64 x))))))
	23.6b	(-.f64 (+.f64 (.f64 (.f64 (sin.f64 x) (.f64 (cbrt.f64 (cos.f64 eps)) (cbrt.f64 (cos.f64 eps)))) (cbrt.f64 (cos.f64 eps))) (.f64 (cos.f64 x) (sin.f64 eps))) (sin.f64 x))
	31.4b	(log.f64 (exp.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))))
	30.3b	(fma.f64 (.f64 (sin.f64 x) (.f64 eps eps)) -1/2 (*.f64 eps (cos.f64 x)))
	23.5b	(-.f64 (expm1.f64 (log1p.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (cos.f64 eps) (sin.f64 x))))) (sin.f64 x))
	6.3b	(/.f64 (.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1))) (fma.f64 (cos.f64 eps) (sin.f64 x) (fma.f64 (sin.f64 eps) (cos.f64 x) (sin.f64 x)))) (fma.f64 (cos.f64 eps) (sin.f64 x) (fma.f64 (sin.f64 eps) (cos.f64 x) (sin.f64 x))))
	30.3b	(.f64 (sqrt.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))) (sqrt.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))))
	0.6b	(log1p.f64 (expm1.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (.f64 (sin.f64 x) (/.f64 (-.f64 (.f64 (cos.f64 eps) (cos.f64 eps)) (*.f64 -1 -1)) (-.f64 (cos.f64 eps) -1))))))
	1.6b	(.f64 (.f64 (cbrt.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))) (cbrt.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1))))) (cbrt.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))))
	22.1b	(cbrt.f64 (pow.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1))) 3))
	27.7b	(cbrt.f64 (.f64 (.f64 (-.f64 (+.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (.f64 (cos.f64 x) (sin.f64 eps))) (sin.f64 x)) (-.f64 (+.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (.f64 (cos.f64 x) (sin.f64 eps))) (sin.f64 x))) (-.f64 (+.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (.f64 (cos.f64 x) (sin.f64 eps))) (sin.f64 x))))
	0.5b	(log1p.f64 (expm1.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (log.f64 (exp.f64 (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))))))

Compiler

Compiled 4107 to 2024 computations (50.7% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(*.f64 (cos.f64 eps) (sin.f64 x))
✓	0.1b	(log1p.f64 (expm1.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (+.f64 (*.f64 (cos.f64 eps) (sin.f64 x)) (neg.f64 (sin.f64 x))))))
✓	0.2b	(fma.f64 (sin.f64 eps) (cos.f64 x) (+.f64 (*.f64 (cos.f64 eps) (sin.f64 x)) (neg.f64 (sin.f64 x))))
✓	1.1b	(+.f64 (*.f64 (cos.f64 eps) (sin.f64 x)) (neg.f64 (sin.f64 x)))

rewrite12.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

8×	`add-sqr-sqrt_binary64`
8×	`add-log-exp_binary64`
7×	`*-un-lft-identity_binary64`
6×	`add-cube-cbrt_binary64`
6×	`add-cbrt-cube_binary64`

Counts

4 → 60

Calls

4 calls:

4.0ms	(+.f64 (*.f64 (cos.f64 eps) (sin.f64 x)) (neg.f64 (sin.f64 x)))
3.0ms	(*.f64 (cos.f64 eps) (sin.f64 x))
0.0ms	(fma.f64 (sin.f64 eps) (cos.f64 x) (+.f64 (*.f64 (cos.f64 eps) (sin.f64 x)) (neg.f64 (sin.f64 x))))
0.0ms	(log1p.f64 (expm1.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (+.f64 (*.f64 (cos.f64 eps) (sin.f64 x)) (neg.f64 (sin.f64 x))))))

series1.3s (14.2%)

Counts

4 → 92

Calls

4 calls:

1.2s	(log1p.f64 (expm1.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (+.f64 (*.f64 (cos.f64 eps) (sin.f64 x)) (neg.f64 (sin.f64 x))))))
58.0ms	(fma.f64 (sin.f64 eps) (cos.f64 x) (+.f64 (*.f64 (cos.f64 eps) (sin.f64 x)) (neg.f64 (sin.f64 x))))
38.0ms	(+.f64 (*.f64 (cos.f64 eps) (sin.f64 x)) (neg.f64 (sin.f64 x)))
27.0ms	(*.f64 (cos.f64 eps) (sin.f64 x))

simplify121.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

639×	`unsub-neg_binary64`
507×	`cancel-sign-sub-inv_binary64`
322×	`fma-neg_binary64`
289×	`distribute-rgt-in_binary64`
260×	`neg-sub0_binary64`

Counts

152 → 272

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	202	2958
1	491	2614
2	1609	2545
3	4433	2544
4	5323	2544

prune194.0ms (2.1%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	271	1	272
Fresh	2	10	12
Picked	0	1	1
Done	0	0	0
Total	273	12	285

Error

0.1b

Counts

285 → 12

Alt Table

Status	Error	Program
	22.1b	(log1p.f64 (expm1.f64 (cbrt.f64 (.f64 (.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1))) (fma.f64 (sin.f64 eps) (cos.f64 x) (.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))) (fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))))))
✓	0.5b	(log1p.f64 (expm1.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (+.f64 (*.f64 (cos.f64 eps) (sin.f64 x)) (neg.f64 (sin.f64 x))))))
	0.4b	(log1p.f64 (expm1.f64 (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))))))
	31.4b	(log.f64 (exp.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))))
	23.5b	(-.f64 (expm1.f64 (log1p.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (cos.f64 eps) (sin.f64 x))))) (sin.f64 x))
	6.3b	(/.f64 (.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1))) (fma.f64 (cos.f64 eps) (sin.f64 x) (fma.f64 (sin.f64 eps) (cos.f64 x) (sin.f64 x)))) (fma.f64 (cos.f64 eps) (sin.f64 x) (fma.f64 (sin.f64 eps) (cos.f64 x) (sin.f64 x))))
	30.3b	(.f64 (sqrt.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))) (sqrt.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))))
	0.6b	(log1p.f64 (expm1.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (.f64 (sin.f64 x) (/.f64 (-.f64 (.f64 (cos.f64 eps) (cos.f64 eps)) (*.f64 -1 -1)) (-.f64 (cos.f64 eps) -1))))))
	1.6b	(.f64 (.f64 (cbrt.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))) (cbrt.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1))))) (cbrt.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))))
	22.1b	(cbrt.f64 (pow.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1))) 3))
	27.7b	(cbrt.f64 (.f64 (.f64 (-.f64 (+.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (.f64 (cos.f64 x) (sin.f64 eps))) (sin.f64 x)) (-.f64 (+.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (.f64 (cos.f64 x) (sin.f64 eps))) (sin.f64 x))) (-.f64 (+.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (.f64 (cos.f64 x) (sin.f64 eps))) (sin.f64 x))))
	0.5b	(log1p.f64 (expm1.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (log.f64 (exp.f64 (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))))))

Compiler

Compiled 3976 to 1538 computations (61.3% saved)

regimes869.0ms (9.6%)

Accuracy

Total 0.3b remaining (78.1%)

Threshold costs 0.3b (78.1%)

Compiler

Compiled 14136 to 8762 computations (38% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

2×	`+-commutative_binary64`
2×	`*-commutative_binary64`
1×	`sub-neg_binary64`
1×	`unsub-neg_binary64`
1×	`neg-sub0_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	21
1	18	21
2	20	21
3	21	21
4	21	21

end1.0ms (0%)

Compiler: Compiled 15 to 9 computations (40% saved)

sample4.0s (43.7%)

Algorithm

1×

intervals

Results

1.6s	3485×	body	1024	valid
1.3s	1272×	body	2048	valid
331.0ms	1350×	body	512	valid
109.0ms	1334×	body	128	valid
90.0ms	556×	body	256	valid
9.0ms	3×	body	4096	valid

Compiler

Compiled 370 to 203 computations (45.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

analyze26.0ms (0.3%)

sample161.0ms (1.8%)

simplify13.0ms (0.1%)

prune2.0ms (0%)

localize6.0ms (0.1%)

rewrite11.0ms (0.1%)

series16.0ms (0.2%)

simplify118.0ms (1.3%)

prune74.0ms (0.8%)

localize11.0ms (0.1%)

rewrite23.0ms (0.3%)

series165.0ms (1.8%)

simplify163.0ms (1.8%)

prune148.0ms (1.6%)

localize15.0ms (0.2%)

rewrite13.0ms (0.1%)

series1.3s (14.5%)

simplify113.0ms (1.2%)

prune203.0ms (2.2%)

localize13.0ms (0.1%)

rewrite12.0ms (0.1%)

series1.3s (14.2%)

simplify121.0ms (1.3%)

prune194.0ms (2.1%)

regimes869.0ms (9.6%)

simplify3.0ms (0%)

end1.0ms (0%)

sample4.0s (43.7%)

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