Details

analyze455.0ms (4.7%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	74.9%	25.1%	3
0%	74.9%	25.1%	4
0%	74.9%	25.1%	5
0%	62.4%	37.6%	6
0%	31.2%	68.8%	7
0%	31.2%	68.8%	8
0%	31.2%	68.8%	9
0%	28.1%	71.9%	10
4.7%	21.8%	73.5%	11
4.7%	21.8%	73.5%	12
7%	19.5%	73.5%	13
8.2%	17.5%	74.3%	14

Compiler

Compiled 22 to 17 computations (22.7% saved)

sample2.8s (29.2%)

Results

1.1s	6334×	body	128	valid
659.0ms	294×	body	128	invalid
416.0ms	521×	body	1024	valid
395.0ms	761×	body	512	valid
211.0ms	638×	body	256	valid
2.0ms	2×	body	2048	valid

Compiler

Compiled 65 to 50 computations (23.1% saved)

simplify56.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

870×	`rules-21_binary64`
754×	`fma-neg_binary64`
588×	`fma-def_binary64`
345×	`rules-40_binary64`
345×	`rules-41_binary64`

Counts

1 → 2

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	24
1	89	24
2	289	24
3	1267	24
4	4544	24
5	38	24

prune3.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	1	1	2
Fresh	1	0	1
Picked	0	0	0
Done	0	0	0
Total	2	1	3

Error

8.8b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	8.8b	(-.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log.f64 (-.f64 1 y)))) t)

Compiler

Compiled 77 to 56 computations (27.3% saved)

localize19.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 (-.f64 z 1) (log.f64 (-.f64 1 y)))
✓	0.0b	(-.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log.f64 (-.f64 1 y)))) t)
✓	0.1b	(fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log.f64 (-.f64 1 y))))
✓	6.6b	(log.f64 (-.f64 1 y))

series470.0ms (4.8%)

Counts

4 → 120

Calls

4 calls:

239.0ms	(-.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log.f64 (-.f64 1 y)))) t)
173.0ms	(fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log.f64 (-.f64 1 y))))
54.0ms	(*.f64 (-.f64 z 1) (log.f64 (-.f64 1 y)))
3.0ms	(log.f64 (-.f64 1 y))

rewrite106.0ms (1.1%)

Algorithm

2×	batch-egg-rewrite

Rules

821×	`prod-diff_binary64`
209×	`egg-rr`
147×	`add-sqr-sqrt_binary64`
139×	`log1p-expm1-u_binary64`
139×	`expm1-log1p-u_binary64`

Counts

4 → 209

Calls

4 calls:

100.0ms	(*.f64 (-.f64 z 1) (log.f64 (-.f64 1 y)))
100.0ms	(-.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log.f64 (-.f64 1 y)))) t)
100.0ms	(fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (log.f64 (-.f64 1 y))))
100.0ms	(log.f64 (-.f64 1 y))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	63
1	328	63
2	4181	63
3	5837	63
0	0	0
1	0	0

simplify83.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

724×	`rules-13_binary64`
604×	`rules-21_binary64`
521×	`fma-neg_binary64`
424×	`rules-40_binary64`
424×	`rules-41_binary64`

Counts

329 → 316

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	235	3633
1	1859	3633
2	6286	3633

prune327.0ms (3.4%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	309	7	316
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	310	7	317

Error

0.1b

Counts

317 → 7

Alt Table

Status	Error	Program
	9.4b	(-.f64 (pow.f64 (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (log.f64 (-.f64 1 y)) (-.f64 z 1)))) 3) t)
	9.7b	(.f64 (cbrt.f64 (-.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (.f64 (log.f64 (-.f64 1 y)) (-.f64 z 1))) t)) (pow.f64 (cbrt.f64 (-.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (log.f64 (-.f64 1 y)) (-.f64 z 1))) t)) 2))
	8.8b	(-.f64 (.f64 (-.f64 z 1) (+.f64 (log.f64 (-.f64 1 y)) (/.f64 (.f64 (-.f64 x 1) (log.f64 y)) (-.f64 z 1)))) t)
	9.0b	(-.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (-.f64 (exp.f64 (log1p.f64 (log.f64 (-.f64 1 y)))) 1))) t)
▶	0.8b	(-.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (.f64 (-.f64 z 1) (neg.f64 (+.f64 y (.f64 1/2 (pow.f64 y 2)))))) t)
	31.0b	(-.f64 (cbrt.f64 (pow.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (log.f64 (-.f64 1 y)) (-.f64 z 1))) 3)) t)
	23.6b	(-.f64 (pow.f64 (sqrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (log.f64 (-.f64 1 y)) (-.f64 z 1)))) 2) t)

Compiler

Compiled 9837 to 6471 computations (34.2% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (.f64 (-.f64 z 1) (neg.f64 (+.f64 y (.f64 1/2 (pow.f64 y 2)))))) t)
✓	0.0b	(*.f64 1/2 (pow.f64 y 2))
✓	0.0b	(.f64 (-.f64 z 1) (neg.f64 (+.f64 y (.f64 1/2 (pow.f64 y 2)))))
✓	0.1b	(fma.f64 (-.f64 x 1) (log.f64 y) (.f64 (-.f64 z 1) (neg.f64 (+.f64 y (.f64 1/2 (pow.f64 y 2))))))

series323.0ms (3.3%)

Counts

4 → 108

Calls

4 calls:

201.0ms	(-.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (.f64 (-.f64 z 1) (neg.f64 (+.f64 y (.f64 1/2 (pow.f64 y 2)))))) t)
102.0ms	(fma.f64 (-.f64 x 1) (log.f64 y) (.f64 (-.f64 z 1) (neg.f64 (+.f64 y (.f64 1/2 (pow.f64 y 2))))))
17.0ms	(.f64 (-.f64 z 1) (neg.f64 (+.f64 y (.f64 1/2 (pow.f64 y 2)))))
2.0ms	(*.f64 1/2 (pow.f64 y 2))

rewrite103.0ms (1.1%)

Algorithm

2×	batch-egg-rewrite

Rules

364×	`prod-diff_binary64`
186×	`add-sqr-sqrt_binary64`
180×	`egg-rr`
180×	`log1p-expm1-u_binary64`
180×	`expm1-log1p-u_binary64`

Counts

4 → 180

Calls

4 calls:

98.0ms	(-.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (.f64 (-.f64 z 1) (neg.f64 (+.f64 y (.f64 1/2 (pow.f64 y 2)))))) t)
98.0ms	(*.f64 1/2 (pow.f64 y 2))
98.0ms	(.f64 (-.f64 z 1) (neg.f64 (+.f64 y (.f64 1/2 (pow.f64 y 2)))))
98.0ms	(fma.f64 (-.f64 x 1) (log.f64 y) (.f64 (-.f64 z 1) (neg.f64 (+.f64 y (.f64 1/2 (pow.f64 y 2))))))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	82
1	431	76
2	4766	76
3	5446	76
0	0	0
1	0	0

simplify90.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

874×	`rules-41_binary64`
874×	`rules-42_binary64`
874×	`rules-43_binary64`
332×	`rules-7-rev_binary64`
236×	`fma-def_binary64`

Counts

288 → 223

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	81	3178
1	596	2854
2	3060	2854
3	5222	2854

prune292.0ms (3%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	220	3	223
Fresh	2	4	6
Picked	0	1	1
Done	0	0	0
Total	222	8	230

Error

0.1b

Counts

230 → 8

Alt Table

Status	Error	Program
	9.0b	(-.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (-.f64 (exp.f64 (log1p.f64 (log.f64 (-.f64 1 y)))) 1))) t)
	17.2b	(-.f64 (.f64 (neg.f64 (fma.f64 1/2 (.f64 y y) y)) (+.f64 (-.f64 z 1) (/.f64 (.f64 (-.f64 x 1) (log.f64 y)) (neg.f64 (fma.f64 1/2 (.f64 y y) y))))) t)
▶	0.8b	(+.f64 (fma.f64 (-.f64 z 1) (+.f64 (neg.f64 (fma.f64 1/2 (.f64 y y) y)) (/.f64 (.f64 (-.f64 x 1) (log.f64 y)) (-.f64 z 1))) (neg.f64 t)) (fma.f64 -1 t t))
	9.7b	(.f64 (cbrt.f64 (-.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (.f64 (log.f64 (-.f64 1 y)) (-.f64 z 1))) t)) (pow.f64 (cbrt.f64 (-.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (log.f64 (-.f64 1 y)) (-.f64 z 1))) t)) 2))
	1.6b	(-.f64 (pow.f64 (cbrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (.f64 (-.f64 z 1) (neg.f64 (fma.f64 1/2 (.f64 y y) y))))) 3) t)
✓	0.8b	(-.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (.f64 (-.f64 z 1) (neg.f64 (+.f64 y (.f64 1/2 (pow.f64 y 2)))))) t)
	31.0b	(-.f64 (cbrt.f64 (pow.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (log.f64 (-.f64 1 y)) (-.f64 z 1))) 3)) t)
	23.6b	(-.f64 (pow.f64 (sqrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (log.f64 (-.f64 1 y)) (-.f64 z 1)))) 2) t)

Compiler

Compiled 7275 to 4173 computations (42.6% saved)

localize17.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (neg.f64 (fma.f64 1/2 (.f64 y y) y)) (/.f64 (.f64 (-.f64 x 1) (log.f64 y)) (-.f64 z 1)))
✓	0.1b	(fma.f64 (-.f64 z 1) (+.f64 (neg.f64 (fma.f64 1/2 (.f64 y y) y)) (/.f64 (.f64 (-.f64 x 1) (log.f64 y)) (-.f64 z 1))) (neg.f64 t))
✓	0.1b	(/.f64 (*.f64 (-.f64 x 1) (log.f64 y)) (-.f64 z 1))
✓	0.1b	(*.f64 (-.f64 x 1) (log.f64 y))

series610.0ms (6.3%)

Counts

4 → 136

Calls

4 calls:

364.0ms	(fma.f64 (-.f64 z 1) (+.f64 (neg.f64 (fma.f64 1/2 (.f64 y y) y)) (/.f64 (.f64 (-.f64 x 1) (log.f64 y)) (-.f64 z 1))) (neg.f64 t))
98.0ms	(+.f64 (neg.f64 (fma.f64 1/2 (.f64 y y) y)) (/.f64 (.f64 (-.f64 x 1) (log.f64 y)) (-.f64 z 1)))
84.0ms	(/.f64 (*.f64 (-.f64 x 1) (log.f64 y)) (-.f64 z 1))
64.0ms	(*.f64 (-.f64 x 1) (log.f64 y))

rewrite107.0ms (1.1%)

Algorithm

2×	batch-egg-rewrite

Rules

307×	`prod-diff_binary64`
187×	`add-sqr-sqrt_binary64`
176×	`log1p-expm1-u_binary64`
176×	`expm1-log1p-u_binary64`
173×	`add-log-exp_binary64`

Counts

4 → 158

Calls

4 calls:

103.0ms	(+.f64 (neg.f64 (fma.f64 1/2 (.f64 y y) y)) (/.f64 (.f64 (-.f64 x 1) (log.f64 y)) (-.f64 z 1)))
103.0ms	(fma.f64 (-.f64 z 1) (+.f64 (neg.f64 (fma.f64 1/2 (.f64 y y) y)) (/.f64 (.f64 (-.f64 x 1) (log.f64 y)) (-.f64 z 1))) (neg.f64 t))
103.0ms	(/.f64 (*.f64 (-.f64 x 1) (log.f64 y)) (-.f64 z 1))
103.0ms	(*.f64 (-.f64 x 1) (log.f64 y))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	87
1	425	79
2	4793	79
3	5415	79
0	0	0
1	0	0

simplify97.0ms (1%)

Algorithm

1×	egg-herbie

Rules

632×	`rules-13_binary64`
541×	`rules-21_binary64`
481×	`fma-neg_binary64`
432×	`rules-40_binary64`
432×	`rules-41_binary64`

Counts

294 → 252

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	233	5169
1	1739	5147
2	5938	5147

prune368.0ms (3.8%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	248	4	252
Fresh	3	3	6
Picked	1	0	1
Done	1	0	1
Total	253	7	260

Error

0.0b

Counts

260 → 7

Alt Table

Status	Error	Program
	23.6b	(-.f64 (pow.f64 (sqrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (log.f64 (-.f64 1 y)) (-.f64 z 1)))) 2) t)
	17.6b	(+.f64 (fma.f64 (-.f64 z 1) (+.f64 (neg.f64 (fma.f64 1/2 (.f64 y y) y)) (cbrt.f64 (pow.f64 (/.f64 (.f64 (-.f64 x 1) (log.f64 y)) (-.f64 z 1)) 3))) (neg.f64 t)) (fma.f64 -1 t t))
▶	0.8b	(+.f64 (fma.f64 (-.f64 z 1) (fma.f64 (-.f64 x 1) (/.f64 (log.f64 y) (-.f64 z 1)) (neg.f64 (fma.f64 1/2 (*.f64 y y) y))) (neg.f64 t)) (fma.f64 -1 t t))
	40.4b	(+.f64 (fma.f64 (-.f64 z 1) (+.f64 (neg.f64 (fma.f64 1/2 (.f64 y y) y)) (pow.f64 (sqrt.f64 (/.f64 (.f64 (-.f64 x 1) (log.f64 y)) (-.f64 z 1))) 2)) (neg.f64 t)) (fma.f64 -1 t t))
	9.7b	(.f64 (cbrt.f64 (-.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (.f64 (log.f64 (-.f64 1 y)) (-.f64 z 1))) t)) (pow.f64 (cbrt.f64 (-.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (log.f64 (-.f64 1 y)) (-.f64 z 1))) t)) 2))
	9.0b	(-.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (-.f64 (exp.f64 (log1p.f64 (log.f64 (-.f64 1 y)))) 1))) t)
	7.7b	(+.f64 (.f64 (pow.f64 (cbrt.f64 (neg.f64 t)) 2) (+.f64 (cbrt.f64 (neg.f64 t)) (/.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (.f64 (-.f64 z 1) (neg.f64 (fma.f64 1/2 (*.f64 y y) y)))) (pow.f64 (cbrt.f64 (neg.f64 t)) 2)))) (fma.f64 -1 t t))

Compiler

Compiled 10232 to 5681 computations (44.5% saved)

localize17.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(fma.f64 1/2 (*.f64 y y) y)
✓	0.1b	(fma.f64 (-.f64 z 1) (fma.f64 (-.f64 x 1) (/.f64 (log.f64 y) (-.f64 z 1)) (neg.f64 (fma.f64 1/2 (*.f64 y y) y))) (neg.f64 t))
✓	0.1b	(fma.f64 (-.f64 x 1) (/.f64 (log.f64 y) (-.f64 z 1)) (neg.f64 (fma.f64 1/2 (*.f64 y y) y)))
✓	0.2b	(/.f64 (log.f64 y) (-.f64 z 1))

series296.0ms (3%)

Counts

4 → 116

Calls

4 calls:

189.0ms	(fma.f64 (-.f64 z 1) (fma.f64 (-.f64 x 1) (/.f64 (log.f64 y) (-.f64 z 1)) (neg.f64 (fma.f64 1/2 (*.f64 y y) y))) (neg.f64 t))
75.0ms	(fma.f64 (-.f64 x 1) (/.f64 (log.f64 y) (-.f64 z 1)) (neg.f64 (fma.f64 1/2 (*.f64 y y) y)))
29.0ms	(/.f64 (log.f64 y) (-.f64 z 1))
3.0ms	(fma.f64 1/2 (*.f64 y y) y)

rewrite92.0ms (0.9%)

Algorithm

2×	batch-egg-rewrite

Rules

439×	`prod-diff_binary64`
171×	`add-sqr-sqrt_binary64`
159×	`log1p-expm1-u_binary64`
159×	`expm1-log1p-u_binary64`
158×	`add-log-exp_binary64`

Counts

4 → 129

Calls

4 calls:

88.0ms	(fma.f64 1/2 (*.f64 y y) y)
88.0ms	(fma.f64 (-.f64 z 1) (fma.f64 (-.f64 x 1) (/.f64 (log.f64 y) (-.f64 z 1)) (neg.f64 (fma.f64 1/2 (*.f64 y y) y))) (neg.f64 t))
88.0ms	(fma.f64 (-.f64 x 1) (/.f64 (log.f64 y) (-.f64 z 1)) (neg.f64 (fma.f64 1/2 (*.f64 y y) y)))
88.0ms	(/.f64 (log.f64 y) (-.f64 z 1))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	76
1	391	76
2	4697	76
3	5552	76
0	0	0
1	0	0

simplify82.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

585×	`rules-13_binary64`
501×	`rules-21_binary64`
411×	`fma-neg_binary64`
392×	`rules-40_binary64`
392×	`rules-41_binary64`

Counts

245 → 217

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	213	4409
1	1569	4387
2	5370	4387

prune278.0ms (2.9%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	216	1	217
Fresh	1	5	6
Picked	0	1	1
Done	0	0	0
Total	217	7	224

Error

0.0b

Counts

224 → 7

Alt Table

Status	Error	Program
✓	0.8b	(+.f64 (fma.f64 (-.f64 z 1) (fma.f64 (-.f64 x 1) (/.f64 (log.f64 y) (-.f64 z 1)) (neg.f64 (fma.f64 1/2 (*.f64 y y) y))) (neg.f64 t)) (fma.f64 -1 t t))
	40.4b	(+.f64 (fma.f64 (-.f64 z 1) (+.f64 (neg.f64 (fma.f64 1/2 (.f64 y y) y)) (pow.f64 (sqrt.f64 (/.f64 (.f64 (-.f64 x 1) (log.f64 y)) (-.f64 z 1))) 2)) (neg.f64 t)) (fma.f64 -1 t t))
	9.7b	(.f64 (cbrt.f64 (-.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (.f64 (log.f64 (-.f64 1 y)) (-.f64 z 1))) t)) (pow.f64 (cbrt.f64 (-.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (log.f64 (-.f64 1 y)) (-.f64 z 1))) t)) 2))
	10.2b	(+.f64 (fma.f64 (-.f64 z 1) (fma.f64 (-.f64 x 1) (cbrt.f64 (pow.f64 (/.f64 (log.f64 y) (-.f64 z 1)) 3)) (neg.f64 (fma.f64 1/2 (*.f64 y y) y))) (neg.f64 t)) (fma.f64 -1 t t))
	9.0b	(-.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (-.f64 z 1) (-.f64 (exp.f64 (log1p.f64 (log.f64 (-.f64 1 y)))) 1))) t)
	7.7b	(+.f64 (.f64 (pow.f64 (cbrt.f64 (neg.f64 t)) 2) (+.f64 (cbrt.f64 (neg.f64 t)) (/.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (.f64 (-.f64 z 1) (neg.f64 (fma.f64 1/2 (*.f64 y y) y)))) (pow.f64 (cbrt.f64 (neg.f64 t)) 2)))) (fma.f64 -1 t t))
	23.6b	(-.f64 (pow.f64 (sqrt.f64 (fma.f64 (-.f64 x 1) (log.f64 y) (*.f64 (log.f64 (-.f64 1 y)) (-.f64 z 1)))) 2) t)

Compiler

Compiled 8164 to 4508 computations (44.8% saved)

regimes2.4s (24.7%)

Accuracy

Total 0.3b remaining (74.5%)

Threshold costs 0.3b (74.5%)

Counts

185 → 1

Compiler

Compiled 46617 to 33473 computations (28.2% saved)

simplify1.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	23	51
1	23	51

end171.0ms (1.8%)

Compiler: Compiled 309 to 217 computations (29.8% saved)

Details

analyze455.0ms (4.7%)

sample2.8s (29.2%)

simplify56.0ms (0.6%)

prune3.0ms (0%)

localize19.0ms (0.2%)

series470.0ms (4.8%)

rewrite106.0ms (1.1%)

simplify83.0ms (0.9%)

prune327.0ms (3.4%)

localize13.0ms (0.1%)

series323.0ms (3.3%)

rewrite103.0ms (1.1%)

simplify90.0ms (0.9%)

prune292.0ms (3%)

localize17.0ms (0.2%)

series610.0ms (6.3%)

rewrite107.0ms (1.1%)

simplify97.0ms (1%)

prune368.0ms (3.8%)

localize17.0ms (0.2%)

series296.0ms (3%)

rewrite92.0ms (0.9%)

simplify82.0ms (0.8%)

prune278.0ms (2.9%)

regimes2.4s (24.7%)

simplify1.0ms (0%)

end171.0ms (1.8%)

Profiling