Details

analyze930.0ms (14.1%)

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%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
7.8%	92%	0.2%	8
15.6%	84.2%	0.2%	9
23.4%	76.4%	0.2%	10
25%	74.9%	0.2%	11
37.9%	59.6%	2.5%	12
41.4%	55.7%	2.9%	13
46.3%	50.6%	3.1%	14

Compiler

Compiled 16 to 11 computations (31.3% saved)

sample1.3s (19%)

Results

1.0s	8256×	body	128	valid
206.0ms	1761×	body	128	invalid

Compiler

Compiled 32 to 22 computations (31.3% saved)

preprocess37.0ms (0.6%)

Algorithm

2×	egg-herbie

Rules

1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	36	112
1	38	112
0	4	4

Stop Event

1×	saturated
1×	saturated

Compiler

Compiled 15 to 10 computations (33.3% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	16
1	13	16

Stop Event

1×

saturated

Counts

1 → 1

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

5.2b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	5.2b	(*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))

Compiler

Compiled 45 to 30 computations (33.3% saved)

localize7.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 t (-.f64 1 z))
✓	0.0b	(-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))
✓	4.9b	(*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))

series53.0ms (0.8%)

Counts

3 → 78

Calls

27 calls:

6.0ms	(*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))	x	inf
4.0ms	(*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))	x	-inf
4.0ms	(*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))	t	-inf
3.0ms	(*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))	x	0
2.0ms	(*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))	y	-inf

rewrite43.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

894×	`log1p-expm1-u_binary64`
894×	`expm1-log1p-u_binary64`
113×	`add-sqr-sqrt_binary64`
106×	`add-cbrt-cube_binary64`
103×	`add-log-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	36
1	209	36
2	2249	36

Stop Event

1×	node limit

Counts

3 → 49

simplify538.0ms (8.2%)

Algorithm

1×	egg-herbie

Rules

1717×	`sqr-pow_binary64`
842×	`pow-sqr_binary64`
57×	`cube-prod_binary64`
57×	`cube-mult_binary64`
57×	`unpow3_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	82	1395
1	104	1395
2	116	1395
3	130	1395
4	150	1395
5	171	1395
6	195	1395
7	220	1395
8	249	1395
9	279	1395
10	313	1395
11	348	1395
12	387	1395
13	427	1395
14	471	1395
15	516	1395
16	565	1395
17	615	1395
18	669	1395
19	724	1395
20	783	1395
21	843	1395
22	907	1395
23	972	1395
24	1041	1395
25	1111	1395
26	1185	1395
27	1260	1395
28	1339	1395
29	1419	1395
30	1503	1395
31	1588	1395
32	1677	1395
33	1767	1395
34	1861	1395
35	1956	1395
36	2055	1395
37	2155	1395
38	2181	1395
39	2183	1395
40	2183	1395
41	2282	1395
42	2386	1395
43	2493	1395
44	2604	1395
45	2716	1395
46	2832	1395
47	2949	1395
48	3070	1395
49	3192	1395
50	3318	1395
51	3445	1395
52	3576	1395
53	3708	1395
54	3844	1395
55	3981	1395
56	4014	1395
57	4016	1395
58	4016	1395
59	4152	1395
60	4293	1395
61	4437	1395
62	4585	1395
63	4734	1395
64	4887	1395

Stop Event

1×	node limit

Counts

127 → 92

prune69.0ms (1.1%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	85	7	92
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	85	8	93

Error

0.1b

Counts

93 → 8

Alt Table

Status	Error	Program
	33.8b	(*.f64 x (cbrt.f64 (pow.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))) 3)))
	8.6b	(-.f64 (/.f64 (.f64 y x) z) (/.f64 (.f64 t x) (-.f64 1 z)))
	35.4b	(*.f64 x (pow.f64 (sqrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))) 2))
	37.6b	(.f64 x (/.f64 (-.f64 (pow.f64 (/.f64 y z) 3) (pow.f64 (/.f64 t (-.f64 1 z)) 3)) (+.f64 (pow.f64 (/.f64 y z) 2) (+.f64 (pow.f64 (/.f64 t (-.f64 1 z)) 2) (.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))))))
✓	5.2b	(*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))
	37.6b	(cbrt.f64 (pow.f64 (*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))) 3))
	33.4b	(pow.f64 (sqrt.f64 (*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))) 2)
▶	6.0b	(pow.f64 (cbrt.f64 (*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))) 3)

Compiler

Compiled 1912 to 970 computations (49.3% saved)

localize12.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.0b	(-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))
✓	0.7b	(pow.f64 (cbrt.f64 (*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))) 3)
	4.9b	(*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))
✓	5.4b	(cbrt.f64 (*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))))

series556.0ms (8.4%)

Counts

2 → 16

Calls

24 calls:

289.0ms	(pow.f64 (cbrt.f64 (*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))) 3)	t	0
61.0ms	(pow.f64 (cbrt.f64 (*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))) 3)	y	0
45.0ms	(pow.f64 (cbrt.f64 (*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))) 3)	z	-inf
28.0ms	(cbrt.f64 (*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))))	y	0
19.0ms	(pow.f64 (cbrt.f64 (*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))) 3)	x	-inf

rewrite42.0ms (0.6%)

Algorithm

1×	batch-egg-rewrite

Rules

331×	`pow2_binary64`
322×	`log-prod_binary64`
232×	`expm1-udef_binary64`
232×	`log1p-udef_binary64`
230×	`pow1/3_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	34
1	268	34
2	2687	34

Stop Event

1×	node limit

Counts

2 → 39

simplify284.0ms (4.3%)

Algorithm

1×	egg-herbie

Rules

1675×	`sqr-pow_binary64`
484×	`pow-sqr_binary64`
84×	`cube-prod_binary64`
84×	`cube-mult_binary64`
84×	`unpow3_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	190	1680
1	343	1680
2	461	1680
3	587	1680
4	731	1680
5	878	1680
6	1037	1680
7	1203	1680
8	1382	1680
9	1568	1680
10	1767	1680
11	1973	1680
12	2192	1680
13	2418	1680
14	2657	1680
15	2673	1680
16	2681	1680
17	2681	1680
18	2923	1680
19	3174	1680
20	3440	1680
21	3719	1680
22	4005	1680
23	4304	1680
24	4610	1680
25	4677	1680
26	4725	1680
27	4725	1680
28	4986	1680

Stop Event

1×	node limit

Counts

55 → 65

prune111.0ms (1.7%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	128	1	129
Fresh	0	6	6
Picked	1	0	1
Done	0	1	1
Total	129	8	137

Error

0.1b

Counts

137 → 8

Alt Table

Status	Error	Program
	33.8b	(*.f64 x (cbrt.f64 (pow.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))) 3)))
▶	8.6b	(-.f64 (/.f64 (.f64 y x) z) (/.f64 (.f64 t x) (-.f64 1 z)))
	22.6b	(pow.f64 (cbrt.f64 (/.f64 (fma.f64 y x (*.f64 t x)) z)) 3)
✓	5.2b	(*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))
	35.4b	(*.f64 x (pow.f64 (sqrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))) 2))
	37.6b	(.f64 x (/.f64 (-.f64 (pow.f64 (/.f64 y z) 3) (pow.f64 (/.f64 t (-.f64 1 z)) 3)) (+.f64 (pow.f64 (/.f64 y z) 2) (+.f64 (pow.f64 (/.f64 t (-.f64 1 z)) 2) (.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))))))
	37.6b	(cbrt.f64 (pow.f64 (*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))) 3))
	33.4b	(pow.f64 (sqrt.f64 (*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))) 2)

Compiler

Compiled 4248 to 2741 computations (35.5% saved)

localize10.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (/.f64 (.f64 y x) z) (/.f64 (.f64 t x) (-.f64 1 z)))
✓	4.6b	(/.f64 (*.f64 t x) (-.f64 1 z))
✓	5.3b	(/.f64 (*.f64 y x) z)

series57.0ms (0.9%)

Counts

3 → 42

Calls

30 calls:

4.0ms	(/.f64 (*.f64 t x) (-.f64 1 z))	x	0
3.0ms	(-.f64 (/.f64 (.f64 y x) z) (/.f64 (.f64 t x) (-.f64 1 z)))	x	-inf
3.0ms	(-.f64 (/.f64 (.f64 y x) z) (/.f64 (.f64 t x) (-.f64 1 z)))	x	inf
3.0ms	(-.f64 (/.f64 (.f64 y x) z) (/.f64 (.f64 t x) (-.f64 1 z)))	x	0
3.0ms	(-.f64 (/.f64 (.f64 y x) z) (/.f64 (.f64 t x) (-.f64 1 z)))	z	0

rewrite64.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

385×	`unpow-prod-down_binary64`
315×	`pow2_binary64`
304×	`log-prod_binary64`
223×	`pow1/3_binary64`
221×	`log-pow_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	36
1	227	36
2	2442	36

Stop Event

1×	node limit

Counts

3 → 81

simplify388.0ms (5.9%)

Algorithm

1×	egg-herbie

Rules

1717×	`sqr-pow_binary64`
842×	`pow-sqr_binary64`
57×	`cube-prod_binary64`
57×	`cube-mult_binary64`
57×	`unpow3_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	63	881
1	86	881
2	98	881
3	112	881
4	132	881
5	153	881
6	177	881
7	202	881
8	231	881
9	261	881
10	295	881
11	330	881
12	369	881
13	409	881
14	453	881
15	498	881
16	547	881
17	597	881
18	651	881
19	706	881
20	765	881
21	825	881
22	889	881
23	954	881
24	1023	881
25	1093	881
26	1167	881
27	1242	881
28	1321	881
29	1401	881
30	1485	881
31	1570	881
32	1659	881
33	1749	881
34	1843	881
35	1938	881
36	2037	881
37	2137	881
38	2163	881
39	2165	881
40	2165	881
41	2264	881
42	2368	881
43	2475	881
44	2586	881
45	2698	881
46	2814	881
47	2931	881
48	3052	881
49	3174	881
50	3300	881
51	3427	881
52	3558	881
53	3690	881
54	3826	881
55	3963	881
56	3996	881
57	3998	881
58	3998	881
59	4134	881
60	4275	881
61	4419	881
62	4567	881
63	4716	881
64	4869	881

Stop Event

1×	node limit

Counts

123 → 112

prune80.0ms (1.2%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	110	2	112
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	110	10	120

Error

0.1b

Counts

120 → 10

Alt Table

Status	Error	Program
	33.8b	(*.f64 x (cbrt.f64 (pow.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))) 3)))
✓	8.6b	(-.f64 (/.f64 (.f64 y x) z) (/.f64 (.f64 t x) (-.f64 1 z)))
	35.4b	(*.f64 x (pow.f64 (sqrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))) 2))
▶	9.5b	(-.f64 (.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (/.f64 (.f64 y x) z))) 2) 3) (cbrt.f64 (/.f64 (.f64 y x) z))) (/.f64 (.f64 t x) (-.f64 1 z)))
	22.6b	(pow.f64 (cbrt.f64 (/.f64 (fma.f64 y x (*.f64 t x)) z)) 3)
✓	5.2b	(*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))
	28.1b	(-.f64 (/.f64 (.f64 y x) z) (pow.f64 (sqrt.f64 (/.f64 (.f64 x t) (-.f64 1 z))) 2))
	37.6b	(.f64 x (/.f64 (-.f64 (pow.f64 (/.f64 y z) 3) (pow.f64 (/.f64 t (-.f64 1 z)) 3)) (+.f64 (pow.f64 (/.f64 y z) 2) (+.f64 (pow.f64 (/.f64 t (-.f64 1 z)) 2) (.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))))))
	37.6b	(cbrt.f64 (pow.f64 (*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))) 3))
	33.4b	(pow.f64 (sqrt.f64 (*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))) 2)

Compiler

Compiled 2808 to 1229 computations (56.2% saved)

localize18.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.7b	(pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (/.f64 (*.f64 y x) z))) 2) 3)
	4.6b	(/.f64 (*.f64 t x) (-.f64 1 z))
	5.3b	(/.f64 (*.f64 y x) z)
✓	10.9b	(cbrt.f64 (/.f64 (*.f64 y x) z))

series1.0s (15.9%)

Counts

2 → 36

Calls

18 calls:

209.0ms	(pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (/.f64 (*.f64 y x) z))) 2) 3)	x	-inf
200.0ms	(pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (/.f64 (*.f64 y x) z))) 2) 3)	z	-inf
196.0ms	(pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (/.f64 (*.f64 y x) z))) 2) 3)	y	-inf
77.0ms	(pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (/.f64 (*.f64 y x) z))) 2) 3)	y	0
67.0ms	(pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (/.f64 (*.f64 y x) z))) 2) 3)	y	inf

rewrite38.0ms (0.6%)

Algorithm

1×	batch-egg-rewrite

Rules

792×	`log1p-expm1-u_binary64`
792×	`expm1-log1p-u_binary64`
182×	`log1p-udef_binary64`
108×	`add-sqr-sqrt_binary64`
102×	`add-cbrt-cube_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	12	23
1	229	21
2	2220	21

Stop Event

1×	node limit

Counts

2 → 41

simplify96.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

1340×	`sqr-pow_binary64`
1116×	`pow-sqr_binary64`
216×	`cube-mult_binary64`
216×	`unpow3_binary64`
207×	`cube-prod_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	71	840
1	121	840
2	201	840
3	328	840
4	589	840
5	1032	840
6	1680	840
7	2824	840
8	3744	840
9	3924	840
10	3924	840

Stop Event

1×	node limit

Counts

77 → 59

prune162.0ms (2.5%)

Pruning

13 alts after pruning (10 fresh and 3 done)

	Pruned	Kept	Total
New	167	3	170
Fresh	0	7	7
Picked	0	1	1
Done	0	2	2
Total	167	13	180

Error

0.1b

Counts

180 → 13

Alt Table

Status	Error	Program
	33.8b	(*.f64 x (cbrt.f64 (pow.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))) 3)))
✓	8.6b	(-.f64 (/.f64 (.f64 y x) z) (/.f64 (.f64 t x) (-.f64 1 z)))
	35.4b	(*.f64 x (pow.f64 (sqrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))) 2))
✓	9.5b	(-.f64 (.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (/.f64 (.f64 y x) z))) 2) 3) (cbrt.f64 (/.f64 (.f64 y x) z))) (/.f64 (.f64 t x) (-.f64 1 z)))
	22.6b	(pow.f64 (cbrt.f64 (/.f64 (fma.f64 y x (*.f64 t x)) z)) 3)
✓	5.2b	(*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))
	23.6b	(-.f64 (.f64 (cbrt.f64 (pow.f64 (/.f64 (.f64 y x) z) 2)) (cbrt.f64 (/.f64 (.f64 y x) z))) (/.f64 (.f64 t x) (-.f64 1 z)))
	9.7b	(-.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (/.f64 (.f64 y x) z))) 2)) 6) (pow.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 (/.f64 (.f64 y x) z)))) 6)) (cbrt.f64 (/.f64 (.f64 y x) z))) (/.f64 (.f64 t x) (-.f64 1 z)))
	9.5b	(-.f64 (.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (/.f64 (.f64 y x) z))) 2) 3) (/.f64 (cbrt.f64 (.f64 y x)) (cbrt.f64 z))) (/.f64 (.f64 t x) (-.f64 1 z)))
	28.1b	(-.f64 (/.f64 (.f64 y x) z) (pow.f64 (sqrt.f64 (/.f64 (.f64 x t) (-.f64 1 z))) 2))
	37.6b	(.f64 x (/.f64 (-.f64 (pow.f64 (/.f64 y z) 3) (pow.f64 (/.f64 t (-.f64 1 z)) 3)) (+.f64 (pow.f64 (/.f64 y z) 2) (+.f64 (pow.f64 (/.f64 t (-.f64 1 z)) 2) (.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))))))
	37.6b	(cbrt.f64 (pow.f64 (*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))) 3))
	33.4b	(pow.f64 (sqrt.f64 (*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))) 2)

Compiler

Compiled 5762 to 2454 computations (57.4% saved)

regimes479.0ms (7.3%)

Accuracy

Total 0.5b remaining (89.6%)

Threshold costs 0.5b (89.6%)

Counts

36 → 5

Compiler

Compiled 4871 to 3231 computations (33.7% saved)

bsearch1.0ms (0%)

Algorithm

4×	left-value

Calls

4 calls:

0.0ms	(-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))
0.0ms	(-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))
0.0ms	(-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))
0.0ms	(-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))

Steps

Iters	Point		Range
2.1021122769901558e+138	∈ [	2.1021122769901558e+138	,	3.599195125805291e+142	]
1.943961421763064e-188	∈ [	1.943961421763064e-188	,	1.1339184916838194e-185	]
-2.5784549546398096e-254	∈ [	-2.5784549546398096e-254	,	-3.640280199647167e-259	]
#hash((type . real) (value . -inf))	∈ [	#hash((type . real) (value . -inf))	,	-3.6241994790507234e+293	]

Compiler

Compiled 13 to 9 computations (30.8% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	32	147
1	34	147

Stop Event

1×

saturated

end203.0ms (3.1%)

Stop Event

1×

fuel

Compiler

Compiled 520 to 309 computations (40.6% saved)

Details

analyze930.0ms (14.1%)

sample1.3s (19%)

preprocess37.0ms (0.6%)

simplify4.0ms (0.1%)

prune2.0ms (0%)

localize7.0ms (0.1%)

series53.0ms (0.8%)

rewrite43.0ms (0.7%)

simplify538.0ms (8.2%)

prune69.0ms (1.1%)

localize12.0ms (0.2%)

series556.0ms (8.4%)

rewrite42.0ms (0.6%)

simplify284.0ms (4.3%)

prune111.0ms (1.7%)

localize10.0ms (0.1%)

series57.0ms (0.9%)

rewrite64.0ms (1%)

simplify388.0ms (5.9%)

prune80.0ms (1.2%)

localize18.0ms (0.3%)

series1.0s (15.9%)

rewrite38.0ms (0.6%)

simplify96.0ms (1.5%)

prune162.0ms (2.5%)

regimes479.0ms (7.3%)

bsearch1.0ms (0%)

simplify3.0ms (0%)

end203.0ms (3.1%)

Profiling