Details

analyze25.0ms (0.4%)

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)

sample113.0ms (1.7%)

Algorithm

1×

intervals

Results

51.0ms	113×	body	1024	valid
36.0ms	35×	body	2048	valid
10.0ms	42×	body	512	valid
4.0ms	25×	body	256	valid
3.0ms	41×	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 → 0

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

prune1.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Kept	Total
New	0	0
Fresh	1	1
Picked	0	0
Done	0	0
Total	1	1

Error

39.0b

Counts

1 → 1

Alt Table

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

Compiler

Compiled 18 to 12 computations (33.3% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

1.3b	(-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))
4.7b	(sin.f64 (+.f64 x eps))

rewrite44.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Error

20.8b

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:

7.0ms	(-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))
3.0ms	(sin.f64 (+.f64 x eps))

Compiler

Compiled 781 to 162 computations (79.3% saved)

series38.0ms (0.6%)

Error

16.2b

Counts

2 → 22

Calls

2 calls:

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

Compiler

Compiled 636 to 376 computations (40.9% saved)

simplify83.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

578×	`fma-neg_binary64`
483×	`associate-l_binary64`
381×	`fma-def_binary64`
284×	`distribute-rgt-in_binary64`
263×	`distribute-rgt-neg-in_binary64`

Counts

64 → 44

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	118	970
1	256	898
2	786	839
3	2349	831
4	4469	831
5	4868	831

prune28.0ms (0.4%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	40	4	44
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	41	4	45

Error

0.3b

Counts

45 → 4

Alt Table

Status	Error	Program
	21.2b	(+.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (-.f64 (.f64 (sin.f64 eps) (cos.f64 x)) (sin.f64 x)))
	33.3b	(.f64 eps (-.f64 (cos.f64 x) (.f64 eps (*.f64 1/2 (sin.f64 x)))))
	39.0b	(+.f64 (-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x)) 0)
▶	21.2b	(-.f64 (+.f64 (.f64 (cos.f64 eps) (sin.f64 x)) (.f64 (sin.f64 eps) (cos.f64 x))) (sin.f64 x))

Compiler

Compiled 575 to 229 computations (60.2% saved)

localize12.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.2b	(*.f64 (cos.f64 eps) (sin.f64 x))
0.2b	(+.f64 (.f64 (cos.f64 eps) (sin.f64 x)) (.f64 (sin.f64 eps) (cos.f64 x)))
0.2b	(*.f64 (sin.f64 eps) (cos.f64 x))
3.0b	(-.f64 (+.f64 (.f64 (cos.f64 eps) (sin.f64 x)) (.f64 (sin.f64 eps) (cos.f64 x))) (sin.f64 x))

rewrite98.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Error

0.2b

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:

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

Compiler

Compiled 2096 to 348 computations (83.4% saved)

series100.0ms (1.5%)

Error

0.3b

Counts

4 → 41

Calls

4 calls:

26.0ms	(-.f64 (+.f64 (.f64 (cos.f64 eps) (sin.f64 x)) (.f64 (sin.f64 eps) (cos.f64 x))) (sin.f64 x))
22.0ms	(+.f64 (.f64 (cos.f64 eps) (sin.f64 x)) (.f64 (sin.f64 eps) (cos.f64 x)))
21.0ms	(*.f64 (sin.f64 eps) (cos.f64 x))
18.0ms	(*.f64 (cos.f64 eps) (sin.f64 x))

Compiler

Compiled 1655 to 929 computations (43.9% saved)

simplify145.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

592×	`times-frac_binary64`
462×	`*-commutative_binary64`
447×	`cancel-sign-sub-inv_binary64`
316×	`fma-neg_binary64`
293×	`sub-neg_binary64`

Counts

128 → 95

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	202	2293
1	498	2122
2	1735	2040
3	4119	2029
4	4732	2025
5	5758	2025

prune65.0ms (1%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	87	8	95
Fresh	0	3	3
Picked	1	0	1
Done	0	0	0
Total	88	11	99

Error

0.2b

Counts

99 → 11

Alt Table

Status	Error	Program
	21.2b	(+.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (-.f64 (.f64 (sin.f64 eps) (cos.f64 x)) (sin.f64 x)))
	33.3b	(.f64 eps (-.f64 (cos.f64 x) (.f64 eps (*.f64 1/2 (sin.f64 x)))))
	53.2b	(.f64 (+.f64 (sqrt.f64 (sin.f64 x)) (sqrt.f64 (fma.f64 (cos.f64 x) (sin.f64 eps) (.f64 (sin.f64 x) (cos.f64 eps))))) (-.f64 (sqrt.f64 (fma.f64 (cos.f64 x) (sin.f64 eps) (*.f64 (sin.f64 x) (cos.f64 eps)))) (sqrt.f64 (sin.f64 x))))
	23.5b	(/.f64 (-.f64 (pow.f64 (cbrt.f64 (fma.f64 (cos.f64 x) (sin.f64 eps) (.f64 (sin.f64 x) (cos.f64 eps)))) 6) (.f64 (sin.f64 x) (sin.f64 x))) (fma.f64 (sin.f64 x) (cos.f64 eps) (fma.f64 (cos.f64 x) (sin.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)))))
	18.3b	(cbrt.f64 (pow.f64 (fma.f64 (cos.f64 x) (sin.f64 eps) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1))) 3))
	39.0b	(+.f64 (-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x)) 0)
	21.2b	(-.f64 (fma.f64 (cos.f64 x) (sin.f64 eps) (*.f64 (sin.f64 x) (cos.f64 eps))) (sin.f64 x))
	22.1b	(-.f64 (+.f64 (log.f64 (exp.f64 (.f64 (sin.f64 x) (cos.f64 eps)))) (.f64 (sin.f64 eps) (cos.f64 x))) (sin.f64 x))
	23.7b	(-.f64 (/.f64 (+.f64 (pow.f64 (.f64 (cos.f64 x) (sin.f64 eps)) 3) (pow.f64 (.f64 (sin.f64 x) (cos.f64 eps)) 3)) (fma.f64 (cos.f64 x) (.f64 (cos.f64 x) (.f64 (sin.f64 eps) (sin.f64 eps))) (.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (-.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (.f64 (cos.f64 x) (sin.f64 eps)))))) (sin.f64 x))
	28.4b	(-.f64 (log.f64 (exp.f64 (fma.f64 (cos.f64 x) (sin.f64 eps) (*.f64 (sin.f64 x) (cos.f64 eps))))) (sin.f64 x))

Compiler

Compiled 1912 to 689 computations (64% saved)

localize17.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 (fma.f64 (cos.f64 x) (sin.f64 eps) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1))))
1.7b	(+.f64 (cos.f64 eps) -1)
1.7b	(+.f64 (cos.f64 eps) -1)
1.7b	(+.f64 (cos.f64 eps) -1)

rewrite85.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

14×	`*-un-lft-identity_binary64`
11×	`add-sqr-sqrt_binary64`
10×	`add-log-exp_binary64`
9×	`fma-def_binary64`
8×	`add-cube-cbrt_binary64`

Counts

4 → 67

Calls

4 calls:

5.0ms	(+.f64 (cos.f64 eps) -1)
3.0ms	(+.f64 (cos.f64 eps) -1)
3.0ms	(+.f64 (cos.f64 eps) -1)
1.0ms	(cbrt.f64 (fma.f64 (cos.f64 x) (sin.f64 eps) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1))))

Compiler

Compiled 3049 to 1341 computations (56% saved)

series143.0ms (2.2%)

Error

0.2b

Counts

4 → 25

Calls

4 calls:

83.0ms	(cbrt.f64 (fma.f64 (cos.f64 x) (sin.f64 eps) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1))))
20.0ms	(+.f64 (cos.f64 eps) -1)
11.0ms	(+.f64 (cos.f64 eps) -1)
9.0ms	(+.f64 (cos.f64 eps) -1)

Compiler

Compiled 3425 to 1920 computations (43.9% saved)

simplify83.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

594×	`unswap-sqr_binary64`
429×	`associate-r_binary64`
388×	`fma-def_binary64`
386×	`associate-l_binary64`
301×	`sub-neg_binary64`

Counts

92 → 65

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	143	1494
1	357	1433
2	936	1340
3	3821	1310
4	5325	1310

prune84.0ms (1.3%)

Pruning

16 alts after pruning (16 fresh and 0 done)

	Pruned	Kept	Total
New	59	6	65
Fresh	0	10	10
Picked	1	0	1
Done	0	0	0
Total	60	16	76

Error

0.1b

Counts

76 → 16

Alt Table

Status	Error	Program
	1.9b	(.f64 (.f64 (.f64 (.f64 (cbrt.f64 (cbrt.f64 (fma.f64 (-.f64 (cos.f64 eps) 1) (sin.f64 x) (.f64 (sin.f64 eps) (cos.f64 x))))) (cbrt.f64 (cbrt.f64 (fma.f64 (-.f64 (cos.f64 eps) 1) (sin.f64 x) (.f64 (sin.f64 eps) (cos.f64 x)))))) (cbrt.f64 (cbrt.f64 (fma.f64 (-.f64 (cos.f64 eps) 1) (sin.f64 x) (.f64 (sin.f64 eps) (cos.f64 x)))))) (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)))))
	1.6b	(.f64 (.f64 (cbrt.f64 (fma.f64 (cos.f64 x) (sin.f64 eps) (.f64 (sin.f64 x) (cbrt.f64 (pow.f64 (-.f64 (cos.f64 eps) 1) 3))))) (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)))))
	53.2b	(.f64 (+.f64 (sqrt.f64 (sin.f64 x)) (sqrt.f64 (fma.f64 (cos.f64 x) (sin.f64 eps) (.f64 (sin.f64 x) (cos.f64 eps))))) (-.f64 (sqrt.f64 (fma.f64 (cos.f64 x) (sin.f64 eps) (*.f64 (sin.f64 x) (cos.f64 eps)))) (sqrt.f64 (sin.f64 x))))
▶	1.6b	(.f64 (.f64 (cbrt.f64 (fma.f64 (cos.f64 x) (sin.f64 eps) (.f64 (sin.f64 x) (log.f64 (exp.f64 (-.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)))))
	23.5b	(/.f64 (-.f64 (pow.f64 (cbrt.f64 (fma.f64 (cos.f64 x) (sin.f64 eps) (.f64 (sin.f64 x) (cos.f64 eps)))) 6) (.f64 (sin.f64 x) (sin.f64 x))) (fma.f64 (sin.f64 x) (cos.f64 eps) (fma.f64 (cos.f64 x) (sin.f64 eps) (sin.f64 x))))
	21.2b	(+.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (-.f64 (.f64 (sin.f64 eps) (cos.f64 x)) (sin.f64 x)))
	33.3b	(.f64 eps (-.f64 (cos.f64 x) (.f64 eps (*.f64 1/2 (sin.f64 x)))))
	39.0b	(+.f64 (-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x)) 0)
	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 (neg.f64 (pow.f64 (sin.f64 eps) 2)) (+.f64 (cos.f64 eps) 1))))))
	34.8b	(.f64 (.f64 (.f64 (cbrt.f64 (sqrt.f64 (fma.f64 (-.f64 (cos.f64 eps) 1) (sin.f64 x) (.f64 (sin.f64 eps) (cos.f64 x))))) (cbrt.f64 (sqrt.f64 (fma.f64 (-.f64 (cos.f64 eps) 1) (sin.f64 x) (.f64 (sin.f64 eps) (cos.f64 x)))))) (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)))))
	18.3b	(cbrt.f64 (pow.f64 (fma.f64 (cos.f64 x) (sin.f64 eps) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1))) 3))
	4.5b	(.f64 (.f64 (expm1.f64 (log1p.f64 (cbrt.f64 (fma.f64 (-.f64 (cos.f64 eps) 1) (sin.f64 x) (.f64 (sin.f64 eps) (cos.f64 x)))))) (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)))))
	21.2b	(-.f64 (fma.f64 (cos.f64 x) (sin.f64 eps) (*.f64 (sin.f64 x) (cos.f64 eps))) (sin.f64 x))
	22.1b	(-.f64 (+.f64 (log.f64 (exp.f64 (.f64 (sin.f64 x) (cos.f64 eps)))) (.f64 (sin.f64 eps) (cos.f64 x))) (sin.f64 x))
	23.7b	(-.f64 (/.f64 (+.f64 (pow.f64 (.f64 (cos.f64 x) (sin.f64 eps)) 3) (pow.f64 (.f64 (sin.f64 x) (cos.f64 eps)) 3)) (fma.f64 (cos.f64 x) (.f64 (cos.f64 x) (.f64 (sin.f64 eps) (sin.f64 eps))) (.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (-.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (.f64 (cos.f64 x) (sin.f64 eps)))))) (sin.f64 x))
	28.4b	(-.f64 (log.f64 (exp.f64 (fma.f64 (cos.f64 x) (sin.f64 eps) (*.f64 (sin.f64 x) (cos.f64 eps))))) (sin.f64 x))

Compiler

Compiled 3874 to 1821 computations (53% saved)

localize26.0ms (0.4%)

Local error

Found 4 expressions with local error:

1.6b	(log.f64 (exp.f64 (-.f64 (cos.f64 eps) 1)))
1.7b	(+.f64 (cos.f64 eps) -1)
1.7b	(+.f64 (cos.f64 eps) -1)
1.7b	(-.f64 (cos.f64 eps) 1)

rewrite149.0ms (2.3%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

33×	`*-un-lft-identity_binary64`
33×	`add-sqr-sqrt_binary64`
23×	`add-cube-cbrt_binary64`
18×	`prod-diff_binary64`
16×	`log-prod_binary64`

Counts

4 → 104

Calls

4 calls:

6.0ms	(log.f64 (exp.f64 (-.f64 (cos.f64 eps) 1)))
4.0ms	(-.f64 (cos.f64 eps) 1)
3.0ms	(+.f64 (cos.f64 eps) -1)
3.0ms	(+.f64 (cos.f64 eps) -1)

Compiler

Compiled 5006 to 2479 computations (50.5% saved)

series67.0ms (1%)

Error

0.1b

Counts

4 → 20

Calls

4 calls:

16.0ms	(log.f64 (exp.f64 (-.f64 (cos.f64 eps) 1)))
13.0ms	(+.f64 (cos.f64 eps) -1)
11.0ms	(+.f64 (cos.f64 eps) -1)
10.0ms	(-.f64 (cos.f64 eps) 1)

Compiler

Compiled 2317 to 1313 computations (43.3% saved)

simplify130.0ms (2%)

Algorithm

1×	egg-herbie

Rules

762×	`fma-def_binary64`
718×	`unsub-neg_binary64`
304×	`fma-neg_binary64`
286×	`distribute-rgt-in_binary64`
259×	`neg-sub0_binary64`

Counts

124 → 93

Iterations

Useful iterations: 6 (0.0ms)

Iter	Nodes	Cost
0	113	1130
1	174	1061
2	325	1053
3	981	1047
4	3272	1047
5	4322	1047
6	4935	1041
7	4959	1041

prune85.0ms (1.3%)

Pruning

17 alts after pruning (16 fresh and 1 done)

	Pruned	Kept	Total
New	90	3	93
Fresh	2	13	15
Picked	0	1	1
Done	0	0	0
Total	92	17	109

Error

0.1b

Counts

109 → 17

Alt Table

Status	Error	Program
	1.9b	(.f64 (.f64 (.f64 (.f64 (cbrt.f64 (cbrt.f64 (fma.f64 (-.f64 (cos.f64 eps) 1) (sin.f64 x) (.f64 (sin.f64 eps) (cos.f64 x))))) (cbrt.f64 (cbrt.f64 (fma.f64 (-.f64 (cos.f64 eps) 1) (sin.f64 x) (.f64 (sin.f64 eps) (cos.f64 x)))))) (cbrt.f64 (cbrt.f64 (fma.f64 (-.f64 (cos.f64 eps) 1) (sin.f64 x) (.f64 (sin.f64 eps) (cos.f64 x)))))) (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)))))
	53.2b	(.f64 (+.f64 (sqrt.f64 (sin.f64 x)) (sqrt.f64 (fma.f64 (cos.f64 x) (sin.f64 eps) (.f64 (sin.f64 x) (cos.f64 eps))))) (-.f64 (sqrt.f64 (fma.f64 (cos.f64 x) (sin.f64 eps) (*.f64 (sin.f64 x) (cos.f64 eps)))) (sqrt.f64 (sin.f64 x))))
	1.5b	(.f64 (.f64 (cbrt.f64 (fma.f64 (cos.f64 x) (sin.f64 eps) (.f64 (sin.f64 x) (log.f64 (exp.f64 (-.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) (log.f64 (exp.f64 (-.f64 (cos.f64 eps) 1)))))))
	1.6b	(.f64 (.f64 (cbrt.f64 (fma.f64 (cos.f64 x) (sin.f64 eps) (.f64 (sin.f64 x) (log.f64 (exp.f64 (-.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)))))
	23.5b	(/.f64 (-.f64 (pow.f64 (cbrt.f64 (fma.f64 (cos.f64 x) (sin.f64 eps) (.f64 (sin.f64 x) (cos.f64 eps)))) 6) (.f64 (sin.f64 x) (sin.f64 x))) (fma.f64 (sin.f64 x) (cos.f64 eps) (fma.f64 (cos.f64 x) (sin.f64 eps) (sin.f64 x))))
	21.2b	(+.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (-.f64 (.f64 (sin.f64 eps) (cos.f64 x)) (sin.f64 x)))
	33.3b	(.f64 eps (-.f64 (cos.f64 x) (.f64 eps (*.f64 1/2 (sin.f64 x)))))
	34.8b	(.f64 (.f64 (.f64 (cbrt.f64 (sqrt.f64 (fma.f64 (-.f64 (cos.f64 eps) 1) (sin.f64 x) (.f64 (sin.f64 eps) (cos.f64 x))))) (cbrt.f64 (sqrt.f64 (fma.f64 (-.f64 (cos.f64 eps) 1) (sin.f64 x) (.f64 (sin.f64 eps) (cos.f64 x)))))) (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)))))
	1.5b	(.f64 (.f64 (cbrt.f64 (fma.f64 (cos.f64 x) (sin.f64 eps) (.f64 (sin.f64 x) (log.f64 (exp.f64 (-.f64 (cos.f64 eps) 1)))))) (cbrt.f64 (fma.f64 (cos.f64 x) (sin.f64 eps) (.f64 (sin.f64 x) (/.f64 (+.f64 -1 (pow.f64 (cos.f64 eps) 3)) (fma.f64 (cos.f64 eps) (+.f64 (cos.f64 eps) 1) 1)))))) (cbrt.f64 (fma.f64 (cos.f64 x) (sin.f64 eps) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))))
	18.3b	(cbrt.f64 (pow.f64 (fma.f64 (cos.f64 x) (sin.f64 eps) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1))) 3))
	4.5b	(.f64 (.f64 (expm1.f64 (log1p.f64 (cbrt.f64 (fma.f64 (-.f64 (cos.f64 eps) 1) (sin.f64 x) (.f64 (sin.f64 eps) (cos.f64 x)))))) (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)))))
	32.1b	(.f64 (.f64 (cbrt.f64 (fma.f64 (cos.f64 x) (sin.f64 eps) (.f64 (sin.f64 x) (log.f64 (exp.f64 (-.f64 (cos.f64 eps) 1)))))) (cbrt.f64 (fma.f64 (cos.f64 x) (sin.f64 eps) (.f64 (sin.f64 x) (fma.f64 (pow.f64 eps 6) -1/720 (fma.f64 -1/2 (.f64 eps eps) (.f64 1/24 (pow.f64 eps 4)))))))) (cbrt.f64 (fma.f64 (cos.f64 x) (sin.f64 eps) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))))
	39.0b	(+.f64 (-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x)) 0)
	21.2b	(-.f64 (fma.f64 (cos.f64 x) (sin.f64 eps) (*.f64 (sin.f64 x) (cos.f64 eps))) (sin.f64 x))
	22.1b	(-.f64 (+.f64 (log.f64 (exp.f64 (.f64 (sin.f64 x) (cos.f64 eps)))) (.f64 (sin.f64 eps) (cos.f64 x))) (sin.f64 x))
	23.7b	(-.f64 (/.f64 (+.f64 (pow.f64 (.f64 (cos.f64 x) (sin.f64 eps)) 3) (pow.f64 (.f64 (sin.f64 x) (cos.f64 eps)) 3)) (fma.f64 (cos.f64 x) (.f64 (cos.f64 x) (.f64 (sin.f64 eps) (sin.f64 eps))) (.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (-.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (.f64 (cos.f64 x) (sin.f64 eps)))))) (sin.f64 x))
	28.4b	(-.f64 (log.f64 (exp.f64 (fma.f64 (cos.f64 x) (sin.f64 eps) (*.f64 (sin.f64 x) (cos.f64 eps))))) (sin.f64 x))

Compiler

Compiled 3553 to 1692 computations (52.4% saved)

regimes775.0ms (11.7%)

Accuracy

Total 0.2b remaining (59.8%)

Threshold costs 0.2b (59.8%)

Compiler

Compiled 16954 to 9023 computations (46.8% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

1×	`+-commutative_binary64`
1×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	19
1	13	19
2	13	19

end1.0ms (0%)

Compiler: Compiled 14 to 10 computations (28.6% saved)

sample4.2s (63.3%)

Algorithm

1×

intervals

Results

1.7s	3474×	body	1024	valid
1.3s	1178×	body	2048	valid
338.0ms	1386×	body	512	valid
109.0ms	1316×	body	128	valid
101.0ms	643×	body	256	valid
9.0ms	3×	body	4096	valid

Compiler

Compiled 631 to 349 computations (44.7% 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

analyze25.0ms (0.4%)

sample113.0ms (1.7%)

simplify14.0ms (0.2%)

prune1.0ms (0%)

localize6.0ms (0.1%)

rewrite44.0ms (0.7%)

series38.0ms (0.6%)

simplify83.0ms (1.3%)

prune28.0ms (0.4%)

localize12.0ms (0.2%)

rewrite98.0ms (1.5%)

series100.0ms (1.5%)

simplify145.0ms (2.2%)

prune65.0ms (1%)

localize17.0ms (0.3%)

rewrite85.0ms (1.3%)

series143.0ms (2.2%)

simplify83.0ms (1.3%)

prune84.0ms (1.3%)

localize26.0ms (0.4%)

rewrite149.0ms (2.3%)

series67.0ms (1%)

simplify130.0ms (2%)

prune85.0ms (1.3%)

regimes775.0ms (11.7%)

simplify3.0ms (0%)

end1.0ms (0%)

sample4.2s (63.3%)

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