Details

sample65.0ms

Algorithm

intervals

Results

22.0ms	16×	body	5120	valid
12.0ms	185×	body	80	valid
7.0ms	22×	body	2560	valid
5.0ms	18×	body	1280	valid
2.0ms	8×	body	640	valid
1.0ms	4×	body	160	valid
0.0ms	3×	body	320	valid

simplify23.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	12	15
1	17	15
2	24	15
3	29	15
4	33	15
done	33	15

prune5.0ms

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

Merged error: 42.6b

Counts

2 → 1

localize13.0ms

Local error

Found 3 expressions with local error:

0.2b	(sqrt (* 2.0 (- (sqrt (+ (* re re) (* im im))) re)))
1.2b	(- (sqrt (+ (* re re) (* im im))) re)
32.9b	(sqrt (+ (* re re) (* im im)))

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

9×	`add-sqr-sqrt`
7×	`pow1`
6×	`*-un-lft-identity`
5×	`sqrt-prod` `add-log-exp`
4×	`add-cube-cbrt` `sqrt-div`
3×	`add-exp-log` `sqrt-pow1` `add-cbrt-cube`
2×	`flip3--` `pow1/2` `associate-*r/` `flip--` `difference-of-squares`
1×	`sub-neg` `rem-sqrt-square` `flip3-+` `diff-log` `pow-prod-down` `flip-+` `distribute-lft-out--`

Counts

3 → 43

Calls

3 calls:

9.0ms	(sqrt (* 2.0 (- (sqrt (+ (* re re) (* im im))) re)))
8.0ms	(- (sqrt (+ (* re re) (* im im))) re)
6.0ms	(sqrt (+ (* re re) (* im im)))

series57.0ms

Counts

3 → 9

Calls

3 calls:

32.0ms	(sqrt (* 2.0 (- (sqrt (+ (* re re) (* im im))) re)))
8.0ms	(- (sqrt (+ (* re re) (* im im))) re)
16.0ms	(sqrt (+ (* re re) (* im im)))

simplify40.5s

Counts

52 → 52

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	8	19
1	9	19
done	9	19
0	7	9
1	8	9
done	8	9
0	8	26
1	10	16
2	21	10
3	34	10
4	42	10
5	52	10
6	73	10
7	134	10
8	350	10
9	1295	10
done	5000	10
0	8	18
1	10	9
done	10	9
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	2	2
1	4	1
done	4	1
0	6	8
1	7	8
done	7	8
0	9	12
1	27	12
2	64	8
3	119	8
4	261	8
5	697	8
6	2312	8
done	5000	8
0	10	24
1	32	20
2	84	18
3	177	16
4	309	16
5	723	16
6	1972	16
done	5000	16
0	8	16
1	21	16
2	44	12
3	90	8
4	215	8
5	576	8
6	1483	8
done	5001	8
0	6	8
1	11	8
2	18	8
3	33	8
4	58	8
5	99	8
6	157	8
7	325	8
8	1570	8
done	5000	8
0	3	3
1	6	1
done	6	1
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	9	12
1	12	11
2	14	11
3	17	11
4	20	11
5	26	11
6	30	11
7	46	11
8	50	11
9	55	11
10	62	11
11	81	11
12	102	11
13	115	11
14	118	11
done	118	11
0	8	11
1	11	11
2	12	11
done	12	11
0	8	11
1	14	11
2	17	11
3	20	11
4	26	11
5	30	11
6	46	11
7	50	11
8	55	11
9	62	11
10	80	11
11	101	11
12	117	11
13	120	11
done	120	11
0	9	23
1	12	23
2	13	23
done	13	23
0	8	11
1	11	11
2	12	11
done	12	11
0	9	32
1	13	32
2	28	12
3	71	12
4	179	12
5	546	12
6	2166	12
done	5000	12
0	8	11
1	11	11
2	12	11
done	12	11
0	8	11
1	11	11
2	12	11
done	12	11
0	10	14
1	25	14
2	47	14
3	90	14
4	196	14
5	554	14
6	2348	14
done	5000	14
0	10	32
1	18	20
2	37	20
3	61	18
4	71	18
5	72	18
done	72	18
0	2	2
done	2	2
0	8	21
1	14	11
2	30	11
3	61	5
4	93	3
5	289	3
6	2219	3
done	5000	3
0	7	10
1	9	10
done	9	10
0	9	12
1	11	12
done	11	12
0	9	12
1	12	12
2	13	12
done	13	12
0	9	12
1	11	12
done	11	12
0	9	12
1	12	12
2	13	12
done	13	12
0	7	10
1	10	10
2	11	10
done	11	10
0	2	2
done	2	2
0	11	14
1	15	14
2	22	14
3	27	14
4	31	14
done	31	14
0	11	14
1	15	14
2	22	14
3	27	14
4	31	14
done	31	14
0	12	29
1	16	29
2	23	29
3	28	29
4	32	29
done	32	29
0	11	14
1	15	14
2	22	14
3	27	14
4	31	14
done	31	14
0	12	41
1	17	26
2	35	15
3	67	15
4	94	15
5	123	15
6	152	15
7	213	15
8	424	15
9	1352	15
done	5000	15
0	2	2
done	2	2
0	8	11
1	11	11
2	12	11
done	12	11
0	13	17
1	29	17
2	57	17
3	145	17
4	364	17
5	1100	17
6	4661	17
done	5000	17
0	11	33
1	19	21
2	38	21
3	64	19
4	74	19
5	75	19
done	75	19
0	11	24
1	18	14
2	44	14
3	120	8
4	230	6
5	637	6
6	3987	6
done	5000	6
0	8	11
1	10	11
done	10	11
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	11	14
1	15	14
2	22	14
3	27	14
4	31	14
done	31	14
0	11	14
1	15	14
2	22	14
3	27	14
4	31	14
done	31	14
0	1	1
done	1	1
0	1	1
done	1	1
0	3	3
1	5	2
done	5	2
0	3	3
1	5	3
2	6	3
done	6	3
0	1	1
done	1	1
0	3	3
1	4	3
done	4	3
0	20	30
1	54	30
2	183	27
3	680	23
4	3335	18
done	5000	18
0	1	1
done	1	1
0	18	26
1	49	26
2	140	26
3	367	23
4	1318	21
done	5001	21

prune125.0ms

Filtered

42 candidates to 52 candidates (-23.8%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	46	6	52
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	47	6	53

Merged error: 18.9b

Counts

53 → 6

localize14.0ms

Local error

Found 4 expressions with local error:

0.3b	(/ (sqrt (* 2.0 (* im im))) (sqrt (+ (sqrt (+ (* re re) (* im im))) re)))
0.3b	(+ (sqrt (+ (* re re) (* im im))) re)
32.1b	(sqrt (* 2.0 (* im im)))
32.9b	(sqrt (+ (* re re) (* im im)))

rewrite40.0ms

Algorithm

rewrite-expression-head

Rules

35×	`*-un-lft-identity`
32×	`sqrt-prod`
28×	`times-frac`
24×	`add-sqr-sqrt`
23×	`add-cube-cbrt`
11×	`pow1`
7×	`associate-/r*`
6×	`add-exp-log` `add-cbrt-cube` `distribute-lft-out` `add-log-exp`
4×	`sqrt-pow1` `sqrt-div` `associate-/l*`
3×	`flip3-+` `pow-prod-down` `flip-+`
2×	`pow1/2` `associate-/r/`
1×	`cbrt-undiv` `+-commutative` `rem-sqrt-square` `sqrt-undiv` `frac-2neg` `div-exp` `clear-num` `sum-log` `div-inv`

Counts

4 → 93

Calls

4 calls:

19.0ms	(/ (sqrt (* 2.0 (* im im))) (sqrt (+ (sqrt (+ (* re re) (* im im))) re)))
8.0ms	(+ (sqrt (+ (* re re) (* im im))) re)
5.0ms	(sqrt (* 2.0 (* im im)))
5.0ms	(sqrt (+ (* re re) (* im im)))

series45.0ms

Counts

4 → 12

Calls

4 calls:

25.0ms	(/ (sqrt (* 2.0 (* im im))) (sqrt (+ (sqrt (+ (* re re) (* im im))) re)))
8.0ms	(+ (sqrt (+ (* re re) (* im im))) re)
4.0ms	(sqrt (* 2.0 (* im im)))
7.0ms	(sqrt (+ (* re re) (* im im)))

simplify58.8s

Counts

105 → 105

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	8	19
1	9	19
done	9	19
0	7	9
1	8	9
done	8	9
0	8	26
1	10	16
2	21	10
3	34	10
4	42	10
5	52	10
6	73	10
7	134	10
8	350	10
9	1295	10
done	5000	10
0	8	18
1	10	9
done	10	9
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	2	2
1	4	1
done	4	1
0	6	8
1	7	8
done	7	8
0	9	12
1	27	12
2	64	8
3	119	8
4	261	8
5	697	8
6	2312	8
done	5000	8
0	10	24
1	32	20
2	84	18
3	177	16
4	309	16
5	723	16
6	1972	16
done	5000	16
0	8	16
1	21	16
2	44	12
3	90	8
4	215	8
5	576	8
6	1483	8
done	5001	8
0	6	8
1	11	8
2	18	8
3	33	8
4	58	8
5	99	8
6	157	8
7	325	8
8	1570	8
done	5000	8
0	3	3
1	6	1
done	6	1
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	6	7
1	9	7
2	11	7
done	11	7
0	6	7
1	9	7
2	11	7
done	11	7
0	7	15
1	10	15
2	12	15
done	12	15
0	6	7
1	9	7
2	11	7
done	11	7
0	7	20
1	11	12
2	28	8
3	46	8
4	52	8
5	62	8
6	83	8
7	143	8
8	348	8
9	1266	8
done	5000	8
0	2	2
done	2	2
0	3	4
1	4	2
done	4	2
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	6	7
1	9	7
2	11	7
done	11	7
0	6	7
1	9	7
2	11	7
done	11	7
0	9	12
1	13	11
2	14	11
done	14	11
0	8	11
1	10	11
done	10	11
0	8	11
1	13	11
2	14	11
done	14	11
0	9	23
1	11	23
done	11	23
0	8	11
1	10	11
done	10	11
0	9	32
1	24	32
2	55	12
3	120	12
4	320	12
5	1206	12
6	4302	12
done	5001	12
0	8	11
1	10	11
done	10	11
0	8	11
1	10	11
done	10	11
0	10	14
1	24	14
2	33	14
3	59	14
4	116	14
5	252	14
6	669	14
7	2468	14
done	5000	14
0	10	32
1	19	20
2	45	20
3	87	18
4	135	18
5	199	18
6	332	18
7	478	18
8	584	18
9	604	18
done	604	18
0	8	21
1	14	11
2	30	11
3	61	5
4	93	3
5	289	3
6	2219	3
done	5000	3
0	7	10
1	10	10
2	11	10
done	11	10
0	7	10
1	9	10
done	9	10
0	14	20
1	21	20
2	24	20
done	24	20
0	13	19
1	21	19
2	25	19
3	26	19
done	26	19
0	13	19
1	18	19
2	20	19
done	20	19
0	16	56
1	30	35
2	105	22
3	380	20
4	1211	20
5	2090	20
6	3909	20
done	5000	20
0	14	39
1	19	39
2	21	39
done	21	39
0	13	19
1	18	19
2	20	19
done	20	19
0	14	56
1	26	56
2	44	20
3	82	20
4	212	20
5	690	20
6	1753	20
7	3460	20
done	5000	20
0	10	16
1	17	16
2	26	16
3	41	16
4	52	16
5	55	16
6	57	16
done	57	16
0	13	19
1	18	19
2	20	19
done	20	19
0	13	19
1	18	19
2	20	19
done	20	19
0	6	7
1	9	7
2	11	7
done	11	7
0	9	12
1	11	12
done	11	12
0	16	41
1	27	41
2	38	41
3	44	41
done	44	41
0	14	20
1	19	20
2	21	20
done	21	20
0	16	40
1	24	28
2	28	28
3	29	28
done	29	28
0	14	20
1	19	20
2	21	20
done	21	20
0	15	28
1	22	28
2	26	28
3	27	28
done	27	28
0	14	20
1	19	20
2	21	20
done	21	20
0	10	18
1	17	17
2	21	17
3	22	15
4	29	15
done	29	15
0	13	19
1	18	19
2	20	19
done	20	19
0	10	18
1	17	17
2	21	17
3	22	15
4	29	15
done	29	15
0	13	19
1	18	19
2	20	19
done	20	19
0	15	28
1	22	28
2	26	28
3	27	28
done	27	28
0	14	20
1	19	20
2	21	20
done	21	20
0	9	17
1	16	15
2	24	15
3	29	15
done	29	15
0	13	19
1	18	19
2	20	19
done	20	19
0	13	28
1	17	28
done	17	28
0	11	17
1	14	15
done	14	15
0	13	27
1	16	15
done	16	15
0	11	17
1	14	15
done	14	15
0	12	15
1	14	15
done	14	15
0	11	17
1	14	15
done	14	15
0	5	5
1	7	4
done	7	4
0	10	16
1	13	14
done	13	14
0	5	5
1	7	4
done	7	4
0	10	16
1	13	14
done	13	14
0	12	15
1	14	15
done	14	15
0	11	17
1	14	15
done	14	15
0	4	4
1	6	2
2	8	2
done	8	2
0	10	16
1	13	14
done	13	14
0	15	33
1	22	33
2	24	33
done	24	33
0	14	20
1	19	20
2	21	20
done	21	20
0	15	32
1	21	20
2	23	20
done	23	20
0	14	20
1	19	20
2	21	20
done	21	20
0	14	20
1	19	20
2	21	20
done	21	20
0	14	20
1	19	20
2	21	20
done	21	20
0	9	10
1	14	9
2	16	9
done	16	9
0	13	19
1	18	19
2	20	19
done	20	19
0	9	10
1	14	9
2	16	9
done	16	9
0	13	19
1	18	19
2	20	19
done	20	19
0	14	20
1	19	20
2	21	20
done	21	20
0	14	20
1	19	20
2	21	20
done	21	20
0	8	9
1	13	7
2	17	7
done	17	7
0	13	19
1	18	19
2	20	19
done	20	19
0	12	27
1	18	27
done	18	27
0	13	19
1	18	19
2	20	19
done	20	19
0	12	26
1	17	14
done	17	14
0	13	19
1	18	19
2	20	19
done	20	19
0	11	14
1	15	14
done	15	14
0	13	19
1	18	19
2	20	19
done	20	19
0	3	4
1	5	3
done	5	3
0	12	18
1	17	18
2	19	18
done	19	18
0	3	4
1	5	3
done	5	3
0	12	18
1	17	18
2	19	18
done	19	18
0	11	14
1	15	14
done	15	14
0	13	19
1	18	19
2	20	19
done	20	19
0	2	3
1	4	1
done	4	1
0	12	18
1	17	18
2	19	18
done	19	18
0	10	13
1	14	13
done	14	13
0	12	18
1	17	18
2	19	18
done	19	18
0	14	32
1	21	32
2	23	32
done	23	32
0	14	31
1	20	19
2	22	19
done	22	19
0	13	19
1	18	19
2	20	19
done	20	19
0	8	9
1	13	8
2	15	8
done	15	8
0	8	9
1	13	8
2	15	8
done	15	8
0	13	19
1	18	19
2	20	19
done	20	19
0	7	8
1	12	6
2	16	6
done	16	6
0	13	19
1	18	19
2	20	19
done	20	19
0	10	16
1	13	14
done	13	14
0	13	19
1	18	19
2	20	19
done	20	19
0	12	18
1	17	18
2	19	18
done	19	18
0	15	22
1	32	22
2	43	22
3	69	22
4	124	22
5	252	22
6	670	22
7	2532	22
done	5001	22
0	13	29
1	22	19
2	40	19
3	71	13
4	103	11
5	345	9
6	2446	9
done	5001	9
0	1	1
done	1	1
0	1	1
done	1	1
0	3	3
1	5	2
done	5	2
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	6	6
1	11	5
2	23	5
done	23	5
0	3	3
1	4	3
done	4	3
0	3	3
1	4	3
done	4	3
0	1	1
done	1	1
0	26	39
1	76	36
2	243	36
3	963	31
4	4570	31
done	5000	31
0	18	26
1	49	26
2	147	26
3	402	23
4	1411	21
done	5000	21
0	18	28
1	49	28
2	158	28
3	518	25
4	2293	21
done	5001	21

prune209.0ms

Filtered

81 candidates to 105 candidates (-29.6%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	96	9	105
Fresh	3	2	5
Picked	1	0	1
Done	0	0	0
Total	100	11	111

Merged error: 10.7b

Counts

111 → 11

localize15.0ms

Local error

Found 4 expressions with local error:

0.3b	(/ (fabs im) (sqrt (+ (sqrt (+ (* re re) (* im im))) re)))
0.3b	(+ (sqrt (+ (* re re) (* im im))) re)
0.3b	(* (sqrt 2.0) (/ (fabs im) (sqrt (+ (sqrt (+ (* re re) (* im im))) re))))
32.9b	(sqrt (+ (* re re) (* im im)))

rewrite55.0ms

Algorithm

rewrite-expression-head

Rules

54×	`add-sqr-sqrt`
53×	`*-un-lft-identity`
46×	`times-frac`
39×	`sqrt-prod`
37×	`add-cube-cbrt`
27×	`associate-r`
11×	`add-exp-log` `add-cbrt-cube`
8×	`distribute-lft-out`
7×	`pow1` `associate-/r*`
6×	`sqrt-div` `associate-l` `add-log-exp` `unswap-sqr`
4×	`flip3-+` `associate-/r/` `flip-+`
3×	`associate-/l*`
2×	`cbrt-undiv` `div-exp` `prod-exp` `cbrt-unprod` `div-inv`
1×	`+-commutative` `rem-sqrt-square` `frac-2neg` `sqrt-pow1` `pow1/2` `associate-r/` `pow-prod-down` `clear-num` `sum-log` `-commutative`

Counts

4 → 125

Calls

4 calls:

16.0ms	(/ (fabs im) (sqrt (+ (sqrt (+ (* re re) (* im im))) re)))
8.0ms	(+ (sqrt (+ (* re re) (* im im))) re)
21.0ms	(* (sqrt 2.0) (/ (fabs im) (sqrt (+ (sqrt (+ (* re re) (* im im))) re))))
5.0ms	(sqrt (+ (* re re) (* im im)))

series71.0ms

Counts

4 → 12

Calls

4 calls:

24.0ms	(/ (fabs im) (sqrt (+ (sqrt (+ (* re re) (* im im))) re)))
8.0ms	(+ (sqrt (+ (* re re) (* im im))) re)
32.0ms	(* (sqrt 2.0) (/ (fabs im) (sqrt (+ (sqrt (+ (* re re) (* im im))) re))))
7.0ms	(sqrt (+ (* re re) (* im im)))

simplify1.4min

Counts

137 → 137

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	8	19
1	9	19
done	9	19
0	7	9
1	8	9
done	8	9
0	8	26
1	10	16
2	21	10
3	34	10
4	42	10
5	52	10
6	73	10
7	134	10
8	350	10
9	1295	10
done	5000	10
0	8	18
1	10	9
done	10	9
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	2	2
1	4	1
done	4	1
0	6	8
1	7	8
done	7	8
0	9	12
1	27	12
2	64	8
3	119	8
4	261	8
5	697	8
6	2312	8
done	5000	8
0	10	24
1	32	20
2	84	18
3	177	16
4	309	16
5	723	16
6	1972	16
done	5000	16
0	8	16
1	21	16
2	44	12
3	90	8
4	215	8
5	576	8
6	1483	8
done	5001	8
0	6	8
1	11	8
2	18	8
3	33	8
4	58	8
5	99	8
6	157	8
7	325	8
8	1570	8
done	5000	8
0	3	3
1	6	1
done	6	1
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	13	17
1	18	17
2	21	17
3	25	17
4	26	17
done	26	17
0	16	20
1	23	20
2	30	20
3	39	20
4	45	20
5	55	20
6	62	20
7	74	20
8	97	20
9	111	20
10	117	20
done	117	20
0	15	19
1	21	19
2	27	19
3	36	19
4	46	19
5	55	19
6	60	19
7	69	19
8	86	19
9	105	19
10	113	19
done	113	19
0	14	18
1	22	18
2	31	18
3	45	18
4	65	18
5	78	18
6	90	18
7	108	18
8	124	18
9	131	18
10	148	18
11	150	18
done	150	18
0	14	18
1	21	18
2	30	18
3	44	18
4	77	18
5	158	18
6	367	18
7	1400	18
done	5001	18
0	19	53
1	36	36
2	120	23
3	448	21
4	1519	21
5	4161	21
done	5001	21
0	17	53
1	32	49
2	78	21
3	225	21
4	687	21
5	1850	21
6	3937	21
done	5001	21
0	15	37
1	20	37
2	23	37
3	27	37
4	28	37
done	28	37
0	14	18
1	19	18
2	22	18
3	26	18
4	27	18
done	27	18
0	15	53
1	30	53
2	84	19
3	283	19
4	862	19
5	2594	19
done	5001	19
0	14	18
1	19	18
2	22	18
3	26	18
4	27	18
done	27	18
0	14	18
1	19	18
2	22	18
3	26	18
4	27	18
done	27	18
0	15	19
1	18	19
done	18	19
0	15	19
1	18	19
done	18	19
0	16	20
1	21	20
2	24	20
3	28	20
4	29	20
done	29	20
0	16	20
1	21	20
2	24	20
3	28	20
4	29	20
done	29	20
0	16	20
1	21	20
2	24	20
3	28	20
4	29	20
done	29	20
0	16	20
1	21	20
2	24	20
3	28	20
4	29	20
done	29	20
0	15	19
1	18	19
done	18	19
0	15	19
1	18	19
done	18	19
0	16	20
1	21	20
2	24	20
3	28	20
4	29	20
done	29	20
0	16	20
1	21	20
2	24	20
3	28	20
4	29	20
done	29	20
0	16	20
1	21	20
2	24	20
3	28	20
4	29	20
done	29	20
0	16	20
1	21	20
2	24	20
3	28	20
4	29	20
done	29	20
0	15	34
1	20	34
2	22	34
done	22	34
0	14	18
1	17	18
done	17	18
0	17	36
1	28	36
2	57	36
3	96	36
4	152	36
5	168	36
done	168	36
0	17	35
1	25	23
2	35	23
3	50	23
4	63	23
5	65	23
done	65	23
0	16	23
1	23	23
2	33	23
3	48	23
4	61	23
5	63	23
done	63	23
0	10	13
1	17	12
2	27	12
3	42	10
4	78	10
5	98	10
done	98	10
0	10	13
1	17	12
2	27	12
3	42	10
4	78	10
5	98	10
done	98	10
0	16	23
1	23	23
2	33	23
3	48	23
4	61	23
5	63	23
done	63	23
0	9	12
1	16	10
2	33	10
3	70	10
4	108	10
done	108	10
0	16	32
1	23	32
2	34	32
3	47	32
4	59	32
done	59	32
0	16	31
1	22	19
2	25	19
3	29	19
4	30	19
done	30	19
0	15	19
1	20	19
2	23	19
3	27	19
4	28	19
done	28	19
0	9	9
1	14	8
2	17	8
3	21	6
4	32	6
5	47	6
6	48	6
done	48	6
0	9	9
1	14	8
2	17	8
3	21	6
4	32	6
5	47	6
6	48	6
done	48	6
0	15	19
1	20	19
2	23	19
3	27	19
4	28	19
done	28	19
0	8	8
1	13	6
2	20	6
3	29	6
4	35	6
done	35	6
0	15	30
1	24	30
2	34	28
3	63	28
4	83	28
5	84	28
done	84	28
0	15	29
1	23	17
2	26	15
3	41	15
4	42	15
done	42	15
0	14	17
1	21	17
2	24	15
3	39	15
4	40	15
done	40	15
0	6	7
1	11	6
2	13	4
3	28	2
4	75	2
5	92	2
done	92	2
0	6	7
1	11	6
2	13	4
3	28	2
4	75	2
5	92	2
done	92	2
0	14	17
1	21	17
2	24	15
3	39	15
4	40	15
done	40	15
0	5	6
1	10	4
2	15	2
3	19	2
done	19	2
0	4	4
1	7	2
2	10	2
done	10	2
0	5	5
1	6	5
done	6	5
0	16	21
1	33	21
2	45	21
3	75	21
4	131	21
5	249	21
6	671	21
7	2527	21
done	5001	21
0	14	28
1	23	18
2	42	18
3	77	12
4	110	10
5	305	8
6	2206	8
done	5001	8
0	14	18
1	19	18
2	22	18
3	26	18
4	27	18
done	27	18
0	14	18
1	19	18
2	22	18
3	26	18
4	27	18
done	27	18
0	14	18
1	19	18
2	22	18
3	26	18
4	27	18
done	27	18
0	13	17
1	18	17
2	21	17
3	25	17
4	26	17
done	26	17
0	14	18
1	19	18
2	22	18
3	26	18
4	27	18
done	27	18
0	13	17
1	18	17
2	21	17
3	25	17
4	26	17
done	26	17
0	5	5
1	6	5
done	6	5
0	9	12
1	13	11
2	14	11
done	14	11
0	8	11
1	10	11
done	10	11
0	8	11
1	13	11
2	14	11
done	14	11
0	9	23
1	11	23
done	11	23
0	8	11
1	10	11
done	10	11
0	9	32
1	24	32
2	55	12
3	120	12
4	320	12
5	1206	12
6	4302	12
done	5001	12
0	8	11
1	10	11
done	10	11
0	8	11
1	10	11
done	10	11
0	10	14
1	24	14
2	33	14
3	59	14
4	116	14
5	252	14
6	669	14
7	2468	14
done	5000	14
0	10	32
1	19	20
2	45	20
3	87	18
4	135	18
5	199	18
6	332	18
7	478	18
8	584	18
9	604	18
done	604	18
0	8	21
1	14	11
2	30	11
3	61	5
4	93	3
5	289	3
6	2219	3
done	5000	3
0	7	10
1	10	10
2	11	10
done	11	10
0	7	10
1	9	10
done	9	10
0	12	16
1	16	16
2	17	16
done	17	16
0	11	15
1	16	15
2	18	15
3	19	15
done	19	15
0	11	15
1	13	15
done	13	15
0	14	44
1	25	31
2	66	18
3	133	16
4	218	16
5	344	16
6	811	16
7	3416	16
done	5001	16
0	12	31
1	14	31
done	14	31
0	11	15
1	13	15
done	13	15
0	12	44
1	21	44
2	37	16
3	75	16
4	140	16
5	228	16
6	360	16
7	872	16
8	3647	16
done	5000	16
0	11	15
1	13	15
done	13	15
0	11	15
1	13	15
done	13	15
0	3	3
done	3	3
0	9	12
1	11	12
done	11	12
0	14	33
1	22	33
2	31	33
3	37	33
done	37	33
0	12	16
1	14	16
done	14	16
0	14	32
1	19	20
2	21	20
3	22	20
done	22	20
0	12	16
1	14	16
done	14	16
0	13	20
1	17	20
2	19	20
3	20	20
done	20	20
0	12	16
1	14	16
done	14	16
0	7	10
1	11	9
2	13	9
3	14	7
4	21	7
done	21	7
0	11	15
1	13	15
done	13	15
0	7	10
1	11	9
2	13	9
3	14	7
4	21	7
done	21	7
0	11	15
1	13	15
done	13	15
0	13	20
1	17	20
2	19	20
3	20	20
done	20	20
0	12	16
1	14	16
done	14	16
0	6	9
1	10	7
2	16	7
3	21	7
done	21	7
0	11	15
1	13	15
done	13	15
0	13	29
1	17	29
done	17	29
0	12	16
1	14	16
done	14	16
0	13	28
1	16	16
done	16	16
0	12	16
1	14	16
done	14	16
0	12	16
1	14	16
done	14	16
0	12	16
1	14	16
done	14	16
0	6	6
1	8	5
done	8	5
0	11	15
1	13	15
done	13	15
0	6	6
1	8	5
done	8	5
0	11	15
1	13	15
done	13	15
0	12	16
1	14	16
done	14	16
0	12	16
1	14	16
done	14	16
0	5	5
1	7	3
2	9	3
done	9	3
0	11	15
1	13	15
done	13	15
0	12	27
1	18	27
done	18	27
0	11	15
1	13	15
done	13	15
0	12	26
1	17	14
done	17	14
0	11	15
1	13	15
done	13	15
0	11	14
1	15	14
done	15	14
0	11	15
1	13	15
done	13	15
0	3	4
1	5	3
done	5	3
0	10	14
1	12	14
done	12	14
0	3	4
1	5	3
done	5	3
0	10	14
1	12	14
done	12	14
0	11	14
1	15	14
done	15	14
0	11	15
1	13	15
done	13	15
0	2	3
1	4	1
done	4	1
0	10	14
1	12	14
done	12	14
0	10	13
1	14	13
done	14	13
0	10	14
1	12	14
done	12	14
0	12	28
1	16	28
done	16	28
0	12	27
1	15	15
done	15	15
0	11	15
1	13	15
done	13	15
0	5	5
1	7	4
done	7	4
0	5	5
1	7	4
done	7	4
0	11	15
1	13	15
done	13	15
0	4	4
1	6	2
2	8	2
done	8	2
0	11	15
1	13	15
done	13	15
0	11	15
1	13	15
done	13	15
0	10	14
1	12	14
done	12	14
0	13	18
1	27	18
2	36	18
3	62	18
4	119	18
5	246	18
6	672	18
7	2497	18
done	5000	18
0	11	25
1	17	15
2	33	15
3	64	9
4	96	7
5	292	5
6	2229	5
done	5001	5
0	1	1
done	1	1
0	1	1
done	1	1
0	3	3
1	5	2
done	5	2
0	28	44
1	79	41
2	257	35
3	967	35
4	4388	35
done	5000	35
0	22	39
1	66	39
2	271	39
3	1278	33
done	5000	33
0	23	42
1	68	42
2	301	41
3	1754	33
done	5000	33
0	3	3
1	4	3
done	4	3
0	3	3
1	4	3
done	4	3
0	1	1
done	1	1
0	24	35
1	67	32
2	194	29
3	616	29
4	2286	29
done	5001	29
0	19	30
1	56	30
2	191	30
3	721	27
4	3608	25
done	5000	25
0	20	33
1	60	33
2	234	33
3	1091	28
done	5001	27

prune229.0ms

Filtered

98 candidates to 137 candidates (-39.8%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	133	4	137
Fresh	3	7	10
Picked	1	0	1
Done	0	0	0
Total	137	11	148

Merged error: 8.6b

Counts

148 → 11

localize24.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (cbrt (sqrt 2.0)) (/ (fabs im) (sqrt (+ (sqrt (+ (* re re) (* im im))) re))))
0.3b	(/ (fabs im) (sqrt (+ (sqrt (+ (* re re) (* im im))) re)))
0.3b	(+ (sqrt (+ (* re re) (* im im))) re)
32.9b	(sqrt (+ (* re re) (* im im)))

rewrite52.0ms

Algorithm

rewrite-expression-head

Rules

63×	`add-sqr-sqrt`
54×	`*-un-lft-identity`
48×	`times-frac`
40×	`sqrt-prod`
38×	`add-cube-cbrt`
27×	`associate-r`
12×	`cbrt-prod`
11×	`add-exp-log`
9×	`associate-l` `add-cbrt-cube` `unswap-sqr`
8×	`distribute-lft-out`
7×	`pow1` `associate-/r*`
6×	`sqrt-div` `add-log-exp`
4×	`flip3-+` `associate-/r/` `flip-+`
3×	`associate-/l*`
2×	`cbrt-undiv` `div-exp` `prod-exp` `cbrt-unprod` `div-inv`
1×	`+-commutative` `rem-sqrt-square` `frac-2neg` `sqrt-pow1` `pow1/2` `associate-r/` `pow-prod-down` `clear-num` `sum-log` `-commutative`

Counts

4 → 131

Calls

4 calls:

22.0ms	(* (cbrt (sqrt 2.0)) (/ (fabs im) (sqrt (+ (sqrt (+ (* re re) (* im im))) re))))
11.0ms	(/ (fabs im) (sqrt (+ (sqrt (+ (* re re) (* im im))) re)))
8.0ms	(+ (sqrt (+ (* re re) (* im im))) re)
5.0ms	(sqrt (+ (* re re) (* im im)))

series94.0ms

Counts

4 → 12

Calls

4 calls:

56.0ms	(* (cbrt (sqrt 2.0)) (/ (fabs im) (sqrt (+ (sqrt (+ (* re re) (* im im))) re))))
23.0ms	(/ (fabs im) (sqrt (+ (sqrt (+ (* re re) (* im im))) re)))
8.0ms	(+ (sqrt (+ (* re re) (* im im))) re)
7.0ms	(sqrt (+ (* re re) (* im im)))

simplify1.3min

Counts

143 → 143

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	8	19
1	9	19
done	9	19
0	7	9
1	8	9
done	8	9
0	8	26
1	10	16
2	21	10
3	34	10
4	42	10
5	52	10
6	73	10
7	134	10
8	350	10
9	1295	10
done	5000	10
0	8	18
1	10	9
done	10	9
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	2	2
1	4	1
done	4	1
0	6	8
1	7	8
done	7	8
0	9	12
1	27	12
2	64	8
3	119	8
4	261	8
5	697	8
6	2312	8
done	5000	8
0	10	24
1	32	20
2	84	18
3	177	16
4	309	16
5	723	16
6	1972	16
done	5000	16
0	8	16
1	21	16
2	44	12
3	90	8
4	215	8
5	576	8
6	1483	8
done	5001	8
0	6	8
1	11	8
2	18	8
3	33	8
4	58	8
5	99	8
6	157	8
7	325	8
8	1570	8
done	5000	8
0	3	3
1	6	1
done	6	1
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	9	12
1	13	11
2	14	11
done	14	11
0	8	11
1	10	11
done	10	11
0	8	11
1	13	11
2	14	11
done	14	11
0	9	23
1	11	23
done	11	23
0	8	11
1	10	11
done	10	11
0	9	32
1	24	32
2	55	12
3	120	12
4	320	12
5	1206	12
6	4302	12
done	5001	12
0	8	11
1	10	11
done	10	11
0	8	11
1	10	11
done	10	11
0	10	14
1	24	14
2	33	14
3	59	14
4	116	14
5	252	14
6	669	14
7	2468	14
done	5000	14
0	10	32
1	19	20
2	45	20
3	87	18
4	135	18
5	199	18
6	332	18
7	478	18
8	584	18
9	604	18
done	604	18
0	8	21
1	14	11
2	30	11
3	61	5
4	93	3
5	289	3
6	2219	3
done	5000	3
0	7	10
1	10	10
2	11	10
done	11	10
0	7	10
1	9	10
done	9	10
0	12	16
1	16	16
2	17	16
done	17	16
0	11	15
1	16	15
2	18	15
3	19	15
done	19	15
0	11	15
1	13	15
done	13	15
0	14	44
1	25	31
2	66	18
3	133	16
4	218	16
5	344	16
6	811	16
7	3416	16
done	5001	16
0	12	31
1	14	31
done	14	31
0	11	15
1	13	15
done	13	15
0	12	44
1	21	44
2	37	16
3	75	16
4	140	16
5	228	16
6	360	16
7	872	16
8	3647	16
done	5000	16
0	11	15
1	13	15
done	13	15
0	11	15
1	13	15
done	13	15
0	3	3
done	3	3
0	9	12
1	11	12
done	11	12
0	14	33
1	22	33
2	31	33
3	37	33
done	37	33
0	12	16
1	14	16
done	14	16
0	14	32
1	19	20
2	21	20
3	22	20
done	22	20
0	12	16
1	14	16
done	14	16
0	13	20
1	17	20
2	19	20
3	20	20
done	20	20
0	12	16
1	14	16
done	14	16
0	7	10
1	11	9
2	13	9
3	14	7
4	21	7
done	21	7
0	11	15
1	13	15
done	13	15
0	7	10
1	11	9
2	13	9
3	14	7
4	21	7
done	21	7
0	11	15
1	13	15
done	13	15
0	13	20
1	17	20
2	19	20
3	20	20
done	20	20
0	12	16
1	14	16
done	14	16
0	6	9
1	10	7
2	16	7
3	21	7
done	21	7
0	11	15
1	13	15
done	13	15
0	13	29
1	17	29
done	17	29
0	12	16
1	14	16
done	14	16
0	13	28
1	16	16
done	16	16
0	12	16
1	14	16
done	14	16
0	12	16
1	14	16
done	14	16
0	12	16
1	14	16
done	14	16
0	6	6
1	8	5
done	8	5
0	11	15
1	13	15
done	13	15
0	6	6
1	8	5
done	8	5
0	11	15
1	13	15
done	13	15
0	12	16
1	14	16
done	14	16
0	12	16
1	14	16
done	14	16
0	5	5
1	7	3
2	9	3
done	9	3
0	11	15
1	13	15
done	13	15
0	12	27
1	18	27
done	18	27
0	11	15
1	13	15
done	13	15
0	12	26
1	17	14
done	17	14
0	11	15
1	13	15
done	13	15
0	11	14
1	15	14
done	15	14
0	11	15
1	13	15
done	13	15
0	3	4
1	5	3
done	5	3
0	10	14
1	12	14
done	12	14
0	3	4
1	5	3
done	5	3
0	10	14
1	12	14
done	12	14
0	11	14
1	15	14
done	15	14
0	11	15
1	13	15
done	13	15
0	2	3
1	4	1
done	4	1
0	10	14
1	12	14
done	12	14
0	10	13
1	14	13
done	14	13
0	10	14
1	12	14
done	12	14
0	12	28
1	16	28
done	16	28
0	12	27
1	15	15
done	15	15
0	11	15
1	13	15
done	13	15
0	5	5
1	7	4
done	7	4
0	5	5
1	7	4
done	7	4
0	11	15
1	13	15
done	13	15
0	4	4
1	6	2
2	8	2
done	8	2
0	11	15
1	13	15
done	13	15
0	11	15
1	13	15
done	13	15
0	10	14
1	12	14
done	12	14
0	13	18
1	27	18
2	36	18
3	62	18
4	119	18
5	246	18
6	672	18
7	2497	18
done	5000	18
0	11	25
1	17	15
2	33	15
3	64	9
4	96	7
5	292	5
6	2229	5
done	5001	5
0	14	18
1	19	18
2	22	18
3	26	18
4	27	18
done	27	18
0	17	21
1	24	21
2	31	21
3	40	21
4	46	21
5	56	21
6	63	21
7	75	21
8	98	21
9	112	21
10	118	21
done	118	21
0	16	20
1	22	20
2	28	20
3	37	20
4	47	20
5	56	20
6	61	20
7	70	20
8	87	20
9	106	20
10	114	20
done	114	20
0	15	19
1	23	19
2	32	19
3	46	19
4	66	19
5	79	19
6	91	19
7	109	19
8	125	19
9	132	19
10	149	19
11	151	19
done	151	19
0	15	19
1	22	19
2	31	19
3	45	19
4	78	19
5	159	19
6	369	19
7	1406	19
done	5001	19
0	17	47
1	31	34
2	98	21
3	271	19
4	674	19
5	1324	19
6	3104	19
done	5000	19
0	15	47
1	27	47
2	58	19
3	137	19
4	330	19
5	676	19
6	1182	19
7	2768	19
done	5001	19
0	16	39
1	21	39
2	24	39
3	28	39
4	29	39
done	29	39
0	15	19
1	20	19
2	23	19
3	27	19
4	28	19
done	28	19
0	16	56
1	31	56
2	85	20
3	286	20
4	866	19
5	2583	19
done	5000	19
0	15	19
1	20	19
2	23	19
3	27	19
4	28	19
done	28	19
0	15	19
1	20	19
2	23	19
3	27	19
4	28	19
done	28	19
0	16	20
1	19	20
done	19	20
0	16	20
1	19	20
done	19	20
0	17	21
1	22	21
2	25	21
3	29	21
4	30	21
done	30	21
0	17	21
1	22	21
2	25	21
3	29	21
4	30	21
done	30	21
0	17	21
1	22	21
2	25	21
3	29	21
4	30	21
done	30	21
0	17	21
1	22	21
2	25	21
3	29	21
4	30	21
done	30	21
0	16	20
1	19	20
done	19	20
0	16	20
1	19	20
done	19	20
0	17	21
1	22	21
2	25	21
3	29	21
4	30	21
done	30	21
0	17	21
1	22	21
2	25	21
3	29	21
4	30	21
done	30	21
0	17	21
1	22	21
2	25	21
3	29	21
4	30	21
done	30	21
0	17	21
1	22	21
2	25	21
3	29	21
4	30	21
done	30	21
0	16	20
1	19	20
done	19	20
0	16	20
1	19	20
done	19	20
0	17	21
1	22	21
2	25	21
3	29	21
4	30	21
done	30	21
0	17	21
1	22	21
2	25	21
3	29	21
4	30	21
done	30	21
0	17	21
1	22	21
2	25	21
3	29	21
4	30	21
done	30	21
0	17	21
1	22	21
2	25	21
3	29	21
4	30	21
done	30	21
0	16	35
1	21	35
2	23	35
done	23	35
0	15	19
1	18	19
done	18	19
0	18	37
1	29	37
2	58	37
3	98	37
4	154	37
5	170	37
done	170	37
0	18	36
1	26	24
2	36	24
3	51	24
4	64	24
5	66	24
done	66	24
0	17	24
1	24	24
2	34	24
3	49	24
4	62	24
5	64	24
done	64	24
0	11	14
1	18	13
2	28	13
3	43	11
4	79	11
5	95	11
done	95	11
0	11	14
1	18	13
2	28	13
3	43	11
4	79	11
5	95	11
done	95	11
0	17	24
1	24	24
2	34	24
3	49	24
4	62	24
5	64	24
done	64	24
0	10	13
1	17	11
2	34	11
3	71	11
4	105	11
done	105	11
0	17	33
1	24	33
2	35	33
3	49	33
4	61	33
done	61	33
0	17	32
1	23	20
2	26	20
3	30	20
4	31	20
done	31	20
0	16	20
1	21	20
2	24	20
3	28	20
4	29	20
done	29	20
0	10	10
1	15	9
2	18	9
3	22	7
4	33	7
5	48	7
6	49	7
done	49	7
0	10	10
1	15	9
2	18	9
3	22	7
4	33	7
5	48	7
6	49	7
done	49	7
0	16	20
1	21	20
2	24	20
3	28	20
4	29	20
done	29	20
0	9	9
1	14	7
2	21	7
3	30	7
4	36	7
done	36	7
0	16	31
1	25	31
2	35	29
3	65	29
4	88	29
5	89	29
done	89	29
0	16	30
1	24	18
2	27	16
3	42	16
4	43	16
done	43	16
0	15	18
1	22	18
2	25	16
3	40	16
4	41	16
done	41	16
0	7	8
1	12	7
2	14	5
3	29	3
4	58	3
5	75	3
done	75	3
0	7	8
1	12	7
2	14	5
3	29	3
4	58	3
5	75	3
done	75	3
0	15	18
1	22	18
2	25	16
3	40	16
4	41	16
done	41	16
0	6	7
1	11	5
2	16	3
3	20	3
done	20	3
0	5	5
1	8	3
2	11	3
done	11	3
0	6	6
1	7	6
done	7	6
0	17	22
1	34	22
2	46	22
3	76	22
4	132	22
5	254	22
6	668	22
7	2506	22
done	5000	22
0	15	29
1	24	19
2	43	19
3	78	13
4	111	11
5	306	9
6	2185	9
done	5000	9
0	15	19
1	20	19
2	23	19
3	27	19
4	28	19
done	28	19
0	15	19
1	20	19
2	23	19
3	27	19
4	28	19
done	28	19
0	15	19
1	20	19
2	23	19
3	27	19
4	28	19
done	28	19
0	14	18
1	19	18
2	22	18
3	26	18
4	27	18
done	27	18
0	15	19
1	20	19
2	23	19
3	27	19
4	28	19
done	28	19
0	14	18
1	19	18
2	22	18
3	26	18
4	27	18
done	27	18
0	15	19
1	20	19
2	23	19
3	27	19
4	28	19
done	28	19
0	15	19
1	20	19
2	23	19
3	27	19
4	28	19
done	28	19
0	14	18
1	19	18
2	22	18
3	26	18
4	27	18
done	27	18
0	6	6
1	7	6
done	7	6
0	1	1
done	1	1
0	1	1
done	1	1
0	3	3
1	5	2
done	5	2
0	3	3
1	4	3
done	4	3
0	3	3
1	4	3
done	4	3
0	1	1
done	1	1
0	24	35
1	67	32
2	194	29
3	616	29
4	2286	29
done	5001	29
0	19	30
1	56	30
2	191	30
3	721	27
4	3608	25
done	5000	25
0	20	33
1	60	33
2	234	33
3	1091	28
done	5001	27
0	31	50
1	88	43
2	290	40
3	1219	33
done	5000	33
0	26	45
1	79	38
2	287	38
3	1385	31
done	5001	31
0	27	48
1	83	41
2	339	40
3	1916	31
done	5001	31

prune346.0ms

Filtered

106 candidates to 143 candidates (-34.9%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	142	1	143
Fresh	0	10	10
Picked	1	0	1
Done	0	0	0
Total	143	11	154

Merged error: 8.6b

Counts

154 → 11

regimes371.0ms

Accuracy

52% (14.3b remaining)

Error of 21.8b against oracle of 7.5b and baseline of 37.3b

bsearch103.0ms

Steps

Iters	Range		Point
9	2.4540169358802756e+30	3.519108532790208e+36	3.466178613033722e+36
8	3.8885538970219946e-190	3.3867492948767555e-187	4.272863498107774e-190
9	-1.5130857388211537e-243	-3.646205474305488e-252	-8.565970672401577e-251
9	-9.394024773099717e-135	-5.106451273191968e-141	-9.282448614382608e-135

simplify5.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	44	91
1	55	91
done	55	91

end0.0ms

sample1.1s

Algorithm

intervals

Results

337.0ms	5997×	body	80	valid
223.0ms	710×	body	2560	valid
128.0ms	506×	body	1280	valid
110.0ms	289×	body	5120	valid
60.0ms	288×	body	640	valid
21.0ms	144×	body	320	valid
7.0ms	66×	body	160	valid

Details

sample65.0ms

simplify23.0ms

prune5.0ms

localize13.0ms

rewrite26.0ms

series57.0ms

simplify40.5s

prune125.0ms

localize14.0ms

rewrite40.0ms

series45.0ms

simplify58.8s

prune209.0ms

localize15.0ms

rewrite55.0ms

series71.0ms

simplify1.4min

prune229.0ms

localize24.0ms

rewrite52.0ms

series94.0ms

simplify1.3min

prune346.0ms

regimes371.0ms

bsearch103.0ms

simplify5.0ms

end0.0ms

sample1.1s

Profiling