Details

sample116.0ms

Algorithm

intervals

Results

35.0ms	127×	body	320	valid
28.0ms	124×	body	160	valid
24.0ms	260×	body	80	nan
0.0ms	5×	body	80	valid

simplify5.6s

Counts

1 → 1

Iterations

Useful iterations: 2 (10.0ms)

Iter	Nodes	Cost
0	19	37
1	43	37
2	119	36
3	283	36
4	528	36
5	771	36
6	934	36
7	1133	36
8	2417	36
done	5000	36

prune11.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 36.6b

Counts

2 → 1

localize20.0ms

Local error

Found 4 expressions with local error:

7.4b	(cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))
9.9b	(cbrt (* (- (sqrt (- (* g g) (* h h))) g) (/ 1.0 (* 2.0 a))))
30.2b	(sqrt (- (* g g) (* h h)))
30.2b	(sqrt (- (* g g) (* h h)))

rewrite40.0ms

Algorithm

rewrite-expression-head

Rules

10×	`cbrt-div`
8×	`add-sqr-sqrt` `sqrt-prod`
6×	`pow1` `add-cube-cbrt` `flip3--` `*-un-lft-identity` `flip--`
4×	`add-exp-log` `frac-times` `sqrt-div` `add-cbrt-cube` `add-log-exp`
3×	`associate-r/` `associate-l/`
2×	`cbrt-prod` `rem-sqrt-square` `sqrt-pow1` `pow1/2` `pow1/3` `difference-of-squares`

Counts

4 → 60

Calls

4 calls:

15.0ms	(cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))
13.0ms	(cbrt (* (- (sqrt (- (* g g) (* h h))) g) (/ 1.0 (* 2.0 a))))
5.0ms	(sqrt (- (* g g) (* h h)))
5.0ms	(sqrt (- (* g g) (* h h)))

series162.0ms

Counts

4 → 12

Calls

4 calls:

80.0ms	(cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))
62.0ms	(cbrt (* (- (sqrt (- (* g g) (* h h))) g) (/ 1.0 (* 2.0 a))))
12.0ms	(sqrt (- (* g g) (* h h)))
8.0ms	(sqrt (- (* g g) (* h h)))

simplify5.8min

Counts

72 → 72

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	7	9
1	12	9
2	19	9
3	34	9
4	59	9
5	100	9
6	156	9
7	324	9
8	1653	9
done	5000	9
0	7	9
1	12	9
2	19	9
3	34	9
4	59	9
5	100	9
6	156	9
7	324	9
8	1653	9
done	5000	9
0	8	19
1	13	19
2	20	19
3	35	19
4	60	19
5	101	19
6	159	19
7	327	19
8	1602	19
done	5000	19
0	7	9
1	12	9
2	19	9
3	34	9
4	59	9
5	100	9
6	156	9
7	324	9
8	1653	9
done	5000	9
0	8	26
1	14	16
2	34	10
3	85	10
4	178	10
5	274	10
6	458	10
7	898	10
8	3735	10
done	5000	10
0	8	18
1	14	9
2	21	9
3	36	9
4	61	9
5	102	9
6	158	9
7	326	9
8	1613	9
done	5000	9
0	7	9
1	12	9
2	19	9
3	34	9
4	59	9
5	100	9
6	156	9
7	324	9
8	1653	9
done	5000	9
0	7	9
1	12	9
2	19	9
3	34	9
4	59	9
5	100	9
6	156	9
7	324	9
8	1653	9
done	5000	9
0	7	9
1	12	9
2	19	9
3	34	9
4	59	9
5	100	9
6	156	9
7	324	9
8	1653	9
done	5000	9
0	2	2
1	4	1
done	4	1
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	4	4
1	5	4
done	5	4
0	4	4
1	6	4
2	7	4
done	7	4
0	9	12
1	28	12
2	90	8
3	219	8
4	552	8
5	1963	8
done	5000	8
0	10	24
1	31	20
2	63	18
3	84	16
4	113	16
5	161	16
6	323	16
7	832	16
8	3018	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	7	8
done	7	8
0	3	3
1	6	1
done	6	1
0	7	9
1	12	9
2	19	9
3	34	9
4	59	9
5	100	9
6	156	9
7	324	9
8	1653	9
done	5000	9
0	7	9
1	12	9
2	19	9
3	34	9
4	59	9
5	100	9
6	156	9
7	324	9
8	1653	9
done	5000	9
0	7	9
1	12	9
2	19	9
3	34	9
4	59	9
5	100	9
6	156	9
7	324	9
8	1653	9
done	5000	9
0	7	9
1	12	9
2	19	9
3	34	9
4	59	9
5	100	9
6	156	9
7	324	9
8	1653	9
done	5000	9
0	8	19
1	13	19
2	20	19
3	35	19
4	60	19
5	101	19
6	159	19
7	327	19
8	1602	19
done	5000	19
0	7	9
1	12	9
2	19	9
3	34	9
4	59	9
5	100	9
6	156	9
7	324	9
8	1653	9
done	5000	9
0	8	26
1	14	16
2	34	10
3	85	10
4	178	10
5	274	10
6	458	10
7	898	10
8	3735	10
done	5000	10
0	8	18
1	14	9
2	21	9
3	36	9
4	61	9
5	102	9
6	158	9
7	326	9
8	1613	9
done	5000	9
0	7	9
1	12	9
2	19	9
3	34	9
4	59	9
5	100	9
6	156	9
7	324	9
8	1653	9
done	5000	9
0	7	9
1	12	9
2	19	9
3	34	9
4	59	9
5	100	9
6	156	9
7	324	9
8	1653	9
done	5000	9
0	7	9
1	12	9
2	19	9
3	34	9
4	59	9
5	100	9
6	156	9
7	324	9
8	1653	9
done	5000	9
0	2	2
1	4	1
done	4	1
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	4	4
1	5	4
done	5	4
0	4	4
1	6	4
2	7	4
done	7	4
0	9	12
1	28	12
2	90	8
3	219	8
4	552	8
5	1963	8
done	5000	8
0	10	24
1	31	20
2	63	18
3	84	16
4	113	16
5	161	16
6	323	16
7	832	16
8	3018	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	7	8
done	7	8
0	3	3
1	6	1
done	6	1
0	7	9
1	12	9
2	19	9
3	34	9
4	59	9
5	100	9
6	156	9
7	324	9
8	1653	9
done	5000	9
0	7	9
1	12	9
2	19	9
3	34	9
4	59	9
5	100	9
6	156	9
7	324	9
8	1653	9
done	5000	9
0	15	18
1	28	18
2	59	18
3	145	18
4	266	18
5	422	18
6	536	18
7	718	18
8	2026	18
done	5000	18
0	15	18
1	28	18
2	59	18
3	145	18
4	266	18
5	422	18
6	536	18
7	718	18
8	2026	18
done	5000	18
0	8	11
1	15	11
2	23	11
3	38	11
4	63	11
5	104	11
6	159	11
7	327	11
8	1650	11
done	5000	11
0	6	6
1	9	6
2	11	6
done	11	6
0	13	17
1	33	17
2	68	17
3	179	17
4	546	17
5	1627	17
done	5000	17
0	15	37
1	31	25
2	76	25
3	253	23
4	696	23
5	1834	23
6	4848	23
done	5000	23
0	11	24
1	22	14
2	55	14
3	151	14
4	377	8
5	840	7
6	4807	7
done	5000	7
0	12	15
1	22	15
2	43	15
3	82	15
4	107	15
5	148	15
6	206	15
7	374	15
8	1683	15
done	5000	15
0	10	13
1	18	13
2	32	13
3	52	13
4	81	13
5	122	13
6	179	13
7	347	13
8	1634	13
done	5000	13
0	4	4
1	5	4
done	5	4
0	17	21
1	42	21
2	94	21
3	285	21
4	1201	21
done	5000	21
0	11	33
1	23	21
2	48	21
3	96	19
4	211	19
5	536	19
6	1564	19
done	5000	19
0	15	28
1	31	18
2	83	18
3	315	18
4	1145	12
5	3181	11
done	5000	11
0	8	11
1	14	11
2	21	11
3	36	11
4	61	11
5	102	11
6	160	11
7	328	11
8	1586	11
done	5000	11
0	16	37
1	29	37
2	60	37
3	146	37
4	267	37
5	423	37
6	539	37
7	721	37
8	1995	37
done	5001	37
0	15	18
1	28	18
2	59	18
3	145	18
4	266	18
5	422	18
6	536	18
7	718	18
8	2026	18
done	5000	18
0	16	53
1	30	53
2	63	19
3	154	16
4	281	16
5	447	16
6	588	16
7	831	16
8	2327	16
done	5000	16
0	15	18
1	28	18
2	59	18
3	145	18
4	266	18
5	422	18
6	536	18
7	718	18
8	2026	18
done	5000	18
0	15	18
1	28	18
2	59	18
3	145	18
4	266	18
5	422	18
6	536	18
7	718	18
8	2026	18
done	5000	18
0	16	19
1	29	19
2	68	19
3	172	19
4	359	19
5	604	19
6	828	19
7	1026	19
8	2325	19
done	5001	19
0	16	19
1	29	19
2	68	19
3	172	19
4	359	19
5	604	19
6	828	19
7	1026	19
8	2325	19
done	5001	19
0	6	6
1	9	6
2	11	6
done	11	6
0	9	12
1	16	12
2	26	12
3	43	12
4	68	12
5	109	12
6	166	12
7	334	12
8	1625	12
done	5000	12
0	14	18
1	37	18
2	84	18
3	252	18
4	956	18
5	3567	18
done	5000	18
0	17	40
1	45	28
2	147	27
3	487	25
4	1300	23
5	3479	23
done	5001	23
0	13	26
1	28	14
2	76	14
3	251	8
4	707	6
5	3079	6
done	5000	6
0	13	16
1	29	16
2	68	15
3	109	15
4	152	15
5	193	15
6	262	15
7	430	15
8	1725	15
done	5000	15
0	18	22
1	46	22
2	116	22
3	412	22
4	2070	22
done	5000	22
0	13	36
1	31	24
2	72	23
3	180	21
4	399	19
5	895	19
6	2611	19
done	5000	19
0	17	30
1	37	18
2	110	18
3	486	12
4	1947	10
done	5000	10
0	9	12
1	15	12
2	23	11
3	38	11
4	63	11
5	104	11
6	159	11
7	327	11
8	1604	11
done	5000	11
0	11	14
1	19	14
2	35	14
3	65	14
4	101	14
5	142	14
6	199	14
7	367	14
8	1612	14
done	5000	14
0	4	4
1	5	4
done	5	4
0	17	39
1	30	39
2	69	39
3	173	39
4	365	39
5	610	39
6	830	39
7	1028	39
8	2315	39
done	5001	39
0	16	19
1	29	19
2	68	19
3	172	19
4	359	19
5	604	19
6	828	19
7	1026	19
8	2325	19
done	5001	19
0	17	56
1	31	56
2	72	20
3	181	17
4	377	17
5	632	17
6	870	17
7	1126	17
8	2674	17
done	5000	17
0	16	19
1	29	19
2	68	19
3	172	19
4	359	19
5	604	19
6	828	19
7	1026	19
8	2325	19
done	5001	19
0	16	19
1	29	19
2	68	19
3	172	19
4	359	19
5	604	19
6	828	19
7	1026	19
8	2325	19
done	5001	19
0	5	5
1	9	4
done	9	4
0	1	1
done	1	1
0	3	3
1	5	2
done	5	2
0	5	5
1	9	4
done	9	4
0	1	1
done	1	1
0	3	3
1	5	2
done	5	2
0	45	72
1	110	67
2	289	63
3	949	56
4	3570	42
done	5001	42
0	24	26
1	50	22
2	120	20
3	405	18
4	1139	17
5	2765	13
done	5001	13
0	17	18
1	31	18
2	69	18
3	211	17
4	683	13
5	2191	9
done	5000	9
0	16	16
1	28	15
2	53	15
3	113	14
4	214	10
5	459	10
6	1160	10
7	4737	10
done	5000	10
0	17	18
1	35	16
2	72	14
3	213	13
4	477	11
5	1087	9
6	2455	9
done	5001	9
0	23	25
1	43	25
2	105	25
3	372	24
4	1459	22
done	5000	22

prune275.0ms

Filtered

64 candidates to 72 candidates (-12.5%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	58	14	72
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	59	14	73

Merged error: 32.0b

Counts

73 → 14

localize26.0ms

Local error

Found 4 expressions with local error:

2.6b	(- (* g g) (* h h))
7.4b	(cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))
30.2b	(sqrt (- (* g g) (* h h)))
30.2b	(sqrt (- (* g g) (* h h)))

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

8×	`add-sqr-sqrt` `sqrt-prod`
6×	`pow1` `add-cube-cbrt` `*-un-lft-identity` `add-log-exp`
5×	`cbrt-div` `flip3--` `flip--`
4×	`add-exp-log` `sqrt-div` `add-cbrt-cube`
3×	`difference-of-squares`
2×	`frac-times` `rem-sqrt-square` `sqrt-pow1` `pow1/2` `associate-*r/`
1×	`cbrt-prod` `sub-neg` `pow1/3` `diff-log` `associate-*l/`

Counts

4 → 59

Calls

4 calls:

4.0ms	(- (* g g) (* h h))
15.0ms	(cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))
5.0ms	(sqrt (- (* g g) (* h h)))
5.0ms	(sqrt (- (* g g) (* h h)))

series105.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(- (* g g) (* h h))
82.0ms	(cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))
8.0ms	(sqrt (- (* g g) (* h h)))
8.0ms	(sqrt (- (* g g) (* h h)))

simplify5.2min

Counts

71 → 71

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	7	9
1	12	9
2	19	9
3	34	9
4	59	9
5	100	9
6	156	9
7	324	9
8	1653	9
done	5000	9
0	7	9
1	12	9
2	19	9
3	34	9
4	59	9
5	100	9
6	156	9
7	324	9
8	1653	9
done	5000	9
0	8	19
1	13	19
2	20	19
3	35	19
4	60	19
5	101	19
6	159	19
7	327	19
8	1602	19
done	5000	19
0	7	9
1	12	9
2	19	9
3	34	9
4	59	9
5	100	9
6	156	9
7	324	9
8	1653	9
done	5000	9
0	8	26
1	14	16
2	34	10
3	85	10
4	178	10
5	274	10
6	458	10
7	898	10
8	3735	10
done	5000	10
0	8	18
1	14	9
2	21	9
3	36	9
4	61	9
5	102	9
6	158	9
7	326	9
8	1613	9
done	5000	9
0	7	9
1	12	9
2	19	9
3	34	9
4	59	9
5	100	9
6	156	9
7	324	9
8	1653	9
done	5000	9
0	7	9
1	12	9
2	19	9
3	34	9
4	59	9
5	100	9
6	156	9
7	324	9
8	1653	9
done	5000	9
0	7	9
1	12	9
2	19	9
3	34	9
4	59	9
5	100	9
6	156	9
7	324	9
8	1653	9
done	5000	9
0	2	2
1	4	1
done	4	1
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	4	4
1	5	4
done	5	4
0	4	4
1	6	4
2	7	4
done	7	4
0	9	12
1	28	12
2	90	8
3	219	8
4	552	8
5	1963	8
done	5000	8
0	10	24
1	31	20
2	63	18
3	84	16
4	113	16
5	161	16
6	323	16
7	832	16
8	3018	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	7	8
done	7	8
0	3	3
1	6	1
done	6	1
0	7	9
1	12	9
2	19	9
3	34	9
4	59	9
5	100	9
6	156	9
7	324	9
8	1653	9
done	5000	9
0	7	9
1	12	9
2	19	9
3	34	9
4	59	9
5	100	9
6	156	9
7	324	9
8	1653	9
done	5000	9
0	7	9
1	12	9
2	19	9
3	34	9
4	59	9
5	100	9
6	156	9
7	324	9
8	1653	9
done	5000	9
0	7	9
1	12	9
2	19	9
3	34	9
4	59	9
5	100	9
6	156	9
7	324	9
8	1653	9
done	5000	9
0	8	19
1	13	19
2	20	19
3	35	19
4	60	19
5	101	19
6	159	19
7	327	19
8	1602	19
done	5000	19
0	7	9
1	12	9
2	19	9
3	34	9
4	59	9
5	100	9
6	156	9
7	324	9
8	1653	9
done	5000	9
0	8	26
1	14	16
2	34	10
3	85	10
4	178	10
5	274	10
6	458	10
7	898	10
8	3735	10
done	5000	10
0	8	18
1	14	9
2	21	9
3	36	9
4	61	9
5	102	9
6	158	9
7	326	9
8	1613	9
done	5000	9
0	7	9
1	12	9
2	19	9
3	34	9
4	59	9
5	100	9
6	156	9
7	324	9
8	1653	9
done	5000	9
0	7	9
1	12	9
2	19	9
3	34	9
4	59	9
5	100	9
6	156	9
7	324	9
8	1653	9
done	5000	9
0	7	9
1	12	9
2	19	9
3	34	9
4	59	9
5	100	9
6	156	9
7	324	9
8	1653	9
done	5000	9
0	2	2
1	4	1
done	4	1
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	4	4
1	5	4
done	5	4
0	4	4
1	6	4
2	7	4
done	7	4
0	9	12
1	28	12
2	90	8
3	219	8
4	552	8
5	1963	8
done	5000	8
0	10	24
1	31	20
2	63	18
3	84	16
4	113	16
5	161	16
6	323	16
7	832	16
8	3018	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	7	8
done	7	8
0	3	3
1	6	1
done	6	1
0	7	9
1	12	9
2	19	9
3	34	9
4	59	9
5	100	9
6	156	9
7	324	9
8	1653	9
done	5000	9
0	7	9
1	12	9
2	19	9
3	34	9
4	59	9
5	100	9
6	156	9
7	324	9
8	1653	9
done	5000	9
0	16	19
1	29	19
2	68	19
3	172	19
4	359	19
5	604	19
6	828	19
7	1026	19
8	2325	19
done	5001	19
0	16	19
1	29	19
2	68	19
3	172	19
4	359	19
5	604	19
6	828	19
7	1026	19
8	2325	19
done	5001	19
0	6	6
1	9	6
2	11	6
done	11	6
0	9	12
1	16	12
2	26	12
3	43	12
4	68	12
5	109	12
6	166	12
7	334	12
8	1625	12
done	5000	12
0	14	18
1	37	18
2	84	18
3	252	18
4	956	18
5	3567	18
done	5000	18
0	17	40
1	45	28
2	147	27
3	487	25
4	1300	23
5	3479	23
done	5001	23
0	13	26
1	28	14
2	76	14
3	251	8
4	707	6
5	3079	6
done	5000	6
0	13	16
1	29	16
2	68	15
3	109	15
4	152	15
5	193	15
6	262	15
7	430	15
8	1725	15
done	5000	15
0	18	22
1	46	22
2	116	22
3	412	22
4	2070	22
done	5000	22
0	13	36
1	31	24
2	72	23
3	180	21
4	399	19
5	895	19
6	2611	19
done	5000	19
0	17	30
1	37	18
2	110	18
3	486	12
4	1947	10
done	5000	10
0	9	12
1	15	12
2	23	11
3	38	11
4	63	11
5	104	11
6	159	11
7	327	11
8	1604	11
done	5000	11
0	11	14
1	19	14
2	35	14
3	65	14
4	101	14
5	142	14
6	199	14
7	367	14
8	1612	14
done	5000	14
0	4	4
1	5	4
done	5	4
0	17	39
1	30	39
2	69	39
3	173	39
4	365	39
5	610	39
6	830	39
7	1028	39
8	2315	39
done	5001	39
0	16	19
1	29	19
2	68	19
3	172	19
4	359	19
5	604	19
6	828	19
7	1026	19
8	2325	19
done	5001	19
0	17	56
1	31	56
2	72	20
3	181	17
4	377	17
5	632	17
6	870	17
7	1126	17
8	2674	17
done	5000	17
0	16	19
1	29	19
2	68	19
3	172	19
4	359	19
5	604	19
6	828	19
7	1026	19
8	2325	19
done	5001	19
0	16	19
1	29	19
2	68	19
3	172	19
4	359	19
5	604	19
6	828	19
7	1026	19
8	2325	19
done	5001	19
0	7	9
1	13	8
2	25	8
3	52	8
4	141	8
5	464	8
6	2518	8
done	5001	8
0	6	8
1	11	8
2	21	8
3	37	8
4	62	8
5	103	8
6	161	8
7	329	8
8	1610	8
done	5000	8
0	6	8
1	14	8
2	29	8
3	64	8
4	142	8
5	361	8
6	1304	8
done	5000	8
0	7	17
1	12	17
2	19	17
3	34	17
4	59	17
5	100	17
6	156	17
7	324	17
8	1653	17
done	5000	17
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	7	23
1	13	23
2	45	9
3	236	9
4	1272	9
done	5000	9
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	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	8	11
1	27	11
2	89	7
3	214	7
4	541	7
5	1943	7
done	5000	7
0	9	23
1	30	19
2	62	17
3	85	15
4	114	15
5	162	15
6	328	15
7	830	15
8	3018	15
done	5000	15
0	3	4
1	6	4
done	6	4
0	7	15
1	20	15
2	41	11
3	87	7
4	212	7
5	581	7
6	1497	7
done	5000	7
0	5	7
1	6	7
done	6	7
0	3	3
1	4	3
done	4	3
0	3	3
1	5	3
2	6	3
done	6	3
0	3	4
1	6	4
done	6	4
0	5	5
1	9	4
done	9	4
0	1	1
done	1	1
0	3	3
1	5	2
done	5	2
0	5	5
1	9	4
done	9	4
0	1	1
done	1	1
0	3	3
1	5	2
done	5	2
0	16	16
1	28	15
2	53	15
3	113	14
4	214	10
5	459	10
6	1160	10
7	4737	10
done	5000	10
0	17	18
1	35	16
2	72	14
3	213	13
4	477	11
5	1087	9
6	2455	9
done	5001	9
0	23	25
1	43	25
2	105	25
3	372	24
4	1459	22
done	5000	22
0	6	7
1	16	7
2	46	7
3	57	7
4	81	7
5	123	7
6	204	7
7	380	7
8	963	7
9	4078	7
done	5000	7
0	6	7
1	16	7
2	46	7
3	57	7
4	81	7
5	123	7
6	204	7
7	380	7
8	963	7
9	4078	7
done	5000	7
0	6	7
1	16	7
2	46	7
3	57	7
4	81	7
5	123	7
6	204	7
7	380	7
8	963	7
9	4078	7
done	5000	7

prune245.0ms

Filtered

59 candidates to 71 candidates (-20.3%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	67	4	71
Fresh	2	11	13
Picked	1	0	1
Done	0	0	0
Total	70	15	85

Merged error: 31.5b

Counts

85 → 15

localize25.0ms

Local error

Found 4 expressions with local error:

2.6b	(- (* g g) (* h h))
7.4b	(cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))
30.2b	(sqrt (- (* g g) (* h h)))
30.2b	(sqrt (- (* g g) (* h h)))

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

8×	`add-sqr-sqrt` `sqrt-prod`
6×	`pow1` `add-cube-cbrt` `*-un-lft-identity` `add-log-exp`
5×	`cbrt-div` `flip3--` `flip--`
4×	`add-exp-log` `sqrt-div` `add-cbrt-cube`
3×	`difference-of-squares`
2×	`frac-times` `rem-sqrt-square` `sqrt-pow1` `pow1/2` `associate-*r/`
1×	`cbrt-prod` `sub-neg` `pow1/3` `diff-log` `associate-*l/`

Counts

4 → 59

Calls

4 calls:

4.0ms	(- (* g g) (* h h))
15.0ms	(cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))
5.0ms	(sqrt (- (* g g) (* h h)))
5.0ms	(sqrt (- (* g g) (* h h)))

series104.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(- (* g g) (* h h))
81.0ms	(cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))
9.0ms	(sqrt (- (* g g) (* h h)))
8.0ms	(sqrt (- (* g g) (* h h)))

simplify5.2min

Counts

71 → 71

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	7	9
1	12	9
2	19	9
3	34	9
4	59	9
5	100	9
6	156	9
7	324	9
8	1653	9
done	5000	9
0	7	9
1	12	9
2	19	9
3	34	9
4	59	9
5	100	9
6	156	9
7	324	9
8	1653	9
done	5000	9
0	8	19
1	13	19
2	20	19
3	35	19
4	60	19
5	101	19
6	159	19
7	327	19
8	1602	19
done	5000	19
0	7	9
1	12	9
2	19	9
3	34	9
4	59	9
5	100	9
6	156	9
7	324	9
8	1653	9
done	5000	9
0	8	26
1	14	16
2	34	10
3	85	10
4	178	10
5	274	10
6	458	10
7	898	10
8	3735	10
done	5000	10
0	8	18
1	14	9
2	21	9
3	36	9
4	61	9
5	102	9
6	158	9
7	326	9
8	1613	9
done	5000	9
0	7	9
1	12	9
2	19	9
3	34	9
4	59	9
5	100	9
6	156	9
7	324	9
8	1653	9
done	5000	9
0	7	9
1	12	9
2	19	9
3	34	9
4	59	9
5	100	9
6	156	9
7	324	9
8	1653	9
done	5000	9
0	7	9
1	12	9
2	19	9
3	34	9
4	59	9
5	100	9
6	156	9
7	324	9
8	1653	9
done	5000	9
0	2	2
1	4	1
done	4	1
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	4	4
1	5	4
done	5	4
0	4	4
1	6	4
2	7	4
done	7	4
0	9	12
1	28	12
2	90	8
3	219	8
4	552	8
5	1963	8
done	5000	8
0	10	24
1	31	20
2	63	18
3	84	16
4	113	16
5	161	16
6	323	16
7	832	16
8	3018	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	7	8
done	7	8
0	3	3
1	6	1
done	6	1
0	7	9
1	12	9
2	19	9
3	34	9
4	59	9
5	100	9
6	156	9
7	324	9
8	1653	9
done	5000	9
0	7	9
1	12	9
2	19	9
3	34	9
4	59	9
5	100	9
6	156	9
7	324	9
8	1653	9
done	5000	9
0	7	9
1	12	9
2	19	9
3	34	9
4	59	9
5	100	9
6	156	9
7	324	9
8	1653	9
done	5000	9
0	7	9
1	12	9
2	19	9
3	34	9
4	59	9
5	100	9
6	156	9
7	324	9
8	1653	9
done	5000	9
0	8	19
1	13	19
2	20	19
3	35	19
4	60	19
5	101	19
6	159	19
7	327	19
8	1602	19
done	5000	19
0	7	9
1	12	9
2	19	9
3	34	9
4	59	9
5	100	9
6	156	9
7	324	9
8	1653	9
done	5000	9
0	8	26
1	14	16
2	34	10
3	85	10
4	178	10
5	274	10
6	458	10
7	898	10
8	3735	10
done	5000	10
0	8	18
1	14	9
2	21	9
3	36	9
4	61	9
5	102	9
6	158	9
7	326	9
8	1613	9
done	5000	9
0	7	9
1	12	9
2	19	9
3	34	9
4	59	9
5	100	9
6	156	9
7	324	9
8	1653	9
done	5000	9
0	7	9
1	12	9
2	19	9
3	34	9
4	59	9
5	100	9
6	156	9
7	324	9
8	1653	9
done	5000	9
0	7	9
1	12	9
2	19	9
3	34	9
4	59	9
5	100	9
6	156	9
7	324	9
8	1653	9
done	5000	9
0	2	2
1	4	1
done	4	1
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	4	4
1	5	4
done	5	4
0	4	4
1	6	4
2	7	4
done	7	4
0	9	12
1	28	12
2	90	8
3	219	8
4	552	8
5	1963	8
done	5000	8
0	10	24
1	31	20
2	63	18
3	84	16
4	113	16
5	161	16
6	323	16
7	832	16
8	3018	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	7	8
done	7	8
0	3	3
1	6	1
done	6	1
0	7	9
1	12	9
2	19	9
3	34	9
4	59	9
5	100	9
6	156	9
7	324	9
8	1653	9
done	5000	9
0	7	9
1	12	9
2	19	9
3	34	9
4	59	9
5	100	9
6	156	9
7	324	9
8	1653	9
done	5000	9
0	16	19
1	29	19
2	68	19
3	172	19
4	359	19
5	604	19
6	828	19
7	1026	19
8	2325	19
done	5001	19
0	16	19
1	29	19
2	68	19
3	172	19
4	359	19
5	604	19
6	828	19
7	1026	19
8	2325	19
done	5001	19
0	6	6
1	9	6
2	11	6
done	11	6
0	9	12
1	16	12
2	26	12
3	43	12
4	68	12
5	109	12
6	166	12
7	334	12
8	1625	12
done	5000	12
0	14	18
1	37	18
2	84	18
3	252	18
4	956	18
5	3567	18
done	5000	18
0	17	40
1	45	28
2	147	27
3	487	25
4	1300	23
5	3479	23
done	5001	23
0	13	26
1	28	14
2	76	14
3	251	8
4	707	6
5	3079	6
done	5000	6
0	13	16
1	29	16
2	68	15
3	109	15
4	152	15
5	193	15
6	262	15
7	430	15
8	1725	15
done	5000	15
0	18	22
1	46	22
2	116	22
3	412	22
4	2070	22
done	5000	22
0	13	36
1	31	24
2	72	23
3	180	21
4	399	19
5	895	19
6	2611	19
done	5000	19
0	17	30
1	37	18
2	110	18
3	486	12
4	1947	10
done	5000	10
0	9	12
1	15	12
2	23	11
3	38	11
4	63	11
5	104	11
6	159	11
7	327	11
8	1604	11
done	5000	11
0	11	14
1	19	14
2	35	14
3	65	14
4	101	14
5	142	14
6	199	14
7	367	14
8	1612	14
done	5000	14
0	4	4
1	5	4
done	5	4
0	17	39
1	30	39
2	69	39
3	173	39
4	365	39
5	610	39
6	830	39
7	1028	39
8	2315	39
done	5001	39
0	16	19
1	29	19
2	68	19
3	172	19
4	359	19
5	604	19
6	828	19
7	1026	19
8	2325	19
done	5001	19
0	17	56
1	31	56
2	72	20
3	181	17
4	377	17
5	632	17
6	870	17
7	1126	17
8	2674	17
done	5000	17
0	16	19
1	29	19
2	68	19
3	172	19
4	359	19
5	604	19
6	828	19
7	1026	19
8	2325	19
done	5001	19
0	16	19
1	29	19
2	68	19
3	172	19
4	359	19
5	604	19
6	828	19
7	1026	19
8	2325	19
done	5001	19
0	7	9
1	13	8
2	25	8
3	52	8
4	141	8
5	464	8
6	2518	8
done	5001	8
0	6	8
1	11	8
2	21	8
3	37	8
4	62	8
5	103	8
6	161	8
7	329	8
8	1610	8
done	5000	8
0	6	8
1	14	8
2	29	8
3	64	8
4	142	8
5	361	8
6	1304	8
done	5000	8
0	7	17
1	12	17
2	19	17
3	34	17
4	59	17
5	100	17
6	156	17
7	324	17
8	1653	17
done	5000	17
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	7	23
1	13	23
2	45	9
3	236	9
4	1272	9
done	5000	9
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	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	8	11
1	27	11
2	89	7
3	214	7
4	541	7
5	1943	7
done	5000	7
0	9	23
1	30	19
2	62	17
3	85	15
4	114	15
5	162	15
6	328	15
7	830	15
8	3018	15
done	5000	15
0	3	4
1	6	4
done	6	4
0	7	15
1	20	15
2	41	11
3	87	7
4	212	7
5	581	7
6	1497	7
done	5000	7
0	5	7
1	6	7
done	6	7
0	3	3
1	4	3
done	4	3
0	3	3
1	5	3
2	6	3
done	6	3
0	3	4
1	6	4
done	6	4
0	5	5
1	9	4
done	9	4
0	1	1
done	1	1
0	3	3
1	5	2
done	5	2
0	5	5
1	9	4
done	9	4
0	1	1
done	1	1
0	3	3
1	5	2
done	5	2
0	16	16
1	28	15
2	53	15
3	113	14
4	214	10
5	459	10
6	1160	10
7	4737	10
done	5000	10
0	17	18
1	35	16
2	72	14
3	213	13
4	477	11
5	1087	9
6	2455	9
done	5001	9
0	23	25
1	43	25
2	105	25
3	372	24
4	1459	22
done	5000	22
0	6	7
1	16	7
2	46	7
3	57	7
4	81	7
5	123	7
6	204	7
7	380	7
8	963	7
9	4078	7
done	5000	7
0	6	7
1	16	7
2	46	7
3	57	7
4	81	7
5	123	7
6	204	7
7	380	7
8	963	7
9	4078	7
done	5000	7
0	6	7
1	16	7
2	46	7
3	57	7
4	81	7
5	123	7
6	204	7
7	380	7
8	963	7
9	4078	7
done	5000	7

prune232.0ms

Filtered

59 candidates to 71 candidates (-20.3%)

Pruning

16 alts after pruning (16 fresh and 0 done)

	Pruned	Kept	Total
New	69	2	71
Fresh	0	14	14
Picked	1	0	1
Done	0	0	0
Total	70	16	86

Merged error: 31.5b

Counts

86 → 16

localize21.0ms

Local error

Found 4 expressions with local error:

2.6b	(- (* g g) (* h h))
9.9b	(cbrt (* (- (sqrt (- (* g g) (* h h))) g) (/ 1.0 (* 2.0 a))))
30.2b	(sqrt (- (* g g) (* h h)))
30.2b	(sqrt (- (* g g) (* h h)))

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

8×	`add-sqr-sqrt` `sqrt-prod`
6×	`pow1` `add-cube-cbrt` `*-un-lft-identity` `add-log-exp`
5×	`cbrt-div` `flip3--` `flip--`
4×	`add-exp-log` `sqrt-div` `add-cbrt-cube`
3×	`difference-of-squares`
2×	`frac-times` `rem-sqrt-square` `sqrt-pow1` `pow1/2` `associate-*l/`
1×	`cbrt-prod` `sub-neg` `pow1/3` `diff-log` `associate-*r/`

Counts

4 → 59

Calls

4 calls:

8.0ms	(- (* g g) (* h h))
15.0ms	(cbrt (* (- (sqrt (- (* g g) (* h h))) g) (/ 1.0 (* 2.0 a))))
5.0ms	(sqrt (- (* g g) (* h h)))
5.0ms	(sqrt (- (* g g) (* h h)))

series86.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(- (* g g) (* h h))
63.0ms	(cbrt (* (- (sqrt (- (* g g) (* h h))) g) (/ 1.0 (* 2.0 a))))
8.0ms	(sqrt (- (* g g) (* h h)))
8.0ms	(sqrt (- (* g g) (* h h)))

simplify5.3min

Counts

71 → 71

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	7	9
1	12	9
2	19	9
3	34	9
4	59	9
5	100	9
6	156	9
7	324	9
8	1653	9
done	5000	9
0	7	9
1	12	9
2	19	9
3	34	9
4	59	9
5	100	9
6	156	9
7	324	9
8	1653	9
done	5000	9
0	8	19
1	13	19
2	20	19
3	35	19
4	60	19
5	101	19
6	159	19
7	327	19
8	1602	19
done	5000	19
0	7	9
1	12	9
2	19	9
3	34	9
4	59	9
5	100	9
6	156	9
7	324	9
8	1653	9
done	5000	9
0	8	26
1	14	16
2	34	10
3	85	10
4	178	10
5	274	10
6	458	10
7	898	10
8	3735	10
done	5000	10
0	8	18
1	14	9
2	21	9
3	36	9
4	61	9
5	102	9
6	158	9
7	326	9
8	1613	9
done	5000	9
0	7	9
1	12	9
2	19	9
3	34	9
4	59	9
5	100	9
6	156	9
7	324	9
8	1653	9
done	5000	9
0	7	9
1	12	9
2	19	9
3	34	9
4	59	9
5	100	9
6	156	9
7	324	9
8	1653	9
done	5000	9
0	7	9
1	12	9
2	19	9
3	34	9
4	59	9
5	100	9
6	156	9
7	324	9
8	1653	9
done	5000	9
0	2	2
1	4	1
done	4	1
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	4	4
1	5	4
done	5	4
0	4	4
1	6	4
2	7	4
done	7	4
0	9	12
1	28	12
2	90	8
3	219	8
4	552	8
5	1963	8
done	5000	8
0	10	24
1	31	20
2	63	18
3	84	16
4	113	16
5	161	16
6	323	16
7	832	16
8	3018	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	7	8
done	7	8
0	3	3
1	6	1
done	6	1
0	7	9
1	12	9
2	19	9
3	34	9
4	59	9
5	100	9
6	156	9
7	324	9
8	1653	9
done	5000	9
0	7	9
1	12	9
2	19	9
3	34	9
4	59	9
5	100	9
6	156	9
7	324	9
8	1653	9
done	5000	9
0	7	9
1	12	9
2	19	9
3	34	9
4	59	9
5	100	9
6	156	9
7	324	9
8	1653	9
done	5000	9
0	7	9
1	12	9
2	19	9
3	34	9
4	59	9
5	100	9
6	156	9
7	324	9
8	1653	9
done	5000	9
0	8	19
1	13	19
2	20	19
3	35	19
4	60	19
5	101	19
6	159	19
7	327	19
8	1602	19
done	5000	19
0	7	9
1	12	9
2	19	9
3	34	9
4	59	9
5	100	9
6	156	9
7	324	9
8	1653	9
done	5000	9
0	8	26
1	14	16
2	34	10
3	85	10
4	178	10
5	274	10
6	458	10
7	898	10
8	3735	10
done	5000	10
0	8	18
1	14	9
2	21	9
3	36	9
4	61	9
5	102	9
6	158	9
7	326	9
8	1613	9
done	5000	9
0	7	9
1	12	9
2	19	9
3	34	9
4	59	9
5	100	9
6	156	9
7	324	9
8	1653	9
done	5000	9
0	7	9
1	12	9
2	19	9
3	34	9
4	59	9
5	100	9
6	156	9
7	324	9
8	1653	9
done	5000	9
0	7	9
1	12	9
2	19	9
3	34	9
4	59	9
5	100	9
6	156	9
7	324	9
8	1653	9
done	5000	9
0	2	2
1	4	1
done	4	1
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	4	4
1	5	4
done	5	4
0	4	4
1	6	4
2	7	4
done	7	4
0	9	12
1	28	12
2	90	8
3	219	8
4	552	8
5	1963	8
done	5000	8
0	10	24
1	31	20
2	63	18
3	84	16
4	113	16
5	161	16
6	323	16
7	832	16
8	3018	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	7	8
done	7	8
0	3	3
1	6	1
done	6	1
0	7	9
1	12	9
2	19	9
3	34	9
4	59	9
5	100	9
6	156	9
7	324	9
8	1653	9
done	5000	9
0	7	9
1	12	9
2	19	9
3	34	9
4	59	9
5	100	9
6	156	9
7	324	9
8	1653	9
done	5000	9
0	15	18
1	28	18
2	59	18
3	145	18
4	266	18
5	422	18
6	536	18
7	718	18
8	2026	18
done	5000	18
0	15	18
1	28	18
2	59	18
3	145	18
4	266	18
5	422	18
6	536	18
7	718	18
8	2026	18
done	5000	18
0	8	11
1	15	11
2	23	11
3	38	11
4	63	11
5	104	11
6	159	11
7	327	11
8	1650	11
done	5000	11
0	6	6
1	9	6
2	11	6
done	11	6
0	13	17
1	33	17
2	68	17
3	179	17
4	546	17
5	1627	17
done	5000	17
0	15	37
1	31	25
2	76	25
3	253	23
4	696	23
5	1834	23
6	4848	23
done	5000	23
0	11	24
1	22	14
2	55	14
3	151	14
4	377	8
5	840	7
6	4807	7
done	5000	7
0	12	15
1	22	15
2	43	15
3	82	15
4	107	15
5	148	15
6	206	15
7	374	15
8	1683	15
done	5000	15
0	10	13
1	18	13
2	32	13
3	52	13
4	81	13
5	122	13
6	179	13
7	347	13
8	1634	13
done	5000	13
0	4	4
1	5	4
done	5	4
0	17	21
1	42	21
2	94	21
3	285	21
4	1201	21
done	5000	21
0	11	33
1	23	21
2	48	21
3	96	19
4	211	19
5	536	19
6	1564	19
done	5000	19
0	15	28
1	31	18
2	83	18
3	315	18
4	1145	12
5	3181	11
done	5000	11
0	8	11
1	14	11
2	21	11
3	36	11
4	61	11
5	102	11
6	160	11
7	328	11
8	1586	11
done	5000	11
0	16	37
1	29	37
2	60	37
3	146	37
4	267	37
5	423	37
6	539	37
7	721	37
8	1995	37
done	5001	37
0	15	18
1	28	18
2	59	18
3	145	18
4	266	18
5	422	18
6	536	18
7	718	18
8	2026	18
done	5000	18
0	16	53
1	30	53
2	63	19
3	154	16
4	281	16
5	447	16
6	588	16
7	831	16
8	2327	16
done	5000	16
0	15	18
1	28	18
2	59	18
3	145	18
4	266	18
5	422	18
6	536	18
7	718	18
8	2026	18
done	5000	18
0	15	18
1	28	18
2	59	18
3	145	18
4	266	18
5	422	18
6	536	18
7	718	18
8	2026	18
done	5000	18
0	7	9
1	13	8
2	25	8
3	52	8
4	141	8
5	464	8
6	2518	8
done	5001	8
0	6	8
1	11	8
2	21	8
3	37	8
4	62	8
5	103	8
6	161	8
7	329	8
8	1610	8
done	5000	8
0	6	8
1	14	8
2	29	8
3	64	8
4	142	8
5	361	8
6	1304	8
done	5000	8
0	7	17
1	12	17
2	19	17
3	34	17
4	59	17
5	100	17
6	156	17
7	324	17
8	1653	17
done	5000	17
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	7	23
1	13	23
2	45	9
3	236	9
4	1272	9
done	5000	9
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	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	8	11
1	27	11
2	89	7
3	214	7
4	541	7
5	1943	7
done	5000	7
0	9	23
1	30	19
2	62	17
3	85	15
4	114	15
5	162	15
6	328	15
7	830	15
8	3018	15
done	5000	15
0	3	4
1	6	4
done	6	4
0	7	15
1	20	15
2	41	11
3	87	7
4	212	7
5	581	7
6	1497	7
done	5000	7
0	5	7
1	6	7
done	6	7
0	3	3
1	4	3
done	4	3
0	3	3
1	5	3
2	6	3
done	6	3
0	3	4
1	6	4
done	6	4
0	5	5
1	9	4
done	9	4
0	1	1
done	1	1
0	3	3
1	5	2
done	5	2
0	5	5
1	9	4
done	9	4
0	1	1
done	1	1
0	3	3
1	5	2
done	5	2
0	45	72
1	110	67
2	289	63
3	949	56
4	3570	42
done	5001	42
0	24	26
1	50	22
2	120	20
3	405	18
4	1139	17
5	2765	13
done	5001	13
0	17	18
1	31	18
2	69	18
3	211	17
4	683	13
5	2191	9
done	5000	9
0	6	7
1	16	7
2	46	7
3	57	7
4	81	7
5	123	7
6	204	7
7	380	7
8	963	7
9	4078	7
done	5000	7
0	6	7
1	16	7
2	46	7
3	57	7
4	81	7
5	123	7
6	204	7
7	380	7
8	963	7
9	4078	7
done	5000	7
0	6	7
1	16	7
2	46	7
3	57	7
4	81	7
5	123	7
6	204	7
7	380	7
8	963	7
9	4078	7
done	5000	7

prune161.0ms

Filtered

59 candidates to 71 candidates (-20.3%)

Pruning

17 alts after pruning (17 fresh and 0 done)

	Pruned	Kept	Total
New	68	3	71
Fresh	1	14	15
Picked	1	0	1
Done	0	0	0
Total	70	17	87

Merged error: 31.4b

Counts

87 → 17

regimes909.0ms

Accuracy

59% (1.4b remaining)

Error of 32.3b against oracle of 30.9b and baseline of 34.3b

bsearch146.0ms

Steps

Iters	Range		Point
11	4.069757028539003e-168	9.057469980252996e-145	1.413726079038446e-159

simplify8.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	35	78
1	49	78
2	52	78
3	53	78
done	53	78

end0.0ms

sample3.3s

Algorithm

intervals

Results

1.1s	3750×	body	320	valid
786.0ms	4102×	body	160	valid
741.0ms	7841×	body	80	nan
14.0ms	148×	body	80	valid

Details

sample116.0ms

simplify5.6s

prune11.0ms

localize20.0ms

rewrite40.0ms

series162.0ms

simplify5.8min

prune275.0ms

localize26.0ms

rewrite30.0ms

series105.0ms

simplify5.2min

prune245.0ms

localize25.0ms

rewrite30.0ms

series104.0ms

simplify5.2min

prune232.0ms

localize21.0ms

rewrite34.0ms

series86.0ms

simplify5.3min

prune161.0ms

regimes909.0ms

bsearch146.0ms

simplify8.0ms

end0.0ms

sample3.3s

Profiling