Details

sample254.0ms

Algorithm

intervals

Results

56.0ms	85×	body	5120	valid
44.0ms	433×	body	80	nan
29.0ms	54×	body	2560	valid
19.0ms	206×	body	80	valid
14.0ms	19×	body	5120	exit
11.0ms	26×	body	1280	valid
8.0ms	14×	body	640	valid
3.0ms	10×	body	320	valid
1.0ms	6×	body	160	valid

simplify1.2s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	21	52
1	59	52
2	285	52
3	3124	52
done	5000	52

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: 59.2b

Counts

2 → 1

localize28.0ms

Local error

Found 4 expressions with local error:

17.0b	(/ (* c0 (* d d)) (* (* w h) (* D D)))
17.0b	(/ (* c0 (* d d)) (* (* w h) (* D D)))
17.0b	(/ (* c0 (* d d)) (* (* w h) (* D D)))
30.9b	(+ (/ (* c0 (* d d)) (* (* w h) (* D D))) (sqrt (- (* (/ (* c0 (* d d)) (* (* w h) (* D D))) (/ (* c0 (* d d)) (* (* w h) (* D D)))) (* M M))))

rewrite96.0ms

Algorithm

rewrite-expression-head

Rules

211×	`add-exp-log` `add-cbrt-cube`
117×	`prod-exp` `cbrt-unprod`
45×	`cbrt-undiv` `div-exp`
6×	`*-un-lft-identity` `add-log-exp`
4×	`pow1` `add-sqr-sqrt` `add-cube-cbrt`
3×	`frac-2neg` `times-frac` `clear-num` `associate-/r` `div-inv` `associate-/l`
2×	`sqrt-div` `frac-add`
1×	`+-commutative` `flip3--` `flip3-+` `sum-log` `flip--` `flip-+` `distribute-lft-out`

Counts

4 → 143

Calls

4 calls:

14.0ms	(/ (* c0 (* d d)) (* (* w h) (* D D)))
15.0ms	(/ (* c0 (* d d)) (* (* w h) (* D D)))
17.0ms	(/ (* c0 (* d d)) (* (* w h) (* D D)))
38.0ms	(+ (/ (* c0 (* d d)) (* (* w h) (* D D))) (sqrt (- (* (/ (* c0 (* d d)) (* (* w h) (* D D))) (/ (* c0 (* d d)) (* (* w h) (* D D)))) (* M M))))

series229.0ms

Counts

4 → 12

Calls

4 calls:

36.0ms	(/ (* c0 (* d d)) (* (* w h) (* D D)))
35.0ms	(/ (* c0 (* d d)) (* (* w h) (* D D)))
40.0ms	(/ (* c0 (* d d)) (* (* w h) (* D D)))
118.0ms	(+ (/ (* c0 (* d d)) (* (* w h) (* D D))) (sqrt (- (* (/ (* c0 (* d d)) (* (* w h) (* D D))) (/ (* c0 (* d d)) (* (* w h) (* D D)))) (* M M))))

simplify10.3min

Counts

155 → 155

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	19	48
1	47	47
2	225	47
3	2713	47
done	5000	47
0	18	47
1	44	47
2	219	47
3	2681	47
done	5001	47
0	18	47
1	47	47
2	225	47
3	2714	47
done	5001	47
0	19	95
1	45	95
2	220	95
3	2676	95
done	5001	95
0	18	47
1	44	47
2	219	47
3	2681	47
done	5001	47
0	19	140
1	58	140
2	296	48
3	3603	48
done	5001	48
0	18	47
1	44	47
2	219	47
3	2681	47
done	5001	47
0	18	47
1	44	47
2	219	47
3	2681	47
done	5001	47
0	28	147
1	93	143
2	466	101
done	5001	89
0	21	104
1	65	100
2	352	74
done	5000	62
0	23	111
1	63	111
2	319	83
3	4104	67
done	5000	67
0	17	40
1	41	40
2	228	40
3	2701	40
done	5001	40
0	20	50
1	61	50
2	298	50
3	3813	48
done	5001	48
0	20	140
1	55	106
2	295	106
3	3455	80
done	5000	80
0	18	93
1	48	59
2	241	59
3	2849	5
done	5000	5
0	17	46
1	44	46
2	220	46
3	2681	46
done	5001	46
0	17	46
1	43	46
2	218	46
3	2673	46
done	5001	46
0	16	20
1	34	18
2	99	18
3	337	16
4	1113	16
5	3415	16
done	5000	16
0	16	19
1	33	18
2	90	18
3	307	16
4	1048	16
5	3163	16
done	5000	16
0	15	19
1	34	17
2	87	17
3	288	15
4	927	15
5	3053	15
done	5001	15
0	15	18
1	33	17
2	79	17
3	260	15
4	864	15
5	2783	15
done	5001	15
0	14	17
1	32	16
2	78	16
3	201	16
4	621	15
5	1863	15
done	5001	15
0	16	19
1	33	18
2	95	18
3	322	16
4	1076	16
5	3225	16
done	5001	16
0	16	18
1	31	18
2	86	18
3	292	16
4	1010	16
5	2944	16
done	5000	16
0	15	18
1	33	17
2	83	17
3	272	15
4	890	15
5	2870	15
done	5000	15
0	15	17
1	31	17
2	75	17
3	246	15
4	835	15
5	2612	15
done	5000	15
0	14	16
1	30	16
2	76	16
3	197	16
4	601	15
5	1782	15
done	5000	15
0	15	18
1	33	17
2	84	17
3	248	17
4	857	16
5	2750	16
done	5000	16
0	15	17
1	31	17
2	77	17
3	227	17
4	818	16
5	2532	16
done	5000	16
0	14	17
1	33	16
2	74	16
3	217	16
4	723	15
5	2368	15
done	5000	15
0	14	16
1	31	16
2	68	16
3	197	16
4	677	15
5	2225	15
done	5000	15
0	13	15
1	30	15
2	71	15
3	170	15
4	488	15
5	1479	15
6	4393	15
done	5000	15
0	12	14
1	31	14
2	158	14
3	732	14
4	2641	13
done	5000	13
0	12	14
1	28	14
2	131	14
3	592	14
4	1983	14
5	3511	14
done	5000	14
0	21	41
1	60	41
2	452	27
done	5001	23
0	21	41
1	61	41
2	450	25
done	5000	23
0	19	41
1	62	41
2	439	25
done	5000	21
0	19	41
1	63	41
2	433	23
done	5001	21
0	17	41
1	53	41
2	425	21
done	5001	19
0	21	41
1	61	41
2	448	25
done	5000	23
0	21	41
1	62	41
2	447	23
done	5001	23
0	19	41
1	63	41
2	434	23
done	5000	21
0	19	41
1	64	41
2	433	21
done	5000	21
0	17	41
1	54	41
2	421	19
done	5000	19
0	19	41
1	58	41
2	428	23
done	5001	21
0	19	41
1	59	41
2	425	21
done	5000	21
0	17	41
1	60	41
2	409	21
done	5000	19
0	17	41
1	61	41
2	407	19
done	5001	19
0	15	41
1	51	41
2	403	17
done	5000	17
0	13	29
1	29	29
2	130	29
3	565	29
4	1829	29
5	2939	29
6	2992	29
done	2992	29
0	12	14
1	28	14
2	129	14
3	562	14
4	1821	14
5	2890	14
6	2959	14
done	2959	14
0	13	41
1	36	41
2	247	15
3	3946	15
done	5000	15
0	12	14
1	28	14
2	129	14
3	562	14
4	1821	14
5	2890	14
6	2959	14
done	2959	14
0	12	14
1	28	14
2	129	14
3	562	14
4	1821	14
5	2890	14
6	2959	14
done	2959	14
0	5	6
1	12	6
2	24	6
3	33	6
done	33	6
0	7	8
1	17	8
2	53	8
3	111	8
4	149	8
done	149	8
0	5	5
1	8	5
2	10	5
done	10	5
0	5	7
1	11	7
2	20	7
3	26	7
done	26	7
0	8	9
1	18	9
2	42	9
3	69	9
4	93	9
done	93	9
0	11	13
1	27	13
2	118	13
3	543	13
4	1903	13
5	3120	13
6	3240	13
done	3240	13
0	8	9
1	19	9
2	57	9
3	140	9
4	230	9
5	254	9
6	256	9
done	256	9
0	9	11
1	22	11
2	74	11
3	217	11
4	523	11
5	730	11
6	756	11
done	756	11
0	16	20
1	34	18
2	99	18
3	337	16
4	1113	16
5	3415	16
done	5000	16
0	16	19
1	33	18
2	90	18
3	307	16
4	1048	16
5	3163	16
done	5000	16
0	15	19
1	34	17
2	87	17
3	288	15
4	927	15
5	3053	15
done	5001	15
0	15	18
1	33	17
2	79	17
3	260	15
4	864	15
5	2783	15
done	5001	15
0	14	17
1	32	16
2	78	16
3	201	16
4	621	15
5	1863	15
done	5001	15
0	16	19
1	33	18
2	95	18
3	322	16
4	1076	16
5	3225	16
done	5001	16
0	16	18
1	31	18
2	86	18
3	292	16
4	1010	16
5	2944	16
done	5000	16
0	15	18
1	33	17
2	83	17
3	272	15
4	890	15
5	2870	15
done	5000	15
0	15	17
1	31	17
2	75	17
3	246	15
4	835	15
5	2612	15
done	5000	15
0	14	16
1	30	16
2	76	16
3	197	16
4	601	15
5	1782	15
done	5000	15
0	15	18
1	33	17
2	84	17
3	248	17
4	857	16
5	2750	16
done	5000	16
0	15	17
1	31	17
2	77	17
3	227	17
4	818	16
5	2532	16
done	5000	16
0	14	17
1	33	16
2	74	16
3	217	16
4	723	15
5	2368	15
done	5000	15
0	14	16
1	31	16
2	68	16
3	197	16
4	677	15
5	2225	15
done	5000	15
0	13	15
1	30	15
2	71	15
3	170	15
4	488	15
5	1479	15
6	4393	15
done	5000	15
0	12	14
1	31	14
2	158	14
3	732	14
4	2641	13
done	5000	13
0	12	14
1	28	14
2	131	14
3	592	14
4	1983	14
5	3511	14
done	5000	14
0	21	41
1	60	41
2	452	27
done	5001	23
0	21	41
1	61	41
2	450	25
done	5000	23
0	19	41
1	62	41
2	439	25
done	5000	21
0	19	41
1	63	41
2	433	23
done	5001	21
0	17	41
1	53	41
2	425	21
done	5001	19
0	21	41
1	61	41
2	448	25
done	5000	23
0	21	41
1	62	41
2	447	23
done	5001	23
0	19	41
1	63	41
2	434	23
done	5000	21
0	19	41
1	64	41
2	433	21
done	5000	21
0	17	41
1	54	41
2	421	19
done	5000	19
0	19	41
1	58	41
2	428	23
done	5001	21
0	19	41
1	59	41
2	425	21
done	5000	21
0	17	41
1	60	41
2	409	21
done	5000	19
0	17	41
1	61	41
2	407	19
done	5001	19
0	15	41
1	51	41
2	403	17
done	5000	17
0	13	29
1	29	29
2	130	29
3	565	29
4	1829	29
5	2939	29
6	2992	29
done	2992	29
0	12	14
1	28	14
2	129	14
3	562	14
4	1821	14
5	2890	14
6	2959	14
done	2959	14
0	13	41
1	36	41
2	247	15
3	3946	15
done	5000	15
0	12	14
1	28	14
2	129	14
3	562	14
4	1821	14
5	2890	14
6	2959	14
done	2959	14
0	12	14
1	28	14
2	129	14
3	562	14
4	1821	14
5	2890	14
6	2959	14
done	2959	14
0	5	6
1	12	6
2	24	6
3	33	6
done	33	6
0	7	8
1	17	8
2	53	8
3	111	8
4	149	8
done	149	8
0	5	5
1	8	5
2	10	5
done	10	5
0	5	7
1	11	7
2	20	7
3	26	7
done	26	7
0	8	9
1	18	9
2	42	9
3	69	9
4	93	9
done	93	9
0	11	13
1	27	13
2	118	13
3	543	13
4	1903	13
5	3120	13
6	3240	13
done	3240	13
0	8	9
1	19	9
2	57	9
3	140	9
4	230	9
5	254	9
6	256	9
done	256	9
0	9	11
1	22	11
2	74	11
3	217	11
4	523	11
5	730	11
6	756	11
done	756	11
0	16	20
1	34	18
2	99	18
3	337	16
4	1113	16
5	3415	16
done	5000	16
0	16	19
1	33	18
2	90	18
3	307	16
4	1048	16
5	3163	16
done	5000	16
0	15	19
1	34	17
2	87	17
3	288	15
4	927	15
5	3053	15
done	5001	15
0	15	18
1	33	17
2	79	17
3	260	15
4	864	15
5	2783	15
done	5001	15
0	14	17
1	32	16
2	78	16
3	201	16
4	621	15
5	1863	15
done	5001	15
0	16	19
1	33	18
2	95	18
3	322	16
4	1076	16
5	3225	16
done	5001	16
0	16	18
1	31	18
2	86	18
3	292	16
4	1010	16
5	2944	16
done	5000	16
0	15	18
1	33	17
2	83	17
3	272	15
4	890	15
5	2870	15
done	5000	15
0	15	17
1	31	17
2	75	17
3	246	15
4	835	15
5	2612	15
done	5000	15
0	14	16
1	30	16
2	76	16
3	197	16
4	601	15
5	1782	15
done	5000	15
0	15	18
1	33	17
2	84	17
3	248	17
4	857	16
5	2750	16
done	5000	16
0	15	17
1	31	17
2	77	17
3	227	17
4	818	16
5	2532	16
done	5000	16
0	14	17
1	33	16
2	74	16
3	217	16
4	723	15
5	2368	15
done	5000	15
0	14	16
1	31	16
2	68	16
3	197	16
4	677	15
5	2225	15
done	5000	15
0	13	15
1	30	15
2	71	15
3	170	15
4	488	15
5	1479	15
6	4393	15
done	5000	15
0	12	14
1	31	14
2	158	14
3	732	14
4	2641	13
done	5000	13
0	12	14
1	28	14
2	131	14
3	592	14
4	1983	14
5	3511	14
done	5000	14
0	21	41
1	60	41
2	452	27
done	5001	23
0	21	41
1	61	41
2	450	25
done	5000	23
0	19	41
1	62	41
2	439	25
done	5000	21
0	19	41
1	63	41
2	433	23
done	5001	21
0	17	41
1	53	41
2	425	21
done	5001	19
0	21	41
1	61	41
2	448	25
done	5000	23
0	21	41
1	62	41
2	447	23
done	5001	23
0	19	41
1	63	41
2	434	23
done	5000	21
0	19	41
1	64	41
2	433	21
done	5000	21
0	17	41
1	54	41
2	421	19
done	5000	19
0	19	41
1	58	41
2	428	23
done	5001	21
0	19	41
1	59	41
2	425	21
done	5000	21
0	17	41
1	60	41
2	409	21
done	5000	19
0	17	41
1	61	41
2	407	19
done	5001	19
0	15	41
1	51	41
2	403	17
done	5000	17
0	13	29
1	29	29
2	130	29
3	565	29
4	1829	29
5	2939	29
6	2992	29
done	2992	29
0	12	14
1	28	14
2	129	14
3	562	14
4	1821	14
5	2890	14
6	2959	14
done	2959	14
0	13	41
1	36	41
2	247	15
3	3946	15
done	5000	15
0	12	14
1	28	14
2	129	14
3	562	14
4	1821	14
5	2890	14
6	2959	14
done	2959	14
0	12	14
1	28	14
2	129	14
3	562	14
4	1821	14
5	2890	14
6	2959	14
done	2959	14
0	5	6
1	12	6
2	24	6
3	33	6
done	33	6
0	7	8
1	17	8
2	53	8
3	111	8
4	149	8
done	149	8
0	5	5
1	8	5
2	10	5
done	10	5
0	5	7
1	11	7
2	20	7
3	26	7
done	26	7
0	8	9
1	18	9
2	42	9
3	69	9
4	93	9
done	93	9
0	11	13
1	27	13
2	118	13
3	543	13
4	1903	13
5	3120	13
6	3240	13
done	3240	13
0	8	9
1	19	9
2	57	9
3	140	9
4	230	9
5	254	9
6	256	9
done	256	9
0	9	11
1	22	11
2	74	11
3	217	11
4	523	11
5	730	11
6	756	11
done	756	11
0	12	13
1	32	13
2	114	13
3	392	13
4	1429	13
5	2808	13
6	3204	13
7	3321	13
8	3749	13
done	5000	13
0	1	1
done	1	1
0	1	1
done	1	1
0	12	13
1	32	13
2	114	13
3	392	13
4	1429	13
5	2808	13
6	3204	13
7	3321	13
8	3749	13
done	5000	13
0	12	13
1	32	13
2	114	13
3	392	13
4	1429	13
5	2808	13
6	3204	13
7	3321	13
8	3749	13
done	5000	13
0	12	13
1	32	13
2	114	13
3	392	13
4	1429	13
5	2808	13
6	3204	13
7	3321	13
8	3749	13
done	5000	13
0	12	13
1	32	13
2	114	13
3	392	13
4	1429	13
5	2808	13
6	3204	13
7	3321	13
8	3749	13
done	5000	13
0	12	13
1	32	13
2	114	13
3	392	13
4	1429	13
5	2808	13
6	3204	13
7	3321	13
8	3749	13
done	5000	13
0	12	13
1	32	13
2	114	13
3	392	13
4	1429	13
5	2808	13
6	3204	13
7	3321	13
8	3749	13
done	5000	13
0	12	13
1	32	13
2	114	13
3	392	13
4	1429	13
5	2808	13
6	3204	13
7	3321	13
8	3749	13
done	5000	13
0	12	13
1	32	13
2	114	13
3	392	13
4	1429	13
5	2808	13
6	3204	13
7	3321	13
8	3749	13
done	5000	13
0	12	13
1	32	13
2	114	13
3	392	13
4	1429	13
5	2808	13
6	3204	13
7	3321	13
8	3749	13
done	5000	13

prune343.0ms

Filtered

122 candidates to 155 candidates (-27.0%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	148	7	155
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	149	7	156

Merged error: 30.9b

Counts

156 → 7

localize6.0ms

Local error

Found 1 expressions with local error:

5.9b	(* (/ c0 (* 2.0 w)) 0)

rewrite9.0ms

Algorithm

rewrite-expression-head

Rules

10×	`add-exp-log` `add-cbrt-cube`
7×	`associate-l`
6×	`add-sqr-sqrt`
4×	`add-cube-cbrt` `*-un-lft-identity` `prod-exp` `cbrt-unprod`
3×	`pow1` `times-frac` `associate-r`
2×	`cbrt-undiv` `div-exp`
1×	`mul0` `pow-prod-down` `associate-l/` `-commutative` `div-inv` `add-log-exp` `unswap-sqr`

Counts

1 → 28

Calls

1 calls:

8.0ms

(* (/ c0 (* 2.0 w)) 0)

series1.0ms

Counts

1 → 3

Calls

1 calls:

1.0ms

(* (/ c0 (* 2.0 w)) 0)

simplify26.4s

Counts

31 → 31

Iterations

Useful iterations: 1 (2.0ms)

Iter	Nodes	Cost
0	7	7
1	13	1
2	16	1
done	16	1
0	11	11
1	19	11
2	44	11
3	91	11
4	186	11
5	257	11
6	366	11
7	449	11
8	466	11
9	467	11
done	467	11
0	10	10
1	19	10
2	37	10
3	73	10
4	147	10
5	210	10
6	322	10
7	459	10
8	491	10
9	492	10
done	492	10
0	9	9
1	16	9
2	30	9
3	61	9
4	113	9
5	197	9
6	272	9
7	391	9
8	469	9
9	488	9
10	489	9
done	489	9
0	8	8
1	16	2
2	28	2
3	63	2
4	317	2
5	3297	2
done	5000	2
0	8	8
1	17	1
2	20	1
done	20	1
0	15	23
1	36	19
2	159	1
3	643	1
4	2044	1
done	5000	1
0	13	23
1	38	19
2	171	1
3	807	1
4	2397	1
5	4435	1
done	5000	1
0	11	23
1	27	19
2	96	1
3	363	1
4	1277	1
5	2789	1
6	4542	1
done	5000	1
0	9	17
1	15	3
2	18	1
done	18	1
0	8	8
1	14	1
2	17	1
done	17	1
0	9	23
1	25	3
2	36	1
3	76	1
4	166	1
5	285	1
6	321	1
done	321	1
0	8	8
1	14	1
2	17	1
done	17	1
0	8	8
1	14	1
2	17	1
done	17	1
0	9	9
1	13	8
2	15	1
done	15	1
0	9	9
1	13	8
2	15	1
done	15	1
0	9	11
1	17	7
2	37	1
3	48	1
done	48	1
0	8	8
1	14	7
2	29	1
3	31	1
done	31	1
0	7	7
1	15	5
2	39	5
3	60	5
4	87	5
5	113	5
6	134	5
7	138	5
done	138	5
0	8	8
1	12	1
2	14	1
done	14	1
0	8	8
1	12	1
2	14	1
done	14	1
0	6	6
1	9	1
2	10	1
done	10	1
0	6	6
1	9	1
2	10	1
done	10	1
0	5	5
1	8	1
2	9	1
done	9	1
0	7	7
1	13	1
2	16	1
done	16	1
0	7	7
1	14	1
2	16	1
done	16	1
0	3	3
1	4	1
done	4	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1

prune79.0ms

Filtered

22 candidates to 31 candidates (-40.9%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	30	1	31
Fresh	0	6	6
Picked	1	0	1
Done	0	0	0
Total	31	7	38

Merged error: 28.6b

Counts

38 → 7

localize1.0ms

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms

Counts: 0 → 0

simplify0.0ms

Counts: 0 → 0

prune34.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

	Kept	Total
New	0	0
Fresh	6	6
Picked	1	1
Done	0	0
Total	7	7

Merged error: 28.6b

Counts

7 → 7

localize30.0ms

Local error

Found 4 expressions with local error:

15.0b	(/ (+ (* M M) 0) (- (/ (* c0 (* d d)) (* (* w h) (* D D))) (sqrt (- (* (/ (* c0 (* d d)) (* (* w h) (* D D))) (/ (* c0 (* d d)) (* (* w h) (* D D)))) (* M M)))))
17.0b	(/ (* c0 (* d d)) (* (* w h) (* D D)))
17.0b	(/ (* c0 (* d d)) (* (* w h) (* D D)))
17.0b	(/ (* c0 (* d d)) (* (* w h) (* D D)))

rewrite106.0ms

Algorithm

rewrite-expression-head

Rules

213×	`add-exp-log` `add-cbrt-cube`
117×	`prod-exp` `cbrt-unprod`
46×	`cbrt-undiv` `div-exp`
31×	`add-sqr-sqrt`
23×	`*-un-lft-identity`
21×	`times-frac`
15×	`add-cube-cbrt`
9×	`associate-/r*`
8×	`difference-of-squares`
6×	`associate-/l*`
4×	`pow1` `frac-2neg` `clear-num` `sqrt-prod` `associate-/r/` `div-inv` `distribute-lft-out--` `add-log-exp`
2×	`flip3--` `sqrt-div` `frac-sub` `flip--` `associate-/l/`
1×	`flip3-+` `flip-+`

Counts

4 → 174

Calls

4 calls:

46.0ms	(/ (+ (* M M) 0) (- (/ (* c0 (* d d)) (* (* w h) (* D D))) (sqrt (- (* (/ (* c0 (* d d)) (* (* w h) (* D D))) (/ (* c0 (* d d)) (* (* w h) (* D D)))) (* M M)))))
16.0ms	(/ (* c0 (* d d)) (* (* w h) (* D D)))
16.0ms	(/ (* c0 (* d d)) (* (* w h) (* D D)))
17.0ms	(/ (* c0 (* d d)) (* (* w h) (* D D)))

series403.0ms

Counts

4 → 12

Calls

4 calls:

289.0ms	(/ (+ (* M M) 0) (- (/ (* c0 (* d d)) (* (* w h) (* D D))) (sqrt (- (* (/ (* c0 (* d d)) (* (* w h) (* D D))) (/ (* c0 (* d d)) (* (* w h) (* D D)))) (* M M)))))
36.0ms	(/ (* c0 (* d d)) (* (* w h) (* D D)))
35.0ms	(/ (* c0 (* d d)) (* (* w h) (* D D)))
43.0ms	(/ (* c0 (* d d)) (* (* w h) (* D D)))

simplify11.0min

Counts

186 → 186

Iterations

Useful iterations: 1 (6.0ms)

Iter	Nodes	Cost
0	16	20
1	34	18
2	99	18
3	337	16
4	1113	16
5	3415	16
done	5000	16
0	16	19
1	33	18
2	90	18
3	307	16
4	1048	16
5	3163	16
done	5000	16
0	15	19
1	34	17
2	87	17
3	288	15
4	927	15
5	3053	15
done	5001	15
0	15	18
1	33	17
2	79	17
3	260	15
4	864	15
5	2783	15
done	5001	15
0	14	17
1	32	16
2	78	16
3	201	16
4	621	15
5	1863	15
done	5001	15
0	16	19
1	33	18
2	95	18
3	322	16
4	1076	16
5	3225	16
done	5001	16
0	16	18
1	31	18
2	86	18
3	292	16
4	1010	16
5	2944	16
done	5000	16
0	15	18
1	33	17
2	83	17
3	272	15
4	890	15
5	2870	15
done	5000	15
0	15	17
1	31	17
2	75	17
3	246	15
4	835	15
5	2612	15
done	5000	15
0	14	16
1	30	16
2	76	16
3	197	16
4	601	15
5	1782	15
done	5000	15
0	15	18
1	33	17
2	84	17
3	248	17
4	857	16
5	2750	16
done	5000	16
0	15	17
1	31	17
2	77	17
3	227	17
4	818	16
5	2532	16
done	5000	16
0	14	17
1	33	16
2	74	16
3	217	16
4	723	15
5	2368	15
done	5000	15
0	14	16
1	31	16
2	68	16
3	197	16
4	677	15
5	2225	15
done	5000	15
0	13	15
1	30	15
2	71	15
3	170	15
4	488	15
5	1479	15
6	4393	15
done	5000	15
0	12	14
1	31	14
2	158	14
3	732	14
4	2641	13
done	5000	13
0	12	14
1	28	14
2	131	14
3	592	14
4	1983	14
5	3511	14
done	5000	14
0	21	41
1	60	41
2	452	27
done	5001	23
0	21	41
1	61	41
2	450	25
done	5000	23
0	19	41
1	62	41
2	439	25
done	5000	21
0	19	41
1	63	41
2	433	23
done	5001	21
0	17	41
1	53	41
2	425	21
done	5001	19
0	21	41
1	61	41
2	448	25
done	5000	23
0	21	41
1	62	41
2	447	23
done	5001	23
0	19	41
1	63	41
2	434	23
done	5000	21
0	19	41
1	64	41
2	433	21
done	5000	21
0	17	41
1	54	41
2	421	19
done	5000	19
0	19	41
1	58	41
2	428	23
done	5001	21
0	19	41
1	59	41
2	425	21
done	5000	21
0	17	41
1	60	41
2	409	21
done	5000	19
0	17	41
1	61	41
2	407	19
done	5001	19
0	15	41
1	51	41
2	403	17
done	5000	17
0	13	29
1	29	29
2	130	29
3	565	29
4	1829	29
5	2939	29
6	2992	29
done	2992	29
0	12	14
1	28	14
2	129	14
3	562	14
4	1821	14
5	2890	14
6	2959	14
done	2959	14
0	13	41
1	36	41
2	247	15
3	3946	15
done	5000	15
0	12	14
1	28	14
2	129	14
3	562	14
4	1821	14
5	2890	14
6	2959	14
done	2959	14
0	12	14
1	28	14
2	129	14
3	562	14
4	1821	14
5	2890	14
6	2959	14
done	2959	14
0	5	6
1	12	6
2	24	6
3	33	6
done	33	6
0	7	8
1	17	8
2	53	8
3	111	8
4	149	8
done	149	8
0	5	5
1	8	5
2	10	5
done	10	5
0	5	7
1	11	7
2	20	7
3	26	7
done	26	7
0	8	9
1	18	9
2	42	9
3	69	9
4	93	9
done	93	9
0	11	13
1	27	13
2	118	13
3	543	13
4	1903	13
5	3120	13
6	3240	13
done	3240	13
0	8	9
1	19	9
2	57	9
3	140	9
4	230	9
5	254	9
6	256	9
done	256	9
0	9	11
1	22	11
2	74	11
3	217	11
4	523	11
5	730	11
6	756	11
done	756	11
0	16	20
1	34	18
2	99	18
3	337	16
4	1113	16
5	3415	16
done	5000	16
0	16	19
1	33	18
2	90	18
3	307	16
4	1048	16
5	3163	16
done	5000	16
0	15	19
1	34	17
2	87	17
3	288	15
4	927	15
5	3053	15
done	5001	15
0	15	18
1	33	17
2	79	17
3	260	15
4	864	15
5	2783	15
done	5001	15
0	14	17
1	32	16
2	78	16
3	201	16
4	621	15
5	1863	15
done	5001	15
0	16	19
1	33	18
2	95	18
3	322	16
4	1076	16
5	3225	16
done	5001	16
0	16	18
1	31	18
2	86	18
3	292	16
4	1010	16
5	2944	16
done	5000	16
0	15	18
1	33	17
2	83	17
3	272	15
4	890	15
5	2870	15
done	5000	15
0	15	17
1	31	17
2	75	17
3	246	15
4	835	15
5	2612	15
done	5000	15
0	14	16
1	30	16
2	76	16
3	197	16
4	601	15
5	1782	15
done	5000	15
0	15	18
1	33	17
2	84	17
3	248	17
4	857	16
5	2750	16
done	5000	16
0	15	17
1	31	17
2	77	17
3	227	17
4	818	16
5	2532	16
done	5000	16
0	14	17
1	33	16
2	74	16
3	217	16
4	723	15
5	2368	15
done	5000	15
0	14	16
1	31	16
2	68	16
3	197	16
4	677	15
5	2225	15
done	5000	15
0	13	15
1	30	15
2	71	15
3	170	15
4	488	15
5	1479	15
6	4393	15
done	5000	15
0	12	14
1	31	14
2	158	14
3	732	14
4	2641	13
done	5000	13
0	12	14
1	28	14
2	131	14
3	592	14
4	1983	14
5	3511	14
done	5000	14
0	21	41
1	60	41
2	452	27
done	5001	23
0	21	41
1	61	41
2	450	25
done	5000	23
0	19	41
1	62	41
2	439	25
done	5000	21
0	19	41
1	63	41
2	433	23
done	5001	21
0	17	41
1	53	41
2	425	21
done	5001	19
0	21	41
1	61	41
2	448	25
done	5000	23
0	21	41
1	62	41
2	447	23
done	5001	23
0	19	41
1	63	41
2	434	23
done	5000	21
0	19	41
1	64	41
2	433	21
done	5000	21
0	17	41
1	54	41
2	421	19
done	5000	19
0	19	41
1	58	41
2	428	23
done	5001	21
0	19	41
1	59	41
2	425	21
done	5000	21
0	17	41
1	60	41
2	409	21
done	5000	19
0	17	41
1	61	41
2	407	19
done	5001	19
0	15	41
1	51	41
2	403	17
done	5000	17
0	13	29
1	29	29
2	130	29
3	565	29
4	1829	29
5	2939	29
6	2992	29
done	2992	29
0	12	14
1	28	14
2	129	14
3	562	14
4	1821	14
5	2890	14
6	2959	14
done	2959	14
0	13	41
1	36	41
2	247	15
3	3946	15
done	5000	15
0	12	14
1	28	14
2	129	14
3	562	14
4	1821	14
5	2890	14
6	2959	14
done	2959	14
0	12	14
1	28	14
2	129	14
3	562	14
4	1821	14
5	2890	14
6	2959	14
done	2959	14
0	5	6
1	12	6
2	24	6
3	33	6
done	33	6
0	7	8
1	17	8
2	53	8
3	111	8
4	149	8
done	149	8
0	5	5
1	8	5
2	10	5
done	10	5
0	5	7
1	11	7
2	20	7
3	26	7
done	26	7
0	8	9
1	18	9
2	42	9
3	69	9
4	93	9
done	93	9
0	11	13
1	27	13
2	118	13
3	543	13
4	1903	13
5	3120	13
6	3240	13
done	3240	13
0	8	9
1	19	9
2	57	9
3	140	9
4	230	9
5	254	9
6	256	9
done	256	9
0	9	11
1	22	11
2	74	11
3	217	11
4	523	11
5	730	11
6	756	11
done	756	11
0	16	20
1	34	18
2	99	18
3	337	16
4	1113	16
5	3415	16
done	5000	16
0	16	19
1	33	18
2	90	18
3	307	16
4	1048	16
5	3163	16
done	5000	16
0	15	19
1	34	17
2	87	17
3	288	15
4	927	15
5	3053	15
done	5001	15
0	15	18
1	33	17
2	79	17
3	260	15
4	864	15
5	2783	15
done	5001	15
0	14	17
1	32	16
2	78	16
3	201	16
4	621	15
5	1863	15
done	5001	15
0	16	19
1	33	18
2	95	18
3	322	16
4	1076	16
5	3225	16
done	5001	16
0	16	18
1	31	18
2	86	18
3	292	16
4	1010	16
5	2944	16
done	5000	16
0	15	18
1	33	17
2	83	17
3	272	15
4	890	15
5	2870	15
done	5000	15
0	15	17
1	31	17
2	75	17
3	246	15
4	835	15
5	2612	15
done	5000	15
0	14	16
1	30	16
2	76	16
3	197	16
4	601	15
5	1782	15
done	5000	15
0	15	18
1	33	17
2	84	17
3	248	17
4	857	16
5	2750	16
done	5000	16
0	15	17
1	31	17
2	77	17
3	227	17
4	818	16
5	2532	16
done	5000	16
0	14	17
1	33	16
2	74	16
3	217	16
4	723	15
5	2368	15
done	5000	15
0	14	16
1	31	16
2	68	16
3	197	16
4	677	15
5	2225	15
done	5000	15
0	13	15
1	30	15
2	71	15
3	170	15
4	488	15
5	1479	15
6	4393	15
done	5000	15
0	12	14
1	31	14
2	158	14
3	732	14
4	2641	13
done	5000	13
0	12	14
1	28	14
2	131	14
3	592	14
4	1983	14
5	3511	14
done	5000	14
0	21	41
1	60	41
2	452	27
done	5001	23
0	21	41
1	61	41
2	450	25
done	5000	23
0	19	41
1	62	41
2	439	25
done	5000	21
0	19	41
1	63	41
2	433	23
done	5001	21
0	17	41
1	53	41
2	425	21
done	5001	19
0	21	41
1	61	41
2	448	25
done	5000	23
0	21	41
1	62	41
2	447	23
done	5001	23
0	19	41
1	63	41
2	434	23
done	5000	21
0	19	41
1	64	41
2	433	21
done	5000	21
0	17	41
1	54	41
2	421	19
done	5000	19
0	19	41
1	58	41
2	428	23
done	5001	21
0	19	41
1	59	41
2	425	21
done	5000	21
0	17	41
1	60	41
2	409	21
done	5000	19
0	17	41
1	61	41
2	407	19
done	5001	19
0	15	41
1	51	41
2	403	17
done	5000	17
0	13	29
1	29	29
2	130	29
3	565	29
4	1829	29
5	2939	29
6	2992	29
done	2992	29
0	12	14
1	28	14
2	129	14
3	562	14
4	1821	14
5	2890	14
6	2959	14
done	2959	14
0	13	41
1	36	41
2	247	15
3	3946	15
done	5000	15
0	12	14
1	28	14
2	129	14
3	562	14
4	1821	14
5	2890	14
6	2959	14
done	2959	14
0	12	14
1	28	14
2	129	14
3	562	14
4	1821	14
5	2890	14
6	2959	14
done	2959	14
0	5	6
1	12	6
2	24	6
3	33	6
done	33	6
0	7	8
1	17	8
2	53	8
3	111	8
4	149	8
done	149	8
0	5	5
1	8	5
2	10	5
done	10	5
0	5	7
1	11	7
2	20	7
3	26	7
done	26	7
0	8	9
1	18	9
2	42	9
3	69	9
4	93	9
done	93	9
0	11	13
1	27	13
2	118	13
3	543	13
4	1903	13
5	3120	13
6	3240	13
done	3240	13
0	8	9
1	19	9
2	57	9
3	140	9
4	230	9
5	254	9
6	256	9
done	256	9
0	9	11
1	22	11
2	74	11
3	217	11
4	523	11
5	730	11
6	756	11
done	756	11
0	22	54
1	52	52
2	240	52
3	2728	52
done	5001	52
0	21	53
1	52	51
2	243	51
3	2732	51
done	5000	51
0	21	53
1	49	51
2	236	51
3	2721	51
done	5000	51
0	24	158
1	73	152
2	338	54
3	3242	52
done	5000	52
0	22	107
1	50	103
2	237	103
3	2714	103
done	5001	103
0	21	53
1	49	51
2	236	51
3	2721	51
done	5000	51
0	22	158
1	57	152
2	279	52
3	2870	52
done	5000	52
0	21	53
1	49	51
2	236	51
3	2721	51
done	5000	51
0	21	53
1	49	51
2	236	51
3	2721	51
done	5000	51
0	5	6
1	9	4
2	17	4
3	18	4
4	23	4
done	23	4
0	18	47
1	45	47
2	224	47
3	2747	47
done	5001	46
0	24	109
1	58	105
2	252	105
3	2728	105
done	5000	105
0	22	54
1	50	52
2	235	52
3	2701	52
done	5000	52
0	23	61
1	53	57
2	240	57
3	2710	57
done	5000	57
0	22	54
1	50	52
2	235	52
3	2701	52
done	5000	52
0	8	15
1	12	9
2	21	9
3	26	9
done	26	9
0	21	53
1	49	51
2	234	51
3	2708	51
done	5000	51
0	24	62
1	53	58
2	239	58
3	2714	58
done	5000	58
0	23	55
1	51	53
2	236	53
3	2703	53
done	5000	53
0	24	62
1	53	58
2	239	58
3	2714	58
done	5000	58
0	23	55
1	51	53
2	236	53
3	2703	53
done	5000	53
0	8	15
1	12	9
2	21	9
3	26	9
done	26	9
0	21	53
1	49	51
2	234	51
3	2708	51
done	5000	51
0	23	102
1	53	100
2	239	98
3	2719	98
done	5000	98
0	22	54
1	50	52
2	236	50
3	2704	50
done	5000	50
0	22	54
1	50	52
2	236	50
3	2704	50
done	5000	50
0	22	54
1	50	52
2	236	50
3	2704	50
done	5000	50
0	7	8
1	9	4
2	15	2
done	15	2
0	21	53
1	49	51
2	235	49
3	2709	49
done	5001	49
0	23	55
1	50	53
2	235	51
3	2705	51
done	5001	51
0	23	55
1	51	53
2	237	51
3	2704	51
done	5000	51
0	23	55
1	50	53
2	235	51
3	2705	51
done	5001	51
0	23	55
1	51	53
2	237	51
3	2704	51
done	5000	51
0	7	8
1	9	4
2	15	2
done	15	2
0	21	53
1	49	51
2	235	49
3	2709	49
done	5001	49
0	21	97
1	52	97
2	228	97
3	2694	97
done	5001	97
0	21	53
1	49	51
2	236	51
3	2718	51
done	5000	51
0	20	49
1	49	49
2	225	49
3	2686	49
done	5000	49
0	21	53
1	49	51
2	236	51
3	2718	51
done	5000	51
0	2	3
1	4	1
done	4	1
0	20	52
1	48	50
2	235	50
3	2713	50
done	5000	50
0	21	50
1	49	50
2	224	50
3	2681	50
done	5000	50
0	22	54
1	50	52
2	237	52
3	2716	52
done	5000	52
0	21	50
1	49	50
2	224	50
3	2681	50
done	5000	50
0	22	54
1	50	52
2	237	52
3	2716	52
done	5000	52
0	2	3
1	4	1
done	4	1
0	20	52
1	48	50
2	235	50
3	2713	50
done	5000	50
0	19	48
1	48	48
2	224	48
3	2691	48
done	5000	48
0	20	52
1	51	50
2	255	50
3	2959	50
done	5000	50
0	22	101
1	52	99
2	243	99
3	2729	99
done	5000	99
0	21	53
1	49	51
2	236	51
3	2718	51
done	5000	51
0	6	7
1	8	3
2	15	3
3	19	3
4	24	3
done	24	3
0	22	54
1	49	52
2	235	52
3	2716	52
done	5001	52
0	22	54
1	49	52
2	235	52
3	2716	52
done	5001	52
0	6	7
1	8	3
2	15	3
3	19	3
4	24	3
done	24	3
0	21	53
1	52	51
2	247	51
3	2856	51
done	5000	51
0	21	53
1	52	51
2	248	49
3	2857	49
done	5000	49
0	20	52
1	51	50
2	255	50
3	2959	50
done	5000	50
0	31	153
1	98	147
2	520	105
done	5000	105
0	26	117
1	68	115
2	361	87
3	4313	71
done	5000	71
0	23	56
1	66	54
2	327	54
3	3914	52
done	5000	52
0	21	99
1	52	63
2	261	63
3	2901	7
done	5000	7
0	24	64
1	72	58
2	298	54
3	3159	50
done	5000	50
0	20	52
1	50	50
2	250	50
3	2854	50
done	5001	50
0	12	13
1	32	13
2	114	13
3	392	13
4	1429	13
5	2808	13
6	3204	13
7	3321	13
8	3749	13
done	5000	13
0	12	13
1	32	13
2	114	13
3	392	13
4	1429	13
5	2808	13
6	3204	13
7	3321	13
8	3749	13
done	5000	13
0	12	13
1	32	13
2	114	13
3	392	13
4	1429	13
5	2808	13
6	3204	13
7	3321	13
8	3749	13
done	5000	13
0	12	13
1	32	13
2	114	13
3	392	13
4	1429	13
5	2808	13
6	3204	13
7	3321	13
8	3749	13
done	5000	13
0	12	13
1	32	13
2	114	13
3	392	13
4	1429	13
5	2808	13
6	3204	13
7	3321	13
8	3749	13
done	5000	13
0	12	13
1	32	13
2	114	13
3	392	13
4	1429	13
5	2808	13
6	3204	13
7	3321	13
8	3749	13
done	5000	13
0	12	13
1	32	13
2	114	13
3	392	13
4	1429	13
5	2808	13
6	3204	13
7	3321	13
8	3749	13
done	5000	13
0	12	13
1	32	13
2	114	13
3	392	13
4	1429	13
5	2808	13
6	3204	13
7	3321	13
8	3749	13
done	5000	13
0	12	13
1	32	13
2	114	13
3	392	13
4	1429	13
5	2808	13
6	3204	13
7	3321	13
8	3749	13
done	5000	13
0	13	15
1	36	15
2	149	15
3	694	15
4	3628	15
done	5000	15
0	7	7
1	13	5
2	18	5
3	22	5
4	23	5
done	23	5
0	1	1
done	1	1

prune347.0ms

Filtered

146 candidates to 186 candidates (-27.4%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	184	2	186
Fresh	0	5	5
Picked	1	0	1
Done	0	1	1
Total	185	8	193

Merged error: 27.7b

Counts

193 → 8

regimes917.0ms

Accuracy

0% (4.0b remaining)

Error of 34.0b against oracle of 30.0b and baseline of 34.0b

bsearch0.0ms

simplify0.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	1	1
done	1	1

end0.0ms

sample7.6s

Algorithm

intervals

Results

1.6s	2277×	body	5120	valid
1.3s	13433×	body	80	nan
988.0ms	1747×	body	2560	valid
644.0ms	6769×	body	80	valid
472.0ms	616×	body	5120	exit
411.0ms	923×	body	1280	valid
158.0ms	435×	body	640	valid
59.0ms	221×	body	320	valid
20.0ms	111×	body	160	valid

Details

sample254.0ms

simplify1.2s

prune5.0ms

localize28.0ms

rewrite96.0ms

series229.0ms

simplify10.3min

prune343.0ms

localize6.0ms

rewrite9.0ms

series1.0ms

simplify26.4s

prune79.0ms

localize1.0ms

rewrite0.0ms

series0.0ms

simplify0.0ms

prune34.0ms

localize30.0ms

rewrite106.0ms

series403.0ms

simplify11.0min

prune347.0ms

regimes917.0ms

bsearch0.0ms

simplify0.0ms

end0.0ms

sample7.6s

Profiling