Details

sample92.0ms

Algorithm

intervals

Results

39.0ms

493×

body

valid

simplify11.2s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	18	19
1	32	19
2	75	19
3	201	19
4	539	19
5	1054	19
6	1486	19
7	1772	19
8	2295	19
9	3416	19
10	4163	19
11	4242	19
done	4242	19

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

Counts

2 → 1

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ a (* b c))
0.0b	(+ (* x y) (* z t))
0.1b	(* (+ a (* b c)) c)
8.9b	(* (* (+ a (* b c)) c) i)

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

11×	`pow1` `add-exp-log` `add-cbrt-cube`
9×	`add-sqr-sqrt`
8×	`add-log-exp`
7×	`add-cube-cbrt` `*-un-lft-identity`
6×	`associate-r` `associate-*l/`
4×	`flip3-+` `associate-l` `pow-prod-down` `prod-exp` `cbrt-unprod` `flip-+`
2×	`+-commutative` `sum-log` `*-commutative`
1×	`unswap-sqr`

Counts

4 → 62

Calls

4 calls:

3.0ms	(+ a (* b c))
4.0ms	(+ (* x y) (* z t))
6.0ms	(* (+ a (* b c)) c)
8.0ms	(* (* (+ a (* b c)) c) i)

series60.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(+ a (* b c))
11.0ms	(+ (* x y) (* z t))
22.0ms	(* (+ a (* b c)) c)
19.0ms	(* (* (+ a (* b c)) c) i)

simplify1.5min

Counts

74 → 74

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	8	9
1	14	9
2	28	9
3	55	9
4	76	9
5	82	9
done	82	9
0	8	9
1	14	9
2	28	9
3	55	9
4	76	9
5	82	9
done	82	9
0	11	12
1	17	12
2	23	12
3	25	12
done	25	12
0	10	11
1	17	11
2	30	11
3	37	11
done	37	11
0	9	10
1	18	10
2	39	10
3	78	10
4	99	10
5	105	10
done	105	10
0	9	10
1	17	10
2	42	10
3	99	10
4	194	10
5	384	10
6	912	10
7	2781	10
done	5000	10
0	14	29
1	41	29
2	157	15
3	665	15
4	3415	13
done	5000	13
0	12	29
1	31	29
2	130	13
3	619	13
4	2623	11
done	5001	11
0	10	21
1	16	21
2	30	21
3	57	21
4	78	21
5	84	21
done	84	21
0	9	10
1	15	10
2	29	10
3	56	10
4	77	10
5	83	10
done	83	10
0	10	29
1	26	29
2	104	11
3	604	11
4	2808	11
done	5000	11
0	9	10
1	15	10
2	29	10
3	56	10
4	77	10
5	83	10
done	83	10
0	9	10
1	15	10
2	29	10
3	56	10
4	77	10
5	83	10
done	83	10
0	10	13
1	18	13
2	39	13
3	84	13
4	143	13
5	175	13
done	175	13
0	9	10
1	15	10
2	29	10
3	58	10
4	79	10
5	83	10
done	83	10
0	8	9
1	16	7
2	36	7
3	59	7
4	78	7
5	92	7
done	92	7
0	3	3
1	4	3
done	4	3
0	11	13
1	33	13
2	85	13
3	228	13
4	731	13
5	2693	13
done	5000	13
0	10	15
1	27	15
2	75	15
3	219	15
4	634	15
5	1397	15
6	2191	15
7	3146	15
done	5001	15
0	6	7
1	9	7
2	17	7
3	20	7
done	20	7
0	8	9
1	11	9
done	11	9
0	7	8
1	13	8
2	22	8
3	25	8
done	25	8
0	7	8
1	12	8
2	30	8
3	48	8
4	83	8
5	173	8
6	456	8
7	1325	8
8	4818	8
done	5000	8
0	10	23
1	31	23
2	107	11
3	370	11
4	1395	9
done	5000	9
0	8	17
1	11	17
2	19	17
3	22	17
done	22	17
0	7	8
1	10	8
2	18	8
3	21	8
done	21	8
0	8	23
1	21	23
2	82	9
3	311	9
4	866	9
5	2317	9
done	5000	9
0	7	8
1	10	8
2	18	8
3	21	8
done	21	8
0	7	8
1	10	8
2	18	8
3	21	8
done	21	8
0	8	9
1	11	9
done	11	9
0	8	9
1	11	9
done	11	9
0	8	11
1	13	11
2	23	11
3	43	11
4	61	11
5	63	11
done	63	11
0	7	8
1	10	8
2	18	8
3	26	8
4	30	8
done	30	8
0	7	7
1	12	5
2	23	5
3	39	5
4	53	5
done	53	5
0	7	8
1	10	8
done	10	8
0	7	8
1	10	8
done	10	8
0	6	7
1	9	7
2	17	7
3	20	7
done	20	7
0	9	11
1	28	11
2	74	11
3	186	11
4	422	11
5	1238	11
done	5000	11
0	8	13
1	22	13
2	62	13
3	161	13
4	317	13
5	507	13
6	724	13
7	1212	13
8	4180	13
done	5000	13
0	9	9
1	18	8
2	30	8
3	58	8
4	175	8
5	619	8
6	2814	8
done	5000	8
0	8	8
1	11	8
done	11	8
0	8	8
1	14	8
2	23	8
3	36	8
4	88	8
5	282	8
6	1033	8
done	5001	8
0	9	17
1	12	17
done	12	17
0	8	8
1	11	8
done	11	8
0	9	23
1	25	23
2	89	9
3	330	9
4	988	9
5	2567	9
done	5000	9
0	8	8
1	11	8
done	11	8
0	8	8
1	11	8
done	11	8
0	10	11
1	32	11
2	99	11
3	244	11
4	477	11
5	1224	11
6	4678	11
done	5000	11
0	11	23
1	39	19
2	109	19
3	233	19
4	424	19
5	554	19
6	721	19
7	842	19
8	1136	19
9	1729	19
done	1729	19
0	9	15
1	30	15
2	71	15
3	129	15
4	194	15
5	325	15
6	521	15
7	887	15
8	2712	15
done	5000	15
0	7	7
1	11	7
2	18	7
done	18	7
0	7	7
1	13	6
2	20	6
3	32	6
4	67	6
5	154	6
6	404	6
7	1258	6
8	4695	6
done	5001	6
0	6	6
1	8	6
done	8	6
0	6	6
1	11	6
2	16	6
3	23	6
4	41	6
5	95	6
6	222	6
7	598	6
8	1958	6
done	5000	6
0	7	13
1	9	13
done	9	13
0	6	6
1	8	6
done	8	6
0	7	17
1	22	17
2	70	7
3	219	7
4	609	7
5	1529	7
6	3287	7
done	5000	7
0	6	6
1	8	6
done	8	6
0	6	6
1	8	6
done	8	6
0	8	9
1	26	9
2	64	9
3	149	9
4	272	9
5	705	9
6	2684	9
done	5001	9
0	9	17
1	27	13
2	69	13
3	121	13
4	155	13
5	176	13
6	197	13
7	250	13
8	397	13
9	660	13
10	711	13
done	711	13
0	7	11
1	20	11
2	50	11
3	109	11
4	159	11
5	260	11
6	370	11
7	612	11
8	2075	11
done	5000	11
0	5	5
1	8	5
2	15	5
done	15	5
0	1	1
done	1	1
0	11	13
1	25	13
2	57	13
3	78	11
4	97	9
5	117	9
6	139	9
7	204	9
8	418	9
9	1351	9
done	5000	9
0	11	13
1	25	13
2	57	13
3	78	11
4	97	9
5	117	9
6	139	9
7	204	9
8	418	9
9	1351	9
done	5000	9
0	1	1
done	1	1
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	1	1
done	1	1
0	7	7
1	10	7
done	10	7
0	7	7
1	10	7
done	10	7
0	1	1
done	1	1
0	5	5
1	7	5
done	7	5
0	5	5
1	7	5
done	7	5

prune158.0ms

Filtered

60 candidates to 74 candidates (-23.3%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	66	8	74
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	67	8	75

Merged error: 0.5b

Counts

75 → 8

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (+ (* x y) (* z t)) (* (+ a (* b c)) (* c i)))
0.0b	(+ a (* b c))
0.0b	(+ (* x y) (* z t))
3.7b	(* (+ a (* b c)) (* c i))

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

13×	`add-log-exp`
9×	`pow1` `add-exp-log` `add-cbrt-cube`
7×	`flip3-+` `flip-+`
6×	`associate-*l/`
5×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
4×	`frac-sub`
3×	`associate-l` `pow-prod-down` `prod-exp` `sum-log` `cbrt-unprod`
2×	`+-commutative` `diff-log`
1×	`sub-neg` `flip3--` `associate-r` `associate--l+` `*-commutative` `flip--`

Counts

4 → 60

Calls

4 calls:

8.0ms	(- (+ (* x y) (* z t)) (* (+ a (* b c)) (* c i)))
3.0ms	(+ a (* b c))
4.0ms	(+ (* x y) (* z t))
7.0ms	(* (+ a (* b c)) (* c i))

series424.0ms

Counts

4 → 12

Calls

4 calls:

382.0ms	(- (+ (* x y) (* z t)) (* (+ a (* b c)) (* c i)))
7.0ms	(+ a (* b c))
11.0ms	(+ (* x y) (* z t))
24.0ms	(* (+ a (* b c)) (* c i))

simplify1.9min

Counts

72 → 72

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	8	9
1	14	9
2	28	9
3	60	9
4	81	9
5	83	9
done	83	9
0	8	9
1	14	9
2	28	9
3	60	9
4	81	9
5	83	9
done	83	9
0	11	12
1	17	12
2	23	12
3	25	12
done	25	12
0	10	11
1	17	11
2	22	11
3	26	11
done	26	11
0	9	10
1	18	10
2	39	10
3	83	10
4	100	10
5	102	10
done	102	10
0	9	10
1	17	10
2	43	10
3	107	10
4	203	10
5	415	10
6	1196	10
7	4045	10
done	5000	10
0	14	29
1	41	29
2	159	15
3	697	15
4	4009	13
done	5001	13
0	12	29
1	43	29
2	163	13
3	729	13
4	3980	11
done	5000	11
0	10	21
1	16	21
2	30	21
3	62	21
4	73	21
5	75	21
done	75	21
0	9	10
1	15	10
2	29	10
3	61	10
4	74	10
5	76	10
done	76	10
0	10	29
1	26	29
2	129	11
3	738	11
4	3569	11
done	5000	11
0	9	10
1	15	10
2	29	10
3	61	10
4	74	10
5	76	10
done	76	10
0	9	10
1	15	10
2	29	10
3	61	10
4	74	10
5	76	10
done	76	10
0	6	7
1	9	7
2	17	7
3	20	7
done	20	7
0	9	10
1	15	10
2	21	10
done	21	10
0	9	10
1	15	10
2	21	10
done	21	10
0	8	9
1	14	9
2	28	9
3	60	9
4	81	9
5	83	9
done	83	9
0	11	13
1	33	13
2	85	13
3	244	13
4	814	13
5	2586	13
done	5001	13
0	10	15
1	27	15
2	75	15
3	233	15
4	695	15
5	1410	15
6	2169	15
7	3269	15
done	5000	15
0	9	9
1	18	8
2	30	8
3	58	8
4	175	8
5	619	8
6	2814	8
done	5000	8
0	8	8
1	11	8
done	11	8
0	8	8
1	14	8
2	23	8
3	36	8
4	88	8
5	282	8
6	1033	8
done	5001	8
0	9	17
1	12	17
done	12	17
0	8	8
1	11	8
done	11	8
0	9	23
1	25	23
2	89	9
3	330	9
4	988	9
5	2567	9
done	5000	9
0	8	8
1	11	8
done	11	8
0	8	8
1	11	8
done	11	8
0	10	11
1	32	11
2	99	11
3	244	11
4	477	11
5	1224	11
6	4678	11
done	5000	11
0	11	23
1	39	19
2	109	19
3	233	19
4	424	19
5	554	19
6	721	19
7	842	19
8	1136	19
9	1729	19
done	1729	19
0	9	15
1	30	15
2	71	15
3	129	15
4	194	15
5	325	15
6	521	15
7	887	15
8	2712	15
done	5000	15
0	7	7
1	11	7
2	18	7
done	18	7
0	7	7
1	13	6
2	20	6
3	32	6
4	67	6
5	154	6
6	404	6
7	1258	6
8	4695	6
done	5001	6
0	6	6
1	8	6
done	8	6
0	6	6
1	11	6
2	16	6
3	23	6
4	41	6
5	95	6
6	222	6
7	598	6
8	1958	6
done	5000	6
0	7	13
1	9	13
done	9	13
0	6	6
1	8	6
done	8	6
0	7	17
1	22	17
2	70	7
3	219	7
4	609	7
5	1529	7
6	3287	7
done	5000	7
0	6	6
1	8	6
done	8	6
0	6	6
1	8	6
done	8	6
0	8	9
1	26	9
2	64	9
3	149	9
4	272	9
5	705	9
6	2684	9
done	5001	9
0	9	17
1	27	13
2	69	13
3	121	13
4	155	13
5	176	13
6	197	13
7	250	13
8	397	13
9	660	13
10	711	13
done	711	13
0	7	11
1	20	11
2	50	11
3	109	11
4	159	11
5	260	11
6	370	11
7	612	11
8	2075	11
done	5000	11
0	5	5
1	8	5
2	15	5
done	15	5
0	19	20
1	38	19
2	83	18
3	227	18
4	892	18
done	5000	18
0	18	19
1	34	18
2	77	18
3	211	18
4	688	18
5	3404	18
done	5001	18
0	17	18
1	30	18
2	61	18
3	152	18
4	329	18
5	493	18
6	654	18
7	941	18
8	1383	18
9	1409	18
10	1430	18
done	1430	18
0	17	18
1	33	18
2	78	18
3	231	18
4	607	18
5	1899	18
done	5000	18
0	18	37
1	31	37
2	62	37
3	155	37
4	330	37
5	498	37
6	657	37
7	942	37
8	1384	37
9	1410	37
10	1432	37
done	1432	37
0	17	18
1	30	18
2	61	18
3	152	18
4	329	18
5	493	18
6	654	18
7	941	18
8	1383	18
9	1409	18
10	1430	18
done	1430	18
0	18	53
1	32	53
2	89	19
3	413	19
4	3077	19
done	5000	19
0	17	18
1	30	18
2	61	18
3	152	18
4	329	18
5	493	18
6	654	18
7	941	18
8	1383	18
9	1409	18
10	1430	18
done	1430	18
0	17	18
1	30	18
2	61	18
3	152	18
4	329	18
5	493	18
6	654	18
7	941	18
8	1383	18
9	1409	18
10	1430	18
done	1430	18
0	33	67
1	125	59
2	428	59
3	1871	59
done	5000	59
0	21	41
1	74	33
2	225	33
3	841	33
4	4615	33
done	5000	33
0	29	57
1	99	53
2	342	53
3	1447	53
done	5001	53
0	17	29
1	49	25
2	140	25
3	398	25
4	1502	25
done	5000	25
0	29	55
1	100	51
2	329	51
3	1535	43
done	5000	43
0	17	25
1	46	21
2	128	21
3	456	21
4	1695	21
5	4548	21
done	5000	21
0	24	45
1	70	45
2	232	45
3	1083	37
done	5000	31
0	13	13
1	21	13
2	47	13
3	121	13
4	325	13
5	675	13
6	1093	13
7	2003	13
8	2407	13
9	3172	13
10	3233	13
done	3233	13
0	19	21
1	46	21
2	148	21
3	805	21
done	5001	21
0	20	53
1	51	43
2	207	43
3	928	43
4	3634	43
done	5000	43
0	9	10
1	19	10
2	52	10
3	129	10
4	248	10
5	351	10
6	361	10
done	361	10
0	18	35
1	45	35
2	174	35
3	798	35
4	3142	35
done	5000	35
0	16	17
1	28	17
2	48	17
3	104	17
4	139	17
5	141	17
done	141	17
0	12	13
1	21	13
2	46	13
3	123	13
4	246	13
5	343	13
6	382	13
7	509	13
8	899	13
9	937	13
10	958	13
done	958	13
0	9	10
1	19	10
2	52	10
3	129	10
4	248	10
5	351	10
6	361	10
done	361	10
0	1	1
done	1	1
0	11	13
1	25	13
2	57	13
3	78	11
4	97	9
5	117	9
6	139	9
7	204	9
8	418	9
9	1351	9
done	5000	9
0	11	13
1	25	13
2	57	13
3	78	11
4	97	9
5	117	9
6	139	9
7	204	9
8	418	9
9	1351	9
done	5000	9
0	1	1
done	1	1
0	7	7
1	10	7
done	10	7
0	7	7
1	10	7
done	10	7
0	1	1
done	1	1
0	5	5
1	7	5
done	7	5
0	5	5
1	7	5
done	7	5
0	1	1
done	1	1
0	15	17
1	34	17
2	75	17
3	142	15
4	292	13
5	437	13
6	678	13
7	962	13
8	1208	13
9	2150	13
done	5000	13
0	15	17
1	34	17
2	75	17
3	142	15
4	292	13
5	437	13
6	678	13
7	962	13
8	1208	13
9	2150	13
done	5000	13

prune163.0ms

Filtered

57 candidates to 72 candidates (-26.3%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	67	5	72
Fresh	1	6	7
Picked	0	1	1
Done	0	0	0
Total	68	12	80

Merged error: 0.5b

Counts

80 → 12

localize20.0ms

Local error

Found 4 expressions with local error:

3.7b	(* (+ a (* b c)) (* c i))
9.6b	(cbrt (* (+ a (* b c)) (* c i)))
9.6b	(cbrt (* (+ a (* b c)) (* c i)))
9.6b	(cbrt (* (+ a (* b c)) (* c i)))

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

9×	`pow1` `add-exp-log` `add-cbrt-cube`
8×	`associate-*l/`
6×	`cbrt-div`
5×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
4×	`flip3-+` `flip-+` `add-log-exp`
3×	`cbrt-prod` `pow1/3` `associate-l` `pow-prod-down` `prod-exp` `cbrt-unprod`
1×	`associate-r` `*-commutative`

Counts

4 → 53

Calls

4 calls:

8.0ms	(* (+ a (* b c)) (* c i))
6.0ms	(cbrt (* (+ a (* b c)) (* c i)))
6.0ms	(cbrt (* (+ a (* b c)) (* c i)))
6.0ms	(cbrt (* (+ a (* b c)) (* c i)))

series179.0ms

Counts

4 → 12

Calls

4 calls:

23.0ms	(* (+ a (* b c)) (* c i))
51.0ms	(cbrt (* (+ a (* b c)) (* c i)))
55.0ms	(cbrt (* (+ a (* b c)) (* c i)))
50.0ms	(cbrt (* (+ a (* b c)) (* c i)))

simplify1.5min

Counts

65 → 65

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	10	11
1	16	11
2	30	11
3	62	11
4	73	11
5	75	11
done	75	11
0	10	11
1	16	11
2	30	11
3	62	11
4	73	11
5	75	11
done	75	11
0	6	6
1	8	6
done	8	6
0	4	4
1	5	4
done	5	4
0	12	14
1	34	14
2	86	14
3	239	14
4	833	14
5	2624	14
done	5000	14
0	10	18
1	28	14
2	70	14
3	124	14
4	156	14
5	177	14
6	198	14
7	251	14
8	398	14
9	661	14
10	713	14
done	713	14
0	11	16
1	28	16
2	76	16
3	234	16
4	693	16
5	1401	16
6	2199	16
7	3277	16
done	5000	16
0	6	6
1	9	6
2	16	6
done	16	6
0	11	23
1	17	23
2	31	23
3	63	23
4	74	23
5	76	23
done	76	23
0	10	11
1	16	11
2	30	11
3	62	11
4	73	11
5	75	11
done	75	11
0	11	32
1	18	32
2	34	12
3	71	9
4	90	9
5	102	9
6	123	9
7	185	9
8	397	9
9	1326	9
done	5000	9
0	10	11
1	16	11
2	30	11
3	62	11
4	73	11
5	75	11
done	75	11
0	10	11
1	16	11
2	30	11
3	62	11
4	73	11
5	75	11
done	75	11
0	10	11
1	16	11
2	30	11
3	62	11
4	73	11
5	75	11
done	75	11
0	10	11
1	16	11
2	30	11
3	62	11
4	73	11
5	75	11
done	75	11
0	6	6
1	8	6
done	8	6
0	4	4
1	5	4
done	5	4
0	12	14
1	34	14
2	86	14
3	239	14
4	833	14
5	2624	14
done	5000	14
0	10	18
1	28	14
2	70	14
3	124	14
4	156	14
5	177	14
6	198	14
7	251	14
8	398	14
9	661	14
10	713	14
done	713	14
0	11	16
1	28	16
2	76	16
3	234	16
4	693	16
5	1401	16
6	2199	16
7	3277	16
done	5000	16
0	6	6
1	9	6
2	16	6
done	16	6
0	11	23
1	17	23
2	31	23
3	63	23
4	74	23
5	76	23
done	76	23
0	10	11
1	16	11
2	30	11
3	62	11
4	73	11
5	75	11
done	75	11
0	11	32
1	18	32
2	34	12
3	71	9
4	90	9
5	102	9
6	123	9
7	185	9
8	397	9
9	1326	9
done	5000	9
0	10	11
1	16	11
2	30	11
3	62	11
4	73	11
5	75	11
done	75	11
0	10	11
1	16	11
2	30	11
3	62	11
4	73	11
5	75	11
done	75	11
0	10	11
1	16	11
2	30	11
3	62	11
4	73	11
5	75	11
done	75	11
0	10	11
1	16	11
2	30	11
3	62	11
4	73	11
5	75	11
done	75	11
0	6	6
1	8	6
done	8	6
0	4	4
1	5	4
done	5	4
0	12	14
1	34	14
2	86	14
3	239	14
4	833	14
5	2624	14
done	5000	14
0	10	18
1	28	14
2	70	14
3	124	14
4	156	14
5	177	14
6	198	14
7	251	14
8	398	14
9	661	14
10	713	14
done	713	14
0	11	16
1	28	16
2	76	16
3	234	16
4	693	16
5	1401	16
6	2199	16
7	3277	16
done	5000	16
0	6	6
1	9	6
2	16	6
done	16	6
0	11	23
1	17	23
2	31	23
3	63	23
4	74	23
5	76	23
done	76	23
0	10	11
1	16	11
2	30	11
3	62	11
4	73	11
5	75	11
done	75	11
0	11	32
1	18	32
2	34	12
3	71	9
4	90	9
5	102	9
6	123	9
7	185	9
8	397	9
9	1326	9
done	5000	9
0	10	11
1	16	11
2	30	11
3	62	11
4	73	11
5	75	11
done	75	11
0	10	11
1	16	11
2	30	11
3	62	11
4	73	11
5	75	11
done	75	11
0	8	9
1	14	9
2	28	9
3	60	9
4	81	9
5	83	9
done	83	9
0	8	9
1	14	9
2	28	9
3	60	9
4	81	9
5	83	9
done	83	9
0	11	12
1	17	12
2	23	12
3	25	12
done	25	12
0	10	11
1	17	11
2	22	11
3	26	11
done	26	11
0	9	10
1	18	10
2	39	10
3	83	10
4	100	10
5	102	10
done	102	10
0	9	10
1	17	10
2	43	10
3	107	10
4	203	10
5	415	10
6	1196	10
7	4045	10
done	5000	10
0	14	29
1	41	29
2	159	15
3	697	15
4	4009	13
done	5001	13
0	12	29
1	43	29
2	163	13
3	729	13
4	3980	11
done	5000	11
0	10	21
1	16	21
2	30	21
3	62	21
4	73	21
5	75	21
done	75	21
0	9	10
1	15	10
2	29	10
3	61	10
4	74	10
5	76	10
done	76	10
0	10	29
1	26	29
2	129	11
3	738	11
4	3569	11
done	5000	11
0	9	10
1	15	10
2	29	10
3	61	10
4	74	10
5	76	10
done	76	10
0	9	10
1	15	10
2	29	10
3	61	10
4	74	10
5	76	10
done	76	10
0	6	7
1	9	7
2	17	7
3	20	7
done	20	7
0	9	10
1	15	10
2	21	10
done	21	10
0	9	10
1	15	10
2	21	10
done	21	10
0	8	9
1	14	9
2	28	9
3	60	9
4	81	9
5	83	9
done	83	9
0	11	13
1	33	13
2	85	13
3	244	13
4	814	13
5	2586	13
done	5001	13
0	10	15
1	27	15
2	75	15
3	233	15
4	695	15
5	1410	15
6	2169	15
7	3269	15
done	5000	15
0	39	62
1	96	59
2	261	53
3	767	50
4	2310	36
done	5000	36
0	17	20
1	39	16
2	109	13
3	370	10
4	765	8
5	1427	6
6	2452	6
7	4899	6
done	5000	6
0	17	20
1	34	20
2	96	20
3	362	16
4	1436	12
done	5000	12
0	39	62
1	96	59
2	261	53
3	767	50
4	2310	36
done	5000	36
0	17	20
1	39	16
2	109	13
3	370	10
4	765	8
5	1427	6
6	2452	6
7	4899	6
done	5000	6
0	17	20
1	34	20
2	96	20
3	362	16
4	1436	12
done	5000	12
0	39	62
1	96	59
2	261	53
3	767	50
4	2310	36
done	5000	36
0	17	20
1	39	16
2	109	13
3	370	10
4	765	8
5	1427	6
6	2452	6
7	4899	6
done	5000	6
0	17	20
1	34	20
2	96	20
3	362	16
4	1436	12
done	5000	12
0	1	1
done	1	1
0	11	13
1	25	13
2	57	13
3	78	11
4	97	9
5	117	9
6	139	9
7	204	9
8	418	9
9	1351	9
done	5000	9
0	11	13
1	25	13
2	57	13
3	78	11
4	97	9
5	117	9
6	139	9
7	204	9
8	418	9
9	1351	9
done	5000	9

prune166.0ms

Filtered

57 candidates to 65 candidates (-14.0%)

Pruning

13 alts after pruning (11 fresh and 2 done)

	Pruned	Kept	Total
New	64	1	65
Fresh	0	10	10
Picked	0	1	1
Done	0	1	1
Total	64	13	77

Merged error: 0.5b

Counts

77 → 13

localize20.0ms

Local error

Found 4 expressions with local error:

1.1b	(cbrt (+ a (* b c)))
1.1b	(cbrt (+ a (* b c)))
1.4b	(* (* (cbrt (+ a (* b c))) (cbrt (+ a (* b c)))) (* (cbrt (+ a (* b c))) (* c i)))
2.1b	(* (cbrt (+ a (* b c))) (* c i))

rewrite44.0ms

Algorithm

rewrite-expression-head

Rules

60×	`cbrt-div`
34×	`associate-*l/`
30×	`pow1` `add-exp-log` `flip3-+` `flip-+`
28×	`frac-times`
18×	`pow-prod-down` `prod-exp` `add-cbrt-cube` `cbrt-unprod`
9×	`cbrt-prod`
8×	`add-sqr-sqrt` `add-cube-cbrt` `-un-lft-identity` `associate-r/`
7×	`associate-l`
4×	`add-log-exp`
2×	`pow1/3` `associate-r` `*-commutative`

Counts

4 → 103

Calls

4 calls:

3.0ms	(cbrt (+ a (* b c)))
3.0ms	(cbrt (+ a (* b c)))
20.0ms	(* (* (cbrt (+ a (* b c))) (cbrt (+ a (* b c)))) (* (cbrt (+ a (* b c))) (* c i)))
8.0ms	(* (cbrt (+ a (* b c))) (* c i))

series174.0ms

Counts

4 → 12

Calls

4 calls:

32.0ms	(cbrt (+ a (* b c)))
31.0ms	(cbrt (+ a (* b c)))
24.0ms	(* (* (cbrt (+ a (* b c))) (cbrt (+ a (* b c)))) (* (cbrt (+ a (* b c))) (* c i)))
86.0ms	(* (cbrt (+ a (* b c))) (* c i))

simplify4.2min

Counts

115 → 115

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	9	10
1	15	10
2	21	10
done	21	10
0	9	10
1	15	10
2	21	10
done	21	10
0	12	13
1	18	13
2	24	13
done	24	13
0	11	12
1	18	12
2	23	12
3	27	12
done	27	12
0	10	11
1	19	11
2	32	11
3	44	11
4	46	11
done	46	11
0	10	11
1	18	11
2	32	11
3	57	11
4	114	11
5	253	11
6	618	11
7	1813	11
done	5000	11
0	12	17
1	24	17
2	78	13
3	282	13
4	949	11
5	2156	11
done	5000	11
0	10	17
1	26	17
2	84	11
3	319	11
4	975	11
5	1402	11
6	2612	11
done	5001	11
0	11	23
1	17	23
2	23	23
3	25	23
done	25	23
0	10	11
1	16	11
2	22	11
done	22	11
0	11	32
1	27	32
2	98	12
3	420	12
4	1203	11
5	1758	11
6	3736	11
done	5000	11
0	10	11
1	16	11
2	22	11
done	22	11
0	10	11
1	16	11
2	22	11
done	22	11
0	7	8
1	10	8
done	10	8
0	10	11
1	16	11
2	22	11
3	24	11
done	24	11
0	10	11
1	16	11
2	22	11
3	24	11
done	24	11
0	9	10
1	15	10
2	21	10
done	21	10
0	10	11
1	16	11
2	22	11
3	24	11
done	24	11
0	10	11
1	16	11
2	22	11
3	24	11
done	24	11
0	9	10
1	15	10
2	21	10
done	21	10
0	12	14
1	34	14
2	78	14
3	160	14
4	285	14
5	711	14
6	2650	14
done	5000	14
0	11	16
1	28	16
2	64	16
3	121	16
4	172	16
5	269	16
6	371	16
7	613	16
8	2078	16
done	5001	16
0	11	24
1	22	24
2	45	24
3	78	12
4	85	9
5	127	9
6	190	9
7	316	9
8	709	9
9	2156	9
done	5000	9
0	11	24
1	22	24
2	45	24
3	78	12
4	85	9
5	127	9
6	190	9
7	316	9
8	709	9
9	2156	9
done	5000	9
0	11	24
1	22	24
2	45	24
3	78	12
4	85	9
5	127	9
6	190	9
7	316	9
8	709	9
9	2156	9
done	5000	9
0	11	24
1	22	24
2	45	24
3	78	12
4	85	9
5	127	9
6	190	9
7	316	9
8	709	9
9	2156	9
done	5000	9
0	11	24
1	22	24
2	45	24
3	78	12
4	85	9
5	127	9
6	190	9
7	316	9
8	709	9
9	2156	9
done	5000	9
0	11	24
1	22	24
2	45	24
3	78	12
4	85	9
5	127	9
6	190	9
7	316	9
8	709	9
9	2156	9
done	5000	9
0	14	29
1	27	23
2	56	15
3	91	15
4	92	15
done	92	15
0	13	28
1	27	22
2	47	14
3	80	14
4	98	14
done	98	14
0	13	27
1	26	21
2	47	21
3	83	14
4	124	14
done	124	14
0	15	28
1	25	28
2	51	23
3	91	15
4	96	15
done	96	15
0	14	27
1	25	27
2	44	22
3	82	14
4	104	14
done	104	14
0	13	26
1	24	26
2	47	21
3	84	14
4	131	14
done	131	14
0	12	25
1	26	25
2	62	25
3	134	13
4	205	10
5	255	10
6	346	10
7	568	10
8	1247	10
9	3613	10
done	5001	10
0	12	25
1	25	25
2	59	25
3	144	13
4	312	10
5	808	10
6	2031	10
done	5000	10
0	14	29
1	37	29
2	147	25
3	748	15
4	4624	13
done	5000	13
0	12	29
1	39	29
2	151	23
3	761	13
4	4687	13
done	5000	13
0	13	44
1	40	44
2	171	24
3	1022	24
done	5000	24
0	17	59
1	42	59
2	162	29
3	986	22
done	5001	22
0	15	59
1	44	59
2	167	27
3	969	20
done	5001	20
0	15	74
1	43	74
2	179	28
3	1036	20
done	5001	20
0	13	51
1	24	51
2	47	51
3	81	27
4	87	21
5	129	21
6	195	21
7	322	21
8	721	21
9	2179	21
done	5001	21
0	12	25
1	23	25
2	46	25
3	80	13
4	87	10
5	129	10
6	193	10
7	315	10
8	700	10
9	2153	10
done	5000	10
0	13	74
1	34	74
2	150	26
3	836	14
4	4501	11
done	5000	11
0	12	25
1	23	25
2	46	25
3	80	13
4	87	10
5	129	10
6	193	10
7	315	10
8	700	10
9	2153	10
done	5000	10
0	12	25
1	23	25
2	46	25
3	80	13
4	87	10
5	129	10
6	193	10
7	315	10
8	700	10
9	2153	10
done	5000	10
0	14	36
1	41	36
2	103	36
3	214	16
4	349	13
5	828	13
6	3541	13
done	5000	13
0	12	56
1	31	44
2	75	16
3	132	13
4	172	13
5	203	13
6	245	13
7	358	13
8	720	13
9	1974	13
done	5000	13
0	18	38
1	55	38
2	149	38
3	339	38
4	556	38
5	1077	38
6	3101	38
done	5001	38
0	14	44
1	37	36
2	86	36
3	137	36
4	164	36
5	184	36
6	205	36
7	258	36
8	405	36
9	668	36
10	721	36
done	721	36
0	18	38
1	56	38
2	153	38
3	355	38
4	556	38
5	1080	38
6	3159	38
done	5000	38
0	14	44
1	36	36
2	86	36
3	136	36
4	163	36
5	183	36
6	204	36
7	257	36
8	404	36
9	667	36
10	720	36
done	720	36
0	18	40
1	56	40
2	152	40
3	355	40
4	557	40
5	1081	40
6	3090	40
done	5000	40
0	14	32
1	38	28
2	86	28
3	136	28
4	163	28
5	183	28
6	204	28
7	257	28
8	404	28
9	667	28
10	720	28
done	720	28
0	18	38
1	56	38
2	152	38
3	349	38
4	547	38
5	1084	38
6	3186	38
done	5000	38
0	14	44
1	38	36
2	86	36
3	139	36
4	166	36
5	186	36
6	207	36
7	260	36
8	407	36
9	670	36
10	723	36
done	723	36
0	18	40
1	56	40
2	153	40
3	346	40
4	540	40
5	1061	40
6	3138	40
done	5000	40
0	14	32
1	36	28
2	86	28
3	138	28
4	165	28
5	185	28
6	206	28
7	259	28
8	406	28
9	669	28
10	721	28
done	721	28
0	18	40
1	55	40
2	149	40
3	332	40
4	530	40
5	1055	40
6	3097	40
done	5000	40
0	14	32
1	37	28
2	86	28
3	139	28
4	166	28
5	186	28
6	207	28
7	260	28
8	407	28
9	670	28
10	723	28
done	723	28
0	13	42
1	35	42
2	89	42
3	180	18
4	237	15
5	442	15
6	1075	15
7	2473	15
done	5000	15
0	8	20
1	12	20
2	21	8
3	26	5
4	32	5
5	42	5
6	63	5
7	124	5
8	339	5
9	1278	5
done	5000	5
0	16	32
1	45	32
2	114	32
3	275	32
4	437	32
5	882	32
6	2872	32
done	5000	32
0	11	37
1	29	29
2	71	29
3	123	29
4	155	29
5	176	29
6	197	29
7	250	29
8	397	29
9	660	29
10	712	29
done	712	29
0	20	34
1	58	34
2	157	34
3	384	34
4	617	34
5	1154	34
6	3222	34
done	5000	34
0	13	25
1	34	21
2	81	21
3	132	21
4	160	21
5	180	21
6	201	21
7	254	21
8	401	21
9	664	21
10	717	21
done	717	21
0	20	34
1	58	34
2	157	34
3	377	34
4	613	34
5	1146	34
6	3196	34
done	5001	34
0	13	25
1	34	21
2	81	21
3	134	21
4	164	21
5	184	21
6	205	21
7	258	21
8	405	21
9	668	21
10	720	21
done	720	21
0	15	36
1	38	36
2	98	36
3	225	36
4	308	36
5	403	36
6	513	36
7	755	36
8	2201	36
done	5001	36
0	7	13
1	10	13
2	17	13
done	17	13
0	16	32
1	45	32
2	115	32
3	265	32
4	429	32
5	855	32
6	2825	32
done	5001	32
0	11	37
1	29	29
2	71	29
3	123	29
4	155	29
5	176	29
6	197	29
7	250	29
8	397	29
9	660	29
10	712	29
done	712	29
0	20	34
1	58	34
2	157	34
3	385	34
4	613	34
5	1146	34
6	3182	34
done	5000	34
0	13	25
1	34	21
2	81	21
3	132	21
4	160	21
5	180	21
6	201	21
7	254	21
8	401	21
9	664	21
10	717	21
done	717	21
0	20	34
1	58	34
2	157	34
3	374	34
4	605	34
5	1136	34
6	3202	34
done	5000	34
0	13	25
1	34	21
2	81	21
3	134	21
4	164	21
5	184	21
6	205	21
7	258	21
8	405	21
9	668	21
10	720	21
done	720	21
0	15	36
1	38	36
2	98	36
3	220	36
4	298	36
5	397	36
6	501	36
7	743	36
8	2204	36
done	5000	36
0	7	13
1	10	13
2	17	13
done	17	13
0	8	20
1	11	20
2	13	8
3	18	5
4	24	5
5	34	5
6	55	5
7	119	5
8	329	5
9	1271	5
done	5000	5
0	10	17
1	19	17
2	33	17
3	46	17
4	47	17
done	47	17
0	16	28
1	44	28
2	111	28
3	264	28
4	441	28
5	898	28
6	2899	28
done	5000	28
0	15	30
1	37	30
2	95	30
3	210	30
4	290	30
5	389	30
6	501	30
7	743	30
8	2212	30
done	5001	30
0	16	32
1	44	32
2	111	32
3	256	32
4	415	32
5	840	32
6	2846	32
done	5001	32
0	20	34
1	58	34
2	157	34
3	388	34
4	623	34
5	1161	34
6	3172	34
done	5001	34
0	20	34
1	58	34
2	157	34
3	374	34
4	606	34
5	1147	34
6	3173	34
done	5000	34
0	15	36
1	37	36
2	95	36
3	211	36
4	291	36
5	390	36
6	498	36
7	740	36
8	2170	36
done	5000	36
0	16	28
1	45	28
2	115	28
3	270	28
4	436	28
5	879	28
6	2870	28
done	5001	28
0	15	30
1	38	30
2	98	30
3	222	30
4	302	30
5	399	30
6	513	30
7	755	30
8	2182	30
done	5001	30
0	16	28
1	45	28
2	114	28
3	267	28
4	437	28
5	878	28
6	2816	28
done	5000	28
0	15	30
1	38	30
2	98	30
3	224	30
4	304	30
5	403	30
6	511	30
7	753	30
8	2221	30
done	5001	30
0	7	7
1	9	7
done	9	7
0	7	7
1	9	7
done	9	7
0	8	14
1	10	14
done	10	14
0	7	7
1	9	7
done	9	7
0	7	7
1	9	7
done	9	7
0	7	7
1	9	7
done	9	7
0	2	2
1	4	1
done	4	1
0	6	6
1	8	6
done	8	6
0	9	10
1	27	10
2	65	10
3	147	10
4	275	10
5	721	10
6	2675	10
done	5001	10
0	10	18
1	28	14
2	70	14
3	124	14
4	156	14
5	177	14
6	198	14
7	251	14
8	398	14
9	661	14
10	713	14
done	713	14
0	8	12
1	21	12
2	51	12
3	108	12
4	161	12
5	254	12
6	360	12
7	602	12
8	2047	12
done	5001	12
0	6	6
1	9	6
2	16	6
done	16	6
0	8	15
1	10	15
done	10	15
0	7	7
1	9	7
done	9	7
0	8	20
1	11	20
2	13	8
3	18	5
4	24	5
5	34	5
6	55	5
7	119	5
8	329	5
9	1271	5
done	5000	5
0	7	7
1	9	7
done	9	7
0	7	7
1	9	7
done	9	7
0	7	7
1	9	7
done	9	7
0	7	7
1	9	7
done	9	7
0	8	14
1	10	14
done	10	14
0	7	7
1	9	7
done	9	7
0	7	7
1	9	7
done	9	7
0	7	7
1	9	7
done	9	7
0	2	2
1	4	1
done	4	1
0	6	6
1	8	6
done	8	6
0	9	10
1	27	10
2	65	10
3	147	10
4	275	10
5	721	10
6	2675	10
done	5001	10
0	10	18
1	28	14
2	70	14
3	124	14
4	156	14
5	177	14
6	198	14
7	251	14
8	398	14
9	661	14
10	713	14
done	713	14
0	8	12
1	21	12
2	51	12
3	108	12
4	161	12
5	254	12
6	360	12
7	602	12
8	2047	12
done	5001	12
0	6	6
1	9	6
2	16	6
done	16	6
0	8	15
1	10	15
done	10	15
0	7	7
1	9	7
done	9	7
0	8	20
1	11	20
2	13	8
3	18	5
4	24	5
5	34	5
6	55	5
7	119	5
8	329	5
9	1271	5
done	5000	5
0	7	7
1	9	7
done	9	7
0	7	7
1	9	7
done	9	7
0	15	15
1	32	14
2	60	12
3	116	11
4	206	8
5	466	8
6	1621	8
done	5001	8
0	13	14
1	27	12
2	49	9
3	100	6
4	207	6
5	583	6
6	1518	6
done	5001	6
0	15	15
1	29	14
2	52	14
3	106	10
4	238	6
5	688	6
6	3006	6
done	5000	6
0	1	1
done	1	1
0	11	13
1	25	13
2	57	13
3	78	11
4	97	9
5	117	9
6	139	9
7	204	9
8	418	9
9	1351	9
done	5000	9
0	11	13
1	25	13
2	57	13
3	78	11
4	97	9
5	117	9
6	139	9
7	204	9
8	418	9
9	1351	9
done	5000	9
0	34	53
1	87	46
2	208	40
3	654	35
4	1999	26
done	5000	26
0	9	10
1	19	8
2	35	5
3	72	2
4	126	2
5	264	2
6	568	2
7	1635	2
done	5000	2
0	11	11
1	21	10
2	38	10
3	80	6
4	154	2
5	433	2
6	1862	2
done	5001	2
0	34	53
1	87	46
2	208	40
3	654	35
4	1999	26
done	5000	26
0	9	10
1	19	8
2	35	5
3	72	2
4	126	2
5	264	2
6	568	2
7	1635	2
done	5000	2
0	11	11
1	21	10
2	38	10
3	80	6
4	154	2
5	433	2
6	1862	2
done	5001	2

prune165.0ms

Filtered

94 candidates to 115 candidates (-22.3%)

Pruning

13 alts after pruning (11 fresh and 2 done)

	Pruned	Kept	Total
New	113	2	115
Fresh	1	9	10
Picked	1	0	1
Done	0	2	2
Total	115	13	128

Merged error: 0.5b

Counts

128 → 13

regimes2.2s

Accuracy

0% (1.0b remaining)

Error of 1.7b against oracle of 0.8b and baseline of 1.7b

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	19
1	26	19
done	26	19

end0.0ms

sample2.5s

Algorithm

intervals

Results

1.1s

15193×

body

valid

Details

sample92.0ms

simplify11.2s

prune6.0ms

localize16.0ms

rewrite24.0ms

series60.0ms

simplify1.5min

prune158.0ms

localize16.0ms

rewrite24.0ms

series424.0ms

simplify1.9min

prune163.0ms

localize20.0ms

rewrite28.0ms

series179.0ms

simplify1.5min

prune166.0ms

localize20.0ms

rewrite44.0ms

series174.0ms

simplify4.2min

prune165.0ms

regimes2.2s

bsearch0.0ms

simplify2.0ms

end0.0ms

sample2.5s

Profiling