Details

sample40.0ms

Algorithm

intervals

Results

13.0ms	273×	body	80	valid
4.0ms	87×	body	80	overflowed
4.0ms	11×	body	640	valid
3.0ms	4×	body	1280	valid
1.0ms	7×	body	320	valid
0.0ms	3×	body	160	valid

simplify5.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	8	9
1	12	9
2	19	9
done	19	9

prune3.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: 0.5b

Counts

2 → 1

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ 1.0 (exp x))
0.0b	(- (log (+ 1.0 (exp x))) (* x y))
0.5b	(log (+ 1.0 (exp x)))

rewrite16.0ms

Algorithm

rewrite-expression-head

Rules

11×	`*-un-lft-identity`
8×	`log-prod`
6×	`add-log-exp`
5×	`add-sqr-sqrt` `add-cube-cbrt`
4×	`pow1` `add-exp-log` `log-div` `associate--l+`
3×	`flip3-+` `add-cbrt-cube` `flip-+` `distribute-lft-out`
2×	`associate--l-`
1×	`+-commutative` `sub-neg` `flip3--` `diff-log` `rem-log-exp` `sum-log` `log-pow` `flip--`

Counts

3 → 45

Calls

3 calls:

4.0ms	(+ 1.0 (exp x))
7.0ms	(- (log (+ 1.0 (exp x))) (* x y))
4.0ms	(log (+ 1.0 (exp x)))

series31.0ms

Counts

3 → 9

Calls

3 calls:

2.0ms	(+ 1.0 (exp x))
16.0ms	(- (log (+ 1.0 (exp x))) (* x y))
13.0ms	(log (+ 1.0 (exp x)))

simplify1.0min

Counts

54 → 54

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	7	12
1	10	12
2	12	8
3	13	8
done	13	8
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	2	2
1	4	1
done	4	1
0	5	5
1	6	5
done	6	5
0	2	2
1	4	1
done	4	1
0	5	5
1	6	5
done	6	5
0	8	9
1	22	9
2	33	9
3	55	9
4	102	9
5	223	9
6	636	9
7	2497	9
done	5001	9
0	9	15
1	19	12
2	36	12
3	52	12
4	76	12
5	106	12
6	148	12
7	246	12
8	556	12
9	1774	12
done	5000	12
0	7	10
1	14	9
2	26	9
3	45	9
4	74	9
5	130	9
6	238	9
7	523	9
8	2286	9
done	5000	9
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	6	5
done	6	5
0	6	6
1	7	6
done	7	6
0	6	6
1	7	4
done	7	4
0	7	13
1	8	13
done	8	13
0	6	6
1	7	6
done	7	6
0	7	17
1	9	17
2	11	7
3	16	7
4	22	7
5	32	7
6	53	7
7	113	7
8	334	7
9	1261	7
done	5000	7
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	8	9
1	11	9
2	17	9
3	27	9
4	56	9
5	131	9
6	325	9
7	929	9
8	3194	9
done	5000	9
0	9	10
1	13	10
2	20	10
done	20	10
0	9	10
1	16	10
2	28	9
3	44	9
4	88	9
5	258	9
6	895	9
7	3410	9
done	5000	9
0	10	21
1	14	21
2	21	21
done	21	21
0	9	10
1	13	10
2	20	10
done	20	10
0	10	29
1	15	29
2	36	11
3	111	11
4	408	11
5	1417	11
6	4202	11
done	5000	11
0	9	10
1	13	10
2	20	10
done	20	10
0	9	10
1	13	10
2	20	10
done	20	10
0	11	13
1	31	13
2	86	13
3	277	13
4	706	13
5	1855	13
done	5000	13
0	12	29
1	30	25
2	63	25
3	77	23
4	78	23
done	78	23
0	4	4
1	9	4
2	11	4
done	11	4
0	10	19
1	24	19
2	54	19
3	111	19
4	160	19
5	257	19
6	371	19
7	613	19
8	2053	19
done	5001	19
0	8	9
1	11	9
done	11	9
0	9	10
1	13	10
2	20	10
done	20	10
0	9	10
1	13	10
2	20	10
done	20	10
0	8	9
1	12	9
2	19	9
done	19	9
0	8	9
1	12	9
2	19	9
done	19	9
0	12	19
1	24	16
2	41	16
3	57	16
4	81	16
5	111	16
6	153	16
7	251	16
8	560	16
9	1786	16
done	5000	16
0	8	9
1	12	9
2	13	9
done	13	9
0	4	4
1	9	4
2	11	4
done	11	4
0	6	6
1	9	5
2	10	5
done	10	5
0	5	5
1	6	5
done	6	5
0	5	5
1	9	5
2	10	5
done	10	5
0	6	11
1	7	11
done	7	11
0	5	5
1	6	5
done	6	5
0	6	14
1	20	14
2	52	6
3	119	6
4	283	6
5	860	6
6	1945	6
7	2790	6
8	3430	6
9	4994	6
done	5000	6
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	7	8
1	21	8
2	32	8
3	54	8
4	103	8
5	226	8
6	644	8
7	2530	8
done	5000	8
0	8	14
1	18	11
2	35	11
3	51	11
4	75	11
5	105	11
6	147	11
7	245	11
8	557	11
9	1770	11
done	5000	11
0	6	9
1	13	8
2	22	8
3	40	8
4	69	8
5	125	8
6	224	8
7	510	8
8	2263	8
done	5000	8
0	4	4
1	6	4
2	7	4
done	7	4
0	4	4
1	5	4
done	5	4
0	16	22
1	37	22
2	115	22
3	237	22
4	422	18
5	684	18
6	936	16
7	1303	16
8	1923	16
9	3913	16
done	5000	16
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	11	12
1	22	12
2	44	12
3	49	12
4	59	10
5	71	10
6	93	10
7	157	10
8	372	10
9	1283	10
done	5000	10
0	8	9
1	12	9
2	19	9
done	19	9
0	8	9
1	12	9
2	19	9
done	19	9
0	8	9
1	18	9
2	39	9
3	44	9
4	52	9
5	64	9
6	92	9
7	164	9
8	368	9
9	1309	9
done	5000	9
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4

prune102.0ms

Filtered

39 candidates to 54 candidates (-38.5%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	50	4	54
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	51	4	55

Merged error: 0.0b

Counts

55 → 4

localize18.0ms

Local error

Found 4 expressions with local error:

0.0b	(pow (exp x) 3)
0.3b	(log (+ (pow 1.0 3) (pow (exp x) 3)))
4.7b	(- (exp x) 1.0)
5.2b	(log (+ (* 1.0 1.0) (* (exp x) (- (exp x) 1.0))))

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

22×	`*-un-lft-identity`
12×	`add-sqr-sqrt` `log-prod`
10×	`add-cube-cbrt`
7×	`pow1` `unpow-prod-down` `cube-prod`
6×	`add-exp-log` `add-log-exp`
5×	`add-cbrt-cube` `distribute-lft-out`
4×	`log-div` `pow-pow`
3×	`pow-unpow` `exp-prod`
2×	`flip3-+` `rem-log-exp` `log-pow` `flip-+`
1×	`cube-mult` `pow-to-exp` `sub-neg` `flip3--` `diff-log` `unpow3` `pow-exp` `sum-cubes` `flip--` `distribute-lft-out--` `rem-cube-cbrt` `difference-of-squares` `sqr-pow`

Counts

4 → 74

Calls

4 calls:

4.0ms	(pow (exp x) 3)
13.0ms	(log (+ (pow 1.0 3) (pow (exp x) 3)))
5.0ms	(- (exp x) 1.0)
4.0ms	(log (+ (* 1.0 1.0) (* (exp x) (- (exp x) 1.0))))

series57.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(pow (exp x) 3)
21.0ms	(log (+ (pow 1.0 3) (pow (exp x) 3)))
3.0ms	(- (exp x) 1.0)
28.0ms	(log (+ (* 1.0 1.0) (* (exp x) (- (exp x) 1.0))))

simplify3.8min

Counts

86 → 86

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	10	26
1	16	26
2	24	15
3	36	15
4	46	15
5	56	15
6	70	15
7	99	15
8	163	15
9	290	15
10	644	15
11	1918	15
done	5000	15
0	9	13
1	13	13
2	19	13
3	30	13
4	41	13
5	51	13
6	65	13
7	94	13
8	158	13
9	287	13
10	636	13
11	1883	13
done	5000	13
0	9	13
1	13	13
2	19	13
3	30	13
4	41	13
5	51	13
6	65	13
7	94	13
8	158	13
9	287	13
10	636	13
11	1883	13
done	5000	13
0	9	13
1	13	13
2	19	13
3	30	13
4	41	13
5	51	13
6	65	13
7	94	13
8	158	13
9	287	13
10	636	13
11	1883	13
done	5000	13
0	2	2
1	4	1
done	4	1
0	8	12
1	12	12
2	18	12
3	29	12
4	40	12
5	50	12
6	64	12
7	93	12
8	157	12
9	284	12
10	629	12
11	1862	12
done	5000	12
0	11	16
1	33	16
2	91	14
3	256	14
4	742	14
5	2604	14
done	5000	14
0	12	36
1	38	28
2	117	26
3	355	24
4	915	24
5	2475	24
done	5001	24
0	10	24
1	29	24
2	83	21
3	247	19
4	733	19
5	2024	19
done	5001	19
0	8	12
1	13	12
2	26	12
3	49	12
4	83	12
5	111	12
6	172	12
7	351	12
8	903	12
9	2650	12
done	5000	12
0	8	12
1	12	12
2	18	12
3	29	12
4	40	12
5	50	12
6	64	12
7	93	12
8	157	12
9	284	12
10	629	12
11	1862	12
done	5000	12
0	9	13
1	13	13
2	19	13
3	30	13
4	41	13
5	51	13
6	65	13
7	94	13
8	158	13
9	287	13
10	636	13
11	1883	13
done	5000	13
0	9	13
1	13	11
2	19	11
3	30	11
4	41	11
5	51	11
6	65	11
7	94	11
8	158	11
9	287	11
10	636	11
11	1883	11
done	5000	11
0	10	27
1	14	27
2	20	27
3	31	27
4	42	27
5	52	27
6	66	27
7	95	27
8	159	27
9	288	27
10	641	27
11	1884	27
done	5001	27
0	9	13
1	13	13
2	19	13
3	30	13
4	41	13
5	51	13
6	65	13
7	94	13
8	158	13
9	287	13
10	636	13
11	1883	13
done	5000	13
0	10	38
1	15	38
2	23	14
3	39	14
4	55	14
5	75	14
6	112	14
7	202	14
8	472	14
9	1522	14
done	5000	14
0	9	13
1	13	13
2	19	13
3	30	13
4	41	13
5	51	13
6	65	13
7	94	13
8	158	13
9	287	13
10	636	13
11	1883	13
done	5000	13
0	9	13
1	13	13
2	19	13
3	30	13
4	41	13
5	51	13
6	65	13
7	94	13
8	158	13
9	287	13
10	636	13
11	1883	13
done	5000	13
0	6	6
1	8	5
2	10	5
3	13	5
4	16	5
5	22	5
6	26	5
7	42	5
8	46	5
9	51	5
10	58	5
11	76	5
12	97	5
13	115	5
14	118	5
done	118	5
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	10	5
2	13	5
3	16	5
4	22	5
5	26	5
6	42	5
7	46	5
8	51	5
9	58	5
10	77	5
11	98	5
12	111	5
13	114	5
done	114	5
0	6	11
1	8	11
2	9	11
done	9	11
0	5	5
1	7	5
2	8	5
done	8	5
0	6	14
1	9	14
2	24	6
3	67	6
4	178	6
5	507	6
6	1724	6
7	4983	6
done	5000	6
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	7	8
1	22	8
2	46	8
3	85	8
4	176	8
5	521	8
6	2312	8
done	5001	8
0	8	14
1	17	11
2	27	11
3	31	11
4	36	11
5	45	11
6	70	11
7	129	11
8	266	11
9	715	11
10	2419	11
done	5000	11
0	2	2
done	2	2
0	6	9
1	13	8
2	22	8
3	40	8
4	69	8
5	122	8
6	211	8
7	470	8
8	2108	8
done	5001	8
0	4	4
1	5	4
done	5	4
0	6	6
1	7	6
done	7	6
0	6	6
1	8	6
2	9	6
done	9	6
0	4	4
1	6	4
2	7	4
done	7	4
0	2	2
done	2	2
0	10	20
1	26	20
2	38	12
3	61	12
4	108	12
5	241	12
6	665	12
7	2525	12
done	5001	12
0	9	10
1	23	10
2	34	10
3	56	10
4	103	10
5	233	10
6	655	10
7	2510	10
done	5001	10
0	9	10
1	23	10
2	34	10
3	56	10
4	103	10
5	233	10
6	655	10
7	2510	10
done	5001	10
0	9	10
1	23	10
2	34	10
3	56	10
4	103	10
5	233	10
6	655	10
7	2510	10
done	5001	10
0	9	15
1	19	12
2	36	12
3	52	12
4	76	12
5	106	12
6	148	12
7	246	12
8	556	12
9	1774	12
done	5000	12
0	5	5
1	6	5
done	6	5
0	2	2
1	4	1
done	4	1
0	8	9
1	22	9
2	33	9
3	55	9
4	102	9
5	223	9
6	636	9
7	2497	9
done	5001	9
0	4	4
1	15	1
2	19	1
3	23	1
done	23	1
0	8	9
1	22	9
2	33	9
3	55	9
4	102	9
5	223	9
6	636	9
7	2497	9
done	5001	9
0	4	4
1	15	1
2	19	1
3	23	1
done	23	1
0	8	9
1	22	9
2	33	9
3	55	9
4	102	9
5	223	9
6	636	9
7	2497	9
done	5001	9
0	4	4
1	15	1
2	19	1
3	23	1
done	23	1
0	8	9
1	22	9
2	33	9
3	55	9
4	102	9
5	223	9
6	636	9
7	2497	9
done	5001	9
0	4	4
1	15	1
2	19	1
3	23	1
done	23	1
0	8	9
1	22	9
2	33	9
3	55	9
4	102	9
5	223	9
6	636	9
7	2497	9
done	5001	9
0	2	2
1	4	1
done	4	1
0	8	9
1	22	9
2	33	9
3	55	9
4	102	9
5	223	9
6	636	9
7	2497	9
done	5001	9
0	10	13
1	34	13
2	123	13
3	393	13
4	1359	13
done	5000	13
0	12	27
1	37	18
2	135	18
3	477	18
4	1815	18
done	5001	18
0	10	18
1	32	9
2	91	9
3	243	9
4	831	9
5	3653	9
done	5000	9
0	8	9
1	23	9
2	47	9
3	89	9
4	189	9
5	544	9
6	2363	9
done	5000	9
0	8	9
1	22	9
2	33	9
3	55	9
4	102	9
5	223	9
6	636	9
7	2497	9
done	5001	9
0	9	10
1	23	10
2	34	10
3	56	10
4	103	10
5	233	10
6	655	10
7	2510	10
done	5001	10
0	9	10
1	23	8
2	34	8
3	56	8
4	103	8
5	233	8
6	655	8
7	2510	8
done	5001	8
0	10	21
1	24	21
2	35	21
3	57	21
4	104	21
5	237	21
6	651	21
7	2523	21
done	5000	21
0	9	10
1	23	10
2	34	10
3	56	10
4	103	10
5	233	10
6	655	10
7	2510	10
done	5001	10
0	10	29
1	25	29
2	37	11
3	61	11
4	110	11
5	244	11
6	689	11
7	2612	11
done	5000	11
0	9	10
1	23	10
2	34	10
3	56	10
4	103	10
5	233	10
6	655	10
7	2510	10
done	5001	10
0	9	10
1	23	10
2	34	10
3	56	10
4	103	10
5	233	10
6	655	10
7	2510	10
done	5001	10
0	3	3
1	4	3
done	4	3
0	5	5
1	6	3
done	6	3
0	3	3
1	6	1
done	6	1
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	3	3
1	4	3
done	4	3
0	6	8
1	10	8
2	17	8
3	41	8
4	97	8
5	255	8
6	872	8
7	3300	8
done	5000	8
0	5	5
1	9	5
2	14	5
3	32	5
4	71	5
5	175	5
6	548	5
7	2169	5
done	5000	5
0	4	4
1	11	2
2	18	2
3	29	2
4	51	2
5	112	2
6	321	2
7	1250	2
done	5000	2
0	6	9
1	16	9
2	37	5
3	72	4
4	148	4
5	373	4
6	1199	4
done	5000	4
0	5	5
1	13	2
2	19	2
3	29	2
4	50	2
5	108	2
6	312	2
7	1238	2
done	5000	2
0	5	5
1	13	5
2	19	5
3	30	5
4	51	5
5	112	5
6	322	5
7	1253	5
done	5000	5
0	5	5
1	13	5
2	19	5
3	30	5
4	51	5
5	112	5
6	322	5
7	1253	5
done	5000	5
0	3	3
1	13	1
done	13	1
0	4	4
1	12	4
2	20	4
3	35	4
4	62	4
5	128	4
6	350	4
7	1303	4
done	5000	4
0	3	5
1	5	4
2	7	4
3	10	4
4	14	4
5	23	4
6	48	4
7	99	4
8	219	4
9	594	4
10	2114	4
done	5000	4
0	5	5
1	15	5
2	29	3
3	45	3
4	95	3
5	229	3
6	729	3
7	2928	3
done	5000	3
0	5	5
1	13	5
2	27	5
3	54	5
4	110	5
5	270	5
6	827	5
7	3488	5
done	5000	5
0	6	11
1	13	5
2	21	4
3	36	4
4	63	4
5	127	4
6	347	4
7	1292	4
done	5000	4
0	5	5
1	13	2
2	21	2
3	36	2
4	63	2
5	127	2
6	350	2
7	1321	2
done	5000	2
0	6	14
1	18	9
2	59	6
3	174	6
4	562	6
5	2004	4
done	5000	4
0	6	9
1	16	9
2	37	5
3	72	4
4	148	4
5	373	4
6	1199	4
done	5000	4
0	5	5
1	13	2
2	19	2
3	29	2
4	50	2
5	108	2
6	312	2
7	1238	2
done	5000	2
0	5	5
1	13	5
2	19	5
3	30	5
4	51	5
5	112	5
6	322	5
7	1253	5
done	5000	5
0	5	5
1	13	5
2	19	5
3	30	5
4	51	5
5	112	5
6	322	5
7	1253	5
done	5000	5
0	3	3
1	13	1
done	13	1
0	4	4
1	12	4
2	20	4
3	35	4
4	62	4
5	128	4
6	350	4
7	1303	4
done	5000	4
0	3	5
1	5	4
2	7	4
3	10	4
4	14	4
5	23	4
6	48	4
7	99	4
8	219	4
9	594	4
10	2114	4
done	5000	4
0	5	5
1	13	5
2	22	5
3	37	5
4	64	5
5	136	5
6	359	5
7	1337	5
done	5000	5
0	5	5
1	13	5
2	22	5
3	37	5
4	64	5
5	136	5
6	359	5
7	1337	5
done	5000	5
0	6	6
1	11	4
2	17	4
3	27	4
4	50	4
5	112	4
6	329	4
7	1255	4
done	5001	4
0	6	6
1	11	4
2	17	4
3	27	4
4	50	4
5	112	4
6	329	4
7	1255	4
done	5001	4
0	9	12
1	22	10
2	46	10
3	60	10
4	83	10
5	111	10
6	133	10
7	204	10
8	444	10
9	1369	10
done	5000	10
0	9	12
1	20	12
2	43	12
3	74	12
4	156	10
5	403	10
6	1360	10
done	5000	10
0	9	12
1	20	12
2	43	12
3	74	12
4	156	10
5	403	10
6	1360	10
done	5000	10
0	11	13
1	28	13
2	73	13
3	108	11
4	181	11
5	354	11
6	895	11
7	3250	11
done	5000	11
0	4	4
1	6	4
2	7	4
done	7	4
0	4	4
1	6	4
2	7	4
done	7	4
0	16	22
1	37	22
2	116	22
3	238	22
4	423	18
5	674	18
6	924	16
7	1293	16
8	1878	16
9	3889	16
done	5000	16
0	7	7
1	16	7
2	24	7
3	39	7
4	66	7
5	136	7
6	351	7
7	1305	7
done	5000	7
0	7	7
1	16	7
2	24	7
3	39	7
4	66	7
5	136	7
6	351	7
7	1305	7
done	5000	7
0	10	11
1	22	11
2	42	11
3	65	9
4	111	9
5	252	9
6	776	9
7	3230	9
done	5000	9
0	4	4
1	12	4
2	20	4
3	35	4
4	62	4
5	128	4
6	350	4
7	1303	4
done	5000	4
0	4	4
1	12	4
2	20	4
3	35	4
4	62	4
5	128	4
6	350	4
7	1303	4
done	5000	4

prune185.0ms

Filtered

58 candidates to 86 candidates (-48.3%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	86	0	86
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	86	4	90

Merged error: 0.0b

Counts

90 → 4

localize17.0ms

Local error

Found 4 expressions with local error:

0.7b	(* (* (cbrt (- (log (+ 1.0 (exp x))) (* x y))) (cbrt (- (log (+ 1.0 (exp x))) (* x y)))) (cbrt (- (log (+ 1.0 (exp x))) (* x y))))
1.1b	(cbrt (- (log (+ 1.0 (exp x))) (* x y)))
1.1b	(cbrt (- (log (+ 1.0 (exp x))) (* x y)))
1.1b	(cbrt (- (log (+ 1.0 (exp x))) (* x y)))

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

60×	`cbrt-div`
30×	`flip3--` `flip--`
28×	`frac-times`
23×	`pow1`
14×	`associate-*l/`
13×	`cbrt-prod`
12×	`pow1/3`
11×	`add-sqr-sqrt`
9×	`add-exp-log` `add-cube-cbrt` `*-un-lft-identity` `pow-prod-up`
8×	`associate-*r/`
6×	`pow-plus` `associate-r`
5×	`pow-prod-down` `add-cbrt-cube`
4×	`add-log-exp`
3×	`prod-exp` `pow-sqr` `cbrt-unprod`
2×	`pow2` `unswap-sqr`
1×	`associate-l` `pow3` `*-commutative`

Counts

4 → 100

Calls

4 calls:

16.0ms	(* (* (cbrt (- (log (+ 1.0 (exp x))) (* x y))) (cbrt (- (log (+ 1.0 (exp x))) (* x y)))) (cbrt (- (log (+ 1.0 (exp x))) (* x y))))
3.0ms	(cbrt (- (log (+ 1.0 (exp x))) (* x y)))
3.0ms	(cbrt (- (log (+ 1.0 (exp x))) (* x y)))
3.0ms	(cbrt (- (log (+ 1.0 (exp x))) (* x y)))

series200.0ms

Counts

4 → 12

Calls

4 calls:

15.0ms	(* (* (cbrt (- (log (+ 1.0 (exp x))) (* x y))) (cbrt (- (log (+ 1.0 (exp x))) (* x y)))) (cbrt (- (log (+ 1.0 (exp x))) (* x y))))
60.0ms	(cbrt (- (log (+ 1.0 (exp x))) (* x y)))
65.0ms	(cbrt (- (log (+ 1.0 (exp x))) (* x y)))
60.0ms	(cbrt (- (log (+ 1.0 (exp x))) (* x y)))

simplify2.9min

Counts

112 → 112

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	10	11
1	14	11
2	21	11
done	21	11
0	10	11
1	14	11
2	21	11
done	21	11
0	11	22
1	15	22
2	22	22
done	22	22
0	10	11
1	14	11
2	21	11
done	21	11
0	10	11
1	14	11
2	21	11
done	21	11
0	10	11
1	14	11
2	21	11
done	21	11
0	2	2
1	4	1
done	4	1
0	9	10
1	13	10
2	20	10
done	20	10
0	12	14
1	32	14
2	87	14
3	291	14
4	707	14
5	1850	14
done	5001	14
0	13	30
1	31	26
2	64	26
3	79	24
4	80	24
done	80	24
0	11	20
1	25	20
2	55	20
3	113	20
4	164	20
5	257	20
6	371	20
7	613	20
8	2072	20
done	5000	20
0	9	10
1	12	10
done	12	10
0	11	23
1	15	23
2	22	23
done	22	23
0	10	11
1	14	11
2	21	11
done	21	11
0	11	32
1	16	32
2	25	12
3	30	9
4	36	9
5	46	9
6	67	9
7	123	9
8	325	9
9	1234	9
done	5000	9
0	10	11
1	14	11
2	21	11
done	21	11
0	10	11
1	14	11
2	21	11
done	21	11
0	10	11
1	14	11
2	21	11
done	21	11
0	10	11
1	14	11
2	21	11
done	21	11
0	11	22
1	15	22
2	22	22
done	22	22
0	10	11
1	14	11
2	21	11
done	21	11
0	10	11
1	14	11
2	21	11
done	21	11
0	10	11
1	14	11
2	21	11
done	21	11
0	2	2
1	4	1
done	4	1
0	9	10
1	13	10
2	20	10
done	20	10
0	12	14
1	32	14
2	87	14
3	291	14
4	707	14
5	1850	14
done	5001	14
0	13	30
1	31	26
2	64	26
3	79	24
4	80	24
done	80	24
0	11	20
1	25	20
2	55	20
3	113	20
4	164	20
5	257	20
6	371	20
7	613	20
8	2072	20
done	5000	20
0	9	10
1	12	10
done	12	10
0	11	23
1	15	23
2	22	23
done	22	23
0	10	11
1	14	11
2	21	11
done	21	11
0	11	32
1	16	32
2	25	12
3	30	9
4	36	9
5	46	9
6	67	9
7	123	9
8	325	9
9	1234	9
done	5000	9
0	10	11
1	14	11
2	21	11
done	21	11
0	10	11
1	14	11
2	21	11
done	21	11
0	10	11
1	14	11
2	21	11
done	21	11
0	10	11
1	14	11
2	21	11
done	21	11
0	11	22
1	15	22
2	22	22
done	22	22
0	10	11
1	14	11
2	21	11
done	21	11
0	10	11
1	14	11
2	21	11
done	21	11
0	10	11
1	14	11
2	21	11
done	21	11
0	2	2
1	4	1
done	4	1
0	9	10
1	13	10
2	20	10
done	20	10
0	12	14
1	32	14
2	87	14
3	291	14
4	707	14
5	1850	14
done	5001	14
0	13	30
1	31	26
2	64	26
3	79	24
4	80	24
done	80	24
0	11	20
1	25	20
2	55	20
3	113	20
4	164	20
5	257	20
6	371	20
7	613	20
8	2072	20
done	5000	20
0	9	10
1	12	10
done	12	10
0	11	23
1	15	23
2	22	23
done	22	23
0	10	11
1	14	11
2	21	11
done	21	11
0	11	32
1	16	32
2	25	12
3	30	9
4	36	9
5	46	9
6	67	9
7	123	9
8	325	9
9	1234	9
done	5000	9
0	10	11
1	14	11
2	21	11
done	21	11
0	10	11
1	14	11
2	21	11
done	21	11
0	3	5
1	8	1
2	10	1
done	10	1
0	3	5
1	9	1
done	9	1
0	3	3
1	7	1
done	7	1
0	3	5
1	9	1
done	9	1
0	4	5
1	11	3
2	14	1
done	14	1
0	4	5
1	11	1
done	11	1
0	10	29
1	15	29
2	36	11
3	111	11
4	408	11
5	1417	11
6	4202	11
done	5000	11
0	11	32
1	16	32
2	25	12
3	30	9
4	36	9
5	46	9
6	67	9
7	123	9
8	325	9
9	1234	9
done	5000	9
0	11	32
1	16	32
2	25	12
3	30	9
4	36	9
5	46	9
6	67	9
7	123	9
8	325	9
9	1234	9
done	5000	9
0	3	5
1	9	1
done	9	1
0	3	3
1	7	1
done	7	1
0	3	5
1	9	1
done	9	1
0	4	5
1	11	1
done	11	1
0	12	35
1	19	25
2	31	13
3	34	13
done	34	13
0	13	34
1	19	34
2	28	25
3	33	13
4	36	13
done	36	13
0	12	33
1	20	33
2	31	13
3	38	10
4	51	10
5	67	10
6	106	10
7	213	10
8	565	10
9	2152	10
done	5000	10
0	12	33
1	19	33
2	35	13
3	49	10
4	91	10
5	181	9
6	417	9
7	1211	9
8	4823	9
done	5000	9
0	10	29
1	15	29
2	36	11
3	111	11
4	408	11
5	1417	11
6	4202	11
done	5000	11
0	13	75
1	28	75
2	76	33
3	232	22
4	791	11
5	3368	11
done	5001	11
0	13	67
1	18	67
2	27	27
3	32	21
4	38	21
5	48	21
6	69	21
7	125	21
8	332	21
9	1246	21
done	5000	21
0	12	33
1	17	33
2	26	13
3	31	10
4	37	10
5	47	10
6	68	10
7	128	10
8	343	10
9	1249	10
done	5000	10
0	13	98
1	27	98
2	60	14
3	80	11
4	189	11
5	758	11
6	3472	11
done	5000	11
0	12	33
1	17	33
2	26	13
3	31	10
4	38	10
5	48	10
6	69	10
7	127	10
8	339	10
9	1276	10
done	5000	10
0	12	33
1	17	33
2	26	13
3	31	10
4	38	10
5	48	10
6	69	10
7	127	10
8	339	10
9	1276	10
done	5000	10
0	14	44
1	35	44
2	91	16
3	292	13
4	737	13
5	1870	13
done	5001	13
0	15	92
1	34	80
2	69	28
3	88	23
4	95	23
5	105	23
6	126	23
7	191	23
8	401	23
9	1320	23
done	5000	23
0	18	50
1	51	50
2	133	50
3	364	50
4	779	50
5	2010	50
done	5000	50
0	17	72
1	38	64
2	72	64
3	87	60
4	88	60
done	88	60
0	18	50
1	50	50
2	133	50
3	366	50
4	779	50
5	2032	50
done	5000	50
0	17	72
1	37	64
2	72	64
3	84	60
4	85	60
done	85	60
0	18	56
1	52	56
2	133	56
3	363	56
4	778	56
5	2010	56
done	5001	56
0	17	52
1	39	48
2	72	48
3	87	46
4	88	46
done	88	46
0	18	50
1	52	50
2	133	50
3	358	50
4	773	50
5	2005	50
done	5000	50
0	17	72
1	39	64
2	72	64
3	83	60
4	84	60
done	84	60
0	18	56
1	50	56
2	133	56
3	359	56
4	778	56
5	2015	56
done	5000	56
0	17	52
1	37	48
2	72	48
3	83	46
4	84	46
done	84	46
0	18	56
1	51	56
2	133	56
3	362	56
4	757	56
5	2012	56
done	5000	56
0	17	52
1	38	48
2	72	48
3	85	46
4	86	46
done	86	46
0	13	62
1	28	62
2	60	22
3	124	19
4	181	19
5	288	19
6	405	19
7	707	19
8	2326	19
done	5000	19
0	11	32
1	15	32
2	17	12
3	22	9
4	28	9
5	38	9
6	59	9
7	115	9
8	320	9
9	1239	9
done	5000	9
0	16	40
1	42	40
2	104	40
3	300	40
4	768	40
5	1908	40
done	5001	40
0	14	61
1	32	53
2	65	53
3	78	49
4	79	49
done	79	49
0	20	46
1	55	46
2	150	46
3	406	46
4	796	46
5	2040	46
done	5000	46
0	16	41
1	35	37
2	67	37
3	82	35
4	83	35
done	83	35
0	20	46
1	55	46
2	150	46
3	408	46
4	799	46
5	2038	46
done	5001	46
0	16	41
1	35	37
2	67	37
3	78	35
4	79	35
done	79	35
0	15	52
1	34	52
2	74	52
3	155	52
4	234	52
5	325	52
6	538	52
7	1832	52
done	5001	52
0	10	21
1	13	21
done	13	21
0	16	40
1	40	40
2	104	40
3	299	40
4	752	40
5	1898	40
done	5000	40
0	14	61
1	32	53
2	65	53
3	78	49
4	79	49
done	79	49
0	20	46
1	55	46
2	150	46
3	416	46
4	807	46
5	2044	46
done	5001	46
0	16	41
1	35	37
2	67	37
3	82	35
4	83	35
done	83	35
0	20	46
1	55	46
2	150	46
3	409	46
4	852	46
5	2087	46
done	5001	46
0	16	41
1	35	37
2	67	37
3	78	35
4	79	35
done	79	35
0	15	52
1	32	52
2	74	52
3	155	52
4	235	52
5	343	52
6	552	52
7	1902	52
done	5000	52
0	10	21
1	13	21
done	13	21
0	12	22
1	17	22
2	24	22
done	24	22
0	12	22
1	17	22
2	24	22
done	24	22
0	11	22
1	16	22
2	23	22
done	23	22
0	11	22
1	16	22
2	23	22
done	23	22
0	12	44
1	19	44
2	28	44
done	28	44
0	13	33
1	20	33
2	29	33
done	29	33
0	13	24
1	22	23
2	31	23
done	31	21
0	13	45
1	24	45
2	42	45
3	43	45
done	43	45
0	12	33
1	19	33
2	28	33
done	28	33
0	12	23
1	21	21
2	36	21
done	36	21
0	10	21
1	14	21
2	21	21
done	21	21
0	16	36
1	41	36
2	104	36
3	293	36
4	731	36
5	1865	36
done	5001	36
0	15	42
1	33	42
2	74	42
3	155	42
4	236	42
5	328	42
6	537	42
7	1842	42
done	5000	42
0	16	40
1	41	40
2	104	40
3	300	40
4	738	40
5	1899	40
done	5001	40
0	20	46
1	55	46
2	150	46
3	415	46
4	806	46
5	2033	46
done	5000	46
0	20	46
1	55	46
2	150	46
3	407	46
4	797	46
5	2055	46
done	5001	46
0	15	52
1	33	52
2	74	52
3	156	52
4	238	52
5	342	52
6	553	52
7	1869	52
done	5000	52
0	16	36
1	40	36
2	104	36
3	300	36
4	757	36
5	1909	36
done	5001	36
0	15	42
1	32	42
2	74	42
3	155	42
4	233	42
5	326	42
6	539	42
7	1851	42
done	5000	42
0	16	36
1	42	36
2	104	36
3	306	36
4	764	36
5	1910	36
done	5000	36
0	15	42
1	34	42
2	74	42
3	156	42
4	236	42
5	336	42
6	549	42
7	1841	42
done	5000	42
0	27	47
1	71	43
2	206	43
3	653	35
4	2522	33
done	5000	33
0	33	80
1	91	71
2	316	68
3	1901	62
done	5001	62
0	34	80
1	89	77
2	317	77
3	2053	65
done	5001	65
0	27	47
1	71	43
2	206	43
3	653	35
4	2522	33
done	5000	33
0	33	80
1	91	71
2	316	68
3	1901	62
done	5001	62
0	34	80
1	89	77
2	317	77
3	2053	65
done	5001	65
0	27	47
1	71	43
2	206	43
3	653	35
4	2522	33
done	5000	33
0	33	80
1	91	71
2	316	68
3	1901	62
done	5001	62
0	34	80
1	89	77
2	317	77
3	2053	65
done	5001	65
0	11	12
1	22	12
2	44	12
3	49	12
4	59	10
5	71	10
6	93	10
7	157	10
8	372	10
9	1283	10
done	5000	10
0	8	9
1	12	9
2	19	9
done	19	9
0	8	9
1	12	9
2	19	9
done	19	9

prune409.0ms

Filtered

86 candidates to 112 candidates (-30.2%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	111	1	112
Fresh	0	2	2
Picked	1	0	1
Done	0	1	1
Total	112	4	116

Merged error: 0b

Counts

116 → 4

localize16.0ms

Local error

Found 3 expressions with local error:

0.0b	(* x (+ 0.5 (* x (- 0.25 (/ 1/2 (pow 2.0 2))))))
0.0b	(- (+ (log 2.0) (* x (+ 0.5 (* x (- 0.25 (/ 1/2 (pow 2.0 2))))))) (* x y))
0.0b	(+ (log 2.0) (* x (+ 0.5 (* x (- 0.25 (/ 1/2 (pow 2.0 2)))))))

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

8×	`add-sqr-sqrt` `add-log-exp`
6×	`add-cube-cbrt` `*-un-lft-identity`
5×	`pow1` `add-exp-log` `add-cbrt-cube`
3×	`associate-+l+` `log-prod` `associate-r` `associate-l`
2×	`distribute-rgt-in` `associate-+r+` `distribute-lft-in` `flip3-+` `diff-log` `associate-*r/` `sum-log` `flip-+`
1×	`+-commutative` `sub-neg` `flip3--` `pow-prod-down` `prod-exp` `associate--l+` `*-commutative` `flip--` `cbrt-unprod` `unswap-sqr`

Counts

3 → 52

Calls

3 calls:

6.0ms	(* x (+ 0.5 (* x (- 0.25 (/ 1/2 (pow 2.0 2))))))
7.0ms	(- (+ (log 2.0) (* x (+ 0.5 (* x (- 0.25 (/ 1/2 (pow 2.0 2))))))) (* x y))
5.0ms	(+ (log 2.0) (* x (+ 0.5 (* x (- 0.25 (/ 1/2 (pow 2.0 2)))))))

series33.0ms

Counts

3 → 9

Calls

3 calls:

15.0ms	(* x (+ 0.5 (* x (- 0.25 (/ 1/2 (pow 2.0 2))))))
12.0ms	(- (+ (log 2.0) (* x (+ 0.5 (* x (- 0.25 (/ 1/2 (pow 2.0 2))))))) (* x y))
7.0ms	(+ (log 2.0) (* x (+ 0.5 (* x (- 0.25 (/ 1/2 (pow 2.0 2)))))))

simplify3.0min

Counts

61 → 61

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	14	16
1	33	16
2	66	16
3	131	16
4	288	16
5	732	16
6	2102	16
done	5000	16
0	15	17
1	32	17
2	61	17
3	101	17
4	198	17
5	342	17
6	525	17
7	780	17
8	1201	17
9	2356	17
done	5000	17
0	15	17
1	35	17
2	72	16
3	139	16
4	297	16
5	724	16
6	1985	16
done	5000	16
0	16	35
1	33	35
2	62	35
3	102	35
4	199	35
5	347	35
6	535	35
7	787	35
8	1203	35
9	2367	35
done	5000	35
0	15	17
1	32	17
2	61	17
3	101	17
4	198	17
5	342	17
6	525	17
7	780	17
8	1201	17
9	2356	17
done	5000	17
0	16	50
1	46	50
2	135	18
3	540	18
4	3134	18
done	5000	18
0	15	17
1	32	17
2	61	17
3	101	17
4	198	17
5	342	17
6	525	17
7	780	17
8	1201	17
9	2356	17
done	5000	17
0	15	17
1	32	17
2	61	17
3	101	17
4	198	17
5	342	17
6	525	17
7	780	17
8	1201	17
9	2356	17
done	5000	17
0	17	20
1	49	20
2	123	20
3	417	20
4	1610	20
done	5000	20
0	18	50
1	51	36
2	161	36
3	497	36
4	1848	36
done	5001	36
0	16	33
1	44	33
2	130	33
3	408	33
4	1614	33
done	5000	33
0	14	16
1	32	16
2	69	16
3	135	16
4	290	16
5	647	16
6	1154	16
7	1719	16
8	2172	16
9	3118	16
done	5000	16
0	6	6
1	8	6
done	8	6
0	6	6
1	8	6
done	8	6
0	15	17
1	32	17
2	61	17
3	101	17
4	198	17
5	344	17
6	527	17
7	783	17
8	1200	17
9	2361	17
done	5000	17
0	15	17
1	32	17
2	61	17
3	100	17
4	201	17
5	372	17
6	684	17
7	1490	17
8	4204	17
done	5000	17
0	14	16
1	31	16
2	60	16
3	100	16
4	197	16
5	343	16
6	531	16
7	783	16
8	1208	16
9	2382	16
done	5000	16
0	18	21
1	41	21
2	85	20
3	194	18
4	604	18
5	2905	18
done	5000	18
0	19	22
1	44	21
2	93	21
3	219	18
4	649	18
5	2614	18
done	5000	18
0	18	21
1	40	21
2	86	19
3	160	19
4	338	19
5	744	19
6	1311	19
7	2430	19
8	4360	19
done	5000	19
0	18	21
1	43	21
2	101	19
3	215	18
4	566	18
5	1855	18
done	5001	18
0	19	43
1	41	43
2	87	39
3	161	39
4	340	39
5	750	39
6	1310	39
7	2433	39
8	4354	39
done	5000	39
0	18	21
1	40	21
2	86	19
3	160	19
4	338	19
5	744	19
6	1311	19
7	2430	19
8	4360	19
done	5000	19
0	19	62
1	42	62
2	114	20
3	426	20
4	3016	20
done	5001	20
0	18	21
1	40	21
2	86	19
3	160	19
4	338	19
5	744	19
6	1311	19
7	2430	19
8	4360	19
done	5000	19
0	18	21
1	40	21
2	86	19
3	160	19
4	338	19
5	744	19
6	1311	19
7	2430	19
8	4360	19
done	5000	19
0	20	24
1	55	24
2	154	24
3	501	24
4	1811	24
done	5001	24
0	21	62
1	61	58
2	165	58
3	561	43
4	2658	43
done	5001	43
0	4	4
1	9	4
2	11	4
done	11	4
0	19	41
1	55	41
2	152	41
3	511	37
4	2299	37
done	5001	37
0	17	20
1	38	20
2	77	18
3	148	18
4	313	18
5	621	18
6	874	18
7	1282	18
8	2092	18
9	3958	18
done	5000	18
0	15	17
1	36	15
2	78	15
3	139	15
4	284	15
5	525	15
6	852	15
7	1541	15
8	2645	15
9	3796	15
done	5000	15
0	4	4
1	9	4
2	11	4
done	11	4
0	12	13
1	28	13
2	53	13
3	89	13
4	170	13
5	283	13
6	451	13
7	679	13
8	1024	13
9	2036	13
done	5000	13
0	14	15
1	24	15
2	45	15
3	67	15
4	107	15
5	158	15
6	222	15
7	316	15
8	551	15
9	1498	15
done	5000	15
0	13	14
1	32	14
2	58	14
3	94	14
4	175	14
5	290	14
6	462	14
7	688	14
8	1028	14
9	2038	14
done	5000	14
0	13	14
1	31	14
2	64	14
3	121	14
4	262	14
5	611	14
6	1543	14
done	5001	14
0	16	41
1	44	41
2	160	17
3	623	17
4	3135	15
done	5000	15
0	14	29
1	30	29
2	55	29
3	91	29
4	172	29
5	288	29
6	463	29
7	691	29
8	1038	29
9	2059	29
done	5001	29
0	13	14
1	29	14
2	54	14
3	90	14
4	171	14
5	286	14
6	454	14
7	679	14
8	1035	14
9	2046	14
done	5001	14
0	14	41
1	40	41
2	135	15
3	472	15
4	1743	15
done	5000	15
0	13	14
1	29	14
2	54	14
3	90	14
4	171	14
5	286	14
6	454	14
7	679	14
8	1035	14
9	2046	14
done	5001	14
0	13	14
1	29	14
2	54	14
3	90	14
4	171	14
5	286	14
6	454	14
7	679	14
8	1035	14
9	2046	14
done	5001	14
0	14	15
1	24	15
2	45	15
3	67	15
4	107	15
5	158	15
6	222	15
7	316	15
8	551	15
9	1498	15
done	5000	15
0	14	15
1	24	15
2	45	15
3	67	15
4	107	15
5	158	15
6	222	15
7	316	15
8	551	15
9	1498	15
done	5000	15
0	3	3
1	4	3
done	4	3
0	10	11
1	21	11
2	49	11
3	80	11
4	149	11
5	265	11
6	419	11
7	588	11
8	847	11
9	1770	11
done	5000	11
0	3	3
1	4	3
done	4	3
0	10	11
1	19	11
2	43	11
3	75	11
4	135	11
5	238	11
6	403	11
7	611	11
8	887	11
9	1809	11
done	5001	11
0	14	27
1	26	27
2	49	27
3	71	27
4	111	27
5	162	27
6	225	27
7	317	27
8	563	27
9	1512	27
done	5000	27
0	13	14
1	23	14
2	44	14
3	66	14
4	106	14
5	157	14
6	223	14
7	313	14
8	554	14
9	1510	14
done	5000	14
0	3	3
1	6	1
done	6	1
0	13	14
1	29	14
2	59	14
3	105	14
4	206	14
5	360	14
6	624	14
7	976	14
8	1459	14
9	2527	14
done	5001	14
0	13	14
1	29	14
2	59	14
3	105	14
4	206	14
5	360	14
6	624	14
7	976	14
8	1459	14
9	2527	14
done	5001	14
0	12	13
1	28	13
2	53	13
3	89	13
4	170	13
5	283	13
6	451	13
7	679	13
8	1024	13
9	2036	13
done	5000	13
0	15	17
1	46	17
2	130	17
3	377	17
4	1264	17
done	5000	17
0	14	25
1	35	25
2	108	25
3	345	25
4	1290	25
5	4730	25
done	5000	25
0	11	12
1	22	12
2	44	12
3	49	12
4	59	10
5	71	10
6	93	10
7	157	10
8	372	10
9	1283	10
done	5000	10
0	11	12
1	22	12
2	44	12
3	49	12
4	59	10
5	71	10
6	93	10
7	157	10
8	372	10
9	1283	10
done	5000	10
0	11	12
1	22	12
2	44	12
3	49	12
4	59	10
5	71	10
6	93	10
7	157	10
8	372	10
9	1283	10
done	5000	10
0	11	12
1	22	12
2	44	12
3	49	12
4	59	10
5	71	10
6	93	10
7	157	10
8	372	10
9	1283	10
done	5000	10
0	11	13
1	24	13
2	53	13
3	68	11
4	99	9
5	145	9
6	216	9
7	376	9
8	683	9
9	1629	9
done	5000	9
0	11	13
1	24	13
2	53	13
3	68	11
4	99	9
5	145	9
6	216	9
7	376	9
8	683	9
9	1629	9
done	5000	9
0	8	9
1	16	9
2	32	9
3	37	9
4	47	7
5	59	7
6	81	7
7	142	7
8	353	7
9	1281	7
done	5000	7
0	8	9
1	16	9
2	32	9
3	37	9
4	47	7
5	59	7
6	81	7
7	142	7
8	353	7
9	1281	7
done	5000	7
0	8	9
1	16	9
2	32	9
3	37	9
4	47	7
5	59	7
6	81	7
7	142	7
8	353	7
9	1281	7
done	5000	7

prune136.0ms

Filtered

50 candidates to 61 candidates (-22.0%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	61	0	61
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	61	4	65

Merged error: 0b

Counts

65 → 4

regimes96.0ms

Accuracy

0% (0.3b remaining)

Error of 0.5b against oracle of 0.2b and baseline of 0.5b

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	26
1	21	26
done	21	26

end0.0ms

sample1.1s

Algorithm

intervals

Results

390.0ms	8367×	body	80	valid
114.0ms	2417×	body	80	overflowed
82.0ms	274×	body	640	valid
78.0ms	146×	body	1280	valid
36.0ms	195×	body	320	valid
10.0ms	89×	body	160	valid

Details

sample40.0ms

simplify5.0ms

prune3.0ms

localize8.0ms

rewrite16.0ms

series31.0ms

simplify1.0min

prune102.0ms

localize18.0ms

rewrite29.0ms

series57.0ms

simplify3.8min

prune185.0ms

localize17.0ms

rewrite31.0ms

series200.0ms

simplify2.9min

prune409.0ms

localize16.0ms

rewrite19.0ms

series33.0ms

simplify3.0min

prune136.0ms

regimes96.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample1.1s

Profiling