Details

sample50.0ms

Algorithm

intervals

Results

41.0ms

256×

body

valid

simplify2.7s

Counts

1 → 1

Iterations

Useful iterations: 7 (1.8s)

Iter	Nodes	Cost
0	12	51
1	19	51
2	33	51
3	80	51
4	237	51
5	603	51
6	1418	51
7	3672	43
done	5000	43

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

localize12.0ms

Local error

Found 4 expressions with local error:

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

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

12×	`add-sqr-sqrt` `*-un-lft-identity` `add-log-exp`
4×	`pow1` `add-exp-log` `add-cube-cbrt` `sub-neg` `flip3--` `diff-log` `add-cbrt-cube` `flip--` `distribute-lft-out--` `difference-of-squares`

Counts

4 → 56

Calls

4 calls:

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

series12.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify1.9min

Counts

68 → 68

Iterations

Useful iterations: 0 (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	136	10
14	141	10
15	143	10
done	143	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	694	21
6	1229	19
7	1893	19
8	2673	19
9	3249	19
10	3520	19
11	3535	19
12	3539	19
done	3539	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	2262	17
7	4071	17
done	5001	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	136	10
14	141	10
15	143	10
done	143	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	694	21
6	1229	19
7	1893	19
8	2673	19
9	3249	19
10	3520	19
11	3535	19
12	3539	19
done	3539	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	2262	17
7	4071	17
done	5001	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	136	10
14	141	10
15	143	10
done	143	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	694	21
6	1229	19
7	1893	19
8	2673	19
9	3249	19
10	3520	19
11	3535	19
12	3539	19
done	3539	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	2262	17
7	4071	17
done	5001	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	136	10
14	141	10
15	143	10
done	143	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	694	21
6	1229	19
7	1893	19
8	2673	19
9	3249	19
10	3520	19
11	3535	19
12	3539	19
done	3539	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	2262	17
7	4071	17
done	5001	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	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	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

prune170.0ms

Filtered

52 candidates to 68 candidates (-30.8%)

Pruning

1 alts after pruning (0 fresh and 1 done)

	Pruned	Kept	Total
New	68	0	68
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	68	1	69

Merged error: 0.0b

Counts

69 → 1

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	43
1	18	43
done	18	43

end0.0ms

sample1.3s

Algorithm

intervals

Results

1.1s

8000×

body

valid

Details

sample50.0ms

simplify2.7s

prune7.0ms

localize12.0ms

rewrite33.0ms

series12.0ms

simplify1.9min

prune170.0ms

simplify2.0ms

end0.0ms

sample1.3s

Profiling