Details

sample9.1s

Algorithm

intervals

Results

7.0s	518×	body	5120	exit
718.0ms	292×	body	1280	overflowed
494.0ms	2289×	body	80	overflowed
337.0ms	244×	body	640	overflowed
122.0ms	147×	body	320	overflowed
104.0ms	3827×	pre	80	true
38.0ms	81×	body	160	overflowed
31.0ms	250×	body	80	valid
5.0ms	2×	body	1280	valid
1.0ms	3×	body	160	valid
1.0ms	1×	body	320	valid

simplify1.2s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	22	43
1	53	43
2	147	43
3	728	43
done	5001	43

prune6.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: 4.0b

Counts

2 → 1

localize31.0ms

Local error

Found 4 expressions with local error:

0.2b	(pow (/ 1.0 (+ 1.0 (exp (neg s)))) c_p)
0.3b	(- 1.0 (/ 1.0 (+ 1.0 (exp (neg t)))))
1.0b	(pow (/ 1.0 (+ 1.0 (exp (neg t)))) c_p)
2.2b	(/ (* (pow (/ 1.0 (+ 1.0 (exp (neg s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (neg s))))) c_n)) (* (pow (/ 1.0 (+ 1.0 (exp (neg t)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (neg t))))) c_n)))

rewrite103.0ms

Algorithm

rewrite-expression-head

Rules

556×	`add-exp-log`
312×	`prod-exp`
264×	`pow-exp`
249×	`div-exp`
184×	`pow-to-exp`
36×	`unpow-prod-down` `*-un-lft-identity`
27×	`add-sqr-sqrt`
26×	`times-frac`
22×	`add-cube-cbrt`
16×	`add-cbrt-cube`
6×	`pow1` `pow-unpow` `distribute-lft-out` `add-log-exp`
4×	`cbrt-undiv` `associate-/r/` `cbrt-unprod`
3×	`div-inv`
2×	`pow-pow` `flip3-+` `flip-+` `difference-of-squares` `sqr-pow`
1×	`sub-neg` `flip3--` `frac-2neg` `diff-log` `clear-num` `associate-/r` `flip--` `associate-/l` `distribute-lft-out--`

Counts

4 → 267

Calls

4 calls:

8.0ms	(pow (/ 1.0 (+ 1.0 (exp (neg s)))) c_p)
11.0ms	(- 1.0 (/ 1.0 (+ 1.0 (exp (neg t)))))
9.0ms	(pow (/ 1.0 (+ 1.0 (exp (neg t)))) c_p)
46.0ms	(/ (* (pow (/ 1.0 (+ 1.0 (exp (neg s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (neg s))))) c_n)) (* (pow (/ 1.0 (+ 1.0 (exp (neg t)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (neg t))))) c_n)))

series271.0ms

Counts

4 → 12

Calls

4 calls:

18.0ms	(pow (/ 1.0 (+ 1.0 (exp (neg s)))) c_p)
8.0ms	(- 1.0 (/ 1.0 (+ 1.0 (exp (neg t)))))
17.0ms	(pow (/ 1.0 (+ 1.0 (exp (neg t)))) c_p)
228.0ms	(/ (* (pow (/ 1.0 (+ 1.0 (exp (neg s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (neg s))))) c_n)) (* (pow (/ 1.0 (+ 1.0 (exp (neg t)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (neg t))))) c_n)))

simplify19.0min

Counts

279 → 279

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	29	49
1	56	49
2	97	49
3	193	47
4	507	45
5	1610	42
6	4033	39
done	5001	39
0	29	49
1	56	49
2	97	49
3	193	47
4	507	45
5	1610	42
6	4033	39
done	5001	39
0	29	49
1	61	49
2	110	49
3	243	47
4	748	45
5	3236	42
done	5001	42
0	28	48
1	55	48
2	93	48
3	172	46
4	405	44
5	1230	44
6	3416	41
done	5001	41
0	28	48
1	55	48
2	93	48
3	172	46
4	405	44
5	1230	44
6	3416	41
done	5001	41
0	28	48
1	60	48
2	106	48
3	222	46
4	634	44
5	2706	44
done	5000	44
0	28	48
1	55	48
2	93	48
3	172	46
4	405	44
5	1230	44
6	3416	41
done	5001	41
0	28	48
1	55	48
2	93	48
3	172	46
4	405	44
5	1230	44
6	3416	41
done	5001	41
0	28	48
1	60	48
2	106	48
3	222	46
4	634	44
5	2706	44
done	5000	44
0	28	48
1	58	48
2	104	48
3	219	46
4	616	44
5	2557	44
done	5000	44
0	28	48
1	58	48
2	104	48
3	219	46
4	616	44
5	2557	44
done	5000	44
0	28	48
1	62	48
2	116	48
3	266	46
4	846	44
5	4235	44
done	5000	44
0	27	47
1	58	47
2	117	47
3	290	47
4	997	46
done	5001	44
0	29	49
1	56	49
2	97	49
3	193	47
4	507	45
5	1610	42
6	4033	39
done	5001	39
0	29	49
1	56	49
2	97	49
3	193	47
4	507	45
5	1610	42
6	4033	39
done	5001	39
0	29	49
1	61	49
2	110	49
3	243	47
4	748	45
5	3236	42
done	5001	42
0	28	48
1	55	48
2	93	48
3	172	46
4	405	44
5	1230	44
6	3416	41
done	5001	41
0	28	48
1	55	48
2	93	48
3	172	46
4	405	44
5	1230	44
6	3416	41
done	5001	41
0	28	48
1	60	48
2	106	48
3	222	46
4	634	44
5	2706	44
done	5000	44
0	28	48
1	55	48
2	93	48
3	172	46
4	405	44
5	1230	44
6	3416	41
done	5001	41
0	28	48
1	55	48
2	93	48
3	172	46
4	405	44
5	1230	44
6	3416	41
done	5001	41
0	28	48
1	60	48
2	106	48
3	222	46
4	634	44
5	2706	44
done	5000	44
0	28	48
1	58	48
2	104	48
3	219	46
4	616	44
5	2557	44
done	5000	44
0	28	48
1	58	48
2	104	48
3	219	46
4	616	44
5	2557	44
done	5000	44
0	28	48
1	62	48
2	116	48
3	266	46
4	846	44
5	4235	44
done	5000	44
0	27	47
1	58	47
2	117	47
3	290	47
4	997	46
done	5001	44
0	29	49
1	61	49
2	110	49
3	245	47
4	756	45
5	3141	42
done	5000	42
0	29	49
1	61	49
2	110	49
3	245	47
4	756	45
5	3141	42
done	5000	42
0	29	49
1	64	49
2	119	49
3	282	47
4	975	45
done	5000	45
0	28	48
1	60	48
2	106	48
3	224	46
4	640	44
5	2580	44
done	5001	44
0	28	48
1	60	48
2	106	48
3	224	46
4	640	44
5	2580	44
done	5001	44
0	28	48
1	63	48
2	115	48
3	261	46
4	854	44
5	4306	44
done	5000	44
0	28	48
1	60	48
2	106	48
3	224	46
4	640	44
5	2580	44
done	5001	44
0	28	48
1	60	48
2	106	48
3	224	46
4	640	44
5	2580	44
done	5001	44
0	28	48
1	63	48
2	115	48
3	261	46
4	854	44
5	4306	44
done	5000	44
0	28	48
1	62	48
2	116	48
3	268	46
4	856	44
5	4137	44
done	5000	44
0	28	48
1	62	48
2	116	48
3	268	46
4	856	44
5	4137	44
done	5000	44
0	28	48
1	65	48
2	125	48
3	305	46
4	1075	44
done	5001	44
0	27	47
1	61	47
2	126	47
3	325	47
4	1190	46
done	5001	44
0	28	48
1	55	48
2	93	48
3	173	46
4	394	44
5	1173	44
6	3052	41
done	5000	41
0	28	48
1	55	48
2	93	48
3	173	46
4	394	44
5	1173	44
6	3052	41
done	5000	41
0	28	48
1	60	48
2	106	48
3	223	46
4	620	44
5	2550	44
done	5001	44
0	26	47
1	54	47
2	87	47
3	152	45
4	309	43
5	938	43
6	2626	41
done	5000	41
0	26	47
1	54	47
2	87	47
3	152	45
4	309	43
5	938	43
6	2626	41
done	5000	41
0	26	47
1	59	47
2	100	47
3	202	45
4	527	43
5	2181	43
done	5000	43
0	26	47
1	54	47
2	87	47
3	152	45
4	309	43
5	938	43
6	2626	41
done	5000	41
0	26	47
1	54	47
2	87	47
3	152	45
4	309	43
5	938	43
6	2626	41
done	5000	41
0	26	47
1	59	47
2	100	47
3	202	45
4	527	43
5	2181	43
done	5000	43
0	26	47
1	57	47
2	98	47
3	199	45
4	510	43
5	2084	43
done	5001	43
0	26	47
1	57	47
2	98	47
3	199	45
4	510	43
5	2084	43
done	5001	43
0	26	47
1	61	47
2	110	47
3	246	45
4	727	43
5	3504	43
done	5000	43
0	25	46
1	57	46
2	111	46
3	274	46
4	906	45
5	4404	43
done	5000	43
0	28	48
1	55	48
2	93	48
3	173	46
4	394	44
5	1173	44
6	3052	41
done	5000	41
0	28	48
1	55	48
2	93	48
3	173	46
4	394	44
5	1173	44
6	3052	41
done	5000	41
0	28	48
1	60	48
2	106	48
3	223	46
4	620	44
5	2550	44
done	5001	44
0	26	47
1	54	47
2	87	47
3	152	45
4	309	43
5	938	43
6	2626	41
done	5000	41
0	26	47
1	54	47
2	87	47
3	152	45
4	309	43
5	938	43
6	2626	41
done	5000	41
0	26	47
1	59	47
2	100	47
3	202	45
4	527	43
5	2181	43
done	5000	43
0	26	47
1	54	47
2	87	47
3	152	45
4	309	43
5	938	43
6	2626	41
done	5000	41
0	26	47
1	54	47
2	87	47
3	152	45
4	309	43
5	938	43
6	2626	41
done	5000	41
0	26	47
1	59	47
2	100	47
3	202	45
4	527	43
5	2181	43
done	5000	43
0	26	47
1	57	47
2	98	47
3	199	45
4	510	43
5	2084	43
done	5001	43
0	26	47
1	57	47
2	98	47
3	199	45
4	510	43
5	2084	43
done	5001	43
0	26	47
1	61	47
2	110	47
3	246	45
4	727	43
5	3504	43
done	5000	43
0	25	46
1	57	46
2	111	46
3	274	46
4	906	45
5	4404	43
done	5000	43
0	28	48
1	60	48
2	106	48
3	225	46
4	628	44
5	2534	44
done	5000	44
0	28	48
1	60	48
2	106	48
3	225	46
4	628	44
5	2534	44
done	5000	44
0	28	48
1	63	48
2	115	48
3	262	46
4	839	44
5	4173	44
done	5000	44
0	26	47
1	59	47
2	100	47
3	204	45
4	530	43
5	2104	43
done	5000	43
0	26	47
1	59	47
2	100	47
3	204	45
4	530	43
5	2104	43
done	5000	43
0	26	47
1	62	47
2	109	47
3	241	45
4	733	43
5	3591	43
done	5000	43
0	26	47
1	59	47
2	100	47
3	204	45
4	530	43
5	2104	43
done	5000	43
0	26	47
1	59	47
2	100	47
3	204	45
4	530	43
5	2104	43
done	5000	43
0	26	47
1	62	47
2	109	47
3	241	45
4	733	43
5	3591	43
done	5000	43
0	26	47
1	61	47
2	110	47
3	248	45
4	737	43
5	3472	43
done	5001	43
0	26	47
1	61	47
2	110	47
3	248	45
4	737	43
5	3472	43
done	5001	43
0	26	47
1	64	47
2	119	47
3	285	45
4	943	43
done	5000	43
0	25	46
1	60	46
2	120	46
3	309	46
4	1087	45
done	5001	43
0	28	48
1	55	48
2	93	48
3	173	46
4	394	44
5	1173	44
6	3052	41
done	5000	41
0	28	48
1	55	48
2	93	48
3	173	46
4	394	44
5	1173	44
6	3052	41
done	5000	41
0	28	48
1	60	48
2	106	48
3	223	46
4	620	44
5	2550	44
done	5001	44
0	26	47
1	54	47
2	87	47
3	152	45
4	309	43
5	938	43
6	2626	41
done	5000	41
0	26	47
1	54	47
2	87	47
3	152	45
4	309	43
5	938	43
6	2626	41
done	5000	41
0	26	47
1	59	47
2	100	47
3	202	45
4	527	43
5	2181	43
done	5000	43
0	26	47
1	54	47
2	87	47
3	152	45
4	309	43
5	938	43
6	2626	41
done	5000	41
0	26	47
1	54	47
2	87	47
3	152	45
4	309	43
5	938	43
6	2626	41
done	5000	41
0	26	47
1	59	47
2	100	47
3	202	45
4	527	43
5	2181	43
done	5000	43
0	26	47
1	57	47
2	98	47
3	199	45
4	510	43
5	2084	43
done	5001	43
0	26	47
1	57	47
2	98	47
3	199	45
4	510	43
5	2084	43
done	5001	43
0	26	47
1	61	47
2	110	47
3	246	45
4	727	43
5	3504	43
done	5000	43
0	25	46
1	57	46
2	111	46
3	274	46
4	906	45
5	4404	43
done	5000	43
0	28	48
1	55	48
2	93	48
3	173	46
4	394	44
5	1173	44
6	3052	41
done	5000	41
0	28	48
1	55	48
2	93	48
3	173	46
4	394	44
5	1173	44
6	3052	41
done	5000	41
0	28	48
1	60	48
2	106	48
3	223	46
4	620	44
5	2550	44
done	5001	44
0	26	47
1	54	47
2	87	47
3	152	45
4	309	43
5	938	43
6	2626	41
done	5000	41
0	26	47
1	54	47
2	87	47
3	152	45
4	309	43
5	938	43
6	2626	41
done	5000	41
0	26	47
1	59	47
2	100	47
3	202	45
4	527	43
5	2181	43
done	5000	43
0	26	47
1	54	47
2	87	47
3	152	45
4	309	43
5	938	43
6	2626	41
done	5000	41
0	26	47
1	54	47
2	87	47
3	152	45
4	309	43
5	938	43
6	2626	41
done	5000	41
0	26	47
1	59	47
2	100	47
3	202	45
4	527	43
5	2181	43
done	5000	43
0	26	47
1	57	47
2	98	47
3	199	45
4	510	43
5	2084	43
done	5001	43
0	26	47
1	57	47
2	98	47
3	199	45
4	510	43
5	2084	43
done	5001	43
0	26	47
1	61	47
2	110	47
3	246	45
4	727	43
5	3504	43
done	5000	43
0	25	46
1	57	46
2	111	46
3	274	46
4	906	45
5	4404	43
done	5000	43
0	28	48
1	60	48
2	106	48
3	225	46
4	628	44
5	2534	44
done	5000	44
0	28	48
1	60	48
2	106	48
3	225	46
4	628	44
5	2534	44
done	5000	44
0	28	48
1	63	48
2	115	48
3	262	46
4	839	44
5	4173	44
done	5000	44
0	26	47
1	59	47
2	100	47
3	204	45
4	530	43
5	2104	43
done	5000	43
0	26	47
1	59	47
2	100	47
3	204	45
4	530	43
5	2104	43
done	5000	43
0	26	47
1	62	47
2	109	47
3	241	45
4	733	43
5	3591	43
done	5000	43
0	26	47
1	59	47
2	100	47
3	204	45
4	530	43
5	2104	43
done	5000	43
0	26	47
1	59	47
2	100	47
3	204	45
4	530	43
5	2104	43
done	5000	43
0	26	47
1	62	47
2	109	47
3	241	45
4	733	43
5	3591	43
done	5000	43
0	26	47
1	61	47
2	110	47
3	248	45
4	737	43
5	3472	43
done	5001	43
0	26	47
1	61	47
2	110	47
3	248	45
4	737	43
5	3472	43
done	5001	43
0	26	47
1	64	47
2	119	47
3	285	45
4	943	43
done	5000	43
0	25	46
1	60	46
2	120	46
3	309	46
4	1087	45
done	5001	43
0	28	48
1	58	48
2	104	48
3	220	46
4	601	44
5	2454	44
done	5000	44
0	28	48
1	58	48
2	104	48
3	220	46
4	601	44
5	2454	44
done	5000	44
0	28	48
1	62	48
2	116	48
3	267	46
4	839	44
5	4124	44
done	5000	44
0	26	47
1	57	47
2	98	47
3	199	45
4	507	43
5	2043	43
done	5000	43
0	26	47
1	57	47
2	98	47
3	199	45
4	507	43
5	2043	43
done	5000	43
0	26	47
1	61	47
2	110	47
3	246	45
4	732	43
5	3537	43
done	5000	43
0	26	47
1	57	47
2	98	47
3	199	45
4	507	43
5	2043	43
done	5000	43
0	26	47
1	57	47
2	98	47
3	199	45
4	507	43
5	2043	43
done	5000	43
0	26	47
1	61	47
2	110	47
3	246	45
4	732	43
5	3537	43
done	5000	43
0	26	47
1	57	47
2	105	47
3	231	45
4	684	43
5	3337	43
done	5000	43
0	26	47
1	57	47
2	105	47
3	231	45
4	684	43
5	3337	43
done	5000	43
0	26	47
1	61	47
2	117	47
3	278	45
4	916	43
done	5001	43
0	25	46
1	57	46
2	118	46
3	302	46
4	1063	45
done	5000	43
0	28	48
1	58	48
2	104	48
3	220	46
4	601	44
5	2454	44
done	5000	44
0	28	48
1	58	48
2	104	48
3	220	46
4	601	44
5	2454	44
done	5000	44
0	28	48
1	62	48
2	116	48
3	267	46
4	839	44
5	4124	44
done	5000	44
0	26	47
1	57	47
2	98	47
3	199	45
4	507	43
5	2043	43
done	5000	43
0	26	47
1	57	47
2	98	47
3	199	45
4	507	43
5	2043	43
done	5000	43
0	26	47
1	61	47
2	110	47
3	246	45
4	732	43
5	3537	43
done	5000	43
0	26	47
1	57	47
2	98	47
3	199	45
4	507	43
5	2043	43
done	5000	43
0	26	47
1	57	47
2	98	47
3	199	45
4	507	43
5	2043	43
done	5000	43
0	26	47
1	61	47
2	110	47
3	246	45
4	732	43
5	3537	43
done	5000	43
0	26	47
1	57	47
2	105	47
3	231	45
4	684	43
5	3337	43
done	5000	43
0	26	47
1	57	47
2	105	47
3	231	45
4	684	43
5	3337	43
done	5000	43
0	26	47
1	61	47
2	117	47
3	278	45
4	916	43
done	5001	43
0	25	46
1	57	46
2	118	46
3	302	46
4	1063	45
done	5000	43
0	28	48
1	62	48
2	116	48
3	269	46
4	840	44
5	4015	44
done	5000	44
0	28	48
1	62	48
2	116	48
3	269	46
4	840	44
5	4015	44
done	5000	44
0	28	48
1	65	48
2	125	48
3	306	46
4	1065	44
done	5000	44
0	26	47
1	61	47
2	110	47
3	248	45
4	731	43
5	3385	43
done	5000	43
0	26	47
1	61	47
2	110	47
3	248	45
4	731	43
5	3385	43
done	5000	43
0	26	47
1	64	47
2	119	47
3	285	45
4	946	43
done	5001	43
0	26	47
1	61	47
2	110	47
3	248	45
4	731	43
5	3385	43
done	5000	43
0	26	47
1	61	47
2	110	47
3	248	45
4	731	43
5	3385	43
done	5000	43
0	26	47
1	64	47
2	119	47
3	285	45
4	946	43
done	5001	43
0	26	47
1	61	47
2	117	47
3	280	45
4	918	43
5	4981	43
done	5000	43
0	26	47
1	61	47
2	117	47
3	280	45
4	918	43
5	4981	43
done	5000	43
0	26	47
1	64	47
2	126	47
3	317	45
4	1146	43
done	5000	43
0	25	46
1	60	46
2	127	46
3	337	46
4	1264	45
done	5001	43
0	27	47
1	58	47
2	118	47
3	294	47
4	1054	44
done	5001	44
0	27	47
1	58	47
2	118	47
3	294	47
4	1054	44
done	5001	44
0	27	47
1	61	47
2	127	47
3	327	47
4	1244	44
done	5000	44
0	25	46
1	57	46
2	112	46
3	277	46
4	954	43
5	4602	43
done	5000	43
0	25	46
1	57	46
2	112	46
3	277	46
4	954	43
5	4602	43
done	5000	43
0	25	46
1	60	46
2	121	46
3	310	46
4	1141	43
done	5000	43
0	25	46
1	57	46
2	112	46
3	277	46
4	954	43
5	4602	43
done	5000	43
0	25	46
1	57	46
2	112	46
3	277	46
4	954	43
5	4602	43
done	5000	43
0	25	46
1	60	46
2	121	46
3	310	46
4	1141	43
done	5000	43
0	25	46
1	57	46
2	119	46
3	305	46
4	1129	43
done	5000	43
0	25	46
1	57	46
2	119	46
3	305	46
4	1129	43
done	5000	43
0	25	46
1	60	46
2	128	46
3	338	46
4	1319	43
done	5001	43
0	24	45
1	56	45
2	131	45
3	372	45
4	1432	45
done	5000	43
0	23	44
1	57	44
2	168	44
3	850	44
done	5000	44
0	23	44
1	54	44
2	150	44
3	743	44
done	5000	44
0	30	131
1	79	95
2	355	51
3	4441	51
done	5000	51
0	28	131
1	79	113
2	382	49
done	5001	49
0	28	131
1	79	113
2	363	49
3	4892	49
done	5000	49
0	26	131
1	77	131
2	390	47
done	5000	47
0	24	89
1	55	89
2	149	89
3	730	89
done	5000	89
0	23	44
1	54	44
2	148	44
3	728	44
done	5000	44
0	24	131
1	62	131
2	238	45
3	2491	45
done	5000	45
0	23	44
1	54	44
2	148	44
3	728	44
done	5000	44
0	23	44
1	54	44
2	148	44
3	728	44
done	5000	44
0	13	22
1	31	22
2	70	22
3	189	22
4	711	22
5	3658	22
done	5000	22
0	13	22
1	31	22
2	70	22
3	189	22
4	711	22
5	3658	22
done	5000	22
0	15	19
1	28	19
2	44	19
3	96	19
4	324	19
5	1947	19
done	5001	19
0	17	23
1	34	23
2	55	23
3	107	23
4	339	23
5	1976	23
done	5001	23
0	14	23
1	31	23
2	62	23
3	154	23
4	506	23
5	2414	23
done	5000	23
0	22	43
1	53	43
2	147	43
3	728	43
done	5001	43
0	19	31
1	40	31
2	87	31
3	279	31
4	1689	31
done	5000	31
0	20	33
1	43	33
2	92	33
3	284	33
4	1696	33
done	5000	33
0	10	11
1	17	11
2	26	11
3	31	11
4	35	11
done	35	11
0	9	10
1	17	10
2	21	10
3	28	10
4	33	10
5	37	10
done	37	10
0	9	10
1	17	10
2	21	10
3	28	10
4	33	10
5	37	10
done	37	10
0	3	3
1	6	1
done	6	1
0	10	13
1	18	13
2	27	13
3	51	13
4	109	13
5	266	13
6	891	13
7	3283	13
done	5000	13
0	9	10
1	17	10
2	24	10
3	42	10
4	81	10
5	186	10
6	564	10
7	2179	10
done	5000	10
0	8	9
1	18	7
2	25	7
3	36	7
4	58	7
5	124	7
6	340	7
7	1273	7
done	5001	7
0	10	19
1	18	19
2	25	19
3	43	19
4	82	19
5	193	19
6	576	19
7	1994	19
done	5000	19
0	9	10
1	17	10
2	24	10
3	42	10
4	81	10
5	186	10
6	564	10
7	1977	10
done	5000	10
0	9	10
1	17	10
2	24	10
3	42	10
4	81	10
5	186	10
6	564	10
7	1977	10
done	5000	10
0	9	10
1	17	10
2	24	10
3	42	10
4	81	10
5	186	10
6	564	10
7	1977	10
done	5000	10
0	12	21
1	26	21
2	42	21
3	66	21
4	105	21
5	207	21
6	585	21
7	1996	21
done	5001	21
0	10	11
1	18	11
2	25	11
3	43	11
4	82	11
5	193	11
6	576	11
7	1994	11
done	5000	11
0	11	14
1	21	14
2	30	14
3	49	14
4	88	14
5	190	14
6	563	14
7	1988	14
done	5001	14
0	10	11
1	18	11
2	25	11
3	43	11
4	82	11
5	193	11
6	576	11
7	1994	11
done	5000	11
0	7	9
1	15	7
2	26	7
3	49	7
4	88	7
5	192	7
6	563	7
7	1956	7
done	5000	7
0	9	10
1	17	10
2	24	10
3	42	10
4	81	10
5	186	10
6	564	10
7	1977	10
done	5000	10
0	7	9
1	15	7
2	26	7
3	49	7
4	88	7
5	192	7
6	563	7
7	1956	7
done	5000	7
0	9	10
1	17	10
2	24	10
3	42	10
4	81	10
5	186	10
6	564	10
7	1977	10
done	5000	10
0	11	18
1	21	18
2	28	18
3	46	18
4	85	18
5	189	18
6	564	18
7	1973	18
done	5000	18
0	10	11
1	18	11
2	25	11
3	43	11
4	82	11
5	193	11
6	576	11
7	1994	11
done	5000	11
0	10	11
1	18	11
2	25	11
3	43	11
4	82	11
5	193	11
6	576	11
7	1994	11
done	5000	11
0	10	11
1	18	11
2	25	11
3	43	11
4	82	11
5	193	11
6	576	11
7	1994	11
done	5000	11
0	6	6
1	12	4
2	19	4
3	37	4
4	76	4
5	182	4
6	557	4
7	1966	4
done	5000	4
0	9	10
1	17	10
2	24	10
3	42	10
4	81	10
5	186	10
6	564	10
7	1977	10
done	5000	10
0	6	6
1	12	4
2	19	4
3	37	4
4	76	4
5	182	4
6	557	4
7	1966	4
done	5000	4
0	9	10
1	17	10
2	24	10
3	42	10
4	81	10
5	186	10
6	564	10
7	1977	10
done	5000	10
0	11	17
1	22	17
2	27	17
3	45	17
4	84	17
5	190	17
6	569	17
7	1991	17
done	5001	17
0	9	10
1	17	10
2	24	10
3	42	10
4	81	10
5	186	10
6	564	10
7	1977	10
done	5000	10
0	10	10
1	19	10
2	24	10
3	42	10
4	83	10
5	186	10
6	562	10
7	1981	10
done	5001	10
0	9	10
1	17	10
2	24	10
3	42	10
4	81	10
5	186	10
6	564	10
7	1977	10
done	5000	10
0	4	5
1	10	3
2	15	1
3	24	1
4	34	1
5	47	1
6	61	1
7	77	1
8	96	1
9	118	1
10	143	1
11	171	1
12	202	1
13	236	1
14	273	1
15	313	1
16	356	1
17	402	1
18	451	1
19	503	1
20	558	1
21	616	1
22	677	1
23	741	1
24	808	1
25	878	1
26	951	1
27	1027	1
28	1106	1
29	1188	1
30	1273	1
31	1361	1
32	1452	1
33	1546	1
34	1643	1
35	1743	1
36	1846	1
37	1952	1
38	2061	1
39	2173	1
40	2288	1
41	2406	1
42	2527	1
43	2651	1
44	2778	1
45	2908	1
46	3041	1
47	3177	1
48	3316	1
49	3458	1
50	3603	1
51	3751	1
52	3902	1
53	4056	1
54	4213	1
55	4373	1
56	4536	1
57	4702	1
58	4871	1
done	5001	1
0	8	9
1	16	9
2	23	9
3	41	9
4	80	9
5	184	9
6	551	9
7	1967	9
done	5000	9
0	4	5
1	10	3
2	15	1
3	24	1
4	34	1
5	47	1
6	61	1
7	77	1
8	96	1
9	118	1
10	143	1
11	171	1
12	202	1
13	236	1
14	273	1
15	313	1
16	356	1
17	402	1
18	451	1
19	503	1
20	558	1
21	616	1
22	677	1
23	741	1
24	808	1
25	878	1
26	951	1
27	1027	1
28	1106	1
29	1188	1
30	1273	1
31	1361	1
32	1452	1
33	1546	1
34	1643	1
35	1743	1
36	1846	1
37	1952	1
38	2061	1
39	2173	1
40	2288	1
41	2406	1
42	2527	1
43	2651	1
44	2778	1
45	2908	1
46	3041	1
47	3177	1
48	3316	1
49	3458	1
50	3603	1
51	3751	1
52	3902	1
53	4056	1
54	4213	1
55	4373	1
56	4536	1
57	4702	1
58	4871	1
done	5001	1
0	8	9
1	16	9
2	23	9
3	41	9
4	80	9
5	184	9
6	551	9
7	1967	9
done	5000	9
0	3	3
1	9	1
2	12	1
3	18	1
4	25	1
5	35	1
6	48	1
7	64	1
8	83	1
9	105	1
10	130	1
11	158	1
12	189	1
13	223	1
14	260	1
15	300	1
16	343	1
17	389	1
18	438	1
19	490	1
20	545	1
21	603	1
22	664	1
23	728	1
24	795	1
25	865	1
26	938	1
27	1014	1
28	1093	1
29	1175	1
30	1260	1
31	1348	1
32	1439	1
33	1533	1
34	1630	1
35	1730	1
36	1833	1
37	1939	1
38	2048	1
39	2160	1
40	2275	1
41	2393	1
42	2514	1
43	2638	1
44	2765	1
45	2895	1
46	3028	1
47	3164	1
48	3303	1
49	3445	1
50	3590	1
51	3738	1
52	3889	1
53	4043	1
54	4200	1
55	4360	1
56	4523	1
57	4689	1
58	4858	1
done	5000	1
0	8	9
1	16	9
2	23	9
3	41	9
4	80	9
5	184	9
6	551	9
7	1967	9
done	5000	9
0	3	3
1	7	3
2	12	3
3	30	3
4	72	3
5	183	3
6	568	3
7	1980	3
done	5001	3
0	9	9
1	18	9
2	23	9
3	41	9
4	80	9
5	187	9
6	561	9
7	1975	9
done	5000	9
0	11	13
1	31	13
2	60	13
3	125	13
4	255	13
5	534	13
6	1609	12
done	5000	12
0	11	19
1	28	15
2	64	15
3	124	14
4	238	14
5	417	14
6	894	14
7	2515	14
done	5000	14
0	10	15
1	24	14
2	48	13
3	104	13
4	222	12
5	463	12
6	1128	12
7	3115	12
done	5001	12
0	7	7
1	16	7
2	27	7
3	45	7
4	84	7
5	189	7
6	568	7
7	1976	7
done	5000	7
0	9	10
1	19	10
2	32	10
3	57	10
4	143	10
5	428	10
6	1611	10
done	5000	10
0	9	10
1	17	10
2	26	10
3	49	10
4	105	10
5	267	10
6	887	10
7	3725	10
done	5000	10
0	10	21
1	18	21
2	25	21
3	43	21
4	82	21
5	191	21
6	566	21
7	1972	21
done	5001	21
0	9	10
1	17	10
2	24	10
3	42	10
4	81	10
5	186	10
6	561	10
7	1985	10
done	5001	10
0	10	29
1	21	21
2	44	11
3	98	11
4	247	11
5	798	11
6	3587	11
done	5000	11
0	9	10
1	17	10
2	25	10
3	43	10
4	82	10
5	189	10
6	569	10
7	1990	10
done	5001	10
0	9	10
1	17	10
2	25	10
3	43	10
4	82	10
5	189	10
6	569	10
7	1990	10
done	5001	10
0	10	11
1	17	11
2	27	11
3	48	11
4	97	11
5	229	11
6	742	11
7	2548	11
done	5000	11
0	10	11
1	17	11
2	27	11
3	48	11
4	97	11
5	229	11
6	742	11
7	2548	11
done	5000	11
0	9	11
1	15	10
2	19	10
3	24	10
4	26	10
5	30	10
6	34	10
7	50	10
8	53	10
9	58	10
10	65	10
11	83	10
12	104	10
13	118	10
14	119	10
done	119	10
0	8	10
1	14	10
2	19	10
done	19	10
0	8	10
1	17	10
2	24	10
3	26	10
4	30	10
5	34	10
6	50	10
7	53	10
8	58	10
9	65	10
10	83	10
11	104	10
12	122	10
13	123	10
done	123	10
0	9	21
1	15	21
2	20	21
done	20	21
0	8	10
1	14	10
2	19	10
done	19	10
0	9	29
1	16	29
2	35	11
3	86	11
4	242	11
5	720	11
6	2325	11
done	5000	11
0	8	10
1	14	10
2	19	10
done	19	10
0	8	10
1	14	10
2	19	10
done	19	10
0	10	13
1	31	13
2	76	13
3	229	13
4	794	13
5	3237	13
done	5000	13
0	11	29
1	24	21
2	43	21
3	62	21
4	100	21
5	152	21
6	289	19
7	462	19
8	988	19
9	4355	19
done	5001	19
0	7	8
1	13	8
2	15	8
done	15	8
0	9	19
1	22	19
2	38	19
3	72	19
4	129	17
5	243	17
6	443	17
7	993	17
8	3974	17
done	5001	17
0	7	9
1	12	9
2	14	9
done	14	9
0	9	11
1	14	11
2	16	11
done	16	11
0	9	11
1	15	11
2	18	11
done	18	11
0	9	12
1	14	12
2	16	12
done	16	12
0	9	12
1	15	12
2	20	12
done	20	12
0	7	9
1	13	9
2	18	9
done	18	9
0	7	8
1	13	8
2	15	8
done	15	8
0	10	11
1	17	11
2	26	11
3	31	11
4	35	11
done	35	11
0	9	10
1	17	10
2	21	10
3	28	10
4	33	10
5	37	10
done	37	10
0	9	10
1	17	10
2	21	10
3	28	10
4	33	10
5	37	10
done	37	10
0	3	3
1	6	1
done	6	1
0	10	13
1	18	13
2	27	13
3	51	13
4	109	13
5	266	13
6	891	13
7	3283	13
done	5000	13
0	9	10
1	17	10
2	24	10
3	42	10
4	81	10
5	186	10
6	564	10
7	2179	10
done	5000	10
0	8	9
1	18	7
2	25	7
3	36	7
4	58	7
5	124	7
6	340	7
7	1273	7
done	5001	7
0	10	19
1	18	19
2	25	19
3	43	19
4	82	19
5	193	19
6	576	19
7	1994	19
done	5000	19
0	9	10
1	17	10
2	24	10
3	42	10
4	81	10
5	186	10
6	564	10
7	1977	10
done	5000	10
0	9	10
1	17	10
2	24	10
3	42	10
4	81	10
5	186	10
6	564	10
7	1977	10
done	5000	10
0	9	10
1	17	10
2	24	10
3	42	10
4	81	10
5	186	10
6	564	10
7	1977	10
done	5000	10
0	12	21
1	26	21
2	42	21
3	66	21
4	105	21
5	207	21
6	585	21
7	1996	21
done	5001	21
0	10	11
1	18	11
2	25	11
3	43	11
4	82	11
5	193	11
6	576	11
7	1994	11
done	5000	11
0	11	14
1	21	14
2	30	14
3	49	14
4	88	14
5	190	14
6	563	14
7	1988	14
done	5001	14
0	10	11
1	18	11
2	25	11
3	43	11
4	82	11
5	193	11
6	576	11
7	1994	11
done	5000	11
0	7	9
1	15	7
2	26	7
3	49	7
4	88	7
5	192	7
6	563	7
7	1956	7
done	5000	7
0	9	10
1	17	10
2	24	10
3	42	10
4	81	10
5	186	10
6	564	10
7	1977	10
done	5000	10
0	7	9
1	15	7
2	26	7
3	49	7
4	88	7
5	192	7
6	563	7
7	1956	7
done	5000	7
0	9	10
1	17	10
2	24	10
3	42	10
4	81	10
5	186	10
6	564	10
7	1977	10
done	5000	10
0	11	18
1	21	18
2	28	18
3	46	18
4	85	18
5	189	18
6	564	18
7	1973	18
done	5000	18
0	10	11
1	18	11
2	25	11
3	43	11
4	82	11
5	193	11
6	576	11
7	1994	11
done	5000	11
0	10	11
1	18	11
2	25	11
3	43	11
4	82	11
5	193	11
6	576	11
7	1994	11
done	5000	11
0	10	11
1	18	11
2	25	11
3	43	11
4	82	11
5	193	11
6	576	11
7	1994	11
done	5000	11
0	6	6
1	12	4
2	19	4
3	37	4
4	76	4
5	182	4
6	557	4
7	1966	4
done	5000	4
0	9	10
1	17	10
2	24	10
3	42	10
4	81	10
5	186	10
6	564	10
7	1977	10
done	5000	10
0	6	6
1	12	4
2	19	4
3	37	4
4	76	4
5	182	4
6	557	4
7	1966	4
done	5000	4
0	9	10
1	17	10
2	24	10
3	42	10
4	81	10
5	186	10
6	564	10
7	1977	10
done	5000	10
0	11	17
1	22	17
2	27	17
3	45	17
4	84	17
5	190	17
6	569	17
7	1991	17
done	5001	17
0	9	10
1	17	10
2	24	10
3	42	10
4	81	10
5	186	10
6	564	10
7	1977	10
done	5000	10
0	10	10
1	19	10
2	24	10
3	42	10
4	83	10
5	186	10
6	562	10
7	1981	10
done	5001	10
0	9	10
1	17	10
2	24	10
3	42	10
4	81	10
5	186	10
6	564	10
7	1977	10
done	5000	10
0	4	5
1	10	3
2	15	1
3	24	1
4	34	1
5	47	1
6	61	1
7	77	1
8	96	1
9	118	1
10	143	1
11	171	1
12	202	1
13	236	1
14	273	1
15	313	1
16	356	1
17	402	1
18	451	1
19	503	1
20	558	1
21	616	1
22	677	1
23	741	1
24	808	1
25	878	1
26	951	1
27	1027	1
28	1106	1
29	1188	1
30	1273	1
31	1361	1
32	1452	1
33	1546	1
34	1643	1
35	1743	1
36	1846	1
37	1952	1
38	2061	1
39	2173	1
40	2288	1
41	2406	1
42	2527	1
43	2651	1
44	2778	1
45	2908	1
46	3041	1
47	3177	1
48	3316	1
49	3458	1
50	3603	1
51	3751	1
52	3902	1
53	4056	1
54	4213	1
55	4373	1
56	4536	1
57	4702	1
58	4871	1
done	5001	1
0	8	9
1	16	9
2	23	9
3	41	9
4	80	9
5	184	9
6	551	9
7	1967	9
done	5000	9
0	4	5
1	10	3
2	15	1
3	24	1
4	34	1
5	47	1
6	61	1
7	77	1
8	96	1
9	118	1
10	143	1
11	171	1
12	202	1
13	236	1
14	273	1
15	313	1
16	356	1
17	402	1
18	451	1
19	503	1
20	558	1
21	616	1
22	677	1
23	741	1
24	808	1
25	878	1
26	951	1
27	1027	1
28	1106	1
29	1188	1
30	1273	1
31	1361	1
32	1452	1
33	1546	1
34	1643	1
35	1743	1
36	1846	1
37	1952	1
38	2061	1
39	2173	1
40	2288	1
41	2406	1
42	2527	1
43	2651	1
44	2778	1
45	2908	1
46	3041	1
47	3177	1
48	3316	1
49	3458	1
50	3603	1
51	3751	1
52	3902	1
53	4056	1
54	4213	1
55	4373	1
56	4536	1
57	4702	1
58	4871	1
done	5001	1
0	8	9
1	16	9
2	23	9
3	41	9
4	80	9
5	184	9
6	551	9
7	1967	9
done	5000	9
0	3	3
1	9	1
2	12	1
3	18	1
4	25	1
5	35	1
6	48	1
7	64	1
8	83	1
9	105	1
10	130	1
11	158	1
12	189	1
13	223	1
14	260	1
15	300	1
16	343	1
17	389	1
18	438	1
19	490	1
20	545	1
21	603	1
22	664	1
23	728	1
24	795	1
25	865	1
26	938	1
27	1014	1
28	1093	1
29	1175	1
30	1260	1
31	1348	1
32	1439	1
33	1533	1
34	1630	1
35	1730	1
36	1833	1
37	1939	1
38	2048	1
39	2160	1
40	2275	1
41	2393	1
42	2514	1
43	2638	1
44	2765	1
45	2895	1
46	3028	1
47	3164	1
48	3303	1
49	3445	1
50	3590	1
51	3738	1
52	3889	1
53	4043	1
54	4200	1
55	4360	1
56	4523	1
57	4689	1
58	4858	1
done	5000	1
0	8	9
1	16	9
2	23	9
3	41	9
4	80	9
5	184	9
6	551	9
7	1967	9
done	5000	9
0	3	3
1	7	3
2	12	3
3	30	3
4	72	3
5	183	3
6	568	3
7	1980	3
done	5001	3
0	9	9
1	18	9
2	23	9
3	41	9
4	80	9
5	187	9
6	561	9
7	1975	9
done	5000	9
0	11	13
1	31	13
2	60	13
3	125	13
4	255	13
5	534	13
6	1609	12
done	5000	12
0	11	19
1	28	15
2	64	15
3	124	14
4	238	14
5	417	14
6	894	14
7	2515	14
done	5000	14
0	10	15
1	24	14
2	48	13
3	104	13
4	222	12
5	463	12
6	1128	12
7	3115	12
done	5001	12
0	7	7
1	16	7
2	27	7
3	45	7
4	84	7
5	189	7
6	568	7
7	1976	7
done	5000	7
0	9	10
1	19	10
2	32	10
3	57	10
4	143	10
5	428	10
6	1611	10
done	5000	10
0	9	10
1	17	10
2	26	10
3	49	10
4	105	10
5	267	10
6	887	10
7	3725	10
done	5000	10
0	10	21
1	18	21
2	25	21
3	43	21
4	82	21
5	191	21
6	566	21
7	1972	21
done	5001	21
0	9	10
1	17	10
2	24	10
3	42	10
4	81	10
5	186	10
6	561	10
7	1985	10
done	5001	10
0	10	29
1	21	21
2	44	11
3	98	11
4	247	11
5	798	11
6	3587	11
done	5000	11
0	9	10
1	17	10
2	25	10
3	43	10
4	82	10
5	189	10
6	569	10
7	1990	10
done	5001	10
0	9	10
1	17	10
2	25	10
3	43	10
4	82	10
5	189	10
6	569	10
7	1990	10
done	5001	10
0	10	11
1	17	11
2	27	11
3	48	11
4	97	11
5	229	11
6	742	11
7	2548	11
done	5000	11
0	10	11
1	17	11
2	27	11
3	48	11
4	97	11
5	229	11
6	742	11
7	2548	11
done	5000	11
0	11	13
1	25	13
2	53	13
3	98	9
4	134	9
5	181	9
6	270	9
7	390	9
8	438	9
9	512	9
10	630	9
11	631	9
done	631	9
0	29	49
1	68	47
2	165	43
3	621	43
done	5000	43
0	30	53
1	75	47
2	186	43
3	645	43
done	5000	43
0	10	12
1	21	12
2	35	10
3	39	10
done	39	10
0	8	9
1	16	9
2	23	9
3	41	9
4	80	9
5	184	9
6	551	9
7	1967	9
done	5000	9
0	11	12
1	23	9
2	43	9
3	71	9
4	131	9
5	258	9
6	567	9
7	1583	9
done	5000	9
0	10	11
1	25	11
2	56	11
3	86	11
4	144	11
5	339	11
6	1359	11
done	5001	11
0	9	11
1	19	11
2	31	9
3	42	9
4	58	9
5	79	9
6	84	9
7	89	9
8	91	9
done	91	9
0	10	12
1	22	11
2	41	9
3	60	9
4	100	9
5	170	9
6	304	9
7	742	9
8	2360	9
done	5000	9
0	10	12
1	21	12
2	35	10
3	39	10
done	39	10
0	8	9
1	16	9
2	23	9
3	41	9
4	80	9
5	184	9
6	551	9
7	1967	9
done	5000	9
0	9	10
1	18	9
2	30	9
3	59	9
4	120	9
5	274	9
6	758	9
7	2561	9
done	5000	9

prune418.0ms

Filtered

102 candidates to 279 candidates (-173.5%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	276	3	279
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	277	3	280

Merged error: 0b

Counts

280 → 3

localize7.0ms

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms

Counts: 0 → 0

simplify0.0ms

Counts: 0 → 0

prune11.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

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

Merged error: 0b

Counts

3 → 3

localize28.0ms

Local error

Found 4 expressions with local error:

0.3b	(- 1.0 (/ 1.0 (+ 1.0 (exp (neg t)))))
1.5b	(log (+ 1.0 (exp (neg t))))
9.8b	(- (log (+ 1.0 (exp (neg s)))) (log (+ 1.0 (exp (neg t)))))
9.9b	(- (log (- 1.0 (/ 1.0 (+ 1.0 (exp (neg s)))))) (log (- 1.0 (/ 1.0 (+ 1.0 (exp (neg t)))))))

rewrite62.0ms

Algorithm

rewrite-expression-head

Rules

29×	`*-un-lft-identity`
28×	`add-sqr-sqrt`
24×	`log-prod`
13×	`pow1`
11×	`distribute-lft-out--`
10×	`log-div` `associate--l+` `associate--r+`
9×	`add-cube-cbrt` `log-pow`
8×	`difference-of-squares`
6×	`add-log-exp`
5×	`add-exp-log` `flip3--` `flip--`
4×	`associate--l-` `add-cbrt-cube` `associate--r-`
3×	`sub-neg` `flip3-+` `times-frac` `diff-log` `flip-+` `distribute-lft-out`
1×	`rem-log-exp`

Counts

4 → 92

Calls

4 calls:

11.0ms	(- 1.0 (/ 1.0 (+ 1.0 (exp (neg t)))))
5.0ms	(log (+ 1.0 (exp (neg t))))
12.0ms	(- (log (+ 1.0 (exp (neg s)))) (log (+ 1.0 (exp (neg t)))))
31.0ms	(- (log (- 1.0 (/ 1.0 (+ 1.0 (exp (neg s)))))) (log (- 1.0 (/ 1.0 (+ 1.0 (exp (neg t)))))))

series79.0ms

Counts

4 → 12

Calls

4 calls:

8.0ms	(- 1.0 (/ 1.0 (+ 1.0 (exp (neg t)))))
19.0ms	(log (+ 1.0 (exp (neg t))))
18.0ms	(- (log (+ 1.0 (exp (neg s)))) (log (+ 1.0 (exp (neg t)))))
34.0ms	(- (log (- 1.0 (/ 1.0 (+ 1.0 (exp (neg s)))))) (log (- 1.0 (/ 1.0 (+ 1.0 (exp (neg t)))))))

simplify2.0min

Counts

104 → 104

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	14	19
1	28	19
2	39	19
3	52	19
4	83	19
5	143	19
6	303	19
7	510	19
8	852	19
9	1867	19
done	5001	19
0	17	22
1	30	22
2	38	22
done	38	22
0	17	22
1	33	22
2	43	19
3	48	19
4	64	19
5	101	19
6	205	19
7	353	19
8	759	19
9	1803	19
10	4134	19
done	5000	19
0	18	45
1	31	45
2	39	45
done	39	45
0	17	22
1	30	22
2	38	22
done	38	22
0	18	65
1	32	65
2	54	23
3	97	23
4	206	23
5	528	23
6	1749	23
done	5000	23
0	17	22
1	30	22
2	38	22
done	38	22
0	17	22
1	30	22
2	38	22
done	38	22
0	19	25
1	45	25
2	74	25
3	108	25
4	195	25
5	526	25
6	2301	25
done	5001	25
0	20	65
1	38	54
2	53	54
3	54	54
4	55	54
done	55	54
0	9	11
1	15	11
2	20	11
done	20	11
0	18	43
1	34	43
2	48	43
3	63	43
4	88	43
5	129	43
6	187	43
7	355	43
8	1622	43
done	5000	43
0	16	21
1	28	21
2	35	21
done	35	21
0	18	23
1	30	23
2	37	23
done	37	23
0	18	23
1	31	23
2	39	23
done	39	23
0	16	21
1	29	21
2	37	21
done	37	21
0	16	21
1	29	21
2	37	21
done	37	21
0	16	21
1	29	21
2	37	21
done	37	21
0	16	21
1	29	21
2	37	21
done	37	21
0	18	33
1	33	33
2	47	24
3	57	24
4	63	24
5	71	24
6	83	24
7	97	24
8	112	24
done	112	24
0	17	22
1	30	22
2	38	22
done	38	22
0	11	13
1	20	12
2	24	10
3	31	10
done	31	10
0	18	23
1	30	23
2	36	23
done	36	23
0	18	24
1	30	24
2	36	24
done	36	24
0	11	13
1	20	12
2	24	10
3	31	10
done	31	10
0	17	22
1	30	22
2	38	22
done	38	22
0	17	22
1	30	22
2	38	22
done	38	22
0	16	21
1	29	21
2	37	21
done	37	21
0	18	23
1	31	23
2	38	23
done	38	23
0	18	24
1	31	24
2	40	24
done	40	24
0	16	21
1	29	21
2	37	21
done	37	21
0	20	41
1	39	33
2	61	33
3	80	33
4	118	33
5	173	33
6	311	31
7	490	31
8	1019	31
9	4343	31
done	5000	31
0	16	21
1	27	21
2	32	21
done	32	21
0	19	25
1	47	25
2	96	25
3	251	25
4	831	25
5	3334	25
done	5000	25
0	18	31
1	38	31
2	61	31
3	100	31
4	165	29
5	291	29
6	499	29
7	1080	29
8	4098	29
done	5000	29
0	9	11
1	15	11
2	20	11
done	20	11
0	10	11
1	17	11
2	19	11
done	19	11
0	13	14
1	22	14
2	25	14
done	25	14
0	13	14
1	25	14
2	30	11
3	32	11
4	44	11
5	68	11
6	119	11
7	159	11
8	200	11
9	291	11
10	384	11
11	485	11
12	596	11
13	698	11
14	718	11
15	723	11
done	723	11
0	14	29
1	23	29
2	26	29
done	26	29
0	13	14
1	22	14
2	25	14
done	25	14
0	14	41
1	24	41
2	41	15
3	84	15
4	193	15
5	515	15
6	1726	15
7	4971	15
done	5000	15
0	13	14
1	22	14
2	25	14
done	25	14
0	13	14
1	22	14
2	25	14
done	25	14
0	15	17
1	37	17
2	61	17
3	95	17
4	185	17
5	514	17
6	2313	17
done	5000	17
0	16	41
1	30	34
2	40	34
3	41	34
4	42	34
done	42	34
0	7	7
1	11	7
2	13	7
done	13	7
0	14	27
1	26	27
2	35	27
3	50	27
4	75	27
5	116	27
6	180	27
7	348	27
8	1605	27
done	5000	27
0	12	13
1	20	13
2	22	13
done	22	13
0	14	15
1	22	15
2	24	15
done	24	15
0	14	15
1	23	15
2	26	15
done	26	15
0	12	13
1	21	13
2	24	13
done	24	13
0	12	13
1	21	13
2	24	13
done	24	13
0	12	13
1	21	13
2	24	13
done	24	13
0	12	13
1	21	13
2	24	13
done	24	13
0	14	21
1	25	21
2	34	16
3	44	16
4	52	16
5	60	16
6	72	16
7	86	16
8	101	16
done	101	16
0	13	14
1	22	14
2	25	14
done	25	14
0	9	9
1	16	8
2	17	6
3	24	6
done	24	6
0	9	9
1	16	8
2	17	6
3	24	6
done	24	6
0	13	14
1	22	14
2	25	14
done	25	14
0	13	14
1	22	14
2	25	14
done	25	14
0	12	13
1	21	13
2	24	13
done	24	13
0	12	13
1	21	13
2	24	13
done	24	13
0	16	25
1	33	21
2	65	21
3	107	20
4	182	20
5	259	20
6	377	20
7	585	20
8	1297	20
9	4413	20
done	5000	20
0	12	13
1	21	13
2	27	13
done	27	13
0	15	17
1	37	17
2	62	17
3	109	17
4	199	17
5	376	17
6	1065	16
7	3561	16
done	5000	16
0	14	19
1	29	18
2	51	17
3	93	17
4	178	16
5	326	16
6	628	16
7	1249	16
8	3838	16
done	5000	16
0	7	7
1	11	7
2	13	7
done	13	7
0	8	14
1	14	14
2	18	9
3	19	9
done	19	9
0	7	7
1	11	7
2	13	7
done	13	7
0	7	7
1	11	7
2	13	7
done	13	7
0	7	7
1	11	7
2	13	7
done	13	7
0	2	2
1	4	1
done	4	1
0	6	6
1	10	6
2	12	6
done	12	6
0	2	2
1	4	1
done	4	1
0	6	6
1	10	6
2	12	6
done	12	6
0	9	10
1	26	10
2	50	10
3	97	10
4	189	10
5	366	10
6	1050	9
7	3631	9
done	5000	9
0	10	18
1	23	14
2	55	14
3	97	13
4	172	13
5	249	13
6	367	13
7	574	13
8	1281	13
9	4347	13
done	5000	13
0	8	12
1	18	11
2	39	10
3	76	10
4	153	9
5	290	9
6	592	9
7	1169	9
8	3689	9
done	5000	9
0	6	6
1	11	6
2	17	6
done	17	6
0	6	6
1	10	6
2	12	6
done	12	6
0	7	7
1	11	7
2	13	7
done	13	7
0	7	7
1	11	5
2	13	5
done	13	5
0	8	15
1	12	15
2	14	15
done	14	15
0	7	7
1	11	7
2	13	7
done	13	7
0	8	20
1	13	20
2	17	8
3	22	8
4	28	8
5	38	8
6	59	8
7	119	8
8	326	8
9	1251	8
done	5000	8
0	7	7
1	11	7
2	13	7
done	13	7
0	7	7
1	11	7
2	13	7
done	13	7
0	9	11
1	15	10
2	19	10
3	24	10
4	26	10
5	30	10
6	34	10
7	50	10
8	53	10
9	58	10
10	65	10
11	83	10
12	104	10
13	118	10
14	119	10
done	119	10
0	8	10
1	14	10
2	19	10
done	19	10
0	8	10
1	17	10
2	24	10
3	26	10
4	30	10
5	34	10
6	50	10
7	53	10
8	58	10
9	65	10
10	83	10
11	104	10
12	122	10
13	123	10
done	123	10
0	9	21
1	15	21
2	20	21
done	20	21
0	8	10
1	14	10
2	19	10
done	19	10
0	9	29
1	16	29
2	35	11
3	86	11
4	242	11
5	720	11
6	2325	11
done	5000	11
0	8	10
1	14	10
2	19	10
done	19	10
0	8	10
1	14	10
2	19	10
done	19	10
0	10	13
1	31	13
2	76	13
3	229	13
4	794	13
5	3237	13
done	5000	13
0	11	29
1	24	21
2	43	21
3	62	21
4	100	21
5	152	21
6	289	19
7	462	19
8	988	19
9	4355	19
done	5001	19
0	7	8
1	13	8
2	15	8
done	15	8
0	9	19
1	22	19
2	38	19
3	72	19
4	129	17
5	243	17
6	443	17
7	993	17
8	3974	17
done	5001	17
0	7	9
1	12	9
2	14	9
done	14	9
0	9	11
1	14	11
2	16	11
done	16	11
0	9	11
1	15	11
2	18	11
done	18	11
0	9	12
1	14	12
2	16	12
done	16	12
0	9	12
1	15	12
2	20	12
done	20	12
0	7	9
1	13	9
2	18	9
done	18	9
0	7	8
1	13	8
2	15	8
done	15	8
0	11	13
1	24	13
2	51	11
3	85	11
4	130	11
5	190	11
6	305	11
7	418	11
8	658	11
9	1591	11
done	5000	11
0	19	25
1	38	25
2	60	21
3	78	21
4	112	21
5	164	21
6	203	21
7	287	21
8	629	21
9	2145	21
done	5000	21
0	20	27
1	42	25
2	77	21
3	110	21
4	187	21
5	332	21
6	610	21
7	1523	21
done	5000	21
0	11	13
1	24	13
2	53	13
3	70	11
4	93	11
5	127	11
6	192	11
7	323	11
8	598	11
9	1532	11
done	5000	11
0	12	13
1	21	13
2	24	13
done	24	13
0	13	15
1	24	13
2	39	13
3	57	13
4	100	13
5	193	13
6	441	13
7	1280	13
8	4442	13
done	5000	13
0	16	22
1	37	22
2	108	22
3	212	22
4	411	18
5	736	18
6	1230	16
7	1839	16
8	2454	16
9	4295	16
done	5000	16
0	6	6
1	10	6
2	12	6
done	12	6
0	7	7
1	12	6
2	20	6
3	31	6
4	55	6
5	104	6
6	227	6
7	662	6
8	2257	6
done	5000	6
0	10	11
1	25	11
2	56	11
3	86	11
4	144	11
5	339	11
6	1359	11
done	5001	11
0	9	11
1	19	11
2	31	9
3	42	9
4	58	9
5	79	9
6	84	9
7	89	9
8	91	9
done	91	9
0	10	12
1	22	11
2	41	9
3	60	9
4	100	9
5	170	9
6	304	9
7	742	9
8	2360	9
done	5000	9

prune304.0ms

Filtered

76 candidates to 104 candidates (-36.8%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	103	1	104
Fresh	1	0	1
Picked	1	0	1
Done	0	1	1
Total	105	2	107

Merged error: 0b

Counts

107 → 2

localize35.0ms

Local error

Found 4 expressions with local error:

0.2b	(log (- 1.0 (/ 1.0 (+ 1.0 (exp (neg s))))))
0.3b	(- 1.0 (/ 1.0 (+ 1.0 (exp (neg t)))))
0.3b	(* c_p (+ (* 0.125 (pow s 2)) (* 0.5 (- t s))))
9.9b	(- (log (- 1.0 (/ 1.0 (+ 1.0 (exp (neg s)))))) (log (- 1.0 (/ 1.0 (+ 1.0 (exp (neg t)))))))

rewrite56.0ms

Algorithm

rewrite-expression-head

Rules

33×	`add-sqr-sqrt`
21×	`*-un-lft-identity`
18×	`log-prod`
11×	`pow1`
9×	`add-cube-cbrt` `difference-of-squares`
8×	`distribute-lft-out--`
7×	`add-exp-log`
6×	`log-div` `associate--l+` `add-cbrt-cube` `associate--r+` `add-log-exp`
5×	`flip3--` `log-pow` `flip--`
4×	`times-frac`
3×	`associate-r` `associate-l`
2×	`associate--l-` `sub-neg` `diff-log` `associate-*r/` `associate--r-`
1×	`distribute-rgt-in` `distribute-lft-in` `flip3-+` `rem-log-exp` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `flip-+` `unswap-sqr`

Counts

4 → 87

Calls

4 calls:

11.0ms	(log (- 1.0 (/ 1.0 (+ 1.0 (exp (neg s))))))
11.0ms	(- 1.0 (/ 1.0 (+ 1.0 (exp (neg t)))))
7.0ms	(* c_p (+ (* 0.125 (pow s 2)) (* 0.5 (- t s))))
24.0ms	(- (log (- 1.0 (/ 1.0 (+ 1.0 (exp (neg s)))))) (log (- 1.0 (/ 1.0 (+ 1.0 (exp (neg t)))))))

series89.0ms

Counts

4 → 12

Calls

4 calls:

20.0ms	(log (- 1.0 (/ 1.0 (+ 1.0 (exp (neg s))))))
8.0ms	(- 1.0 (/ 1.0 (+ 1.0 (exp (neg t)))))
22.0ms	(* c_p (+ (* 0.125 (pow s 2)) (* 0.5 (- t s))))
38.0ms	(- (log (- 1.0 (/ 1.0 (+ 1.0 (exp (neg s)))))) (log (- 1.0 (/ 1.0 (+ 1.0 (exp (neg t)))))))

simplify2.4min

Counts

99 → 99

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	14	19
1	28	19
2	39	19
3	52	19
4	83	19
5	143	19
6	303	19
7	510	19
8	852	19
9	1867	19
done	5001	19
0	17	22
1	30	22
2	38	22
done	38	22
0	17	22
1	33	22
2	43	19
3	48	19
4	64	19
5	101	19
6	205	19
7	353	19
8	759	19
9	1803	19
10	4134	19
done	5000	19
0	18	45
1	31	45
2	39	45
done	39	45
0	17	22
1	30	22
2	38	22
done	38	22
0	18	65
1	32	65
2	54	23
3	97	23
4	206	23
5	528	23
6	1749	23
done	5000	23
0	17	22
1	30	22
2	38	22
done	38	22
0	17	22
1	30	22
2	38	22
done	38	22
0	19	25
1	45	25
2	74	25
3	108	25
4	195	25
5	526	25
6	2301	25
done	5001	25
0	20	65
1	38	54
2	53	54
3	54	54
4	55	54
done	55	54
0	9	11
1	15	11
2	20	11
done	20	11
0	18	43
1	34	43
2	48	43
3	63	43
4	88	43
5	129	43
6	187	43
7	355	43
8	1622	43
done	5000	43
0	16	21
1	28	21
2	35	21
done	35	21
0	18	23
1	30	23
2	37	23
done	37	23
0	18	23
1	31	23
2	39	23
done	39	23
0	16	21
1	29	21
2	37	21
done	37	21
0	16	21
1	29	21
2	37	21
done	37	21
0	16	21
1	29	21
2	37	21
done	37	21
0	16	21
1	29	21
2	37	21
done	37	21
0	18	33
1	33	33
2	47	24
3	57	24
4	63	24
5	71	24
6	83	24
7	97	24
8	112	24
done	112	24
0	17	22
1	30	22
2	38	22
done	38	22
0	11	13
1	20	12
2	24	10
3	31	10
done	31	10
0	18	23
1	30	23
2	36	23
done	36	23
0	18	24
1	30	24
2	36	24
done	36	24
0	11	13
1	20	12
2	24	10
3	31	10
done	31	10
0	17	22
1	30	22
2	38	22
done	38	22
0	17	22
1	30	22
2	38	22
done	38	22
0	16	21
1	29	21
2	37	21
done	37	21
0	18	23
1	31	23
2	38	23
done	38	23
0	18	24
1	31	24
2	40	24
done	40	24
0	16	21
1	29	21
2	37	21
done	37	21
0	20	41
1	39	33
2	61	33
3	80	33
4	118	33
5	173	33
6	311	31
7	490	31
8	1019	31
9	4343	31
done	5000	31
0	16	21
1	27	21
2	32	21
done	32	21
0	19	25
1	47	25
2	96	25
3	251	25
4	831	25
5	3334	25
done	5000	25
0	18	31
1	38	31
2	61	31
3	100	31
4	165	29
5	291	29
6	499	29
7	1080	29
8	4098	29
done	5000	29
0	9	11
1	15	11
2	20	11
done	20	11
0	12	13
1	29	13
2	69	13
3	121	13
4	174	13
5	218	13
6	276	13
7	391	13
8	750	13
9	2013	13
done	5001	13
0	14	15
1	25	15
2	48	15
3	62	15
4	77	15
5	94	15
6	129	15
7	218	15
8	495	15
9	1498	15
done	5000	15
0	13	14
1	33	14
2	74	14
3	128	14
4	184	14
5	228	14
6	284	14
7	394	14
8	753	14
9	2018	14
done	5000	14
0	13	14
1	32	14
2	80	14
3	165	14
4	322	14
5	840	14
6	2874	14
done	5001	14
0	16	41
1	45	41
2	181	17
3	880	17
done	5000	17
0	14	29
1	31	29
2	71	29
3	123	29
4	177	29
5	221	29
6	279	29
7	393	29
8	757	29
9	2039	29
done	5001	29
0	13	14
1	30	14
2	70	14
3	120	14
4	178	14
5	222	14
6	278	14
7	395	14
8	762	14
9	2014	14
done	5001	14
0	14	41
1	41	41
2	152	15
3	631	15
4	3468	15
done	5001	15
0	13	14
1	30	14
2	70	14
3	120	14
4	178	14
5	222	14
6	278	14
7	395	14
8	762	14
9	2014	14
done	5001	14
0	13	14
1	30	14
2	70	14
3	120	14
4	178	14
5	222	14
6	278	14
7	395	14
8	762	14
9	2014	14
done	5001	14
0	14	15
1	25	15
2	48	15
3	62	15
4	77	15
5	94	15
6	129	15
7	218	15
8	495	15
9	1498	15
done	5000	15
0	14	15
1	25	15
2	48	15
3	62	15
4	77	15
5	94	15
6	129	15
7	218	15
8	495	15
9	1498	15
done	5000	15
0	7	7
1	16	7
2	42	7
3	59	7
4	68	7
5	78	7
6	100	7
7	166	7
8	376	7
9	1321	7
done	5000	7
0	7	7
1	13	7
2	32	7
3	58	7
4	78	7
5	94	7
done	94	7
0	7	7
1	16	7
2	42	7
3	61	7
4	69	7
5	79	7
6	101	7
7	166	7
8	382	7
9	1320	7
done	5000	7
0	7	7
1	13	7
2	26	7
3	53	7
4	74	7
5	93	7
6	101	7
done	101	7
0	14	27
1	27	27
2	52	27
3	66	27
4	81	27
5	98	27
6	131	27
7	215	27
8	482	27
9	1494	27
done	5000	27
0	13	14
1	24	14
2	47	14
3	63	14
4	78	14
5	95	14
6	130	14
7	219	14
8	495	14
9	1516	14
done	5000	14
0	3	3
1	6	1
done	6	1
0	13	14
1	30	14
2	70	14
3	122	14
4	177	14
5	221	14
6	279	14
7	393	14
8	761	14
9	2042	14
done	5000	14
0	13	14
1	30	14
2	70	14
3	122	14
4	177	14
5	221	14
6	279	14
7	393	14
8	761	14
9	2042	14
done	5000	14
0	12	13
1	29	13
2	69	13
3	121	13
4	174	13
5	218	13
6	276	13
7	391	13
8	750	13
9	2013	13
done	5001	13
0	15	17
1	50	17
2	177	17
3	748	17
4	2674	17
done	5000	17
0	14	25
1	43	25
2	152	21
3	463	21
4	1507	21
5	4660	21
done	5000	21
0	9	11
1	15	10
2	19	10
3	24	10
4	26	10
5	30	10
6	34	10
7	50	10
8	53	10
9	58	10
10	65	10
11	83	10
12	104	10
13	118	10
14	119	10
done	119	10
0	8	10
1	14	10
2	19	10
done	19	10
0	8	10
1	17	10
2	24	10
3	26	10
4	30	10
5	34	10
6	50	10
7	53	10
8	58	10
9	65	10
10	83	10
11	104	10
12	122	10
13	123	10
done	123	10
0	9	21
1	15	21
2	20	21
done	20	21
0	8	10
1	14	10
2	19	10
done	19	10
0	9	29
1	16	29
2	35	11
3	86	11
4	242	11
5	720	11
6	2325	11
done	5000	11
0	8	10
1	14	10
2	19	10
done	19	10
0	8	10
1	14	10
2	19	10
done	19	10
0	10	13
1	31	13
2	76	13
3	229	13
4	794	13
5	3237	13
done	5000	13
0	11	29
1	24	21
2	43	21
3	62	21
4	100	21
5	152	21
6	289	19
7	462	19
8	988	19
9	4355	19
done	5001	19
0	7	8
1	13	8
2	15	8
done	15	8
0	9	19
1	22	19
2	38	19
3	72	19
4	129	17
5	243	17
6	443	17
7	993	17
8	3974	17
done	5001	17
0	7	9
1	12	9
2	14	9
done	14	9
0	9	11
1	14	11
2	16	11
done	16	11
0	9	11
1	15	11
2	18	11
done	18	11
0	9	12
1	14	12
2	16	12
done	16	12
0	9	12
1	15	12
2	20	12
done	20	12
0	7	9
1	13	9
2	18	9
done	18	9
0	7	8
1	13	8
2	15	8
done	15	8
0	10	22
1	18	22
2	25	13
3	26	13
done	26	13
0	9	11
1	15	11
2	20	11
done	20	11
0	9	11
1	15	11
2	20	11
done	20	11
0	9	11
1	15	11
2	20	11
done	20	11
0	2	2
1	4	1
done	4	1
0	8	10
1	14	10
2	19	10
done	19	10
0	10	12
1	15	12
2	17	12
done	17	12
0	10	12
1	16	12
2	19	12
done	19	12
0	10	13
1	15	13
2	17	13
done	17	13
0	10	13
1	16	13
2	21	13
done	21	13
0	2	2
1	4	1
done	4	1
0	8	10
1	14	10
2	19	10
done	19	10
0	11	14
1	32	14
2	77	14
3	233	14
4	801	14
5	3276	14
done	5000	14
0	12	30
1	25	22
2	44	22
3	63	22
4	101	22
5	156	22
6	291	20
7	466	20
8	973	20
9	3907	20
done	5000	20
0	10	20
1	23	20
2	42	20
3	77	20
4	134	18
5	251	18
6	452	18
7	1008	18
8	4010	18
done	5000	18
0	8	10
1	13	10
2	15	10
done	15	10
0	8	10
1	14	10
2	19	10
done	19	10
0	9	11
1	15	11
2	20	11
done	20	11
0	9	11
1	15	9
2	20	9
done	20	9
0	10	23
1	16	23
2	21	23
done	21	23
0	9	11
1	15	11
2	20	11
done	20	11
0	10	32
1	17	32
2	24	12
3	29	12
4	35	12
5	45	12
6	68	12
7	130	12
8	338	12
9	1263	12
done	5000	12
0	9	11
1	15	11
2	20	11
done	20	11
0	9	11
1	15	11
2	20	11
done	20	11
0	11	13
1	24	13
2	51	11
3	85	11
4	130	11
5	190	11
6	305	11
7	418	11
8	658	11
9	1591	11
done	5000	11
0	19	25
1	38	25
2	60	21
3	78	21
4	112	21
5	164	21
6	203	21
7	287	21
8	629	21
9	2145	21
done	5000	21
0	20	27
1	42	25
2	77	21
3	110	21
4	187	21
5	332	21
6	610	21
7	1523	21
done	5000	21
0	15	19
1	37	19
2	96	17
3	168	13
4	235	13
5	323	13
6	547	13
7	961	13
8	1357	13
9	2395	13
done	5000	13
0	15	19
1	37	19
2	94	17
3	166	15
4	235	13
5	313	13
6	474	13
7	836	13
8	1329	13
9	2390	13
done	5001	13
0	15	19
1	37	19
2	94	17
3	166	15
4	235	13
5	313	13
6	474	13
7	836	13
8	1329	13
9	2390	13
done	5001	13
0	10	11
1	25	11
2	56	11
3	86	11
4	144	11
5	339	11
6	1359	11
done	5001	11
0	9	11
1	19	11
2	31	9
3	42	9
4	58	9
5	79	9
6	84	9
7	89	9
8	91	9
done	91	9
0	10	12
1	22	11
2	41	9
3	60	9
4	100	9
5	170	9
6	304	9
7	742	9
8	2360	9
done	5000	9
0	12	16
1	29	16
2	80	16
3	156	16
4	303	16
5	565	14
6	1032	14
7	1444	14
8	1857	14
9	3707	14
done	5001	14
0	10	12
1	20	12
2	32	10
3	43	10
4	62	10
5	84	10
6	91	10
7	102	10
8	111	10
done	111	10
0	11	13
1	23	12
2	42	10
3	61	10
4	104	10
5	175	10
6	303	10
7	751	10
8	2372	10
done	5000	10

prune273.0ms

Filtered

76 candidates to 99 candidates (-30.3%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Merged error: 0b

Counts

101 → 2

regimes191.0ms

bsearch0.0ms

simplify3.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	30	38
1	37	38
done	37	38

end0.0ms

sample35.7s

Algorithm

intervals

Results

27.7s	2279×	body	5120	exit
2.8s	1263×	body	1280	overflowed
1.9s	9935×	body	80	overflowed
1.4s	1130×	body	640	overflowed
428.0ms	560×	body	320	overflowed
356.0ms	16543×	pre	80	true
126.0ms	1069×	body	80	valid
118.0ms	270×	body	160	overflowed
10.0ms	5×	body	1280	valid
10.0ms	3×	body	2560	valid
9.0ms	1×	body	5120	valid
6.0ms	18×	body	160	valid
5.0ms	6×	body	640	valid
2.0ms	4×	body	320	valid

Details

sample9.1s

simplify1.2s

prune6.0ms

localize31.0ms

rewrite103.0ms

series271.0ms

simplify19.0min

prune418.0ms

localize7.0ms

rewrite0.0ms

series0.0ms

simplify0.0ms

prune11.0ms

localize28.0ms

rewrite62.0ms

series79.0ms

simplify2.0min

prune304.0ms

localize35.0ms

rewrite56.0ms

series89.0ms

simplify2.4min

prune273.0ms

regimes191.0ms

bsearch0.0ms

simplify3.0ms

end0.0ms

sample35.7s

Profiling