Details

analyze1.8s (22.9%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.7%	0.3%	0
0%	99.7%	0.3%	1
0%	99.7%	0.3%	2
0%	99.7%	0.3%	3
0%	99.7%	0.3%	4
0%	99.7%	0.3%	5
0%	99.7%	0.3%	6
0%	99.7%	0.3%	7
0%	99.7%	0.3%	8
0%	99.7%	0.3%	9
0%	99.7%	0.3%	10
3.9%	95.8%	0.3%	11
7.4%	92.3%	0.3%	12
8.8%	90.9%	0.3%	13
10.2%	89.5%	0.3%	14

Compiler

Compiled 24 to 16 computations (33.3% saved)

sample1.4s (17.2%)

Results

1.3s	8256×	body	128	valid
44.0ms	263×	body	128	invalid

Compiler

Compiled 71 to 47 computations (33.8% saved)

simplify7.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

16×	`fma-def_binary64`
6×	`+-commutative_binary64`
6×	`*-commutative_binary64`
4×	`associate-/l*_binary64`
4×	`associate-/r/_binary64`

Counts

1 → 2

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	16	25
1	29	25
2	41	21
3	51	21
4	61	21
5	65	21
6	64	21

prune7.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

12.3b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	15.7b	(/.f64 (fma.f64 y (/.f64 z t) x) (+.f64 1 (fma.f64 b (/.f64 y t) a)))
	16.3b	(/.f64 (+.f64 x (/.f64 (.f64 y z) t)) (+.f64 (+.f64 a 1) (/.f64 (.f64 y b) t)))

Compiler

Compiled 126 to 78 computations (38.1% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 1 (fma.f64 b (/.f64 y t) a))
✓	2.4b	(fma.f64 y (/.f64 z t) x)
✓	3.2b	(fma.f64 b (/.f64 y t) a)
✓	11.7b	(/.f64 (fma.f64 y (/.f64 z t) x) (+.f64 1 (fma.f64 b (/.f64 y t) a)))

series242.0ms (3%)

Counts

4 → 216

Calls

4 calls:

202.0ms	(/.f64 (fma.f64 y (/.f64 z t) x) (+.f64 1 (fma.f64 b (/.f64 y t) a)))
14.0ms	(+.f64 1 (fma.f64 b (/.f64 y t) a))
13.0ms	(fma.f64 b (/.f64 y t) a)
12.0ms	(fma.f64 y (/.f64 z t) x)

rewrite10.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

24×	`*-un-lft-identity_binary64`
14×	`add-sqr-sqrt_binary64`
14×	`add-cube-cbrt_binary64`
12×	`times-frac_binary64`
6×	`add-cbrt-cube_binary64`

Counts

4 → 73

Calls

4 calls:

4.0ms	(/.f64 (fma.f64 y (/.f64 z t) x) (+.f64 1 (fma.f64 b (/.f64 y t) a)))
2.0ms	(+.f64 1 (fma.f64 b (/.f64 y t) a))
0.0ms	(fma.f64 y (/.f64 z t) x)
0.0ms	(fma.f64 b (/.f64 y t) a)

simplify128.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

741×	`times-frac_binary64`
527×	`associate-/l*_binary64`
403×	`associate-/r*_binary64`
235×	`fma-def_binary64`
208×	`associate-l_binary64`

Counts

289 → 158

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	440	9932
1	1379	9371
2	5036	9371

prune298.0ms (3.8%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	149	9	158
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	150	10	160

Error

0.0b

Counts

160 → 10

Alt Table

Status	Error	Program
	15.1b	(fma.f64 (/.f64 y (+.f64 1 (fma.f64 b (/.f64 y t) a))) (/.f64 z t) (/.f64 x (+.f64 1 (fma.f64 b (/.f64 y t) a))))
	15.7b	(/.f64 (fma.f64 y (/.f64 z t) x) (+.f64 (fma.f64 b (/.f64 y t) 1) a))
▶	15.0b	(+.f64 (/.f64 (.f64 y z) (.f64 (+.f64 1 (+.f64 a (/.f64 (.f64 y b) t))) t)) (/.f64 x (+.f64 1 (+.f64 a (/.f64 (.f64 y b) t)))))
	16.3b	(/.f64 (+.f64 x (/.f64 (.f64 y z) t)) (+.f64 (+.f64 a 1) (/.f64 (.f64 y b) t)))
	43.2b	(-.f64 (fma.f64 (/.f64 t y) (/.f64 x b) (/.f64 z b)) (fma.f64 (/.f64 t y) (/.f64 z (.f64 b b)) (/.f64 (.f64 a (.f64 z t)) (.f64 y (*.f64 b b)))))
	43.9b	(-.f64 (+.f64 (/.f64 z b) (/.f64 (.f64 t x) (.f64 y b))) (+.f64 (/.f64 (.f64 t z) (.f64 y (pow.f64 b 2))) (/.f64 (.f64 a (.f64 t z)) (*.f64 y (pow.f64 b 2)))))
	45.0b	(/.f64 z b)
	16.0b	(/.f64 1 (/.f64 (+.f64 1 (fma.f64 b (/.f64 y t) a)) (fma.f64 y (/.f64 z t) x)))
	16.5b	(.f64 (.f64 (cbrt.f64 (/.f64 (fma.f64 y (/.f64 z t) x) (+.f64 1 (fma.f64 b (/.f64 y t) a)))) (cbrt.f64 (/.f64 (fma.f64 y (/.f64 z t) x) (+.f64 1 (fma.f64 b (/.f64 y t) a))))) (cbrt.f64 (/.f64 (fma.f64 y (/.f64 z t) x) (+.f64 1 (fma.f64 b (/.f64 y t) a)))))
	50.4b	(-.f64 (fma.f64 2 (/.f64 (.f64 a (.f64 z (.f64 t t))) (.f64 (.f64 y y) (pow.f64 b 3))) (+.f64 (fma.f64 (.f64 (/.f64 t y) (/.f64 t y)) (/.f64 z (pow.f64 b 3)) (/.f64 z b)) (fma.f64 (/.f64 t y) (/.f64 x b) (/.f64 (.f64 a (.f64 a (.f64 z (.f64 t t)))) (.f64 (.f64 y y) (pow.f64 b 3)))))) (fma.f64 (/.f64 t y) (/.f64 z (.f64 b b)) (fma.f64 (.f64 (/.f64 t y) (/.f64 t y)) (/.f64 x (.f64 b b)) (fma.f64 (/.f64 a y) (/.f64 (.f64 z t) (.f64 b b)) (/.f64 (.f64 a (.f64 x (.f64 t t))) (.f64 y (.f64 y (*.f64 b b))))))))

Compiler

Compiled 8876 to 3999 computations (54.9% saved)

localize12.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	4.5b	(/.f64 x (+.f64 1 (+.f64 a (/.f64 (*.f64 y b) t))))
✓	4.9b	(/.f64 (*.f64 y b) t)
✓	5.5b	(.f64 (+.f64 1 (+.f64 a (/.f64 (.f64 y b) t))) t)
✓	12.4b	(/.f64 (.f64 y z) (.f64 (+.f64 1 (+.f64 a (/.f64 (*.f64 y b) t))) t))

series374.0ms (4.7%)

Counts

4 → 152

Calls

4 calls:

187.0ms	(/.f64 (.f64 y z) (.f64 (+.f64 1 (+.f64 a (/.f64 (*.f64 y b) t))) t))
158.0ms	(/.f64 x (+.f64 1 (+.f64 a (/.f64 (*.f64 y b) t))))
18.0ms	(.f64 (+.f64 1 (+.f64 a (/.f64 (.f64 y b) t))) t)
12.0ms	(/.f64 (*.f64 y b) t)

rewrite32.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

43×	`*-un-lft-identity_binary64`
25×	`add-cbrt-cube_binary64`
25×	`add-exp-log_binary64`
20×	`add-sqr-sqrt_binary64`
19×	`times-frac_binary64`

Counts

4 → 111

Calls

4 calls:

8.0ms	(/.f64 (.f64 y z) (.f64 (+.f64 1 (+.f64 a (/.f64 (*.f64 y b) t))) t))
7.0ms	(.f64 (+.f64 1 (+.f64 a (/.f64 (.f64 y b) t))) t)
6.0ms	(/.f64 x (+.f64 1 (+.f64 a (/.f64 (*.f64 y b) t))))
5.0ms	(/.f64 (*.f64 y b) t)

simplify192.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

687×	`associate-/l*_binary64`
522×	`associate-/r*_binary64`
472×	`fma-def_binary64`
298×	`associate-l_binary64`
156×	`associate-*l/_binary64`

Counts

263 → 241

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	430	10630
1	1368	9571
2	4935	9243
3	5254	9243

prune323.0ms (4.1%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	264	5	269
Fresh	4	5	9
Picked	1	0	1
Done	0	0	0
Total	269	10	279

Error

0.0b

Counts

279 → 10

Alt Table

Status	Error	Program
	43.2b	(-.f64 (fma.f64 (/.f64 t y) (/.f64 x b) (/.f64 z b)) (fma.f64 (/.f64 t y) (/.f64 z (.f64 b b)) (/.f64 (.f64 a (.f64 z t)) (.f64 y (*.f64 b b)))))
▶	12.6b	(+.f64 (/.f64 (.f64 y z) (fma.f64 y b (fma.f64 a t t))) (/.f64 x (+.f64 1 (+.f64 a (/.f64 (.f64 y b) t)))))
	43.9b	(-.f64 (+.f64 (/.f64 z b) (/.f64 (.f64 t x) (.f64 y b))) (+.f64 (/.f64 (.f64 t z) (.f64 y (pow.f64 b 2))) (/.f64 (.f64 a (.f64 t z)) (*.f64 y (pow.f64 b 2)))))
	28.7b	(+.f64 (/.f64 z b) (/.f64 x (+.f64 1 (+.f64 a (/.f64 (*.f64 y b) t)))))
	16.0b	(/.f64 1 (/.f64 (+.f64 1 (fma.f64 b (/.f64 y t) a)) (fma.f64 y (/.f64 z t) x)))
	12.8b	(+.f64 (/.f64 y (/.f64 (.f64 (+.f64 1 (+.f64 a (/.f64 (.f64 y b) t))) t) z)) (/.f64 x (+.f64 1 (+.f64 a (/.f64 (*.f64 y b) t)))))
	15.0b	(+.f64 (.f64 (/.f64 y (+.f64 1 (+.f64 a (/.f64 (.f64 y b) t)))) (/.f64 z t)) (/.f64 x (+.f64 1 (+.f64 a (/.f64 (*.f64 y b) t)))))
	16.3b	(/.f64 (+.f64 x (/.f64 (.f64 y z) t)) (+.f64 (+.f64 a 1) (/.f64 (.f64 y b) t)))
	26.2b	(+.f64 (.f64 (sqrt.f64 (/.f64 (.f64 y z) (.f64 (+.f64 1 (+.f64 a (/.f64 (.f64 y b) t))) t))) (sqrt.f64 (/.f64 (.f64 y z) (.f64 (+.f64 1 (+.f64 a (/.f64 (.f64 y b) t))) t)))) (/.f64 x (+.f64 1 (+.f64 a (/.f64 (.f64 y b) t)))))
	50.4b	(-.f64 (fma.f64 2 (/.f64 (.f64 a (.f64 z (.f64 t t))) (.f64 (.f64 y y) (pow.f64 b 3))) (+.f64 (fma.f64 (.f64 (/.f64 t y) (/.f64 t y)) (/.f64 z (pow.f64 b 3)) (/.f64 z b)) (fma.f64 (/.f64 t y) (/.f64 x b) (/.f64 (.f64 a (.f64 a (.f64 z (.f64 t t)))) (.f64 (.f64 y y) (pow.f64 b 3)))))) (fma.f64 (/.f64 t y) (/.f64 z (.f64 b b)) (fma.f64 (.f64 (/.f64 t y) (/.f64 t y)) (/.f64 x (.f64 b b)) (fma.f64 (/.f64 a y) (/.f64 (.f64 z t) (.f64 b b)) (/.f64 (.f64 a (.f64 x (.f64 t t))) (.f64 y (.f64 y (*.f64 b b))))))))

Compiler

Compiled 12159 to 4662 computations (61.7% saved)

localize17.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 a (/.f64 (*.f64 y b) t))
	4.5b	(/.f64 x (+.f64 1 (+.f64 a (/.f64 (*.f64 y b) t))))
	4.9b	(/.f64 (*.f64 y b) t)
✓	12.4b	(/.f64 (*.f64 y z) (fma.f64 y b (fma.f64 a t t)))

series130.0ms (1.6%)

Counts

2 → 72

Calls

2 calls:

117.0ms	(/.f64 (*.f64 y z) (fma.f64 y b (fma.f64 a t t)))
13.0ms	(+.f64 a (/.f64 (*.f64 y b) t))

rewrite8.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

7×	`*-un-lft-identity_binary64`
7×	`add-cbrt-cube_binary64`
7×	`add-exp-log_binary64`
5×	`add-sqr-sqrt_binary64`
5×	`add-cube-cbrt_binary64`

Counts

2 → 40

Calls

2 calls:

3.0ms	(+.f64 a (/.f64 (*.f64 y b) t))
3.0ms	(/.f64 (*.f64 y z) (fma.f64 y b (fma.f64 a t t)))

simplify98.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

490×	`cancel-sign-sub-inv_binary64`
484×	`times-frac_binary64`
340×	`associate-/l*_binary64`
241×	`associate-/r*_binary64`
219×	`fma-neg_binary64`

Counts

112 → 102

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	252	4598
1	787	4250
2	3926	4208
3	5331	4208

prune235.0ms (3%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	214	2	216
Fresh	2	7	9
Picked	1	0	1
Done	0	0	0
Total	217	9	226

Error

0.0b

Counts

226 → 9

Alt Table

Status	Error	Program
▶	10.6b	(+.f64 (/.f64 y (/.f64 (fma.f64 y b (fma.f64 a t t)) z)) (/.f64 x (+.f64 1 (+.f64 a (/.f64 (*.f64 y b) t)))))
	16.0b	(/.f64 1 (/.f64 (+.f64 1 (fma.f64 b (/.f64 y t) a)) (fma.f64 y (/.f64 z t) x)))
	43.2b	(-.f64 (fma.f64 (/.f64 t y) (/.f64 x b) (/.f64 z b)) (fma.f64 (/.f64 t y) (/.f64 z (.f64 b b)) (/.f64 (.f64 a (.f64 z t)) (.f64 y (*.f64 b b)))))
	43.9b	(-.f64 (+.f64 (/.f64 z b) (/.f64 (.f64 t x) (.f64 y b))) (+.f64 (/.f64 (.f64 t z) (.f64 y (pow.f64 b 2))) (/.f64 (.f64 a (.f64 t z)) (*.f64 y (pow.f64 b 2)))))
	28.7b	(+.f64 (/.f64 z b) (/.f64 x (+.f64 1 (+.f64 a (/.f64 (*.f64 y b) t)))))
	15.0b	(+.f64 (.f64 (/.f64 y (+.f64 1 (+.f64 a (/.f64 (.f64 y b) t)))) (/.f64 z t)) (/.f64 x (+.f64 1 (+.f64 a (/.f64 (*.f64 y b) t)))))
	16.3b	(/.f64 (+.f64 x (/.f64 (.f64 y z) t)) (+.f64 (+.f64 a 1) (/.f64 (.f64 y b) t)))
	50.4b	(-.f64 (fma.f64 2 (/.f64 (.f64 a (.f64 z (.f64 t t))) (.f64 (.f64 y y) (pow.f64 b 3))) (+.f64 (fma.f64 (.f64 (/.f64 t y) (/.f64 t y)) (/.f64 z (pow.f64 b 3)) (/.f64 z b)) (fma.f64 (/.f64 t y) (/.f64 x b) (/.f64 (.f64 a (.f64 a (.f64 z (.f64 t t)))) (.f64 (.f64 y y) (pow.f64 b 3)))))) (fma.f64 (/.f64 t y) (/.f64 z (.f64 b b)) (fma.f64 (.f64 (/.f64 t y) (/.f64 t y)) (/.f64 x (.f64 b b)) (fma.f64 (/.f64 a y) (/.f64 (.f64 z t) (.f64 b b)) (/.f64 (.f64 a (.f64 x (.f64 t t))) (.f64 y (.f64 y (*.f64 b b))))))))
	25.3b	(+.f64 (.f64 (sqrt.f64 (/.f64 (.f64 y z) (fma.f64 y b (fma.f64 a t t)))) (sqrt.f64 (/.f64 (.f64 y z) (fma.f64 y b (fma.f64 a t t))))) (/.f64 x (+.f64 1 (+.f64 a (/.f64 (.f64 y b) t)))))

Compiler

Compiled 9471 to 3308 computations (65.1% saved)

localize14.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	4.5b	(/.f64 x (+.f64 1 (+.f64 a (/.f64 (*.f64 y b) t))))
	4.9b	(/.f64 (*.f64 y b) t)
✓	5.2b	(/.f64 (fma.f64 y b (fma.f64 a t t)) z)
✓	7.1b	(/.f64 y (/.f64 (fma.f64 y b (fma.f64 a t t)) z))

series152.0ms (1.9%)

Counts

2 → 120

Calls

2 calls:

123.0ms	(/.f64 y (/.f64 (fma.f64 y b (fma.f64 a t t)) z))
28.0ms	(/.f64 (fma.f64 y b (fma.f64 a t t)) z)

rewrite16.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

84×	`times-frac_binary64`
52×	`*-un-lft-identity_binary64`
52×	`add-sqr-sqrt_binary64`
52×	`add-cube-cbrt_binary64`
16×	`associate-/r*_binary64`

Counts

2 → 101

Calls

2 calls:

5.0ms	(/.f64 y (/.f64 (fma.f64 y b (fma.f64 a t t)) z))
2.0ms	(/.f64 (fma.f64 y b (fma.f64 a t t)) z)

simplify189.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

478×	`times-frac_binary64`
346×	`associate-/l*_binary64`
253×	`associate-/r*_binary64`
237×	`fma-neg_binary64`
198×	`unswap-sqr_binary64`

Counts

221 → 237

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	345	7620
1	934	7228
2	4305	7177
3	4992	7177
4	4995	7177

prune351.0ms (4.4%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	349	2	351
Fresh	2	6	8
Picked	1	0	1
Done	0	0	0
Total	352	8	360

Error

0.0b

Counts

360 → 8

Alt Table

Status	Error	Program
	10.9b	(+.f64 (/.f64 y (/.f64 (+.f64 (.f64 y b) (+.f64 t (.f64 a t))) z)) (/.f64 x (+.f64 1 (+.f64 a (/.f64 (*.f64 y b) t)))))
	16.0b	(/.f64 1 (/.f64 (+.f64 1 (fma.f64 b (/.f64 y t) a)) (fma.f64 y (/.f64 z t) x)))
	43.2b	(-.f64 (fma.f64 (/.f64 t y) (/.f64 x b) (/.f64 z b)) (fma.f64 (/.f64 t y) (/.f64 z (.f64 b b)) (/.f64 (.f64 a (.f64 z t)) (.f64 y (*.f64 b b)))))
	43.9b	(-.f64 (+.f64 (/.f64 z b) (/.f64 (.f64 t x) (.f64 y b))) (+.f64 (/.f64 (.f64 t z) (.f64 y (pow.f64 b 2))) (/.f64 (.f64 a (.f64 t z)) (*.f64 y (pow.f64 b 2)))))
	28.7b	(+.f64 (/.f64 z b) (/.f64 x (+.f64 1 (+.f64 a (/.f64 (*.f64 y b) t)))))
	16.3b	(/.f64 (+.f64 x (/.f64 (.f64 y z) t)) (+.f64 (+.f64 a 1) (/.f64 (.f64 y b) t)))
	10.9b	(+.f64 (/.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y)) (/.f64 (fma.f64 y b (fma.f64 t a t)) (.f64 z (cbrt.f64 y)))) (/.f64 x (+.f64 1 (+.f64 a (/.f64 (*.f64 y b) t)))))
	50.4b	(-.f64 (fma.f64 2 (/.f64 (.f64 a (.f64 z (.f64 t t))) (.f64 (.f64 y y) (pow.f64 b 3))) (+.f64 (fma.f64 (.f64 (/.f64 t y) (/.f64 t y)) (/.f64 z (pow.f64 b 3)) (/.f64 z b)) (fma.f64 (/.f64 t y) (/.f64 x b) (/.f64 (.f64 a (.f64 a (.f64 z (.f64 t t)))) (.f64 (.f64 y y) (pow.f64 b 3)))))) (fma.f64 (/.f64 t y) (/.f64 z (.f64 b b)) (fma.f64 (.f64 (/.f64 t y) (/.f64 t y)) (/.f64 x (.f64 b b)) (fma.f64 (/.f64 a y) (/.f64 (.f64 z t) (.f64 b b)) (/.f64 (.f64 a (.f64 x (.f64 t t))) (.f64 y (.f64 y (*.f64 b b))))))))

Compiler

Compiled 14039 to 4110 computations (70.7% saved)

regimes1.6s (20.8%)

Accuracy

Total 8.3b remaining (96.4%)

Threshold costs 0b (0%)

Counts

126 → 4

Compiler

Compiled 30103 to 17346 computations (42.4% saved)

bsearch80.0ms (1%)

Steps

Iters	Range	Point
8	1.3938806967303927e+270	1.0988210929937358e+274	5.257518677882633e+271
9	1.4574859568117804e+123	2.4297222063334165e+131	8.803249001269132e+124
8	-6.6454693031015914e+72	-3.805095483585008e+68	-5.847993058855016e+71

Iters

Range

Point

1.3938806967303927e+270

1.0988210929937358e+274

5.257518677882633e+271

1.4574859568117804e+123

2.4297222063334165e+131

8.803249001269132e+124

-6.6454693031015914e+72

-3.805095483585008e+68

-5.847993058855016e+71

Compiler

Compiled 7 to 6 computations (14.3% saved)

simplify7.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

7×	`+-commutative_binary64`
6×	`*-commutative_binary64`
2×	`sub-neg_binary64`
1×	`neg-sub0_binary64`
1×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	47	139
1	61	139
2	65	139
3	67	139
4	68	139
5	67	139

end168.0ms (2.1%)

Compiler: Compiled 527 to 267 computations (49.3% saved)

Details

analyze1.8s (22.9%)

sample1.4s (17.2%)

simplify7.0ms (0.1%)

prune7.0ms (0.1%)

localize10.0ms (0.1%)

series242.0ms (3%)

rewrite10.0ms (0.1%)

simplify128.0ms (1.6%)

prune298.0ms (3.8%)

localize12.0ms (0.2%)

series374.0ms (4.7%)

rewrite32.0ms (0.4%)

simplify192.0ms (2.4%)

prune323.0ms (4.1%)

localize17.0ms (0.2%)

series130.0ms (1.6%)

rewrite8.0ms (0.1%)

simplify98.0ms (1.2%)

prune235.0ms (3%)

localize14.0ms (0.2%)

series152.0ms (1.9%)

rewrite16.0ms (0.2%)

simplify189.0ms (2.4%)

prune351.0ms (4.4%)

regimes1.6s (20.8%)

bsearch80.0ms (1%)

simplify7.0ms (0.1%)

end168.0ms (2.1%)

Profiling