Details

sample51.0ms

Algorithm

intervals

Results

37.0ms

256×

body

valid

simplify4.5s

Counts

1 → 1

Iterations

Useful iterations: 7 (1.4s)

Iter	Nodes	Cost
0	12	29
1	20	29
2	37	29
3	80	29
4	216	29
5	529	29
6	1170	29
7	2730	25
8	4570	25
done	5000	25

prune7.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: 0.0b

Counts

2 → 1

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ 2.0 (* 1.0 (+ 1 t)))
0.0b	(* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))
3.1b	(- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))
3.1b	(- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))

rewrite42.0ms

Algorithm

rewrite-expression-head

Rules

28×	`*-un-lft-identity`
24×	`add-sqr-sqrt`
11×	`pow1` `add-exp-log` `add-cbrt-cube`
10×	`add-cube-cbrt`
8×	`flip3--` `flip--` `distribute-lft-out--` `add-log-exp`
7×	`swap-sqr`
6×	`difference-of-squares`
5×	`associate-r` `associate-l`
4×	`frac-times` `sub-neg` `associate-*r/`
3×	`times-frac` `associate-/l*`
2×	`cbrt-undiv` `distribute-rgt-in` `distribute-lft-in` `diff-log` `div-exp` `associate-*l/` `prod-exp` `associate-/r/` `cbrt-unprod`
1×	`pow2` `frac-2neg` `flip3-+` `pow-plus` `pow-prod-down` `clear-num` `associate-/r` `pow-sqr` `-commutative` `pow-prod-up` `flip-+` `div-inv` `unswap-sqr`

Counts

4 → 96

Calls

4 calls:

8.0ms	(/ 2.0 (* 1.0 (+ 1 t)))
17.0ms	(* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))
8.0ms	(- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))
7.0ms	(- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))

series12.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(/ 2.0 (* 1.0 (+ 1 t)))
4.0ms	(* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))
3.0ms	(- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))
3.0ms	(- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))

simplify4.5min

Counts

108 → 108

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	10	11
1	24	10
2	29	10
3	38	10
4	44	10
5	48	10
6	52	10
7	68	10
8	71	10
9	76	10
10	83	10
11	102	10
12	123	10
13	140	10
14	145	10
15	149	10
done	149	10
0	9	10
1	23	10
2	31	10
3	37	10
done	37	10
0	9	10
1	26	10
2	36	10
3	44	10
4	48	10
5	52	10
6	68	10
7	73	10
8	78	10
9	85	10
10	103	10
11	124	10
12	140	10
13	145	10
done	145	10
0	10	21
1	24	21
2	32	21
3	38	21
done	38	21
0	9	10
1	23	10
2	31	10
3	37	10
done	37	10
0	10	29
1	25	29
2	47	11
3	112	11
4	399	11
5	1574	11
done	5000	11
0	9	10
1	23	10
2	31	10
3	37	10
done	37	10
0	9	10
1	23	10
2	31	10
3	37	10
done	37	10
0	11	13
1	40	13
2	100	13
3	406	13
4	2479	13
done	5000	13
0	12	29
1	33	21
2	79	21
3	210	21
4	451	21
5	695	21
6	1232	19
7	1894	19
8	2685	19
9	3247	19
10	3536	19
11	3551	19
12	3556	19
done	3556	19
0	8	8
1	22	8
2	31	8
3	33	8
done	33	8
0	10	19
1	31	19
2	66	19
3	198	19
4	531	17
5	1089	17
6	2265	17
7	4078	17
done	5000	17
0	8	9
1	21	9
2	24	9
done	24	9
0	10	11
1	23	11
2	26	11
done	26	11
0	10	11
1	24	11
2	28	11
done	28	11
0	8	9
1	22	9
2	30	9
3	36	9
done	36	9
0	8	8
1	22	8
2	31	8
3	33	8
done	33	8
0	10	11
1	24	10
2	29	10
3	38	10
4	44	10
5	48	10
6	52	10
7	68	10
8	71	10
9	76	10
10	83	10
11	102	10
12	123	10
13	140	10
14	145	10
15	149	10
done	149	10
0	9	10
1	23	10
2	31	10
3	37	10
done	37	10
0	9	10
1	26	10
2	36	10
3	44	10
4	48	10
5	52	10
6	68	10
7	73	10
8	78	10
9	85	10
10	103	10
11	124	10
12	140	10
13	145	10
done	145	10
0	10	21
1	24	21
2	32	21
3	38	21
done	38	21
0	9	10
1	23	10
2	31	10
3	37	10
done	37	10
0	10	29
1	25	29
2	47	11
3	112	11
4	399	11
5	1574	11
done	5000	11
0	9	10
1	23	10
2	31	10
3	37	10
done	37	10
0	9	10
1	23	10
2	31	10
3	37	10
done	37	10
0	11	13
1	40	13
2	100	13
3	406	13
4	2479	13
done	5000	13
0	12	29
1	33	21
2	79	21
3	210	21
4	451	21
5	695	21
6	1232	19
7	1894	19
8	2685	19
9	3247	19
10	3536	19
11	3551	19
12	3556	19
done	3556	19
0	8	8
1	22	8
2	31	8
3	33	8
done	33	8
0	10	19
1	31	19
2	66	19
3	198	19
4	531	17
5	1089	17
6	2265	17
7	4078	17
done	5000	17
0	8	9
1	21	9
2	24	9
done	24	9
0	10	11
1	23	11
2	26	11
done	26	11
0	10	11
1	24	11
2	28	11
done	28	11
0	8	9
1	22	9
2	30	9
3	36	9
done	36	9
0	8	8
1	22	8
2	31	8
3	33	8
done	33	8
0	2	3
1	6	1
done	6	1
0	9	19
1	23	19
2	37	19
3	68	19
4	179	19
5	412	19
6	902	19
7	2166	19
8	3265	19
done	5000	19
0	2	3
1	6	1
done	6	1
0	10	21
1	26	12
2	35	12
3	41	12
done	41	12
0	10	20
1	26	20
2	42	12
3	74	12
4	185	12
5	418	12
6	901	12
7	2163	12
8	3267	12
done	5000	12
0	10	20
1	26	20
2	49	20
3	93	20
4	251	20
5	643	20
6	1604	20
done	5001	20
0	11	59
1	32	59
2	67	23
3	208	11
4	948	11
done	5001	11
0	11	41
1	25	41
2	39	41
3	70	41
4	181	41
5	416	41
6	904	41
7	2166	41
8	3253	41
done	5000	41
0	10	20
1	24	20
2	38	20
3	69	20
4	180	20
5	415	20
6	903	20
7	2165	20
8	3263	20
done	5000	20
0	11	59
1	33	59
2	80	21
3	264	11
4	1221	11
done	5000	11
0	10	20
1	25	10
2	39	10
3	70	10
4	181	10
5	416	10
6	904	10
7	2166	10
8	3255	10
done	5000	10
0	10	20
1	25	10
2	39	10
3	70	10
4	181	10
5	416	10
6	904	10
7	2166	10
8	3255	10
done	5000	10
0	12	27
1	41	27
2	107	27
3	485	27
4	3583	27
done	5000	27
0	13	59
1	40	43
2	131	43
3	620	43
4	3010	43
done	5000	43
0	15	33
1	52	33
2	154	33
3	757	33
done	5002	31
0	14	39
1	42	31
2	135	31
3	472	31
4	1346	31
5	4181	31
done	5000	31
0	15	33
1	52	33
2	154	33
3	757	33
done	5000	31
0	14	39
1	42	31
2	129	31
3	429	31
4	1329	31
5	4092	31
done	5000	31
0	11	39
1	32	39
2	80	39
3	296	39
4	1401	35
done	5001	35
0	9	19
1	28	19
2	49	19
3	109	19
4	202	19
5	394	19
6	711	19
7	1239	19
8	2343	19
9	3658	19
10	4937	19
done	5000	19
0	11	43
1	29	43
2	39	23
3	53	12
4	74	12
5	116	12
6	227	12
7	496	12
8	1485	12
done	5001	12
0	10	21
1	24	21
2	32	21
3	38	21
done	38	21
0	10	21
1	24	9
2	33	9
3	39	9
done	39	9
0	10	21
1	24	9
2	33	9
3	39	9
done	39	9
0	2	3
1	4	1
done	4	1
0	9	19
1	23	19
2	37	19
3	68	19
4	179	19
5	412	19
6	902	19
7	2166	19
8	3265	19
done	5000	19
0	2	3
1	4	1
done	4	1
0	9	19
1	23	19
2	37	19
3	68	19
4	179	19
5	412	19
6	902	19
7	2166	19
8	3265	19
done	5000	19
0	11	23
1	30	23
2	46	23
3	62	23
4	82	23
5	98	23
6	105	23
7	107	23
done	107	23
0	11	23
1	25	23
2	35	23
3	52	23
4	85	23
5	128	23
6	216	23
7	348	23
8	515	23
9	676	23
10	710	23
11	730	23
12	772	23
13	882	23
14	1012	23
15	1016	23
16	1063	23
17	1225	23
18	1429	23
19	1729	23
20	2161	23
21	2799	23
done	2799	23
0	2	3
1	4	1
done	4	1
0	9	19
1	23	19
2	37	19
3	68	19
4	179	19
5	412	19
6	902	19
7	2166	19
8	3265	19
done	5000	19
0	2	3
1	4	1
done	4	1
0	9	19
1	23	19
2	37	19
3	68	19
4	179	19
5	412	19
6	902	19
7	2166	19
8	3265	19
done	5000	19
0	10	21
1	24	9
2	33	9
3	39	9
done	39	9
0	10	21
1	24	9
2	33	9
3	39	9
done	39	9
0	3	3
1	6	1
done	6	1
0	9	11
1	24	11
2	37	11
3	56	11
4	95	11
5	131	11
6	146	11
7	162	11
8	164	11
9	209	11
10	344	11
11	485	11
12	583	11
13	587	11
14	589	11
done	589	11
0	10	18
1	28	18
2	54	18
3	162	18
4	378	17
5	872	17
6	1413	17
7	1908	17
8	2845	17
9	4347	17
done	5000	17
0	9	11
1	24	11
2	37	11
3	56	11
4	95	11
5	131	11
6	146	11
7	162	11
8	164	11
9	209	11
10	344	11
11	485	11
12	583	11
13	587	11
14	589	11
done	589	11
0	10	18
1	28	18
2	54	18
3	162	18
4	378	17
5	872	17
6	1413	17
7	1908	17
8	2845	17
9	4347	17
done	5000	17
0	9	11
1	24	11
2	37	11
3	56	11
4	95	11
5	131	11
6	146	11
7	162	11
8	164	11
9	209	11
10	344	11
11	485	11
12	583	11
13	587	11
14	589	11
done	589	11
0	10	18
1	28	18
2	60	18
3	201	18
4	482	17
5	1099	17
6	1612	17
7	2360	17
8	3915	17
done	5000	17
0	9	11
1	24	11
2	37	11
3	56	11
4	95	11
5	131	11
6	146	11
7	162	11
8	164	11
9	209	11
10	344	11
11	485	11
12	583	11
13	587	11
14	589	11
done	589	11
0	10	18
1	28	18
2	60	18
3	201	18
4	482	17
5	1099	17
6	1612	17
7	2360	17
8	3915	17
done	5000	17
0	11	31
1	28	31
2	44	31
3	75	31
4	145	31
5	291	31
6	541	31
7	840	31
8	948	31
9	1188	31
10	2649	31
11	4317	31
done	5000	31
0	10	20
1	25	20
2	39	20
3	58	20
4	100	20
5	159	20
6	221	20
7	280	20
8	305	20
9	373	20
10	601	20
11	877	20
12	1044	20
13	1067	20
14	1087	20
15	1088	20
done	1088	20
0	9	11
1	24	9
2	41	9
3	66	9
4	115	9
5	207	9
6	319	9
7	432	9
8	559	9
9	933	9
10	1499	9
11	2045	9
12	2172	9
13	2176	9
done	2176	9
0	12	21
1	34	21
2	61	21
3	118	21
4	276	21
5	505	21
6	760	21
7	1271	21
8	2297	21
9	3077	21
10	3866	21
11	4729	21
done	5000	21
0	9	11
1	24	9
2	41	9
3	66	9
4	115	9
5	207	9
6	319	9
7	432	9
8	559	9
9	933	9
10	1499	9
11	2045	9
12	2172	9
13	2176	9
done	2176	9
0	10	20
1	25	20
2	39	20
3	58	20
4	100	20
5	159	20
6	221	20
7	280	20
8	305	20
9	373	20
10	601	20
11	877	20
12	1044	20
13	1067	20
14	1087	20
15	1088	20
done	1088	20
0	10	20
1	25	20
2	39	20
3	58	20
4	100	20
5	159	20
6	221	20
7	280	20
8	305	20
9	373	20
10	601	20
11	877	20
12	1044	20
13	1067	20
14	1087	20
15	1088	20
done	1088	20
0	9	19
1	23	19
2	37	19
3	68	19
4	179	19
5	412	19
6	902	19
7	2166	19
8	3265	19
done	5000	19
0	12	21
1	29	21
2	50	21
3	98	21
4	240	21
5	483	21
6	801	21
7	1290	21
8	1816	21
9	2691	21
10	3600	21
11	4477	21
done	5000	21
0	9	19
1	23	19
2	37	19
3	68	19
4	179	19
5	412	19
6	902	19
7	2166	19
8	3265	19
done	5000	19
0	13	23
1	45	23
2	121	23
3	529	23
4	3629	23
done	5001	23
0	12	29
1	35	29
2	93	29
3	321	29
4	1303	27
done	5001	27
0	13	23
1	45	23
2	121	23
3	529	23
4	3651	23
done	5000	23
0	12	29
1	35	29
2	93	29
3	320	29
4	1307	27
done	5000	27
0	10	10
1	18	10
2	27	10
3	37	10
4	49	10
5	65	10
6	84	10
7	100	10
8	105	10
done	105	10
0	9	9
1	24	9
2	32	9
3	40	9
4	50	9
5	62	9
6	81	9
7	107	9
8	117	9
done	117	9
0	8	8
1	23	8
2	34	8
3	46	8
4	59	8
5	72	8
6	88	8
7	107	8
8	123	8
9	128	8
done	128	8
0	8	8
1	20	8
2	23	8
done	23	8
0	13	23
1	43	23
2	187	13
3	875	13
4	3824	11
done	5001	11
0	11	23
1	39	23
2	184	11
3	884	9
4	3263	9
done	5000	9
0	9	17
1	21	17
2	24	17
done	24	17
0	8	8
1	20	8
2	23	8
done	23	8
0	9	23
1	28	23
2	77	9
3	331	9
4	1298	9
5	3516	9
done	5001	9
0	8	8
1	20	8
2	23	8
done	23	8
0	8	8
1	20	8
2	23	8
done	23	8
0	2	2
done	2	2
0	6	6
1	20	6
2	39	6
3	50	5
4	67	5
5	136	5
6	162	5
done	162	5
0	5	7
1	7	7
2	9	7
3	10	7
done	10	7
0	6	6
1	9	6
done	9	6
0	4	4
done	4	4
0	6	6
1	9	6
done	9	6
0	3	3
1	5	3
done	5	3
0	5	5
1	8	5
done	8	5
0	6	7
1	18	7
2	21	7
done	21	7
0	7	7
1	19	7
2	24	7
3	35	7
4	37	7
5	55	7
6	96	7
7	124	7
8	155	7
9	190	7
10	195	7
done	195	7
0	3	3
done	3	3
0	8	8
1	20	8
2	25	8
3	36	8
4	38	8
5	56	8
6	97	8
7	123	8
8	154	8
9	186	8
10	188	8
done	188	8
0	8	8
1	20	8
2	25	8
3	36	8
4	38	8
5	56	8
6	97	8
7	123	8
8	154	8
9	186	8
10	188	8
done	188	8
0	7	7
1	19	7
2	24	7
3	35	7
4	37	7
5	55	7
6	96	7
7	124	7
8	155	7
9	190	7
10	195	7
done	195	7
0	10	11
1	35	9
2	56	9
3	81	9
4	129	9
5	276	9
6	793	9
7	3088	9
done	5000	9
0	9	11
1	19	9
2	40	9
3	90	9
4	169	9
5	388	9
6	640	9
7	1183	9
8	4337	9
done	5000	9
0	11	15
1	32	13
2	87	11
3	163	11
4	314	11
5	595	11
6	1447	11
done	5000	11
0	11	15
1	27	15
2	63	11
3	134	11
4	281	11
5	781	9
6	4009	9
done	5000	9
0	11	15
1	27	15
2	63	11
3	134	11
4	281	11
5	781	9
6	4009	9
done	5000	9
0	11	15
1	32	13
2	87	11
3	163	11
4	314	11
5	595	11
6	1447	11
done	5000	11
0	11	15
1	27	15
2	63	11
3	134	11
4	281	11
5	781	9
6	4009	9
done	5000	9
0	11	15
1	27	15
2	63	11
3	134	11
4	281	11
5	781	9
6	4009	9
done	5000	9
0	15	17
1	37	17
2	104	17
3	202	15
4	475	13
5	1164	13
6	3879	13
done	5000	13
0	13	15
1	30	15
2	66	11
3	121	11
4	256	11
5	719	9
6	3626	9
done	5000	9
0	13	15
1	30	15
2	66	11
3	121	11
4	256	11
5	719	9
6	3626	9
done	5000	9
0	8	11
1	20	11
2	49	11
3	76	9
4	114	9
5	169	9
6	277	9
7	477	9
8	812	9
9	1959	9
done	5000	9
0	15	21
1	41	19
2	106	15
3	286	15
4	948	15
5	3150	11
done	5000	11
0	15	21
1	41	19
2	106	15
3	286	15
4	948	15
5	3150	11
done	5000	11

prune204.0ms

Filtered

77 candidates to 108 candidates (-40.3%)

Pruning

1 alts after pruning (0 fresh and 1 done)

	Pruned	Kept	Total
New	108	0	108
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	108	1	109

Merged error: 0.0b

Counts

109 → 1

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	25
1	17	25
done	17	25

end0.0ms

sample799.0ms

Algorithm

intervals

Results

637.0ms

8000×

body

valid

Details

sample51.0ms

simplify4.5s

prune7.0ms

localize11.0ms

rewrite42.0ms

series12.0ms

simplify4.5min

prune204.0ms

simplify2.0ms

end0.0ms

sample799.0ms

Profiling