Details

analyze2.7s (18.7%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.6%	0.4%	0
0%	99.6%	0.4%	1
0%	99.6%	0.4%	2
0%	99.6%	0.4%	3
0%	99.6%	0.4%	4
0%	99.6%	0.4%	5
0%	99.6%	0.4%	6
0%	99.6%	0.4%	7
0%	99.6%	0.4%	8
0%	99.6%	0.4%	9
0%	99.6%	0.4%	10
0%	99.6%	0.4%	11
0%	99.6%	0.4%	12
0%	99.6%	0.4%	13
0%	99.6%	0.4%	14

Compiler

Compiled 39 to 24 computations (38.5% saved)

sample4.3s (29.6%)

Results

2.5s	11651×	body	128	invalid
1.7s	8256×	body	128	valid

Compiler

Compiled 116 to 71 computations (38.8% saved)

simplify318.0ms (2.2%)

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

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

12.7b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	12.7b	(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)))))

Compiler

Compiled 137 to 74 computations (46% saved)

localize18.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(-.f64 (.f64 y z) (.f64 t a))
✓	4.4b	(.f64 j (-.f64 (.f64 t c) (*.f64 y i)))
✓	4.7b	(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)))))
✓	5.0b	(fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 t c) (*.f64 y i))))

series207.0ms (1.4%)

Counts

4 → 312

Calls

4 calls:

114.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)))))
61.0ms	(fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 t c) (*.f64 y i))))
22.0ms	(.f64 j (-.f64 (.f64 t c) (*.f64 y i)))
10.0ms	(-.f64 (.f64 y z) (.f64 t a))

rewrite15.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:

8.0ms	(.f64 j (-.f64 (.f64 t c) (*.f64 y i)))
3.0ms	(-.f64 (.f64 y z) (.f64 t a))
0.0ms	(fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 t c) (*.f64 y i))))
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)))))

simplify257.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

416×	`sub-neg_binary64`
370×	`cancel-sign-sub-inv_binary64`
343×	`*-commutative_binary64`
340×	`fma-neg_binary64`
327×	`distribute-rgt-in_binary64`

Counts

376 → 185

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	259	9515
1	632	8941
2	1937	8618
3	3872	8372
4	4999	8372
5	4937	8372

prune186.0ms (1.3%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	177	8	185
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	178	8	186

Error

0.0b

Counts

186 → 8

Alt Table

Status	Error	Program
	43.3b	(.f64 (-.f64 (.f64 y x) (*.f64 c b)) z)
▶	10.9b	(-.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)))))
	29.1b	(+.f64 (.f64 j (-.f64 (.f64 c t) (.f64 y i))) (.f64 a (-.f64 (.f64 i b) (.f64 t x))))
	31.0b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (.f64 t (-.f64 (.f64 c j) (*.f64 x a))))
	26.7b	(+.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 c (-.f64 (.f64 t j) (.f64 z b))))
	26.3b	(+.f64 (.f64 y (-.f64 (.f64 z x) (.f64 j i))) (.f64 c (-.f64 (.f64 t j) (.f64 z b))))
	29.1b	(+.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 i (-.f64 (.f64 a b) (.f64 j y))))
	12.7b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (+.f64 (.f64 (fma.f64 t c (neg.f64 (.f64 i y))) j) (.f64 (fma.f64 (neg.f64 i) y (.f64 i y)) j))))

Compiler

Compiled 5988 to 977 computations (83.7% saved)

localize24.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	5.1b	(.f64 a (.f64 t x))
✓	6.1b	(.f64 y (.f64 i j))
✓	6.6b	(.f64 c (.f64 t j))
✓	7.1b	(.f64 c (.f64 z b))

series38.0ms (0.3%)

Counts

4 → 32

Calls

4 calls:

11.0ms	(.f64 c (.f64 t j))
9.0ms	(.f64 c (.f64 z b))
9.0ms	(.f64 y (.f64 i j))
9.0ms	(.f64 a (.f64 t x))

rewrite21.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

24×	`add-cbrt-cube_binary64`
24×	`add-exp-log_binary64`
24×	`pow1_binary64`
12×	`associate-l_binary64`
12×	`cbrt-unprod_binary64`

Counts

4 → 80

Calls

4 calls:

6.0ms	(.f64 c (.f64 z b))
4.0ms	(.f64 a (.f64 t x))
4.0ms	(.f64 c (.f64 t j))
4.0ms	(.f64 y (.f64 i j))

simplify102.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

623×	`*-commutative_binary64`
530×	`associate-/l/_binary64`
501×	`sqr-pow_binary64`
482×	`unswap-sqr_binary64`
280×	`associate-l_binary64`

Counts

112 → 108

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	139	1100
1	333	920
2	1116	920
3	1572	920
4	1991	920
5	2741	920
6	3629	920
7	4868	920
8	4992	920

prune125.0ms (0.9%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	102	6	108
Fresh	1	6	7
Picked	1	0	1
Done	0	0	0
Total	104	12	116

Error

0.0b

Counts

116 → 12

Alt Table

Status	Error	Program
	12.1b	(-.f64 (+.f64 (.f64 i (.f64 a b)) (+.f64 (.f64 c (.f64 t j)) (.f64 y (.f64 z x)))) (+.f64 (.f64 (.f64 y i) j) (+.f64 (.f64 c (.f64 z b)) (.f64 a (.f64 t x)))))
	43.3b	(.f64 (-.f64 (.f64 y x) (*.f64 c b)) z)
	40.0b	(-.f64 (+.f64 (.f64 i (.f64 a b)) (+.f64 (.f64 c (.f64 t j)) (.f64 y (.f64 z x)))) (+.f64 (.f64 (sqrt.f64 y) (.f64 (sqrt.f64 y) (.f64 i j))) (+.f64 (.f64 c (.f64 z b)) (.f64 a (*.f64 t x)))))
	29.1b	(+.f64 (.f64 j (-.f64 (.f64 c t) (.f64 y i))) (.f64 a (-.f64 (.f64 i b) (.f64 t x))))
	31.0b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (.f64 t (-.f64 (.f64 c j) (*.f64 x a))))
	28.4b	(-.f64 (+.f64 (.f64 i (.f64 a b)) (+.f64 (.f64 c (.f64 t j)) (.f64 y (.f64 z x)))) (+.f64 (.f64 (sqrt.f64 (.f64 y (.f64 i j))) (sqrt.f64 (.f64 y (.f64 i j)))) (+.f64 (.f64 c (.f64 z b)) (.f64 a (*.f64 t x)))))
	12.7b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (+.f64 (.f64 (fma.f64 t c (neg.f64 (.f64 i y))) j) (.f64 (fma.f64 (neg.f64 i) y (.f64 i y)) j))))
▶	11.0b	(-.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 (.f64 (cbrt.f64 c) (cbrt.f64 c)) (.f64 (cbrt.f64 c) (.f64 z b))) (.f64 a (.f64 t x)))))
	32.1b	(-.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 (sqrt.f64 (.f64 c (.f64 z b))) (sqrt.f64 (.f64 c (.f64 z b)))) (.f64 a (*.f64 t x)))))
	26.3b	(+.f64 (.f64 y (-.f64 (.f64 z x) (.f64 j i))) (.f64 c (-.f64 (.f64 t j) (.f64 z b))))
	29.1b	(+.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 i (-.f64 (.f64 a b) (.f64 j y))))
	29.7b	(-.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 (sqrt.f64 (.f64 a (.f64 t x))) (sqrt.f64 (.f64 a (*.f64 t x)))))))

Compiler

Compiled 5266 to 1156 computations (78% saved)

localize31.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	4.8b	(.f64 y (.f64 z x))
	5.1b	(.f64 a (.f64 t x))
	6.1b	(.f64 y (.f64 i j))
	6.6b	(.f64 c (.f64 t j))

series9.0ms (0.1%)

Counts

1 → 0

Calls

1 calls:

9.0ms

(*.f64 y (*.f64 z x))

rewrite9.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`add-cbrt-cube_binary64`
6×	`add-exp-log_binary64`
6×	`pow1_binary64`
3×	`associate-l_binary64`
3×	`cbrt-unprod_binary64`

Counts

1 → 20

Calls

1 calls:

4.0ms

(*.f64 y (*.f64 z x))

simplify70.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

580×	`log-div_binary64`
514×	`associate-/l*_binary64`
411×	`*-commutative_binary64`
409×	`associate-l_binary64`
339×	`cube-div_binary64`

Counts

20 → 20

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	38	219
1	87	174
2	275	174
3	770	174
4	976	174
5	1185	174
6	1422	174
7	1902	174
8	3020	174
9	4714	174
10	4982	174

prune128.0ms (0.9%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	98	1	99
Fresh	0	11	11
Picked	1	0	1
Done	0	0	0
Total	99	12	111

Error

0.0b

Counts

111 → 12

Alt Table

Status	Error	Program
	12.1b	(-.f64 (+.f64 (.f64 i (.f64 a b)) (+.f64 (.f64 c (.f64 t j)) (.f64 y (.f64 z x)))) (+.f64 (.f64 (.f64 y i) j) (+.f64 (.f64 c (.f64 z b)) (.f64 a (.f64 t x)))))
	43.3b	(.f64 (-.f64 (.f64 y x) (*.f64 c b)) z)
	40.0b	(-.f64 (+.f64 (.f64 i (.f64 a b)) (+.f64 (.f64 c (.f64 t j)) (.f64 y (.f64 z x)))) (+.f64 (.f64 (sqrt.f64 y) (.f64 (sqrt.f64 y) (.f64 i j))) (+.f64 (.f64 c (.f64 z b)) (.f64 a (*.f64 t x)))))
	29.1b	(+.f64 (.f64 j (-.f64 (.f64 c t) (.f64 y i))) (.f64 a (-.f64 (.f64 i b) (.f64 t x))))
	31.0b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (.f64 t (-.f64 (.f64 c j) (*.f64 x a))))
	28.4b	(-.f64 (+.f64 (.f64 i (.f64 a b)) (+.f64 (.f64 c (.f64 t j)) (.f64 y (.f64 z x)))) (+.f64 (.f64 (sqrt.f64 (.f64 y (.f64 i j))) (sqrt.f64 (.f64 y (.f64 i j)))) (+.f64 (.f64 c (.f64 z b)) (.f64 a (*.f64 t x)))))
	12.7b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (+.f64 (.f64 (fma.f64 t c (neg.f64 (.f64 i y))) j) (.f64 (fma.f64 (neg.f64 i) y (.f64 i y)) j))))
	32.1b	(-.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 (sqrt.f64 (.f64 c (.f64 z b))) (sqrt.f64 (.f64 c (.f64 z b)))) (.f64 a (*.f64 t x)))))
▶	11.1b	(-.f64 (+.f64 (.f64 i (.f64 a b)) (+.f64 (.f64 c (.f64 t j)) (.f64 (.f64 (cbrt.f64 (.f64 y (.f64 z x))) (cbrt.f64 (.f64 y (.f64 z x)))) (cbrt.f64 (.f64 y (.f64 z x)))))) (+.f64 (.f64 y (.f64 i j)) (+.f64 (.f64 (.f64 (cbrt.f64 c) (cbrt.f64 c)) (.f64 (cbrt.f64 c) (.f64 z b))) (.f64 a (.f64 t x)))))
	26.3b	(+.f64 (.f64 y (-.f64 (.f64 z x) (.f64 j i))) (.f64 c (-.f64 (.f64 t j) (.f64 z b))))
	29.1b	(+.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 i (-.f64 (.f64 a b) (.f64 j y))))
	29.7b	(-.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 (sqrt.f64 (.f64 a (.f64 t x))) (sqrt.f64 (.f64 a (*.f64 t x)))))))

Compiler

Compiled 5639 to 1114 computations (80.2% saved)

localize31.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	5.1b	(.f64 a (.f64 t x))
	6.1b	(.f64 y (.f64 i j))
	6.6b	(.f64 c (.f64 t j))
✓	12.6b	(cbrt.f64 (.f64 y (.f64 z x)))

series766.0ms (5.3%)

Counts

1 → 36

Calls

1 calls:

766.0ms

(cbrt.f64 (*.f64 y (*.f64 z x)))

rewrite3.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

1×	`*-un-lft-identity_binary64`
1×	`add-sqr-sqrt_binary64`
1×	`cbrt-prod_binary64`
1×	`add-cube-cbrt_binary64`
1×	`add-cbrt-cube_binary64`

Counts

1 → 11

Calls

1 calls:

2.0ms

(cbrt.f64 (*.f64 y (*.f64 z x)))

simplify67.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

722×	`fma-def_binary64`
496×	`exp-sum_binary64`
426×	`fma-neg_binary64`
407×	`exp-prod_binary64`
272×	`exp-diff_binary64`

Counts

47 → 22

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	72	789
1	149	789
2	239	705
3	700	537
4	1671	537
5	4042	537
6	4953	537

prune143.0ms (1%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	145	0	145
Fresh	0	11	11
Picked	0	1	1
Done	0	0	0
Total	145	12	157

Error

0.0b

Counts

157 → 12

Alt Table

Status	Error	Program
	12.1b	(-.f64 (+.f64 (.f64 i (.f64 a b)) (+.f64 (.f64 c (.f64 t j)) (.f64 y (.f64 z x)))) (+.f64 (.f64 (.f64 y i) j) (+.f64 (.f64 c (.f64 z b)) (.f64 a (.f64 t x)))))
	43.3b	(.f64 (-.f64 (.f64 y x) (*.f64 c b)) z)
	40.0b	(-.f64 (+.f64 (.f64 i (.f64 a b)) (+.f64 (.f64 c (.f64 t j)) (.f64 y (.f64 z x)))) (+.f64 (.f64 (sqrt.f64 y) (.f64 (sqrt.f64 y) (.f64 i j))) (+.f64 (.f64 c (.f64 z b)) (.f64 a (*.f64 t x)))))
	29.1b	(+.f64 (.f64 j (-.f64 (.f64 c t) (.f64 y i))) (.f64 a (-.f64 (.f64 i b) (.f64 t x))))
	31.0b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (.f64 t (-.f64 (.f64 c j) (*.f64 x a))))
	28.4b	(-.f64 (+.f64 (.f64 i (.f64 a b)) (+.f64 (.f64 c (.f64 t j)) (.f64 y (.f64 z x)))) (+.f64 (.f64 (sqrt.f64 (.f64 y (.f64 i j))) (sqrt.f64 (.f64 y (.f64 i j)))) (+.f64 (.f64 c (.f64 z b)) (.f64 a (*.f64 t x)))))
	12.7b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (+.f64 (.f64 (fma.f64 t c (neg.f64 (.f64 i y))) j) (.f64 (fma.f64 (neg.f64 i) y (.f64 i y)) j))))
	32.1b	(-.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 (sqrt.f64 (.f64 c (.f64 z b))) (sqrt.f64 (.f64 c (.f64 z b)))) (.f64 a (*.f64 t x)))))
✓	11.1b	(-.f64 (+.f64 (.f64 i (.f64 a b)) (+.f64 (.f64 c (.f64 t j)) (.f64 (.f64 (cbrt.f64 (.f64 y (.f64 z x))) (cbrt.f64 (.f64 y (.f64 z x)))) (cbrt.f64 (.f64 y (.f64 z x)))))) (+.f64 (.f64 y (.f64 i j)) (+.f64 (.f64 (.f64 (cbrt.f64 c) (cbrt.f64 c)) (.f64 (cbrt.f64 c) (.f64 z b))) (.f64 a (.f64 t x)))))
	26.3b	(+.f64 (.f64 y (-.f64 (.f64 z x) (.f64 j i))) (.f64 c (-.f64 (.f64 t j) (.f64 z b))))
	29.1b	(+.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 i (-.f64 (.f64 a b) (.f64 j y))))
	29.7b	(-.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 (sqrt.f64 (.f64 a (.f64 t x))) (sqrt.f64 (.f64 a (*.f64 t x)))))))

Compiler

Compiled 9502 to 1264 computations (86.7% saved)

regimes4.7s (32.2%)

Accuracy

Total 2.8b remaining (96.4%)

Threshold costs 0b (0%)

Counts

164 → 3

Compiler

Compiled 69816 to 41088 computations (41.1% saved)

bsearch11.0ms (0.1%)

Compiler: Compiled 38 to 23 computations (39.5% saved)

simplify45.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

225×	`distribute-rgt-neg-in_binary64`
188×	`cancel-sign-sub-inv_binary64`
150×	`distribute-lft-neg-in_binary64`
141×	`neg-sub0_binary64`
141×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	69	239
1	125	239
2	177	239
3	234	239
4	302	239
5	345	239
6	403	239
7	491	239
8	555	239
9	617	239
10	683	239
11	784	239
12	883	239
13	973	239
14	1029	239
15	1062	239
16	1078	239
17	1082	239
18	1078	239

end206.0ms (1.4%)

Compiler: Compiled 829 to 391 computations (52.8% saved)

Details

analyze2.7s (18.7%)

sample4.3s (29.6%)

simplify318.0ms (2.2%)

prune4.0ms (0%)

localize18.0ms (0.1%)

series207.0ms (1.4%)

rewrite15.0ms (0.1%)

simplify257.0ms (1.8%)

prune186.0ms (1.3%)

localize24.0ms (0.2%)

series38.0ms (0.3%)

rewrite21.0ms (0.1%)

simplify102.0ms (0.7%)

prune125.0ms (0.9%)

localize31.0ms (0.2%)

series9.0ms (0.1%)

rewrite9.0ms (0.1%)

simplify70.0ms (0.5%)

prune128.0ms (0.9%)

localize31.0ms (0.2%)

series766.0ms (5.3%)

rewrite3.0ms (0%)

simplify67.0ms (0.5%)

prune143.0ms (1%)

regimes4.7s (32.2%)

bsearch11.0ms (0.1%)

simplify45.0ms (0.3%)

end206.0ms (1.4%)

Profiling