Details

analyze2.5s (16.8%)

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
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
12.5%	87.4%	0.1%	7
12.5%	87.4%	0.1%	8
31.2%	68.6%	0.1%	9
31.2%	68.6%	0.1%	10
31.2%	68.6%	0.1%	11
40.6%	59.3%	0.1%	12
40.6%	59.3%	0.1%	13
40.6%	59.3%	0.1%	14

Compiler

Compiled 34 to 19 computations (44.1% saved)

sample5.9s (39.7%)

Results

3.1s	2035×	body	1024	valid
1.4s	4715×	body	128	valid
907.0ms	1001×	body	512	valid
297.0ms	501×	body	256	valid
12.0ms	4×	body	2048	valid

Compiler

Compiled 101 to 56 computations (44.6% saved)

simplify279.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

1350×	`fma-def_binary64`
1306×	`fma-neg_binary64`
889×	`div-sub_binary64`
757×	`associate-/r/_binary64`
558×	`associate-/l*_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	50
1	44	50
2	109	50
3	229	50
4	333	50
5	515	50
6	717	50
7	984	50
8	1308	50
9	1633	50
10	1589	50
11	1591	50
12	1623	50
13	1671	50
14	1671	50
15	2103	50
16	2591	50
17	2559	50
18	2615	50
19	2783	50
20	2879	50
21	2927	50
22	3351	50
23	3319	50
24	3319	50
25	2487	50
26	2863	50
27	2591	50
28	2591	50
29	2591	50
30	2591	50
31	2376	50

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

0.1b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	0.1b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))

Status

Error

Program

▶

0.1b

(fabs.f64 (-.f64 (*.f64 (*.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (*.f64 (*.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))))

Compiler

Compiled 99 to 54 computations (45.5% saved)

localize20.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))
✓	0.1b	(*.f64 (neg.f64 eh) (tan.f64 t))
✓	2.0b	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
✓	22.8b	(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))

series117.0ms (0.8%)

Counts

4 → 132

Calls

4 calls:

42.0ms	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
35.0ms	(.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))
22.0ms	(*.f64 (neg.f64 eh) (tan.f64 t))
17.0ms	(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))

rewrite72.0ms (0.5%)

Algorithm

2×	batch-egg-rewrite

Rules

717×	`log-prod_binary64`
237×	`expm1-udef_binary64`
237×	`log1p-udef_binary64`
217×	`log-pow_binary64`
142×	`add-sqr-sqrt_binary64`

Counts

4 → 121

Calls

4 calls:

69.0ms	(.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))
69.0ms	(*.f64 (neg.f64 eh) (tan.f64 t))
69.0ms	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
69.0ms	(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	57
1	273	48
2	3273	48
3	5937	48
0	0	0
1	0	0

simplify118.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

475×	`distribute-lft-neg-in_binary64`
473×	`distribute-rgt-neg-in_binary64`
361×	`fma-def_binary64`
317×	`neg-mul-1_binary64`
305×	`associate-l_binary64`

Counts

253 → 153

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	82	2488
1	254	2428
2	843	2378
3	2961	2351
4	4850	2351
5	5111	2351

prune379.0ms (2.6%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	243	4	247
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	244	4	248

Error

0.1b

Counts

248 → 4

Alt Table

Status	Error	Program
	25.1b	(fabs.f64 (-.f64 (cbrt.f64 (pow.f64 (.f64 ew (/.f64 (cos.f64 t) (hypot.f64 1 (/.f64 (.f64 eh (tan.f64 t)) ew)))) 3)) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
▶	0.1b	(fabs.f64 (-.f64 (.f64 ew (/.f64 (cos.f64 t) (hypot.f64 1 (/.f64 (.f64 eh (tan.f64 t)) ew)))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	0.9b	(fabs.f64 (-.f64 (pow.f64 (cbrt.f64 (.f64 ew (/.f64 (cos.f64 t) (hypot.f64 1 (/.f64 (.f64 eh (tan.f64 t)) ew))))) 3) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	0.1b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (+.f64 (log.f64 (sqrt.f64 (exp.f64 (cos.f64 (atan.f64 (/.f64 (.f64 eh (tan.f64 t)) ew)))))) (log.f64 (sqrt.f64 (exp.f64 (cos.f64 (atan.f64 (/.f64 (.f64 eh (tan.f64 t)) ew)))))))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))))

Compiler

Compiled 9003 to 2397 computations (73.4% saved)

localize23.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.1b	(*.f64 (neg.f64 eh) (tan.f64 t))
✓	0.2b	(/.f64 (cos.f64 t) (hypot.f64 1 (/.f64 (*.f64 eh (tan.f64 t)) ew)))
	2.0b	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
✓	2.0b	(/.f64 (*.f64 eh (tan.f64 t)) ew)

series215.0ms (1.4%)

Counts

2 → 72

Calls

2 calls:

175.0ms	(/.f64 (cos.f64 t) (hypot.f64 1 (/.f64 (*.f64 eh (tan.f64 t)) ew)))
40.0ms	(/.f64 (*.f64 eh (tan.f64 t)) ew)

rewrite59.0ms (0.4%)

Algorithm

2×	batch-egg-rewrite

Rules

603×	`log-prod_binary64`
206×	`expm1-udef_binary64`
206×	`log1p-udef_binary64`
187×	`log-pow_binary64`
137×	`log-div_binary64`

Counts

2 → 84

Calls

2 calls:

57.0ms	(/.f64 (cos.f64 t) (hypot.f64 1 (/.f64 (*.f64 eh (tan.f64 t)) ew)))
57.0ms	(/.f64 (*.f64 eh (tan.f64 t)) ew)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	26
1	225	26
2	2898	26
3	5309	26
0	0	0
1	0	0

simplify84.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

418×	`fma-def_binary64`
391×	`associate-*l/_binary64`
385×	`fma-neg_binary64`
268×	`cancel-sign-sub-inv_binary64`
264×	`associate-/r/_binary64`

Counts

156 → 124

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	156	2417
1	500	2379
2	2086	2327
3	4842	2327
4	5081	2327

prune326.0ms (2.2%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	216	2	218
Fresh	1	2	3
Picked	0	1	1
Done	0	0	0
Total	217	5	222

Error

0.1b

Counts

222 → 5

Alt Table

Status	Error	Program
	25.1b	(fabs.f64 (-.f64 (cbrt.f64 (pow.f64 (.f64 ew (/.f64 (cos.f64 t) (hypot.f64 1 (/.f64 (.f64 eh (tan.f64 t)) ew)))) 3)) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
✓	0.1b	(fabs.f64 (-.f64 (.f64 ew (/.f64 (cos.f64 t) (hypot.f64 1 (/.f64 (.f64 eh (tan.f64 t)) ew)))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
▶	0.3b	(fabs.f64 (-.f64 (.f64 ew (cbrt.f64 (pow.f64 (/.f64 (cos.f64 t) (hypot.f64 1 (/.f64 (.f64 eh (tan.f64 t)) ew))) 3))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	0.9b	(fabs.f64 (-.f64 (pow.f64 (cbrt.f64 (.f64 ew (/.f64 (cos.f64 t) (hypot.f64 1 (/.f64 (.f64 eh (tan.f64 t)) ew))))) 3) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	0.3b	(fabs.f64 (-.f64 (.f64 ew (+.f64 (log.f64 (sqrt.f64 (exp.f64 (/.f64 (cos.f64 t) (hypot.f64 1 (/.f64 (.f64 eh (tan.f64 t)) ew)))))) (log.f64 (sqrt.f64 (exp.f64 (/.f64 (cos.f64 t) (hypot.f64 1 (/.f64 (.f64 eh (tan.f64 t)) ew)))))))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))

Compiler

Compiled 8685 to 3294 computations (62.1% saved)

localize31.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(pow.f64 (/.f64 (cos.f64 t) (hypot.f64 1 (/.f64 (*.f64 eh (tan.f64 t)) ew))) 3)
	2.0b	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
	2.0b	(/.f64 (*.f64 eh (tan.f64 t)) ew)
✓	11.8b	(cbrt.f64 (pow.f64 (/.f64 (cos.f64 t) (hypot.f64 1 (/.f64 (*.f64 eh (tan.f64 t)) ew))) 3))

series374.0ms (2.5%)

Counts

2 → 72

Calls

2 calls:

221.0ms	(pow.f64 (/.f64 (cos.f64 t) (hypot.f64 1 (/.f64 (*.f64 eh (tan.f64 t)) ew))) 3)
153.0ms	(cbrt.f64 (pow.f64 (/.f64 (cos.f64 t) (hypot.f64 1 (/.f64 (*.f64 eh (tan.f64 t)) ew))) 3))

rewrite98.0ms (0.7%)

Algorithm

2×	batch-egg-rewrite

Rules

307×	`prod-diff_binary64`
236×	`expm1-udef_binary64`
236×	`log1p-udef_binary64`
215×	`log-pow_binary64`
149×	`log-div_binary64`

Counts

2 → 84

Calls

2 calls:

95.0ms	(pow.f64 (/.f64 (cos.f64 t) (hypot.f64 1 (/.f64 (*.f64 eh (tan.f64 t)) ew))) 3)
95.0ms	(cbrt.f64 (pow.f64 (/.f64 (cos.f64 t) (hypot.f64 1 (/.f64 (*.f64 eh (tan.f64 t)) ew))) 3))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	37
1	275	37
2	3386	37
3	4997	37
4	5500	37
0	0	0
1	0	0

simplify95.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

754×	`fma-def_binary64`
521×	`cancel-sign-sub-inv_binary64`
300×	`unswap-sqr_binary64`
224×	`fma-neg_binary64`
210×	`times-frac_binary64`

Counts

156 → 147

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	210	3884
1	713	3822
2	3227	3717
3	5327	3717

prune429.0ms (2.9%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	261	1	262
Fresh	1	2	3
Picked	0	1	1
Done	0	1	1
Total	262	5	267

Error

0.1b

Counts

267 → 5

Alt Table

Status	Error	Program
▶	0.2b	(fabs.f64 (-.f64 (.f64 ew (.f64 (cbrt.f64 (/.f64 (cos.f64 t) (hypot.f64 1 (/.f64 (.f64 eh (tan.f64 t)) ew)))) (pow.f64 (pow.f64 (/.f64 (cos.f64 t) (hypot.f64 1 (/.f64 (.f64 eh (tan.f64 t)) ew))) 2) 1/3))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	0.3b	(fabs.f64 (-.f64 (.f64 ew (+.f64 (log.f64 (sqrt.f64 (exp.f64 (/.f64 (cos.f64 t) (hypot.f64 1 (/.f64 (.f64 eh (tan.f64 t)) ew)))))) (log.f64 (sqrt.f64 (exp.f64 (/.f64 (cos.f64 t) (hypot.f64 1 (/.f64 (.f64 eh (tan.f64 t)) ew)))))))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
✓	0.1b	(fabs.f64 (-.f64 (.f64 ew (/.f64 (cos.f64 t) (hypot.f64 1 (/.f64 (.f64 eh (tan.f64 t)) ew)))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
✓	0.3b	(fabs.f64 (-.f64 (.f64 ew (cbrt.f64 (pow.f64 (/.f64 (cos.f64 t) (hypot.f64 1 (/.f64 (.f64 eh (tan.f64 t)) ew))) 3))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	0.9b	(fabs.f64 (-.f64 (pow.f64 (cbrt.f64 (.f64 ew (/.f64 (cos.f64 t) (hypot.f64 1 (/.f64 (.f64 eh (tan.f64 t)) ew))))) 3) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))))

Compiler

Compiled 11727 to 4760 computations (59.4% saved)

localize30.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	2.0b	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
	2.0b	(/.f64 (*.f64 eh (tan.f64 t)) ew)
✓	4.5b	(cbrt.f64 (/.f64 (cos.f64 t) (hypot.f64 1 (/.f64 (*.f64 eh (tan.f64 t)) ew))))
✓	13.1b	(pow.f64 (pow.f64 (/.f64 (cos.f64 t) (hypot.f64 1 (/.f64 (*.f64 eh (tan.f64 t)) ew))) 2) 1/3)

series2.0s (13.4%)

Counts

2 → 72

Calls

2 calls:

1.0s	(cbrt.f64 (/.f64 (cos.f64 t) (hypot.f64 1 (/.f64 (*.f64 eh (tan.f64 t)) ew))))
983.0ms	(pow.f64 (pow.f64 (/.f64 (cos.f64 t) (hypot.f64 1 (/.f64 (*.f64 eh (tan.f64 t)) ew))) 2) 1/3)

rewrite90.0ms (0.6%)

Algorithm

2×	batch-egg-rewrite

Rules

268×	`expm1-udef_binary64`
268×	`log1p-udef_binary64`
154×	`add-sqr-sqrt_binary64`
148×	`log1p-expm1-u_binary64`
148×	`expm1-log1p-u_binary64`

Counts

2 → 65

Calls

2 calls:

88.0ms	(cbrt.f64 (/.f64 (cos.f64 t) (hypot.f64 1 (/.f64 (*.f64 eh (tan.f64 t)) ew))))
88.0ms	(pow.f64 (pow.f64 (/.f64 (cos.f64 t) (hypot.f64 1 (/.f64 (*.f64 eh (tan.f64 t)) ew))) 2) 1/3)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	41
1	331	41
2	3748	41
3	4985	41
4	4869	41
0	0	0
1	0	0

simplify116.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

366×	`times-frac_binary64`
288×	`associate-/l*_binary64`
258×	`associate-r_binary64`
244×	`fma-neg_binary64`
216×	`associate-/r*_binary64`

Counts

137 → 146

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	297	5581
1	1042	5501
2	4520	5441
3	4984	5441

prune675.0ms (4.5%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	315	1	316
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	315	6	321

Error

0.1b

Counts

321 → 6

Alt Table

Status	Error	Program
✓	0.2b	(fabs.f64 (-.f64 (.f64 ew (.f64 (cbrt.f64 (/.f64 (cos.f64 t) (hypot.f64 1 (/.f64 (.f64 eh (tan.f64 t)) ew)))) (pow.f64 (pow.f64 (/.f64 (cos.f64 t) (hypot.f64 1 (/.f64 (.f64 eh (tan.f64 t)) ew))) 2) 1/3))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	0.3b	(fabs.f64 (-.f64 (.f64 ew (+.f64 (log.f64 (sqrt.f64 (exp.f64 (/.f64 (cos.f64 t) (hypot.f64 1 (/.f64 (.f64 eh (tan.f64 t)) ew)))))) (log.f64 (sqrt.f64 (exp.f64 (/.f64 (cos.f64 t) (hypot.f64 1 (/.f64 (.f64 eh (tan.f64 t)) ew)))))))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
✓	0.1b	(fabs.f64 (-.f64 (.f64 ew (/.f64 (cos.f64 t) (hypot.f64 1 (/.f64 (.f64 eh (tan.f64 t)) ew)))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
✓	0.3b	(fabs.f64 (-.f64 (.f64 ew (cbrt.f64 (pow.f64 (/.f64 (cos.f64 t) (hypot.f64 1 (/.f64 (.f64 eh (tan.f64 t)) ew))) 3))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	0.9b	(fabs.f64 (-.f64 (pow.f64 (cbrt.f64 (.f64 ew (/.f64 (cos.f64 t) (hypot.f64 1 (/.f64 (.f64 eh (tan.f64 t)) ew))))) 3) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	0.3b	(fabs.f64 (-.f64 (.f64 ew (.f64 (cbrt.f64 (/.f64 (cos.f64 t) (hypot.f64 1 (/.f64 (.f64 eh (tan.f64 t)) ew)))) (-.f64 (exp.f64 (log1p.f64 (cbrt.f64 (pow.f64 (/.f64 (cos.f64 t) (hypot.f64 1 (/.f64 (.f64 eh (tan.f64 t)) ew))) 2)))) 1))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))))

Compiler

Compiled 20389 to 8900 computations (56.3% saved)

regimes663.0ms (4.5%)

Accuracy

Total 0.0b remaining (29.2%)

Threshold costs 0.0b (29.2%)

Counts

96 → 1

Compiler

Compiled 17529 to 11558 computations (34.1% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

17×	`*-commutative_binary64`
14×	`+-commutative_binary64`
14×	`sub-neg_binary64`
12×	`neg-sub0_binary64`
12×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	47
1	40	47
2	69	47
3	93	47
4	112	47
5	121	47
6	122	47
7	121	47

end175.0ms (1.2%)

Compiler: Compiled 317 to 205 computations (35.3% saved)

Details

analyze2.5s (16.8%)

sample5.9s (39.7%)

simplify279.0ms (1.9%)

prune2.0ms (0%)

localize20.0ms (0.1%)

series117.0ms (0.8%)

rewrite72.0ms (0.5%)

simplify118.0ms (0.8%)

prune379.0ms (2.6%)

localize23.0ms (0.2%)

series215.0ms (1.4%)

rewrite59.0ms (0.4%)

simplify84.0ms (0.6%)

prune326.0ms (2.2%)

localize31.0ms (0.2%)

series374.0ms (2.5%)

rewrite98.0ms (0.7%)

simplify95.0ms (0.6%)

prune429.0ms (2.9%)

localize30.0ms (0.2%)

series2.0s (13.4%)

rewrite90.0ms (0.6%)

simplify116.0ms (0.8%)

prune675.0ms (4.5%)

regimes663.0ms (4.5%)

simplify4.0ms (0%)

end175.0ms (1.2%)

Profiling