Details

analyze5.0ms (0%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.6%	0.4%	0
99.6%	0%	0.4%	1

Compiler

Compiled 39 to 24 computations (38.5% saved)

sample1.4s (11.2%)

Infinites

57.6% of outputs are infinite.

Results

1.3s

8256×

body

128

valid

Compiler

Compiled 116 to 71 computations (38.8% saved)

simplify317.0ms (2.5%)

Algorithm

1×	egg-herbie

Rules

802×	`unsub-neg_binary64`
656×	`sub-neg_binary64`
486×	`fma-neg_binary64`
419×	`distribute-neg-in_binary64`
395×	`+-commutative_binary64`

Counts

1 → 2

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	24	43
1	59	41
2	139	41
3	438	39
4	1302	39
5	2982	39
6	3420	39
7	3898	39
8	4056	39
9	3986	39
10	4031	39
11	4027	39
12	4393	39
13	4600	39
14	4665	39
15	4670	39
16	4670	39
17	4672	39
18	4674	39
19	4674	39
20	4934	39
21	4931	39

prune4.0ms (0%)

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

15.3b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	15.3b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 t c) (*.f64 y i)))))
	17.3b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (.f64 j (-.f64 (.f64 c t) (*.f64 i y))))

Status

Error

Program

▶

15.3b

(fma.f64 b (-.f64 (*.f64 a i) (*.f64 z c)) (fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (*.f64 j (-.f64 (*.f64 t c) (*.f64 y i)))))

17.3b

(+.f64 (-.f64 (*.f64 x (-.f64 (*.f64 y z) (*.f64 t a))) (*.f64 b (-.f64 (*.f64 c z) (*.f64 i a)))) (*.f64 j (-.f64 (*.f64 c t) (*.f64 i y))))

Compiler

Compiled 213 to 120 computations (43.7% saved)

localize21.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.4b	(-.f64 (.f64 a i) (.f64 z c))
✓	5.0b	(.f64 j (-.f64 (.f64 t c) (*.f64 y i)))
✓	5.8b	(fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 t c) (*.f64 y i))))
✓	7.0b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 t c) (*.f64 y i)))))

series178.0ms (1.4%)

Counts

4 → 312

Calls

4 calls:

94.0ms	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 t c) (*.f64 y i)))))
55.0ms	(fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 t c) (*.f64 y i))))
19.0ms	(.f64 j (-.f64 (.f64 t c) (*.f64 y i)))
9.0ms	(-.f64 (.f64 a i) (.f64 z c))

rewrite11.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

4 → 64

Calls

4 calls:

5.0ms	(.f64 j (-.f64 (.f64 t c) (*.f64 y i)))
3.0ms	(-.f64 (.f64 a i) (.f64 z c))
0.0ms	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 t c) (*.f64 y i)))))
0.0ms	(fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 t c) (*.f64 y i))))

simplify227.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

417×	`sub-neg_binary64`
382×	`exp-prod_binary64`
378×	`cancel-sign-sub-inv_binary64`
342×	`*-commutative_binary64`
340×	`fma-neg_binary64`

Counts

376 → 193

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	260	9329
1	638	8941
2	1935	8618
3	3865	8372
4	4976	8372
5	5139	8372

prune211.0ms (1.6%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	185	8	193
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	187	8	195

Error

0.0b

Counts

195 → 8

Alt Table

Status	Error	Program
	24.8b	(+.f64 (.f64 z (-.f64 (.f64 y x) (.f64 c b))) (.f64 t (-.f64 (.f64 c j) (.f64 x a))))
	15.5b	(fma.f64 b (.f64 (.f64 (cbrt.f64 (-.f64 (.f64 a i) (.f64 z c))) (cbrt.f64 (-.f64 (.f64 a i) (.f64 z c)))) (cbrt.f64 (-.f64 (.f64 a i) (.f64 z c)))) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 t c) (*.f64 y i)))))
	19.8b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (-.f64 (.f64 t (-.f64 (.f64 c j) (.f64 x a))) (.f64 i (*.f64 j y))))
	40.2b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 (.f64 j (sqrt.f64 (-.f64 (.f64 t c) (.f64 y i)))) (sqrt.f64 (-.f64 (.f64 t c) (.f64 y i))))))
	36.1b	(.f64 (-.f64 (.f64 a i) (*.f64 c z)) b)
	18.2b	(-.f64 (+.f64 (.f64 i (.f64 a b)) (+.f64 (.f64 c (.f64 t j)) (.f64 y (.f64 z x)))) (+.f64 (.f64 y (.f64 i j)) (+.f64 (.f64 c (.f64 z b)) (.f64 a (.f64 t x)))))
▶	15.3b	(fma.f64 b (-.f64 (.f64 a i) (.f64 c z)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 t c) (*.f64 y i)))))
	40.1b	(.f64 y (-.f64 (.f64 z x) (*.f64 i j)))

Compiler

Compiled 6208 to 972 computations (84.3% saved)

localize19.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.4b	(-.f64 (.f64 a i) (.f64 c z))
	5.0b	(.f64 j (-.f64 (.f64 t c) (*.f64 y i)))
	5.8b	(fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 t c) (*.f64 y i))))
✓	7.0b	(fma.f64 b (-.f64 (.f64 a i) (.f64 c z)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 t c) (*.f64 y i)))))

series100.0ms (0.8%)

Counts

2 → 129

Calls

2 calls:

91.0ms	(fma.f64 b (-.f64 (.f64 a i) (.f64 c z)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 t c) (*.f64 y i)))))
9.0ms	(-.f64 (.f64 a i) (.f64 c z))

rewrite4.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

4×	`add-log-exp_binary64`
2×	`*-un-lft-identity_binary64`
2×	`add-sqr-sqrt_binary64`
2×	`add-cube-cbrt_binary64`
2×	`add-cbrt-cube_binary64`

Counts

2 → 26

Calls

2 calls:

3.0ms	(-.f64 (.f64 a i) (.f64 c z))
0.0ms	(fma.f64 b (-.f64 (.f64 a i) (.f64 c z)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 t c) (*.f64 y i)))))

simplify147.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

918×	`fma-def_binary64`
848×	`fma-neg_binary64`
487×	`cancel-sign-sub-inv_binary64`
348×	`sub-neg_binary64`
277×	`associate-l_binary64`

Counts

155 → 105

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	177	4985
1	473	4882
2	1399	4702
3	3293	4435
4	4573	4435
5	5069	4435

prune187.0ms (1.5%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	188	2	190
Fresh	2	5	7
Picked	0	1	1
Done	0	0	0
Total	190	8	198

Error

0.0b

Counts

198 → 8

Alt Table

Status	Error	Program
	24.3b	(fma.f64 z (-.f64 (.f64 y x) (.f64 c b)) (.f64 t (-.f64 (.f64 c j) (*.f64 x a))))
	36.1b	(.f64 (-.f64 (.f64 a i) (*.f64 c z)) b)
▶	15.5b	(fma.f64 b (.f64 (.f64 (cbrt.f64 (-.f64 (.f64 a i) (.f64 z c))) (cbrt.f64 (-.f64 (.f64 a i) (.f64 z c)))) (cbrt.f64 (-.f64 (.f64 a i) (.f64 z c)))) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 t c) (*.f64 y i)))))
	40.2b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 (.f64 j (sqrt.f64 (-.f64 (.f64 t c) (.f64 y i)))) (sqrt.f64 (-.f64 (.f64 t c) (.f64 y i))))))
	18.2b	(-.f64 (+.f64 (.f64 i (.f64 a b)) (+.f64 (.f64 c (.f64 t j)) (.f64 y (.f64 z x)))) (+.f64 (.f64 y (.f64 i j)) (+.f64 (.f64 c (.f64 z b)) (.f64 a (.f64 t x)))))
	17.7b	(fma.f64 b (-.f64 (.f64 a i) (.f64 c z)) (-.f64 (+.f64 (.f64 c (.f64 t j)) (.f64 y (.f64 z x))) (+.f64 (.f64 y (.f64 i j)) (.f64 a (.f64 t x)))))
✓	15.3b	(fma.f64 b (-.f64 (.f64 a i) (.f64 c z)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 t c) (*.f64 y i)))))
	40.1b	(.f64 y (-.f64 (.f64 z x) (*.f64 i j)))

Compiler

Compiled 6096 to 953 computations (84.4% saved)

localize26.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	5.0b	(.f64 j (-.f64 (.f64 t c) (*.f64 y i)))
	5.8b	(fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 t c) (*.f64 y i))))
✓	7.0b	(fma.f64 b (.f64 (.f64 (cbrt.f64 (-.f64 (.f64 a i) (.f64 z c))) (cbrt.f64 (-.f64 (.f64 a i) (.f64 z c)))) (cbrt.f64 (-.f64 (.f64 a i) (.f64 z c)))) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 t c) (*.f64 y i)))))
✓	17.9b	(cbrt.f64 (-.f64 (.f64 a i) (.f64 z c)))

series222.0ms (1.7%)

Counts

2 → 156

Calls

2 calls:

126.0ms

(fma.f64 b (*.f64 (*.f64 (cbrt.f64 (-.f64 (*.f64 a i) (*.f64 z c))) (cbrt.f64 (-.f64 (*.f64 a i) (*.f64 z c)))) (cbrt.f64 (-.f64 (*.f64 a i) (*.f64 z c)))) (fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (*.f64 j (-.f64 (*.f64 t c) (*.f64 y i)))))

96.0ms

(cbrt.f64 (-.f64 (*.f64 a i) (*.f64 z c)))

rewrite6.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

3×	`*-un-lft-identity_binary64`
3×	`add-sqr-sqrt_binary64`
3×	`cbrt-prod_binary64`
3×	`add-cube-cbrt_binary64`
2×	`cbrt-div_binary64`

Counts

2 → 25

Calls

2 calls:

4.0ms

(cbrt.f64 (-.f64 (*.f64 a i) (*.f64 z c)))

0.0ms

(fma.f64 b (*.f64 (*.f64 (cbrt.f64 (-.f64 (*.f64 a i) (*.f64 z c))) (cbrt.f64 (-.f64 (*.f64 a i) (*.f64 z c)))) (cbrt.f64 (-.f64 (*.f64 a i) (*.f64 z c)))) (fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (*.f64 j (-.f64 (*.f64 t c) (*.f64 y i)))))

simplify121.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

456×	`associate-/l*_binary64`
449×	`associate-/r*_binary64`
368×	`associate-l_binary64`
326×	`fma-def_binary64`
197×	`*-commutative_binary64`

Counts

181 → 187

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	500	8309
1	1542	8131
2	5318	8131

prune496.0ms (3.9%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	481	1	482
Fresh	1	5	6
Picked	0	1	1
Done	0	1	1
Total	482	8	490

Error

0.0b

Counts

490 → 8

Alt Table

Status	Error	Program
	24.3b	(fma.f64 z (-.f64 (.f64 y x) (.f64 c b)) (.f64 t (-.f64 (.f64 c j) (*.f64 x a))))
	36.1b	(.f64 (-.f64 (.f64 a i) (*.f64 c z)) b)
✓	15.5b	(fma.f64 b (.f64 (.f64 (cbrt.f64 (-.f64 (.f64 a i) (.f64 z c))) (cbrt.f64 (-.f64 (.f64 a i) (.f64 z c)))) (cbrt.f64 (-.f64 (.f64 a i) (.f64 z c)))) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 t c) (*.f64 y i)))))
	40.2b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 (.f64 j (sqrt.f64 (-.f64 (.f64 t c) (.f64 y i)))) (sqrt.f64 (-.f64 (.f64 t c) (.f64 y i))))))
	17.7b	(fma.f64 b (-.f64 (.f64 a i) (.f64 c z)) (-.f64 (+.f64 (.f64 c (.f64 t j)) (.f64 y (.f64 z x))) (+.f64 (.f64 y (.f64 i j)) (.f64 a (.f64 t x)))))
▶	17.5b	(-.f64 (fma.f64 i (.f64 a b) (fma.f64 c (.f64 t j) (.f64 y (.f64 z x)))) (fma.f64 c (.f64 z b) (fma.f64 a (.f64 t x) (.f64 i (.f64 j y)))))
✓	15.3b	(fma.f64 b (-.f64 (.f64 a i) (.f64 c z)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 t c) (*.f64 y i)))))
	40.1b	(.f64 y (-.f64 (.f64 z x) (*.f64 i j)))

Compiler

Compiled 32363 to 9136 computations (71.8% saved)

localize21.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	4.1b	(.f64 y (.f64 z x))
✓	5.4b	(fma.f64 c (.f64 t j) (.f64 y (*.f64 z x)))
✓	6.6b	(.f64 i (.f64 j y))
✓	7.6b	(-.f64 (fma.f64 i (.f64 a b) (fma.f64 c (.f64 t j) (.f64 y (.f64 z x)))) (fma.f64 c (.f64 z b) (fma.f64 a (.f64 t x) (.f64 i (.f64 j y)))))

series138.0ms (1.1%)

Counts

4 → 216

Calls

4 calls:

100.0ms	(-.f64 (fma.f64 i (.f64 a b) (fma.f64 c (.f64 t j) (.f64 y (.f64 z x)))) (fma.f64 c (.f64 z b) (fma.f64 a (.f64 t x) (.f64 i (.f64 j y)))))
21.0ms	(fma.f64 c (.f64 t j) (.f64 y (*.f64 z x)))
9.0ms	(.f64 y (.f64 z x))
8.0ms	(.f64 i (.f64 j y))

rewrite17.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`*-un-lft-identity_binary64`
16×	`add-sqr-sqrt_binary64`
14×	`add-cbrt-cube_binary64`
14×	`add-exp-log_binary64`
14×	`pow1_binary64`

Counts

4 → 82

Calls

4 calls:

4.0ms	(.f64 i (.f64 j y))
4.0ms	(.f64 y (.f64 z x))
3.0ms	(-.f64 (fma.f64 i (.f64 a b) (fma.f64 c (.f64 t j) (.f64 y (.f64 z x)))) (fma.f64 c (.f64 z b) (fma.f64 a (.f64 t x) (.f64 i (.f64 j y)))))
0.0ms	(fma.f64 c (.f64 t j) (.f64 y (*.f64 z x)))

simplify169.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

602×	`distribute-rgt-in_binary64`
558×	`distribute-lft-in_binary64`
408×	`cancel-sign-sub-inv_binary64`
407×	`fma-neg_binary64`
200×	`associate-l_binary64`

Counts

298 → 178

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	254	7928
1	632	7503
2	2023	7271
3	4660	7271
4	4917	7271

prune168.0ms (1.3%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	178	0	178
Fresh	0	5	5
Picked	0	1	1
Done	0	2	2
Total	178	8	186

Error

0.0b

Counts

186 → 8

Alt Table

Status	Error	Program
	24.3b	(fma.f64 z (-.f64 (.f64 y x) (.f64 c b)) (.f64 t (-.f64 (.f64 c j) (*.f64 x a))))
	36.1b	(.f64 (-.f64 (.f64 a i) (*.f64 c z)) b)
✓	15.5b	(fma.f64 b (.f64 (.f64 (cbrt.f64 (-.f64 (.f64 a i) (.f64 z c))) (cbrt.f64 (-.f64 (.f64 a i) (.f64 z c)))) (cbrt.f64 (-.f64 (.f64 a i) (.f64 z c)))) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 t c) (*.f64 y i)))))
	40.2b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 (.f64 j (sqrt.f64 (-.f64 (.f64 t c) (.f64 y i)))) (sqrt.f64 (-.f64 (.f64 t c) (.f64 y i))))))
	17.7b	(fma.f64 b (-.f64 (.f64 a i) (.f64 c z)) (-.f64 (+.f64 (.f64 c (.f64 t j)) (.f64 y (.f64 z x))) (+.f64 (.f64 y (.f64 i j)) (.f64 a (.f64 t x)))))
✓	17.5b	(-.f64 (fma.f64 i (.f64 a b) (fma.f64 c (.f64 t j) (.f64 y (.f64 z x)))) (fma.f64 c (.f64 z b) (fma.f64 a (.f64 t x) (.f64 i (.f64 j y)))))
✓	15.3b	(fma.f64 b (-.f64 (.f64 a i) (.f64 c z)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 t c) (*.f64 y i)))))
	40.1b	(.f64 y (-.f64 (.f64 z x) (*.f64 i j)))

Compiler

Compiled 7020 to 859 computations (87.8% saved)

regimes8.1s (63.4%)

Accuracy

Total 15.9b remaining (95.3%)

Threshold costs 0b (0%)

Counts

186 → 11

Compiler

Compiled 58126 to 34428 computations (40.8% saved)

bsearch251.0ms (2%)

Steps

Iters	Range		Point
9	4.105606636655793e+141	6.083824152242256e+147	8.037968703008732e+144
4	0.00022557875623825422	0.0003747883064771832	0.00022820018466013974
8	1.2272045405386184e-61	6.284365003997549e-59	3.881933784725765e-61
9	4.3200036597530493e-156	3.548483827229496e-148	4.341747647585589e-155
6	6.843268701837262e-183	2.909416870609326e-182	9.762989677428703e-183
10	6.257604631507101e-205	7.561263192576724e-187	7.426429121366233e-187
4	-8.550487901031771e-283	-4.955749551073371e-283	-7.090125446361172e-283
9	-2.8494111628715396e-230	-6.620571328254982e-236	-2.4408582861360383e-231
9	-6.615316409357684e-69	-8.213910726591001e-75	-3.470786552764898e-71
9	-9.112084715240934e-18	-2.1601293664108792e-24	-2.4801242598556534e-24

Compiler

Compiled 10 to 9 computations (10% saved)

simplify17.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

51×	`*-commutative_binary64`
34×	`sub-neg_binary64`
33×	`+-commutative_binary64`
21×	`neg-sub0_binary64`
21×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	107	426
1	171	426
2	235	426
3	287	426
4	313	426
5	318	426
6	316	426

end179.0ms (1.4%)

Compiler: Compiled 885 to 347 computations (60.8% saved)

Details

analyze5.0ms (0%)

sample1.4s (11.2%)

simplify317.0ms (2.5%)

prune4.0ms (0%)

localize21.0ms (0.2%)

series178.0ms (1.4%)

rewrite11.0ms (0.1%)

simplify227.0ms (1.8%)

prune211.0ms (1.6%)

localize19.0ms (0.1%)

series100.0ms (0.8%)

rewrite4.0ms (0%)

simplify147.0ms (1.1%)

prune187.0ms (1.5%)

localize26.0ms (0.2%)

series222.0ms (1.7%)

rewrite6.0ms (0%)

simplify121.0ms (0.9%)

prune496.0ms (3.9%)

localize21.0ms (0.2%)

series138.0ms (1.1%)

rewrite17.0ms (0.1%)

simplify169.0ms (1.3%)

prune168.0ms (1.3%)

regimes8.1s (63.4%)

bsearch251.0ms (2%)

simplify17.0ms (0.1%)

end179.0ms (1.4%)

Profiling