Details

analyze937.0ms (7.6%)

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.1s (25.4%)

Results

1.6s	3631×	body	1024	valid
861.0ms	1245×	body	2048	valid
404.0ms	1392×	body	512	valid
145.0ms	1363×	body	128	valid
117.0ms	621×	body	256	valid
5.0ms	4×	body	4096	valid

Compiler

Compiled 29 to 20 computations (31% saved)

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

Counts

2 → 1

Alt Table

Status	Error	Program
▶	37.3b	(-.f64 (tan.f64 (+.f64 x eps)) (tan.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.8b	(-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x))
✓	3.3b	(tan.f64 (+.f64 x eps))

series86.0ms (0.7%)

Counts

2 → 48

Calls

2 calls:

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

rewrite10.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 → 43

Calls

2 calls:

6.0ms	(-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x))
3.0ms	(tan.f64 (+.f64 x eps))

simplify109.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

936×	`fma-def_binary64`
909×	`times-frac_binary64`
194×	`associate-+r+_binary64`
142×	`unswap-sqr_binary64`
125×	`+-commutative_binary64`

Counts

91 → 93

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	207	2570
1	507	2289
2	1787	2148
3	4965	2145
4	4986	2145
5	4943	2145

prune95.0ms (0.8%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	87	6	93
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	88	6	94

Error

0.2b

Counts

94 → 6

Alt Table

Status	Error	Program
	31.4b	(*.f64 eps (+.f64 1 (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2))))
	24.4b	(/.f64 (fma.f64 (sin.f64 x) (+.f64 (.f64 (tan.f64 x) (tan.f64 eps)) -1) (.f64 (cos.f64 x) (+.f64 (tan.f64 x) (tan.f64 eps)))) (.f64 (cos.f64 x) (-.f64 1 (.f64 (tan.f64 x) (tan.f64 eps)))))
▶	24.2b	(-.f64 (/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))) (tan.f64 x))
	31.6b	(+.f64 (+.f64 eps (+.f64 (/.f64 (pow.f64 eps 3) (pow.f64 (/.f64 (cos.f64 x) (sin.f64 x)) 4)) (fma.f64 5/3 (/.f64 (pow.f64 eps 4) (pow.f64 (/.f64 (cos.f64 x) (sin.f64 x)) 3)) (fma.f64 (/.f64 (pow.f64 eps 4) (pow.f64 (cos.f64 x) 5)) (pow.f64 (sin.f64 x) 5) (fma.f64 4/3 (/.f64 (.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 eps 3)) (pow.f64 (cos.f64 x) 2)) (fma.f64 eps (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2)) (fma.f64 1/3 (pow.f64 eps 3) (.f64 2/3 (.f64 (/.f64 (sin.f64 x) (cos.f64 x)) (pow.f64 eps 4)))))))))) (.f64 (/.f64 (*.f64 eps eps) (cos.f64 x)) (+.f64 (sin.f64 x) (/.f64 (pow.f64 (sin.f64 x) 3) (pow.f64 (cos.f64 x) 2)))))
	31.6b	(+.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)))))))))))
	31.5b	(+.f64 (+.f64 (/.f64 (pow.f64 eps 3) (pow.f64 (/.f64 (cos.f64 x) (sin.f64 x)) 4)) (+.f64 (fma.f64 4/3 (/.f64 (.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 eps 3)) (pow.f64 (cos.f64 x) 2)) (.f64 1/3 (pow.f64 eps 3))) (fma.f64 eps (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2)) eps))) (.f64 (/.f64 (.f64 eps eps) (cos.f64 x)) (+.f64 (sin.f64 x) (/.f64 (pow.f64 (sin.f64 x) 3) (pow.f64 (cos.f64 x) 2)))))

Compiler

Compiled 3141 to 1357 computations (56.8% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (-.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.7b	(-.f64 (/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))) (tan.f64 x))

series453.0ms (3.7%)

Counts

4 → 96

Calls

4 calls:

249.0ms	(-.f64 (/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))) (tan.f64 x))
133.0ms	(/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps))))
39.0ms	(*.f64 (tan.f64 x) (tan.f64 eps))
31.0ms	(+.f64 (tan.f64 x) (tan.f64 eps))

rewrite44.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

103×	`*-un-lft-identity_binary64`
74×	`add-sqr-sqrt_binary64`
67×	`add-cube-cbrt_binary64`
61×	`times-frac_binary64`
54×	`prod-diff_binary64`

Counts

4 → 171

Calls

4 calls:

12.0ms	(-.f64 (/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))) (tan.f64 x))
6.0ms	(/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps))))
4.0ms	(*.f64 (tan.f64 x) (tan.f64 eps))
3.0ms	(+.f64 (tan.f64 x) (tan.f64 eps))

simplify240.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

228×	`unswap-sqr_binary64`
225×	`associate-+r+_binary64`
225×	`distribute-rgt-in_binary64`
203×	`distribute-lft-in_binary64`
184×	`associate-l_binary64`

Counts

267 → 245

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	385	10657
1	925	9025
2	3170	8501
3	4767	8501
4	4923	8501

prune273.0ms (2.2%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	239	6	245
Fresh	0	5	5
Picked	1	0	1
Done	0	0	0
Total	240	11	251

Error

0.1b

Counts

251 → 11

Alt Table

Status	Error	Program
	24.2b	(-.f64 (/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (-.f64 1 (/.f64 (*.f64 (sin.f64 x) (tan.f64 eps)) (cos.f64 x)))) (tan.f64 x))
▶	24.2b	(fma.f64 (/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (-.f64 (.f64 1 1) (.f64 (.f64 (tan.f64 x) (tan.f64 eps)) (.f64 (tan.f64 x) (tan.f64 eps))))) (+.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps))) (neg.f64 (tan.f64 x)))
	31.6b	(+.f64 (+.f64 eps (+.f64 (/.f64 (pow.f64 eps 3) (pow.f64 (/.f64 (cos.f64 x) (sin.f64 x)) 4)) (fma.f64 5/3 (/.f64 (pow.f64 eps 4) (pow.f64 (/.f64 (cos.f64 x) (sin.f64 x)) 3)) (fma.f64 (/.f64 (pow.f64 eps 4) (pow.f64 (cos.f64 x) 5)) (pow.f64 (sin.f64 x) 5) (fma.f64 4/3 (/.f64 (.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 eps 3)) (pow.f64 (cos.f64 x) 2)) (fma.f64 eps (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2)) (fma.f64 1/3 (pow.f64 eps 3) (.f64 2/3 (.f64 (/.f64 (sin.f64 x) (cos.f64 x)) (pow.f64 eps 4)))))))))) (.f64 (/.f64 (*.f64 eps eps) (cos.f64 x)) (+.f64 (sin.f64 x) (/.f64 (pow.f64 (sin.f64 x) 3) (pow.f64 (cos.f64 x) 2)))))
	24.8b	(+.f64 (fma.f64 (/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (-.f64 (pow.f64 1 3) (pow.f64 (.f64 (tan.f64 x) (tan.f64 eps)) 3))) (+.f64 (.f64 1 1) (+.f64 (.f64 (.f64 (tan.f64 x) (tan.f64 eps)) (.f64 (tan.f64 x) (tan.f64 eps))) (.f64 1 (.f64 (tan.f64 x) (tan.f64 eps))))) (neg.f64 (.f64 (cbrt.f64 (tan.f64 x)) (.f64 (cbrt.f64 (tan.f64 x)) (cbrt.f64 (tan.f64 x)))))) (fma.f64 (neg.f64 (cbrt.f64 (tan.f64 x))) (.f64 (cbrt.f64 (tan.f64 x)) (cbrt.f64 (tan.f64 x))) (.f64 (cbrt.f64 (tan.f64 x)) (.f64 (cbrt.f64 (tan.f64 x)) (cbrt.f64 (tan.f64 x))))))
	31.4b	(*.f64 eps (+.f64 1 (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2))))
	27.2b	(fma.f64 (/.f64 1 (sqrt.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 eps))))) (/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (sqrt.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 eps))))) (neg.f64 (tan.f64 x)))
	24.4b	(/.f64 (fma.f64 (sin.f64 x) (+.f64 (.f64 (tan.f64 x) (tan.f64 eps)) -1) (.f64 (cos.f64 x) (+.f64 (tan.f64 x) (tan.f64 eps)))) (.f64 (cos.f64 x) (-.f64 1 (.f64 (tan.f64 x) (tan.f64 eps)))))
	24.2b	(+.f64 (fma.f64 (/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (-.f64 1 (pow.f64 (.f64 (tan.f64 x) (tan.f64 eps)) 3))) (fma.f64 (.f64 (tan.f64 x) (tan.f64 eps)) (fma.f64 (tan.f64 x) (tan.f64 eps) 1) 1) (neg.f64 (tan.f64 x))) 0)
	31.6b	(+.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)))))))))))
	31.5b	(+.f64 (+.f64 (/.f64 (pow.f64 eps 3) (pow.f64 (/.f64 (cos.f64 x) (sin.f64 x)) 4)) (+.f64 (fma.f64 4/3 (/.f64 (.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 eps 3)) (pow.f64 (cos.f64 x) 2)) (.f64 1/3 (pow.f64 eps 3))) (fma.f64 eps (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2)) eps))) (.f64 (/.f64 (.f64 eps eps) (cos.f64 x)) (+.f64 (sin.f64 x) (/.f64 (pow.f64 (sin.f64 x) 3) (pow.f64 (cos.f64 x) 2)))))
	24.4b	(-.f64 (/.f64 (+.f64 (/.f64 (sin.f64 x) (cos.f64 x)) (/.f64 (sin.f64 eps) (cos.f64 eps))) (-.f64 1 (/.f64 (.f64 (sin.f64 x) (sin.f64 eps)) (.f64 (cos.f64 eps) (cos.f64 x))))) (tan.f64 x))

Compiler

Compiled 9859 to 3466 computations (64.8% saved)

localize16.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series528.0ms (4.3%)

Counts

2 → 48

Calls

2 calls:

455.0ms

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

72.0ms

(*.f64 (*.f64 (tan.f64 x) (tan.f64 eps)) (*.f64 (tan.f64 x) (tan.f64 eps)))

rewrite13.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

41×	`pow1_binary64`
32×	`tan-quot_binary64`
17×	`frac-times_binary64`
17×	`pow-prod-down_binary64`
14×	`add-cbrt-cube_binary64`

Counts

2 → 61

Calls

2 calls:

7.0ms

(*.f64 (*.f64 (tan.f64 x) (tan.f64 eps)) (*.f64 (tan.f64 x) (tan.f64 eps)))

0.0ms

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

simplify138.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

778×	`fma-def_binary64`
744×	`associate-/r*_binary64`
237×	`associate-/r/_binary64`
226×	`associate-r_binary64`
221×	`associate-l_binary64`

Counts

109 → 106

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	253	6641
1	682	6255
2	2433	5516
3	5662	5516

prune504.0ms (4.1%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	267	4	271
Fresh	2	8	10
Picked	1	0	1
Done	0	0	0
Total	270	12	282

Error

0.1b

Counts

282 → 12

Alt Table

Status	Error	Program
▶	0.7b	(+.f64 (fma.f64 (/.f64 (sin.f64 eps) (.f64 (cos.f64 eps) (-.f64 1 (/.f64 (.f64 (pow.f64 (sin.f64 eps) 2) (pow.f64 (sin.f64 x) 2)) (.f64 (pow.f64 (cos.f64 eps) 2) (pow.f64 (cos.f64 x) 2)))))) (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2)) (/.f64 (sin.f64 eps) (.f64 (cos.f64 eps) (-.f64 1 (/.f64 (.f64 (pow.f64 (sin.f64 eps) 2) (pow.f64 (sin.f64 x) 2)) (.f64 (pow.f64 (cos.f64 eps) 2) (pow.f64 (cos.f64 x) 2))))))) (-.f64 (.f64 (+.f64 (/.f64 (pow.f64 (sin.f64 eps) 2) (pow.f64 (cos.f64 eps) 2)) 1) (/.f64 (sin.f64 x) (.f64 (cos.f64 x) (-.f64 1 (/.f64 (.f64 (pow.f64 (sin.f64 eps) 2) (pow.f64 (sin.f64 x) 2)) (.f64 (pow.f64 (cos.f64 eps) 2) (pow.f64 (cos.f64 x) 2))))))) (/.f64 (sin.f64 x) (cos.f64 x))))
	24.4b	(/.f64 (fma.f64 (sin.f64 x) (+.f64 (.f64 (tan.f64 x) (tan.f64 eps)) -1) (.f64 (cos.f64 x) (+.f64 (tan.f64 x) (tan.f64 eps)))) (.f64 (cos.f64 x) (-.f64 1 (.f64 (tan.f64 x) (tan.f64 eps)))))
	24.7b	(fma.f64 (/.f64 (fma.f64 (.f64 (cbrt.f64 (tan.f64 x)) (cbrt.f64 (tan.f64 x))) (cbrt.f64 (tan.f64 x)) (tan.f64 eps)) (-.f64 (.f64 1 1) (.f64 (.f64 (tan.f64 x) (tan.f64 eps)) (.f64 (tan.f64 x) (tan.f64 eps))))) (+.f64 1 (.f64 (tan.f64 x) (tan.f64 eps))) (neg.f64 (tan.f64 x)))
	31.6b	(+.f64 (+.f64 eps (+.f64 (/.f64 (pow.f64 eps 3) (pow.f64 (/.f64 (cos.f64 x) (sin.f64 x)) 4)) (fma.f64 5/3 (/.f64 (pow.f64 eps 4) (pow.f64 (/.f64 (cos.f64 x) (sin.f64 x)) 3)) (fma.f64 (/.f64 (pow.f64 eps 4) (pow.f64 (cos.f64 x) 5)) (pow.f64 (sin.f64 x) 5) (fma.f64 4/3 (/.f64 (.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 eps 3)) (pow.f64 (cos.f64 x) 2)) (fma.f64 eps (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2)) (fma.f64 1/3 (pow.f64 eps 3) (.f64 2/3 (.f64 (/.f64 (sin.f64 x) (cos.f64 x)) (pow.f64 eps 4)))))))))) (.f64 (/.f64 (*.f64 eps eps) (cos.f64 x)) (+.f64 (sin.f64 x) (/.f64 (pow.f64 (sin.f64 x) 3) (pow.f64 (cos.f64 x) 2)))))
	24.8b	(+.f64 (fma.f64 (/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (-.f64 (pow.f64 1 3) (pow.f64 (.f64 (tan.f64 x) (tan.f64 eps)) 3))) (+.f64 (.f64 1 1) (+.f64 (.f64 (.f64 (tan.f64 x) (tan.f64 eps)) (.f64 (tan.f64 x) (tan.f64 eps))) (.f64 1 (.f64 (tan.f64 x) (tan.f64 eps))))) (neg.f64 (.f64 (cbrt.f64 (tan.f64 x)) (.f64 (cbrt.f64 (tan.f64 x)) (cbrt.f64 (tan.f64 x)))))) (fma.f64 (neg.f64 (cbrt.f64 (tan.f64 x))) (.f64 (cbrt.f64 (tan.f64 x)) (cbrt.f64 (tan.f64 x))) (.f64 (cbrt.f64 (tan.f64 x)) (.f64 (cbrt.f64 (tan.f64 x)) (cbrt.f64 (tan.f64 x))))))
	31.4b	(*.f64 eps (+.f64 1 (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2))))
	27.2b	(fma.f64 (/.f64 1 (sqrt.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 eps))))) (/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (sqrt.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 eps))))) (neg.f64 (tan.f64 x)))
	24.2b	(fma.f64 (/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (-.f64 (.f64 1 1) (/.f64 (.f64 (.f64 (sin.f64 x) (tan.f64 eps)) (.f64 (tan.f64 x) (tan.f64 eps))) (cos.f64 x)))) (+.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps))) (neg.f64 (tan.f64 x)))
	24.2b	(fma.f64 (/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (-.f64 (.f64 1 1) (.f64 (.f64 (tan.f64 x) (tan.f64 eps)) (/.f64 (.f64 (sin.f64 eps) (tan.f64 x)) (cos.f64 eps))))) (+.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps))) (neg.f64 (tan.f64 x)))
	24.2b	(+.f64 (fma.f64 (/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (-.f64 1 (pow.f64 (.f64 (tan.f64 x) (tan.f64 eps)) 3))) (fma.f64 (.f64 (tan.f64 x) (tan.f64 eps)) (fma.f64 (tan.f64 x) (tan.f64 eps) 1) 1) (neg.f64 (tan.f64 x))) 0)
	31.6b	(+.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)))))))))))
	31.5b	(+.f64 (+.f64 (/.f64 (pow.f64 eps 3) (pow.f64 (/.f64 (cos.f64 x) (sin.f64 x)) 4)) (+.f64 (fma.f64 4/3 (/.f64 (.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 eps 3)) (pow.f64 (cos.f64 x) 2)) (.f64 1/3 (pow.f64 eps 3))) (fma.f64 eps (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2)) eps))) (.f64 (/.f64 (.f64 eps eps) (cos.f64 x)) (+.f64 (sin.f64 x) (/.f64 (pow.f64 (sin.f64 x) 3) (pow.f64 (cos.f64 x) 2)))))

Compiler

Compiled 13323 to 4881 computations (63.4% saved)

localize32.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(pow.f64 (sin.f64 x) 2)
✓	0.3b	(pow.f64 (cos.f64 x) 2)
✓	0.3b	(pow.f64 (cos.f64 eps) 2)
✓	2.3b	(-.f64 (.f64 (+.f64 (/.f64 (pow.f64 (sin.f64 eps) 2) (pow.f64 (cos.f64 eps) 2)) 1) (/.f64 (sin.f64 x) (.f64 (cos.f64 x) (-.f64 1 (/.f64 (.f64 (pow.f64 (sin.f64 eps) 2) (pow.f64 (sin.f64 x) 2)) (.f64 (pow.f64 (cos.f64 eps) 2) (pow.f64 (cos.f64 x) 2))))))) (/.f64 (sin.f64 x) (cos.f64 x)))

series1.0s (8.4%)

Counts

4 → 36

Calls

4 calls:

1.0s	(-.f64 (.f64 (+.f64 (/.f64 (pow.f64 (sin.f64 eps) 2) (pow.f64 (cos.f64 eps) 2)) 1) (/.f64 (sin.f64 x) (.f64 (cos.f64 x) (-.f64 1 (/.f64 (.f64 (pow.f64 (sin.f64 eps) 2) (pow.f64 (sin.f64 x) 2)) (.f64 (pow.f64 (cos.f64 eps) 2) (pow.f64 (cos.f64 x) 2))))))) (/.f64 (sin.f64 x) (cos.f64 x)))
3.0ms	(pow.f64 (sin.f64 x) 2)
3.0ms	(pow.f64 (cos.f64 eps) 2)
3.0ms	(pow.f64 (cos.f64 x) 2)

rewrite47.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

24×	`*-un-lft-identity_binary64`
24×	`add-sqr-sqrt_binary64`
24×	`add-cube-cbrt_binary64`
18×	`times-frac_binary64`
13×	`cancel-sign-sub-inv_binary64`

Counts

4 → 105

Calls

4 calls:

31.0ms	(-.f64 (.f64 (+.f64 (/.f64 (pow.f64 (sin.f64 eps) 2) (pow.f64 (cos.f64 eps) 2)) 1) (/.f64 (sin.f64 x) (.f64 (cos.f64 x) (-.f64 1 (/.f64 (.f64 (pow.f64 (sin.f64 eps) 2) (pow.f64 (sin.f64 x) 2)) (.f64 (pow.f64 (cos.f64 eps) 2) (pow.f64 (cos.f64 x) 2))))))) (/.f64 (sin.f64 x) (cos.f64 x)))
4.0ms	(pow.f64 (sin.f64 x) 2)
2.0ms	(pow.f64 (cos.f64 eps) 2)
2.0ms	(pow.f64 (cos.f64 x) 2)

simplify168.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

262×	`associate-r_binary64`
238×	`associate-l_binary64`
208×	`fma-def_binary64`
200×	`associate-/l*_binary64`
187×	`times-frac_binary64`

Counts

141 → 174

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	442	7478
1	1220	6667
2	4525	6649
3	5038	6649

prune2.3s (18.5%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	446	7	453
Fresh	5	6	11
Picked	1	0	1
Done	0	0	0
Total	452	13	465

Error

0.0b

Counts

465 → 13

Alt Table

Status	Error	Program
	0.7b	(+.f64 (fma.f64 (/.f64 (sin.f64 eps) (.f64 (cos.f64 eps) (-.f64 1 (/.f64 (.f64 (pow.f64 (sin.f64 eps) 2) (pow.f64 (sin.f64 x) 2)) (.f64 (pow.f64 (cos.f64 eps) 2) (pow.f64 (cos.f64 x) 2)))))) (/.f64 (expm1.f64 (log1p.f64 (pow.f64 (sin.f64 x) 2))) (pow.f64 (cos.f64 x) 2)) (/.f64 (sin.f64 eps) (.f64 (cos.f64 eps) (-.f64 1 (/.f64 (.f64 (pow.f64 (sin.f64 eps) 2) (pow.f64 (sin.f64 x) 2)) (.f64 (pow.f64 (cos.f64 eps) 2) (pow.f64 (cos.f64 x) 2))))))) (-.f64 (.f64 (+.f64 (/.f64 (pow.f64 (sin.f64 eps) 2) (pow.f64 (cos.f64 eps) 2)) 1) (/.f64 (sin.f64 x) (.f64 (cos.f64 x) (-.f64 1 (/.f64 (.f64 (pow.f64 (sin.f64 eps) 2) (pow.f64 (sin.f64 x) 2)) (.f64 (pow.f64 (cos.f64 eps) 2) (pow.f64 (cos.f64 x) 2))))))) (/.f64 (sin.f64 x) (cos.f64 x))))
	0.9b	(+.f64 (fma.f64 (/.f64 (sin.f64 eps) (.f64 (cos.f64 eps) (-.f64 1 (/.f64 (.f64 (pow.f64 (sin.f64 eps) 2) (pow.f64 (sin.f64 x) 2)) (.f64 (pow.f64 (cos.f64 eps) 2) (pow.f64 (cos.f64 x) 2)))))) (/.f64 (pow.f64 (sin.f64 x) 2) (.f64 (pow.f64 (.f64 (cbrt.f64 (cos.f64 x)) (cbrt.f64 (cos.f64 x))) 2) (pow.f64 (cbrt.f64 (cos.f64 x)) 2))) (/.f64 (sin.f64 eps) (.f64 (cos.f64 eps) (-.f64 1 (/.f64 (.f64 (pow.f64 (sin.f64 eps) 2) (pow.f64 (sin.f64 x) 2)) (.f64 (pow.f64 (cos.f64 eps) 2) (pow.f64 (cos.f64 x) 2))))))) (-.f64 (.f64 (+.f64 (/.f64 (pow.f64 (sin.f64 eps) 2) (pow.f64 (cos.f64 eps) 2)) 1) (/.f64 (sin.f64 x) (.f64 (cos.f64 x) (-.f64 1 (/.f64 (.f64 (pow.f64 (sin.f64 eps) 2) (pow.f64 (sin.f64 x) 2)) (.f64 (pow.f64 (cos.f64 eps) 2) (pow.f64 (cos.f64 x) 2))))))) (/.f64 (sin.f64 x) (cos.f64 x))))
	0.7b	(+.f64 (fma.f64 (/.f64 (sin.f64 eps) (.f64 (cos.f64 eps) (-.f64 1 (/.f64 (.f64 (pow.f64 (sin.f64 eps) 2) (pow.f64 (sin.f64 x) 2)) (.f64 (pow.f64 (cos.f64 eps) 2) (pow.f64 (cos.f64 x) 2)))))) (/.f64 (pow.f64 (sin.f64 x) 2) (exp.f64 (log.f64 (pow.f64 (cos.f64 x) 2)))) (/.f64 (sin.f64 eps) (.f64 (cos.f64 eps) (-.f64 1 (/.f64 (.f64 (pow.f64 (sin.f64 eps) 2) (pow.f64 (sin.f64 x) 2)) (.f64 (pow.f64 (cos.f64 eps) 2) (pow.f64 (cos.f64 x) 2))))))) (-.f64 (.f64 (+.f64 (/.f64 (pow.f64 (sin.f64 eps) 2) (pow.f64 (cos.f64 eps) 2)) 1) (/.f64 (sin.f64 x) (.f64 (cos.f64 x) (-.f64 1 (/.f64 (.f64 (pow.f64 (sin.f64 eps) 2) (pow.f64 (sin.f64 x) 2)) (.f64 (pow.f64 (cos.f64 eps) 2) (pow.f64 (cos.f64 x) 2))))))) (/.f64 (sin.f64 x) (cos.f64 x))))
	27.2b	(fma.f64 (/.f64 1 (sqrt.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 eps))))) (/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (sqrt.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 eps))))) (neg.f64 (tan.f64 x)))
	2.1b	(+.f64 (fma.f64 (/.f64 (sin.f64 eps) (.f64 (cos.f64 eps) (-.f64 1 (/.f64 (.f64 (pow.f64 (sin.f64 eps) 2) (pow.f64 (sin.f64 x) 2)) (.f64 (pow.f64 (cos.f64 eps) 2) (pow.f64 (cos.f64 x) 2)))))) (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2)) (/.f64 (sin.f64 eps) (.f64 (cos.f64 eps) (-.f64 1 (/.f64 (.f64 (pow.f64 (sin.f64 eps) 2) (pow.f64 (sin.f64 x) 2)) (.f64 (pow.f64 (cos.f64 eps) 2) (pow.f64 (cos.f64 x) 2))))))) (/.f64 (-.f64 (.f64 (.f64 (-.f64 (.f64 (/.f64 (pow.f64 (sin.f64 eps) 2) (pow.f64 (cos.f64 eps) 2)) (/.f64 (pow.f64 (sin.f64 eps) 2) (pow.f64 (cos.f64 eps) 2))) (.f64 1 1)) (/.f64 (sin.f64 x) (.f64 (cos.f64 x) (-.f64 1 (/.f64 (.f64 (pow.f64 (sin.f64 eps) 2) (pow.f64 (sin.f64 x) 2)) (.f64 (pow.f64 (cos.f64 eps) 2) (pow.f64 (cos.f64 x) 2))))))) (cos.f64 x)) (.f64 (-.f64 (/.f64 (pow.f64 (sin.f64 eps) 2) (pow.f64 (cos.f64 eps) 2)) 1) (sin.f64 x))) (*.f64 (-.f64 (/.f64 (pow.f64 (sin.f64 eps) 2) (pow.f64 (cos.f64 eps) 2)) 1) (cos.f64 x))))
	24.4b	(/.f64 (fma.f64 (sin.f64 x) (+.f64 (.f64 (tan.f64 x) (tan.f64 eps)) -1) (.f64 (cos.f64 x) (+.f64 (tan.f64 x) (tan.f64 eps)))) (.f64 (cos.f64 x) (-.f64 1 (.f64 (tan.f64 x) (tan.f64 eps)))))
	0.7b	(+.f64 (fma.f64 (/.f64 (sin.f64 eps) (.f64 (cos.f64 eps) (-.f64 1 (/.f64 (.f64 (pow.f64 (sin.f64 eps) 2) (pow.f64 (sin.f64 x) 2)) (.f64 (pow.f64 (cos.f64 eps) 2) (pow.f64 (cos.f64 x) 2)))))) (/.f64 (pow.f64 (sin.f64 x) 2) (cbrt.f64 (pow.f64 (pow.f64 (cos.f64 x) 2) 3))) (/.f64 (sin.f64 eps) (.f64 (cos.f64 eps) (-.f64 1 (/.f64 (.f64 (pow.f64 (sin.f64 eps) 2) (pow.f64 (sin.f64 x) 2)) (.f64 (pow.f64 (cos.f64 eps) 2) (pow.f64 (cos.f64 x) 2))))))) (-.f64 (.f64 (+.f64 (/.f64 (pow.f64 (sin.f64 eps) 2) (pow.f64 (cos.f64 eps) 2)) 1) (/.f64 (sin.f64 x) (.f64 (cos.f64 x) (-.f64 1 (/.f64 (.f64 (pow.f64 (sin.f64 eps) 2) (pow.f64 (sin.f64 x) 2)) (.f64 (pow.f64 (cos.f64 eps) 2) (pow.f64 (cos.f64 x) 2))))))) (/.f64 (sin.f64 x) (cos.f64 x))))
	0.7b	(+.f64 (fma.f64 (/.f64 (sin.f64 eps) (.f64 (cos.f64 eps) (-.f64 1 (/.f64 (.f64 (pow.f64 (sin.f64 eps) 2) (pow.f64 (sin.f64 x) 2)) (.f64 (pow.f64 (cos.f64 eps) 2) (pow.f64 (cos.f64 x) 2)))))) (/.f64 (cbrt.f64 (pow.f64 (pow.f64 (sin.f64 x) 2) 3)) (pow.f64 (cos.f64 x) 2)) (/.f64 (sin.f64 eps) (.f64 (cos.f64 eps) (-.f64 1 (/.f64 (.f64 (pow.f64 (sin.f64 eps) 2) (pow.f64 (sin.f64 x) 2)) (.f64 (pow.f64 (cos.f64 eps) 2) (pow.f64 (cos.f64 x) 2))))))) (-.f64 (.f64 (+.f64 (/.f64 (pow.f64 (sin.f64 eps) 2) (pow.f64 (cos.f64 eps) 2)) 1) (/.f64 (sin.f64 x) (.f64 (cos.f64 x) (-.f64 1 (/.f64 (.f64 (pow.f64 (sin.f64 eps) 2) (pow.f64 (sin.f64 x) 2)) (.f64 (pow.f64 (cos.f64 eps) 2) (pow.f64 (cos.f64 x) 2))))))) (/.f64 (sin.f64 x) (cos.f64 x))))
	24.2b	(fma.f64 (/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (-.f64 (.f64 1 1) (.f64 (.f64 (tan.f64 x) (tan.f64 eps)) (/.f64 (.f64 (sin.f64 eps) (tan.f64 x)) (cos.f64 eps))))) (+.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps))) (neg.f64 (tan.f64 x)))
	24.8b	(+.f64 (fma.f64 (/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (-.f64 (pow.f64 1 3) (pow.f64 (.f64 (tan.f64 x) (tan.f64 eps)) 3))) (+.f64 (.f64 1 1) (+.f64 (.f64 (.f64 (tan.f64 x) (tan.f64 eps)) (.f64 (tan.f64 x) (tan.f64 eps))) (.f64 1 (.f64 (tan.f64 x) (tan.f64 eps))))) (neg.f64 (.f64 (cbrt.f64 (tan.f64 x)) (.f64 (cbrt.f64 (tan.f64 x)) (cbrt.f64 (tan.f64 x)))))) (fma.f64 (neg.f64 (cbrt.f64 (tan.f64 x))) (.f64 (cbrt.f64 (tan.f64 x)) (cbrt.f64 (tan.f64 x))) (.f64 (cbrt.f64 (tan.f64 x)) (.f64 (cbrt.f64 (tan.f64 x)) (cbrt.f64 (tan.f64 x))))))
	31.6b	(+.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)))))))))))
	31.5b	(+.f64 (+.f64 (/.f64 (pow.f64 eps 3) (pow.f64 (/.f64 (cos.f64 x) (sin.f64 x)) 4)) (+.f64 (fma.f64 4/3 (/.f64 (.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 eps 3)) (pow.f64 (cos.f64 x) 2)) (.f64 1/3 (pow.f64 eps 3))) (fma.f64 eps (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2)) eps))) (.f64 (/.f64 (.f64 eps eps) (cos.f64 x)) (+.f64 (sin.f64 x) (/.f64 (pow.f64 (sin.f64 x) 3) (pow.f64 (cos.f64 x) 2)))))
	0.9b	(+.f64 (fma.f64 (/.f64 (sin.f64 eps) (.f64 (cos.f64 eps) (-.f64 1 (/.f64 (.f64 (pow.f64 (sin.f64 eps) 2) (pow.f64 (sin.f64 x) 2)) (.f64 (pow.f64 (cos.f64 eps) 2) (pow.f64 (cos.f64 x) 2)))))) (/.f64 (pow.f64 (sin.f64 x) 2) (.f64 (pow.f64 (cbrt.f64 (cos.f64 x)) 4) (pow.f64 (cbrt.f64 (cos.f64 x)) 2))) (/.f64 (sin.f64 eps) (.f64 (cos.f64 eps) (-.f64 1 (/.f64 (.f64 (pow.f64 (sin.f64 eps) 2) (pow.f64 (sin.f64 x) 2)) (.f64 (pow.f64 (cos.f64 eps) 2) (pow.f64 (cos.f64 x) 2))))))) (-.f64 (.f64 (+.f64 (/.f64 (pow.f64 (sin.f64 eps) 2) (pow.f64 (cos.f64 eps) 2)) 1) (/.f64 (sin.f64 x) (.f64 (cos.f64 x) (-.f64 1 (/.f64 (.f64 (pow.f64 (sin.f64 eps) 2) (pow.f64 (sin.f64 x) 2)) (*.f64 (pow.f64 (cos.f64 eps) 2) (pow.f64 (cos.f64 x) 2))))))) (/.f64 (sin.f64 x) (cos.f64 x))))

Compiler

Compiled 55629 to 31083 computations (44.1% saved)

regimes1.5s (12.1%)

Accuracy

Total 0.5b remaining (83.5%)

Threshold costs 0.5b (83.5%)

Counts

280 → 1

Compiler

Compiled 45560 to 26056 computations (42.8% saved)

simplify9.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

11×	`*-commutative_binary64`
10×	`+-commutative_binary64`
8×	`sub-neg_binary64`
6×	`neg-sub0_binary64`
6×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	31	180
1	44	180
2	55	180
3	69	180
4	79	180
5	85	180
6	87	180
7	86	180

end686.0ms (5.5%)

Compiler: Compiled 1440 to 861 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

analyze937.0ms (7.6%)

sample3.1s (25.4%)

simplify11.0ms (0.1%)

prune2.0ms (0%)

localize8.0ms (0.1%)

series86.0ms (0.7%)

rewrite10.0ms (0.1%)

simplify109.0ms (0.9%)

prune95.0ms (0.8%)

localize11.0ms (0.1%)

series453.0ms (3.7%)

rewrite44.0ms (0.4%)

simplify240.0ms (1.9%)

prune273.0ms (2.2%)

localize16.0ms (0.1%)

series528.0ms (4.3%)

rewrite13.0ms (0.1%)

simplify138.0ms (1.1%)

prune504.0ms (4.1%)

localize32.0ms (0.3%)

series1.0s (8.4%)

rewrite47.0ms (0.4%)

simplify168.0ms (1.4%)

prune2.3s (18.5%)

regimes1.5s (12.1%)

simplify9.0ms (0.1%)

end686.0ms (5.5%)

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