Details

analyze1.3s (10.3%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
12.5%	87.4%	0.1%	5
18.7%	81.2%	0.1%	6
21.9%	78%	0.1%	7
23.4%	76.5%	0.1%	8
24.2%	75.7%	0.1%	9
24.6%	75.3%	0.1%	10
24.8%	75.1%	0.1%	11
24.9%	75%	0.1%	12
24.9%	75%	0.1%	13
25%	75%	0.1%	14

Compiler

Compiled 10 to 7 computations (30% saved)

sample3.4s (27.7%)

Alt Table

Status	Error	Program
▶	37.4b	(-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x))

Results

1.7s	3645×	body	1024	valid
890.0ms	1224×	body	2048	valid
470.0ms	1393×	body	512	valid
171.0ms	1387×	body	128	valid
137.0ms	607×	body	256	valid

Compiler

Compiled 47 to 32 computations (31.9% saved)

localize6.0ms (0%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.8b	(-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x))
✓	3.1b	(tan.f64 (+.f64 x eps))

series78.0ms (0.6%)

Counts

2 → 48

Calls

2 calls:

47.0ms	(-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x))
31.0ms	(tan.f64 (+.f64 x eps))

rewrite115.0ms (0.9%)

Algorithm

2×	batch-egg-rewrite

Rules

883×	`prod-diff_binary64`
412×	`fma-def_binary64`
215×	`fma-neg_binary64`
170×	`expm1-udef_binary64`
170×	`log1p-udef_binary64`

Counts

2 → 115

Calls

2 calls:

111.0ms	(-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x))
111.0ms	(tan.f64 (+.f64 x eps))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	17
1	169	17
2	2430	17
3	4853	17
4	4989	17
5	4989	17
0	0	0
1	0	0

prune122.0ms (1%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	157	6	163
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	158	6	164

Error

0.1b

Counts

164 → 6

Alt Table

Status	Error	Program
▶	22.3b	(fma.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (/.f64 1 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))) (neg.f64 (tan.f64 x)))
	22.4b	(+.f64 (fma.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (/.f64 1 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 eps)))) (neg.f64 (.f64 (/.f64 1 (cos.f64 x)) (sin.f64 x)))) (fma.f64 (neg.f64 (/.f64 1 (cos.f64 x))) (sin.f64 x) (*.f64 (/.f64 1 (cos.f64 x)) (sin.f64 x))))
	29.7b	(*.f64 eps (+.f64 1 (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2))))
	22.3b	(/.f64 (-.f64 (.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (cos.f64 x)) (.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 eps))) (sin.f64 x))) (.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps))) (cos.f64 x)))
	30.1b	(+.f64 (/.f64 (.f64 (pow.f64 eps 2) (pow.f64 (sin.f64 x) 3)) (pow.f64 (cos.f64 x) 3)) (+.f64 (/.f64 (.f64 (pow.f64 eps 2) (sin.f64 x)) (cos.f64 x)) (+.f64 eps (+.f64 (/.f64 (.f64 (pow.f64 eps 3) (pow.f64 (sin.f64 x) 4)) (pow.f64 (cos.f64 x) 4)) (+.f64 (.f64 5/3 (/.f64 (.f64 (pow.f64 eps 4) (pow.f64 (sin.f64 x) 3)) (pow.f64 (cos.f64 x) 3))) (+.f64 (/.f64 (.f64 (pow.f64 eps 4) (pow.f64 (sin.f64 x) 5)) (pow.f64 (cos.f64 x) 5)) (+.f64 (.f64 4/3 (/.f64 (.f64 (pow.f64 eps 3) (pow.f64 (sin.f64 x) 2)) (pow.f64 (cos.f64 x) 2))) (+.f64 (/.f64 (.f64 eps (pow.f64 (sin.f64 x) 2)) (pow.f64 (cos.f64 x) 2)) (+.f64 (.f64 2/3 (/.f64 (.f64 (pow.f64 eps 4) (sin.f64 x)) (cos.f64 x))) (.f64 1/3 (pow.f64 eps 3)))))))))))
	22.3b	(-.f64 (/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))) (tan.f64 x))

Compiler

Compiled 3700 to 1300 computations (64.9% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(/.f64 1 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps))))
✓	0.1b	(+.f64 (tan.f64 x) (tan.f64 eps))
✓	0.2b	(*.f64 (tan.f64 x) (tan.f64 eps))
✓	3.1b	(fma.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (/.f64 1 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))) (neg.f64 (tan.f64 x)))

series280.0ms (2.3%)

Counts

4 → 96

Calls

4 calls:

142.0ms	(fma.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (/.f64 1 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))) (neg.f64 (tan.f64 x)))
77.0ms	(/.f64 1 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps))))
34.0ms	(*.f64 (tan.f64 x) (tan.f64 eps))
27.0ms	(+.f64 (tan.f64 x) (tan.f64 eps))

rewrite107.0ms (0.9%)

Algorithm

2×	batch-egg-rewrite

Rules

332×	`fma-def_binary64`
218×	`expm1-udef_binary64`
218×	`log1p-udef_binary64`
191×	`log-pow_binary64`
186×	`fma-neg_binary64`

Counts

4 → 150

Calls

4 calls:

103.0ms	(/.f64 1 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps))))
103.0ms	(+.f64 (tan.f64 x) (tan.f64 eps))
103.0ms	(*.f64 (tan.f64 x) (tan.f64 eps))
103.0ms	(fma.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (/.f64 1 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))) (neg.f64 (tan.f64 x)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	59
1	265	56
2	3080	52
3	5000	52
4	4966	52
0	0	0
1	0	0

prune223.0ms (1.8%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	240	6	246
Fresh	1	4	5
Picked	1	0	1
Done	0	0	0
Total	242	10	252

Error

0.1b

Counts

252 → 10

Alt Table

Status	Error	Program
	22.4b	(+.f64 (fma.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (/.f64 1 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 eps)))) (neg.f64 (.f64 (/.f64 1 (cos.f64 x)) (sin.f64 x)))) (fma.f64 (neg.f64 (/.f64 1 (cos.f64 x))) (sin.f64 x) (*.f64 (/.f64 1 (cos.f64 x)) (sin.f64 x))))
	29.7b	(*.f64 eps (+.f64 1 (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2))))
	22.3b	(/.f64 (-.f64 (.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (cos.f64 x)) (.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 eps))) (sin.f64 x))) (.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps))) (cos.f64 x)))
	30.1b	(+.f64 (/.f64 (.f64 (pow.f64 eps 2) (pow.f64 (sin.f64 x) 3)) (pow.f64 (cos.f64 x) 3)) (+.f64 (/.f64 (.f64 (pow.f64 eps 2) (sin.f64 x)) (cos.f64 x)) (+.f64 eps (+.f64 (/.f64 (.f64 (pow.f64 eps 3) (pow.f64 (sin.f64 x) 4)) (pow.f64 (cos.f64 x) 4)) (+.f64 (.f64 5/3 (/.f64 (.f64 (pow.f64 eps 4) (pow.f64 (sin.f64 x) 3)) (pow.f64 (cos.f64 x) 3))) (+.f64 (/.f64 (.f64 (pow.f64 eps 4) (pow.f64 (sin.f64 x) 5)) (pow.f64 (cos.f64 x) 5)) (+.f64 (.f64 4/3 (/.f64 (.f64 (pow.f64 eps 3) (pow.f64 (sin.f64 x) 2)) (pow.f64 (cos.f64 x) 2))) (+.f64 (/.f64 (.f64 eps (pow.f64 (sin.f64 x) 2)) (pow.f64 (cos.f64 x) 2)) (+.f64 (.f64 2/3 (/.f64 (.f64 (pow.f64 eps 4) (sin.f64 x)) (cos.f64 x))) (.f64 1/3 (pow.f64 eps 3)))))))))))
	22.3b	(-.f64 (+.f64 (/.f64 (sin.f64 x) (.f64 (-.f64 1 (/.f64 (.f64 (sin.f64 x) (sin.f64 eps)) (.f64 (cos.f64 eps) (cos.f64 x)))) (cos.f64 x))) (/.f64 (sin.f64 eps) (.f64 (-.f64 1 (/.f64 (.f64 (sin.f64 x) (sin.f64 eps)) (.f64 (cos.f64 eps) (cos.f64 x)))) (cos.f64 eps)))) (/.f64 (sin.f64 x) (cos.f64 x)))
	23.2b	(fma.f64 (.f64 (cbrt.f64 (+.f64 (tan.f64 x) (tan.f64 eps))) (pow.f64 (cbrt.f64 (+.f64 (tan.f64 x) (tan.f64 eps))) 2)) (/.f64 1 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 eps)))) (neg.f64 (tan.f64 x)))
	32.3b	(fma.f64 (log.f64 (.f64 (exp.f64 (tan.f64 x)) (+.f64 1 (expm1.f64 (tan.f64 eps))))) (/.f64 1 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 eps)))) (neg.f64 (tan.f64 x)))
▶	22.3b	(fma.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (/.f64 1 (-.f64 1 (log.f64 (pow.f64 (exp.f64 (tan.f64 x)) (tan.f64 eps))))) (neg.f64 (tan.f64 x)))
	32.4b	(fma.f64 (expm1.f64 (log1p.f64 (+.f64 (tan.f64 x) (tan.f64 eps)))) (/.f64 1 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))) (neg.f64 (tan.f64 x)))
	22.3b	(fma.f64 (+.f64 (/.f64 (sin.f64 x) (cos.f64 x)) (/.f64 (sin.f64 eps) (cos.f64 eps))) (/.f64 1 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))) (neg.f64 (tan.f64 x)))

Compiler

Compiled 7206 to 2683 computations (62.8% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(pow.f64 (exp.f64 (tan.f64 x)) (tan.f64 eps))
✓	0.3b	(exp.f64 (tan.f64 x))
✓	3.1b	(fma.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (/.f64 1 (-.f64 1 (log.f64 (pow.f64 (exp.f64 (tan.f64 x)) (tan.f64 eps))))) (neg.f64 (tan.f64 x)))
✓	4.2b	(log.f64 (pow.f64 (exp.f64 (tan.f64 x)) (tan.f64 eps)))

series3.2s (25.8%)

Counts

4 → 84

Calls

4 calls:

1.3s	(fma.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (/.f64 1 (-.f64 1 (log.f64 (pow.f64 (exp.f64 (tan.f64 x)) (tan.f64 eps))))) (neg.f64 (tan.f64 x)))
1.2s	(log.f64 (pow.f64 (exp.f64 (tan.f64 x)) (tan.f64 eps)))
700.0ms	(pow.f64 (exp.f64 (tan.f64 x)) (tan.f64 eps))
8.0ms	(exp.f64 (tan.f64 x))

rewrite75.0ms (0.6%)

Algorithm

2×	batch-egg-rewrite

Rules

361×	`fma-def_binary64`
249×	`expm1-udef_binary64`
249×	`log1p-udef_binary64`
187×	`fma-neg_binary64`
153×	`add-sqr-sqrt_binary64`

Counts

4 → 118

Calls

4 calls:

72.0ms	(pow.f64 (exp.f64 (tan.f64 x)) (tan.f64 eps))
72.0ms	(exp.f64 (tan.f64 x))
72.0ms	(fma.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (/.f64 1 (-.f64 1 (log.f64 (pow.f64 (exp.f64 (tan.f64 x)) (tan.f64 eps))))) (neg.f64 (tan.f64 x)))
72.0ms	(log.f64 (pow.f64 (exp.f64 (tan.f64 x)) (tan.f64 eps)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	52
1	301	49
2	3486	47
3	4934	47
0	0	0
1	0	0

prune221.0ms (1.8%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	199	3	202
Fresh	1	8	9
Picked	0	1	1
Done	0	0	0
Total	200	12	212

Error

0.1b

Counts

212 → 12

Alt Table

Status	Error	Program
	22.4b	(+.f64 (fma.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (/.f64 1 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 eps)))) (neg.f64 (.f64 (/.f64 1 (cos.f64 x)) (sin.f64 x)))) (fma.f64 (neg.f64 (/.f64 1 (cos.f64 x))) (sin.f64 x) (*.f64 (/.f64 1 (cos.f64 x)) (sin.f64 x))))
	29.7b	(*.f64 eps (+.f64 1 (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2))))
	22.3b	(/.f64 (-.f64 (.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (cos.f64 x)) (.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 eps))) (sin.f64 x))) (.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps))) (cos.f64 x)))
	30.1b	(+.f64 (/.f64 (.f64 (pow.f64 eps 2) (pow.f64 (sin.f64 x) 3)) (pow.f64 (cos.f64 x) 3)) (+.f64 (/.f64 (.f64 (pow.f64 eps 2) (sin.f64 x)) (cos.f64 x)) (+.f64 eps (+.f64 (/.f64 (.f64 (pow.f64 eps 3) (pow.f64 (sin.f64 x) 4)) (pow.f64 (cos.f64 x) 4)) (+.f64 (.f64 5/3 (/.f64 (.f64 (pow.f64 eps 4) (pow.f64 (sin.f64 x) 3)) (pow.f64 (cos.f64 x) 3))) (+.f64 (/.f64 (.f64 (pow.f64 eps 4) (pow.f64 (sin.f64 x) 5)) (pow.f64 (cos.f64 x) 5)) (+.f64 (.f64 4/3 (/.f64 (.f64 (pow.f64 eps 3) (pow.f64 (sin.f64 x) 2)) (pow.f64 (cos.f64 x) 2))) (+.f64 (/.f64 (.f64 eps (pow.f64 (sin.f64 x) 2)) (pow.f64 (cos.f64 x) 2)) (+.f64 (.f64 2/3 (/.f64 (.f64 (pow.f64 eps 4) (sin.f64 x)) (cos.f64 x))) (.f64 1/3 (pow.f64 eps 3)))))))))))
▶	22.3b	(fma.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (/.f64 1 (-.f64 1 (.f64 (pow.f64 (cbrt.f64 (tan.f64 x)) 2) (.f64 (cbrt.f64 (tan.f64 x)) (tan.f64 eps))))) (neg.f64 (tan.f64 x)))
	22.3b	(-.f64 (+.f64 (/.f64 (sin.f64 x) (.f64 (-.f64 1 (/.f64 (.f64 (sin.f64 x) (sin.f64 eps)) (.f64 (cos.f64 eps) (cos.f64 x)))) (cos.f64 x))) (/.f64 (sin.f64 eps) (.f64 (-.f64 1 (/.f64 (.f64 (sin.f64 x) (sin.f64 eps)) (.f64 (cos.f64 eps) (cos.f64 x)))) (cos.f64 eps)))) (/.f64 (sin.f64 x) (cos.f64 x)))
	23.2b	(fma.f64 (.f64 (cbrt.f64 (+.f64 (tan.f64 x) (tan.f64 eps))) (pow.f64 (cbrt.f64 (+.f64 (tan.f64 x) (tan.f64 eps))) 2)) (/.f64 1 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 eps)))) (neg.f64 (tan.f64 x)))
	22.3b	(fma.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (/.f64 1 (-.f64 1 (log.f64 (pow.f64 (pow.f64 (cbrt.f64 (exp.f64 (tan.f64 x))) 3) (tan.f64 eps))))) (neg.f64 (tan.f64 x)))
	32.3b	(fma.f64 (log.f64 (.f64 (exp.f64 (tan.f64 x)) (+.f64 1 (expm1.f64 (tan.f64 eps))))) (/.f64 1 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 eps)))) (neg.f64 (tan.f64 x)))
✓	22.3b	(fma.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (/.f64 1 (-.f64 1 (log.f64 (pow.f64 (exp.f64 (tan.f64 x)) (tan.f64 eps))))) (neg.f64 (tan.f64 x)))
	32.4b	(fma.f64 (expm1.f64 (log1p.f64 (+.f64 (tan.f64 x) (tan.f64 eps)))) (/.f64 1 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))) (neg.f64 (tan.f64 x)))
	22.3b	(fma.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (/.f64 1 (-.f64 1 (.f64 (cbrt.f64 (.f64 (tan.f64 x) (tan.f64 eps))) (pow.f64 (cbrt.f64 (*.f64 (tan.f64 x) (tan.f64 eps))) 2)))) (neg.f64 (tan.f64 x)))

Compiler

Compiled 6385 to 2438 computations (61.8% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(.f64 (pow.f64 (cbrt.f64 (tan.f64 x)) 2) (.f64 (cbrt.f64 (tan.f64 x)) (tan.f64 eps)))
✓	0.5b	(pow.f64 (cbrt.f64 (tan.f64 x)) 2)
✓	0.6b	(cbrt.f64 (tan.f64 x))
✓	3.1b	(fma.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (/.f64 1 (-.f64 1 (.f64 (pow.f64 (cbrt.f64 (tan.f64 x)) 2) (.f64 (cbrt.f64 (tan.f64 x)) (tan.f64 eps))))) (neg.f64 (tan.f64 x)))

series721.0ms (5.8%)

Counts

4 → 72

Calls

4 calls:

279.0ms	(pow.f64 (cbrt.f64 (tan.f64 x)) 2)
250.0ms	(cbrt.f64 (tan.f64 x))
155.0ms	(fma.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (/.f64 1 (-.f64 1 (.f64 (pow.f64 (cbrt.f64 (tan.f64 x)) 2) (.f64 (cbrt.f64 (tan.f64 x)) (tan.f64 eps))))) (neg.f64 (tan.f64 x)))
36.0ms	(.f64 (pow.f64 (cbrt.f64 (tan.f64 x)) 2) (.f64 (cbrt.f64 (tan.f64 x)) (tan.f64 eps)))

rewrite77.0ms (0.6%)

Algorithm

2×	batch-egg-rewrite

Rules

417×	`fma-def_binary64`
274×	`expm1-udef_binary64`
274×	`log1p-udef_binary64`
216×	`fma-neg_binary64`
170×	`add-sqr-sqrt_binary64`

Counts

4 → 94

Calls

4 calls:

75.0ms	(.f64 (pow.f64 (cbrt.f64 (tan.f64 x)) 2) (.f64 (cbrt.f64 (tan.f64 x)) (tan.f64 eps)))
75.0ms	(pow.f64 (cbrt.f64 (tan.f64 x)) 2)
75.0ms	(cbrt.f64 (tan.f64 x))
75.0ms	(fma.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (/.f64 1 (-.f64 1 (.f64 (pow.f64 (cbrt.f64 (tan.f64 x)) 2) (.f64 (cbrt.f64 (tan.f64 x)) (tan.f64 eps))))) (neg.f64 (tan.f64 x)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	50
1	347	45
2	3858	43
3	5185	43
0	0	0
1	0	0

prune207.0ms (1.7%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	202	1	203
Fresh	1	9	10
Picked	0	1	1
Done	0	1	1
Total	203	12	215

Error

0.1b

Counts

215 → 12

Alt Table

Status	Error	Program
	22.4b	(+.f64 (fma.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (/.f64 1 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 eps)))) (neg.f64 (.f64 (/.f64 1 (cos.f64 x)) (sin.f64 x)))) (fma.f64 (neg.f64 (/.f64 1 (cos.f64 x))) (sin.f64 x) (*.f64 (/.f64 1 (cos.f64 x)) (sin.f64 x))))
	29.7b	(*.f64 eps (+.f64 1 (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2))))
	22.3b	(fma.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (/.f64 1 (-.f64 1 (.f64 (pow.f64 (cbrt.f64 (tan.f64 x)) 2) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (tan.f64 x))) 3) (tan.f64 eps))))) (neg.f64 (tan.f64 x)))
	32.4b	(fma.f64 (expm1.f64 (log1p.f64 (+.f64 (tan.f64 x) (tan.f64 eps)))) (/.f64 1 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))) (neg.f64 (tan.f64 x)))
	22.3b	(/.f64 (-.f64 (.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (cos.f64 x)) (.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 eps))) (sin.f64 x))) (.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps))) (cos.f64 x)))
	30.1b	(+.f64 (/.f64 (.f64 (pow.f64 eps 2) (pow.f64 (sin.f64 x) 3)) (pow.f64 (cos.f64 x) 3)) (+.f64 (/.f64 (.f64 (pow.f64 eps 2) (sin.f64 x)) (cos.f64 x)) (+.f64 eps (+.f64 (/.f64 (.f64 (pow.f64 eps 3) (pow.f64 (sin.f64 x) 4)) (pow.f64 (cos.f64 x) 4)) (+.f64 (.f64 5/3 (/.f64 (.f64 (pow.f64 eps 4) (pow.f64 (sin.f64 x) 3)) (pow.f64 (cos.f64 x) 3))) (+.f64 (/.f64 (.f64 (pow.f64 eps 4) (pow.f64 (sin.f64 x) 5)) (pow.f64 (cos.f64 x) 5)) (+.f64 (.f64 4/3 (/.f64 (.f64 (pow.f64 eps 3) (pow.f64 (sin.f64 x) 2)) (pow.f64 (cos.f64 x) 2))) (+.f64 (/.f64 (.f64 eps (pow.f64 (sin.f64 x) 2)) (pow.f64 (cos.f64 x) 2)) (+.f64 (.f64 2/3 (/.f64 (.f64 (pow.f64 eps 4) (sin.f64 x)) (cos.f64 x))) (.f64 1/3 (pow.f64 eps 3)))))))))))
✓	22.3b	(fma.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (/.f64 1 (-.f64 1 (.f64 (pow.f64 (cbrt.f64 (tan.f64 x)) 2) (.f64 (cbrt.f64 (tan.f64 x)) (tan.f64 eps))))) (neg.f64 (tan.f64 x)))
	22.3b	(-.f64 (+.f64 (/.f64 (sin.f64 x) (.f64 (-.f64 1 (/.f64 (.f64 (sin.f64 x) (sin.f64 eps)) (.f64 (cos.f64 eps) (cos.f64 x)))) (cos.f64 x))) (/.f64 (sin.f64 eps) (.f64 (-.f64 1 (/.f64 (.f64 (sin.f64 x) (sin.f64 eps)) (.f64 (cos.f64 eps) (cos.f64 x)))) (cos.f64 eps)))) (/.f64 (sin.f64 x) (cos.f64 x)))
	23.2b	(fma.f64 (.f64 (cbrt.f64 (+.f64 (tan.f64 x) (tan.f64 eps))) (pow.f64 (cbrt.f64 (+.f64 (tan.f64 x) (tan.f64 eps))) 2)) (/.f64 1 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 eps)))) (neg.f64 (tan.f64 x)))
	32.3b	(fma.f64 (log.f64 (.f64 (exp.f64 (tan.f64 x)) (+.f64 1 (expm1.f64 (tan.f64 eps))))) (/.f64 1 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 eps)))) (neg.f64 (tan.f64 x)))
✓	22.3b	(fma.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (/.f64 1 (-.f64 1 (log.f64 (pow.f64 (exp.f64 (tan.f64 x)) (tan.f64 eps))))) (neg.f64 (tan.f64 x)))
	22.3b	(fma.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (/.f64 1 (-.f64 1 (.f64 (cbrt.f64 (.f64 (tan.f64 x) (tan.f64 eps))) (pow.f64 (cbrt.f64 (*.f64 (tan.f64 x) (tan.f64 eps))) 2)))) (neg.f64 (tan.f64 x)))

Compiler

Compiled 6482 to 2588 computations (60.1% saved)

regimes1.8s (14.3%)

Accuracy

Total 0.1b remaining (52.3%)

Threshold costs 0.1b (52.3%)

Counts

221 → 3

Compiler

Compiled 15638 to 9925 computations (36.5% saved)

bsearch90.0ms (0.7%)

Steps

Iters	Range		Point
8	4.136858764893555e-8	6.815137965651241e-5	6.687244365865793e-5
9	-0.13465050586351623	-1.6915143279331426e-7	-0.00020625213391552245

Compiler

Compiled 3 to 2 computations (33.3% saved)

simplify11.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

17×	`+-commutative_binary64`
17×	`*-commutative_binary64`
7×	`sub-neg_binary64`
4×	`neg-sub0_binary64`
4×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	74	252
1	109	252
2	121	252
3	128	252
4	132	252
5	133	252
6	132	252

end321.0ms (2.6%)

Compiler: Compiled 762 to 463 computations (39.2% saved)

Details

analyze1.3s (10.3%)

sample3.4s (27.7%)

localize6.0ms (0%)

series78.0ms (0.6%)

rewrite115.0ms (0.9%)

prune122.0ms (1%)

localize10.0ms (0.1%)

series280.0ms (2.3%)

rewrite107.0ms (0.9%)

prune223.0ms (1.8%)

localize13.0ms (0.1%)

series3.2s (25.8%)

rewrite75.0ms (0.6%)

prune221.0ms (1.8%)

localize15.0ms (0.1%)

series721.0ms (5.8%)

rewrite77.0ms (0.6%)

prune207.0ms (1.7%)

regimes1.8s (14.3%)

bsearch90.0ms (0.7%)

simplify11.0ms (0.1%)

end321.0ms (2.6%)

Profiling