Details

analyze5.4s (21.3%)

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)

sample185.0ms (0.7%)

Algorithm

1×

intervals

Results

72.0ms	304×	body	128	invalid
51.0ms	256×	body	128	valid

Compiler

Compiled 86 to 56 computations (34.9% saved)

simplify344.0ms (1.4%)

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

prune8.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

14.8b

Counts

3 → 1

Alt Table

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

localize42.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

series351.0ms (1.4%)

Counts

4 → 312

Calls

4 calls:

176.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)))))
117.0ms	(fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 t c) (*.f64 y i))))
36.0ms	(.f64 j (-.f64 (.f64 t c) (*.f64 y i)))
17.0ms	(-.f64 (.f64 t c) (.f64 y i))

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

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

simplify449.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

395×	`sub-neg_binary64`
365×	`exp-prod_binary64`
338×	`cancel-sign-sub-inv_binary64`
333×	`exp-sum_binary64`
316×	`fma-neg_binary64`

Counts

376 → 191

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	241	9330
1	583	8944
2	1731	8621
3	3393	8366
4	4447	8366
5	5109	8366

prune413.0ms (1.6%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	183	8	191
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	184	8	192

Error

0.0b

Counts

192 → 8

Alt Table

Status	Error	Program
	26.8b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (/.f64 (.f64 j (.f64 (-.f64 (.f64 c t) (.f64 y i)) (fma.f64 c t (.f64 y i)))) (+.f64 (.f64 t c) (*.f64 y i)))))
	22.0b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 c (.f64 t j) (.f64 x (-.f64 (.f64 y z) (.f64 t a)))))
	28.7b	(+.f64 (.f64 z (-.f64 (.f64 y x) (.f64 c b))) (.f64 t (-.f64 (.f64 c j) (.f64 x a))))
	27.4b	(+.f64 (.f64 z (-.f64 (.f64 y x) (.f64 c b))) (.f64 j (-.f64 (.f64 c t) (.f64 y i))))
▶	12.4b	(-.f64 (+.f64 (.f64 a (.f64 i b)) (+.f64 (.f64 c (.f64 t j)) (.f64 y (.f64 z x)))) (+.f64 (.f64 y (.f64 i j)) (+.f64 (.f64 c (.f64 b z)) (.f64 a (.f64 t x)))))
	28.4b	(-.f64 (+.f64 (.f64 a (.f64 i b)) (.f64 y (.f64 z x))) (+.f64 (.f64 y (.f64 i j)) (.f64 a (.f64 t x))))
	25.2b	(+.f64 (.f64 z (-.f64 (.f64 y x) (.f64 c b))) (.f64 i (-.f64 (.f64 a b) (.f64 j y))))
	15.6b	(.f64 (.f64 (cbrt.f64 (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)))))) (cbrt.f64 (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))))))) (cbrt.f64 (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 6318 to 1030 computations (83.7% saved)

localize51.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	5.2b	(.f64 y (.f64 i j))
✓	5.2b	(.f64 a (.f64 i b))
✓	5.4b	(.f64 y (.f64 z x))
✓	6.9b	(.f64 c (.f64 t j))

series71.0ms (0.3%)

Counts

4 → 32

Calls

4 calls:

20.0ms	(.f64 a (.f64 i b))
17.0ms	(.f64 y (.f64 z x))
17.0ms	(.f64 c (.f64 t j))
17.0ms	(.f64 y (.f64 i j))

rewrite39.0ms (0.2%)

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:

10.0ms	(.f64 c (.f64 t j))
7.0ms	(.f64 y (.f64 z x))
7.0ms	(.f64 y (.f64 i j))
7.0ms	(.f64 a (.f64 i b))

simplify141.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

626×	`*-commutative_binary64`
545×	`associate-/l/_binary64`
505×	`sqr-pow_binary64`
484×	`unswap-sqr_binary64`
281×	`associate-l_binary64`

Counts

112 → 106

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	139	1100
1	335	920
2	1129	920
3	1579	920
4	2002	920
5	2760	920
6	3657	920
7	4920	920
8	4990	920

prune193.0ms (0.8%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	104	2	106
Fresh	0	7	7
Picked	1	0	1
Done	0	0	0
Total	105	9	114

Error

0.0b

Counts

114 → 9

Alt Table

Status	Error	Program
	26.8b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (/.f64 (.f64 j (.f64 (-.f64 (.f64 c t) (.f64 y i)) (fma.f64 c t (.f64 y i)))) (+.f64 (.f64 t c) (*.f64 y i)))))
	22.0b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 c (.f64 t j) (.f64 x (-.f64 (.f64 y z) (.f64 t a)))))
	28.7b	(+.f64 (.f64 z (-.f64 (.f64 y x) (.f64 c b))) (.f64 t (-.f64 (.f64 c j) (.f64 x a))))
	27.4b	(+.f64 (.f64 z (-.f64 (.f64 y x) (.f64 c b))) (.f64 j (-.f64 (.f64 c t) (.f64 y i))))
▶	12.5b	(-.f64 (+.f64 (.f64 a (.f64 i b)) (+.f64 (.f64 c (.f64 t j)) (.f64 y (.f64 z x)))) (+.f64 (.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y)) (.f64 (cbrt.f64 y) (.f64 i j))) (+.f64 (.f64 c (.f64 b z)) (.f64 a (.f64 t x)))))
	39.5b	(-.f64 (+.f64 (.f64 a (.f64 i b)) (+.f64 (.f64 (sqrt.f64 c) (.f64 (sqrt.f64 c) (.f64 t j))) (.f64 y (.f64 z x)))) (+.f64 (.f64 y (.f64 i j)) (+.f64 (.f64 c (.f64 b z)) (.f64 a (*.f64 t x)))))
	28.4b	(-.f64 (+.f64 (.f64 a (.f64 i b)) (.f64 y (.f64 z x))) (+.f64 (.f64 y (.f64 i j)) (.f64 a (.f64 t x))))
	25.2b	(+.f64 (.f64 z (-.f64 (.f64 y x) (.f64 c b))) (.f64 i (-.f64 (.f64 a b) (.f64 j y))))
	15.6b	(.f64 (.f64 (cbrt.f64 (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)))))) (cbrt.f64 (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))))))) (cbrt.f64 (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 5023 to 966 computations (80.8% saved)

localize57.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	4.4b	(.f64 a (.f64 t x))
	5.2b	(.f64 a (.f64 i b))
	5.4b	(.f64 y (.f64 z x))
	6.9b	(.f64 c (.f64 t j))

series23.0ms (0.1%)

Counts

1 → 0

Calls

1 calls:

23.0ms

(*.f64 a (*.f64 t x))

rewrite10.0ms (0%)

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:

8.0ms

(*.f64 a (*.f64 t x))

simplify99.0ms (0.4%)

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

prune343.0ms (1.4%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	96	2	98
Fresh	0	8	8
Picked	1	0	1
Done	0	0	0
Total	97	10	107

Error

0.0b

Counts

107 → 10

Alt Table

Status	Error	Program
	26.8b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (/.f64 (.f64 j (.f64 (-.f64 (.f64 c t) (.f64 y i)) (fma.f64 c t (.f64 y i)))) (+.f64 (.f64 t c) (*.f64 y i)))))
	22.0b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 c (.f64 t j) (.f64 x (-.f64 (.f64 y z) (.f64 t a)))))
	28.7b	(+.f64 (.f64 z (-.f64 (.f64 y x) (.f64 c b))) (.f64 t (-.f64 (.f64 c j) (.f64 x a))))
	27.4b	(+.f64 (.f64 z (-.f64 (.f64 y x) (.f64 c b))) (.f64 j (-.f64 (.f64 c t) (.f64 y i))))
	32.0b	(-.f64 (+.f64 (.f64 a (.f64 i b)) (+.f64 (.f64 c (.f64 t j)) (.f64 y (.f64 z x)))) (+.f64 (.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y)) (.f64 (cbrt.f64 y) (.f64 i j))) (+.f64 (.f64 c (.f64 b z)) (.f64 (sqrt.f64 (.f64 a (.f64 t x))) (sqrt.f64 (.f64 a (*.f64 t x)))))))
	39.5b	(-.f64 (+.f64 (.f64 a (.f64 i b)) (+.f64 (.f64 (sqrt.f64 c) (.f64 (sqrt.f64 c) (.f64 t j))) (.f64 y (.f64 z x)))) (+.f64 (.f64 y (.f64 i j)) (+.f64 (.f64 c (.f64 b z)) (.f64 a (*.f64 t x)))))
	28.4b	(-.f64 (+.f64 (.f64 a (.f64 i b)) (.f64 y (.f64 z x))) (+.f64 (.f64 y (.f64 i j)) (.f64 a (.f64 t x))))
	25.2b	(+.f64 (.f64 z (-.f64 (.f64 y x) (.f64 c b))) (.f64 i (-.f64 (.f64 a b) (.f64 j y))))
▶	12.7b	(-.f64 (+.f64 (.f64 a (.f64 i 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 (.f64 (cbrt.f64 y) (cbrt.f64 y)) (.f64 (cbrt.f64 y) (.f64 i j))) (+.f64 (.f64 c (.f64 b z)) (.f64 a (.f64 t x)))))
	15.6b	(.f64 (.f64 (cbrt.f64 (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)))))) (cbrt.f64 (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))))))) (cbrt.f64 (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 5553 to 1022 computations (81.6% saved)

localize64.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
	5.2b	(.f64 a (.f64 i b))
	5.4b	(.f64 y (.f64 z x))
	6.9b	(.f64 c (.f64 t j))
✓	16.0b	(cbrt.f64 (.f64 y (.f64 z x)))

series1.3s (5.1%)

Counts

1 → 36

Calls

1 calls:

1.3s	(cbrt.f64 (.f64 y (.f64 z x)))

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

5.0ms

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

simplify113.0ms (0.4%)

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

prune340.0ms (1.3%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	184	0	184
Fresh	0	9	9
Picked	0	1	1
Done	0	0	0
Total	184	10	194

Error

0.0b

Counts

194 → 10

Alt Table

Status	Error	Program
	26.8b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (/.f64 (.f64 j (.f64 (-.f64 (.f64 c t) (.f64 y i)) (fma.f64 c t (.f64 y i)))) (+.f64 (.f64 t c) (*.f64 y i)))))
	22.0b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 c (.f64 t j) (.f64 x (-.f64 (.f64 y z) (.f64 t a)))))
	28.7b	(+.f64 (.f64 z (-.f64 (.f64 y x) (.f64 c b))) (.f64 t (-.f64 (.f64 c j) (.f64 x a))))
	27.4b	(+.f64 (.f64 z (-.f64 (.f64 y x) (.f64 c b))) (.f64 j (-.f64 (.f64 c t) (.f64 y i))))
	32.0b	(-.f64 (+.f64 (.f64 a (.f64 i b)) (+.f64 (.f64 c (.f64 t j)) (.f64 y (.f64 z x)))) (+.f64 (.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y)) (.f64 (cbrt.f64 y) (.f64 i j))) (+.f64 (.f64 c (.f64 b z)) (.f64 (sqrt.f64 (.f64 a (.f64 t x))) (sqrt.f64 (.f64 a (*.f64 t x)))))))
	39.5b	(-.f64 (+.f64 (.f64 a (.f64 i b)) (+.f64 (.f64 (sqrt.f64 c) (.f64 (sqrt.f64 c) (.f64 t j))) (.f64 y (.f64 z x)))) (+.f64 (.f64 y (.f64 i j)) (+.f64 (.f64 c (.f64 b z)) (.f64 a (*.f64 t x)))))
	28.4b	(-.f64 (+.f64 (.f64 a (.f64 i b)) (.f64 y (.f64 z x))) (+.f64 (.f64 y (.f64 i j)) (.f64 a (.f64 t x))))
	25.2b	(+.f64 (.f64 z (-.f64 (.f64 y x) (.f64 c b))) (.f64 i (-.f64 (.f64 a b) (.f64 j y))))
✓	12.7b	(-.f64 (+.f64 (.f64 a (.f64 i 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 (.f64 (cbrt.f64 y) (cbrt.f64 y)) (.f64 (cbrt.f64 y) (.f64 i j))) (+.f64 (.f64 c (.f64 b z)) (.f64 a (.f64 t x)))))
	15.6b	(.f64 (.f64 (cbrt.f64 (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)))))) (cbrt.f64 (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))))))) (cbrt.f64 (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 11915 to 1458 computations (87.8% saved)

regimes8.9s (35.1%)

Accuracy

Total 2.8b remaining (94.5%)

Threshold costs 0b (0%)

Counts

165 → 3

Compiler

Compiled 68746 to 38708 computations (43.7% saved)

bsearch22.0ms (0.1%)

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

simplify74.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

248×	`distribute-rgt-neg-in_binary64`
204×	`cancel-sign-sub-inv_binary64`
165×	`distribute-lft-neg-in_binary64`
154×	`neg-sub0_binary64`
154×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	72	254
1	137	254
2	189	254
3	248	254
4	312	254
5	353	254
6	411	254
7	497	254
8	559	254
9	631	254
10	713	254
11	842	254
12	961	254
13	1072	254
14	1135	254
15	1168	254
16	1184	254
17	1188	254
18	1188	254
19	1184	254

end3.0ms (0%)

Compiler: Compiled 180 to 63 computations (65% saved)

sample6.3s (24.8%)

Algorithm

1×

intervals

Results

2.2s	11004×	body	128	invalid
1.6s	8000×	body	128	valid

Compiler

Compiled 695 to 330 computations (52.5% saved)

Details

analyze5.4s (21.3%)

sample185.0ms (0.7%)

simplify344.0ms (1.4%)

prune8.0ms (0%)

localize42.0ms (0.2%)

series351.0ms (1.4%)

rewrite22.0ms (0.1%)

simplify449.0ms (1.8%)

prune413.0ms (1.6%)

localize51.0ms (0.2%)

series71.0ms (0.3%)

rewrite39.0ms (0.2%)

simplify141.0ms (0.6%)

prune193.0ms (0.8%)

localize57.0ms (0.2%)

series23.0ms (0.1%)

rewrite10.0ms (0%)

simplify99.0ms (0.4%)

prune343.0ms (1.4%)

localize64.0ms (0.3%)

series1.3s (5.1%)

rewrite6.0ms (0%)

simplify113.0ms (0.4%)

prune340.0ms (1.3%)

regimes8.9s (35.1%)

bsearch22.0ms (0.1%)

simplify74.0ms (0.3%)

end3.0ms (0%)

sample6.3s (24.8%)

Profiling