Details

sample28.0ms

Algorithm

intervals

Results

11.0ms	308×	body	80	valid
1.0ms	5×	body	640	valid
0.0ms	3×	body	1280	valid
0.0ms	2×	body	320	valid
0.0ms	2×	body	160	valid

simplify24.0ms

Counts

1 → 1

Iterations

Useful iterations: 2 (5.0ms)

Iter	Nodes	Cost
0	9	11
1	18	9
2	32	7
3	44	7
4	48	7
done	48	7

prune16.0ms

Filtered

1 candidates to 1 candidates (0.0%)

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.0b

Counts

2 → 2

localize6.0ms

Local error

Found 1 expressions with local error:

0.0b	(* d1 (+ (+ 3.0 d2) d3))

rewrite10.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

1 → 24

Calls

1 calls:

9.0ms

(* d1 (+ (+ 3.0 d2) d3))

series8.0ms

Counts

1 → 3

Calls

1 calls:

8.0ms

(* d1 (+ (+ 3.0 d2) d3))

simplify11.5s

Counts

27 → 27

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	7	7
1	18	7
2	37	7
3	54	7
done	54	7
0	9	9
1	14	9
2	20	9
done	20	9
0	8	8
1	22	8
2	42	8
3	57	8
done	57	8
0	8	8
1	21	8
2	49	8
3	95	8
4	154	8
5	319	8
6	883	8
7	3926	8
done	5000	8
0	11	23
1	34	23
2	163	11
3	876	11
done	5000	11
0	9	17
1	20	17
2	39	17
3	56	17
done	56	17
0	8	8
1	19	8
2	38	8
3	53	8
done	53	8
0	9	23
1	30	23
2	138	9
3	744	9
4	3408	9
done	5000	9
0	8	8
1	19	8
2	38	8
3	53	8
done	53	8
0	8	8
1	19	8
2	38	8
3	53	8
done	53	8
0	9	9
1	14	9
2	20	9
done	20	9
0	9	9
1	14	9
2	20	9
done	20	9
0	5	5
1	13	5
2	14	5
done	14	5
0	3	3
1	4	3
done	4	3
0	5	5
1	7	5
2	15	5
done	15	5
0	3	3
1	4	3
done	4	3
0	9	15
1	16	15
2	24	15
done	24	15
0	8	8
1	13	8
2	19	8
done	19	8
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	8	8
1	19	8
2	38	8
3	53	8
done	53	8
0	8	8
1	19	8
2	38	8
3	53	8
done	53	8
0	7	7
1	18	7
2	37	7
3	54	7
done	54	7
0	10	11
1	32	11
2	82	11
3	206	11
4	507	11
5	1443	11
done	5000	11
0	9	13
1	22	13
2	64	13
3	215	13
4	839	13
5	2303	13
done	5000	13
0	9	11
1	18	9
2	32	7
3	44	7
4	48	7
done	48	7
0	9	11
1	18	9
2	32	7
3	44	7
4	48	7
done	48	7
0	9	11
1	18	9
2	32	7
3	44	7
4	48	7
done	48	7

prune63.0ms

Filtered

20 candidates to 27 candidates (-35.0%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	21	6	27
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	23	6	29

Merged error: 0b

Counts

29 → 6

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b	(* d1 (+ 3.0 d2))
0.0b	(+ (* d1 (+ 3.0 d2)) (* d1 d3))

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 37

Calls

2 calls:

7.0ms	(* d1 (+ 3.0 d2))
7.0ms	(+ (* d1 (+ 3.0 d2)) (* d1 d3))

series15.0ms

Counts

2 → 6

Calls

2 calls:

6.0ms	(* d1 (+ 3.0 d2))
9.0ms	(+ (* d1 (+ 3.0 d2)) (* d1 d3))

simplify31.6s

Counts

43 → 43

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	10	11
1	25	10
2	45	8
3	101	8
4	262	8
5	947	8
done	5000	8
0	9	10
1	21	8
2	35	8
3	50	8
done	50	8
0	9	10
1	24	8
2	47	8
3	95	8
4	186	8
5	584	8
6	2885	8
done	5000	8
0	10	21
1	22	17
2	33	17
3	47	17
done	47	17
0	9	10
1	21	8
2	32	8
3	46	8
done	46	8
0	10	29
1	35	23
2	135	9
3	783	9
4	4388	9
done	5000	9
0	9	10
1	21	8
2	32	8
3	46	8
done	46	8
0	9	10
1	21	8
2	32	8
3	46	8
done	46	8
0	11	13
1	39	13
2	118	13
3	437	13
4	1201	13
5	3112	13
done	5000	13
0	12	29
1	45	25
2	152	23
3	454	21
4	1239	19
5	3979	17
done	5000	17
0	10	19
1	37	19
2	119	15
3	338	15
4	906	15
5	2765	15
done	5000	15
0	8	9
1	21	7
2	39	7
3	60	7
4	70	7
5	85	7
6	121	7
7	179	7
8	230	7
9	267	7
10	295	7
11	353	7
12	358	7
done	358	7
0	5	5
1	9	5
2	15	5
done	15	5
0	6	7
1	11	5
2	13	5
done	13	5
0	6	7
1	9	7
2	13	5
3	15	5
done	15	5
0	5	5
1	13	5
2	14	5
done	14	5
0	7	7
1	9	7
done	9	7
0	6	6
1	17	6
2	19	6
done	19	6
0	6	6
1	16	6
2	26	6
3	43	6
4	76	6
5	188	6
6	504	6
7	1671	6
done	5000	6
0	9	17
1	29	17
2	110	9
3	373	9
4	1303	7
5	4152	7
done	5001	7
0	7	13
1	15	13
2	16	13
done	16	13
0	6	6
1	14	6
2	15	6
done	15	6
0	7	17
1	25	17
2	97	7
3	352	7
4	820	7
5	2225	7
done	5000	7
0	6	6
1	14	6
2	15	6
done	15	6
0	6	6
1	14	6
2	15	6
done	15	6
0	7	7
1	9	7
done	9	7
0	7	7
1	9	7
done	9	7
0	3	3
1	4	3
done	4	3
0	3	3
1	4	3
done	4	3
0	3	3
1	4	3
done	4	3
0	3	3
1	4	3
done	4	3
0	7	11
1	11	11
2	13	11
done	13	11
0	6	6
1	8	6
done	8	6
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	6	6
1	14	6
2	15	6
done	15	6
0	6	6
1	14	6
2	15	6
done	15	6
0	5	5
1	13	5
2	14	5
done	14	5
0	8	9
1	29	9
2	63	9
3	105	9
4	194	9
5	477	9
6	1523	9
done	5000	9
0	7	9
1	13	9
2	30	9
3	76	9
4	159	9
5	245	9
6	400	9
7	771	9
8	3375	9
done	5000	9
0	9	11
1	18	9
2	32	7
3	44	7
4	48	7
done	48	7
0	9	11
1	18	9
2	32	7
3	44	7
4	48	7
done	48	7
0	9	11
1	18	9
2	32	7
3	44	7
4	48	7
done	48	7
0	6	7
1	9	7
2	13	5
3	15	5
done	15	5
0	6	7
1	9	7
2	13	5
3	15	5
done	15	5
0	6	7
1	9	7
2	13	5
3	15	5
done	15	5

prune71.0ms

Filtered

31 candidates to 43 candidates (-38.7%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	40	3	43
Fresh	3	2	5
Picked	0	1	1
Done	0	0	0
Total	43	6	49

Merged error: 0b

Counts

49 → 6

localize12.0ms

Local error

Found 4 expressions with local error:

0.3b	(cbrt (+ 3.0 d2))
0.3b	(cbrt (+ 3.0 d2))
0.3b	(cbrt (+ 3.0 d2))
0.4b	(* (* d1 (* (cbrt (+ 3.0 d2)) (cbrt (+ 3.0 d2)))) (cbrt (+ 3.0 d2)))

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

60×	`cbrt-div`
32×	`associate-*r/`
30×	`flip3-+` `flip-+`
28×	`frac-times`
17×	`*-un-lft-identity`
16×	`cbrt-prod`
14×	`associate-*l/`
13×	`pow1` `add-exp-log`
9×	`add-sqr-sqrt` `add-cube-cbrt`
8×	`add-cbrt-cube`
7×	`associate-r`
6×	`pow-prod-down` `prod-exp` `cbrt-unprod`
4×	`distribute-lft-out` `add-log-exp`
3×	`pow1/3`
1×	`associate-l` `*-commutative`

Counts

4 → 93

Calls

4 calls:

3.0ms	(cbrt (+ 3.0 d2))
3.0ms	(cbrt (+ 3.0 d2))
3.0ms	(cbrt (+ 3.0 d2))
21.0ms	(* (* d1 (* (cbrt (+ 3.0 d2)) (cbrt (+ 3.0 d2)))) (cbrt (+ 3.0 d2)))

series29.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(cbrt (+ 3.0 d2))
8.0ms	(cbrt (+ 3.0 d2))
8.0ms	(cbrt (+ 3.0 d2))
6.0ms	(* (* d1 (* (cbrt (+ 3.0 d2)) (cbrt (+ 3.0 d2)))) (cbrt (+ 3.0 d2)))

simplify3.9min

Counts

105 → 105

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	8	16
1	15	16
2	21	16
3	23	8
4	28	5
5	46	5
6	64	5
7	109	5
8	254	5
9	780	5
10	3083	5
done	5000	5
0	8	16
1	15	16
2	21	16
3	23	8
4	28	5
5	46	5
6	64	5
7	109	5
8	254	5
9	780	5
10	3083	5
done	5000	5
0	8	16
1	15	16
2	21	16
3	23	8
4	28	5
5	46	5
6	64	5
7	109	5
8	254	5
9	780	5
10	3083	5
done	5000	5
0	10	20
1	19	16
2	30	10
3	33	10
done	33	10
0	11	19
1	17	19
2	27	16
3	34	10
4	37	10
done	37	10
0	10	18
1	18	18
2	28	18
3	39	15
4	44	10
5	47	10
done	47	10
0	9	17
1	19	17
2	34	17
3	48	9
4	55	6
5	80	6
6	111	6
7	191	6
8	442	6
9	1320	6
done	5000	6
0	9	17
1	18	17
2	37	17
3	66	9
4	139	6
5	338	6
6	820	6
7	2219	6
done	5000	6
0	9	17
1	31	17
2	130	15
3	485	9
4	1413	7
5	3629	7
done	5000	7
0	12	39
1	36	39
2	148	19
3	687	14
4	2487	7
done	5000	7
0	10	39
1	33	39
2	136	17
3	774	17
4	2571	15
5	4723	7
done	5001	7
0	10	35
1	17	35
2	23	35
3	25	19
4	30	13
5	48	13
6	66	13
7	114	13
8	263	13
9	779	13
10	3081	13
done	5001	13
0	9	17
1	16	17
2	22	17
3	24	9
4	29	6
5	47	6
6	65	6
7	110	6
8	254	6
9	776	6
10	3080	6
done	5000	6
0	10	50
1	26	50
2	105	18
3	404	10
4	754	7
5	1371	7
done	5000	7
0	9	17
1	16	17
2	22	17
3	24	9
4	29	6
5	47	6
6	65	6
7	110	6
8	254	6
9	776	6
10	3080	6
done	5000	6
0	9	17
1	16	17
2	22	17
3	24	9
4	29	6
5	47	6
6	65	6
7	110	6
8	254	6
9	776	6
10	3080	6
done	5000	6
0	11	28
1	31	28
2	46	28
3	64	12
4	105	9
5	235	9
6	749	9
7	3696	9
done	5000	9
0	10	38
1	19	32
2	36	12
3	54	9
4	80	9
5	111	9
6	151	9
7	230	9
8	490	9
9	1551	9
done	5001	9
0	15	28
1	38	28
2	67	28
3	112	28
4	176	28
5	326	28
6	794	28
7	2813	28
done	5000	28
0	12	30
1	25	26
2	42	26
3	54	26
4	71	26
5	91	26
6	108	26
7	131	26
8	174	26
9	236	26
10	237	26
done	237	26
0	15	28
1	39	28
2	69	28
3	110	28
4	175	28
5	328	28
6	799	28
7	2817	28
done	5000	28
0	12	30
1	24	26
2	42	26
3	54	26
4	71	26
5	91	26
6	108	26
7	131	26
8	174	26
9	236	26
10	237	26
done	237	26
0	15	28
1	39	28
2	68	28
3	114	28
4	181	28
5	336	28
6	790	28
7	2787	28
done	5000	28
0	12	22
1	26	20
2	42	20
3	54	20
4	71	20
5	91	20
6	108	20
7	131	20
8	174	20
9	236	20
10	237	20
done	237	20
0	15	28
1	39	28
2	68	28
3	114	28
4	184	28
5	341	28
6	817	28
7	2819	28
done	5000	28
0	12	30
1	26	26
2	42	26
3	54	26
4	71	26
5	91	26
6	108	26
7	131	26
8	174	26
9	236	26
10	237	26
done	237	26
0	15	28
1	39	28
2	69	28
3	110	28
4	177	28
5	336	28
6	786	28
7	2792	28
done	5000	28
0	12	22
1	24	20
2	42	20
3	54	20
4	71	20
5	91	20
6	108	20
7	131	20
8	174	20
9	236	20
10	237	20
done	237	20
0	15	28
1	38	28
2	67	28
3	111	28
4	175	28
5	326	28
6	796	28
7	2818	28
done	5000	28
0	12	22
1	25	20
2	42	20
3	54	20
4	71	20
5	91	20
6	108	20
7	131	20
8	174	20
9	236	20
10	237	20
done	237	20
0	10	28
1	21	28
2	34	28
3	51	12
4	81	9
5	164	9
6	336	9
7	653	9
8	2344	9
done	5000	9
0	6	14
1	9	14
2	12	6
3	17	3
4	23	3
5	33	3
6	56	3
7	116	3
8	332	3
9	1267	3
done	5000	3
0	13	24
1	35	24
2	57	24
3	86	24
4	126	24
5	248	24
6	664	24
7	2490	24
done	5000	24
0	9	25
1	17	21
2	32	21
3	45	21
4	65	21
5	86	21
6	103	21
7	126	21
8	169	21
9	231	21
10	232	21
done	232	21
0	17	24
1	41	24
2	75	24
3	135	24
4	203	24
5	361	24
6	840	24
7	2844	24
done	5001	24
0	11	17
1	22	15
2	37	15
3	49	15
4	66	15
5	86	15
6	103	15
7	126	15
8	169	15
9	231	15
10	232	15
done	232	15
0	17	24
1	41	24
2	75	24
3	135	24
4	201	24
5	352	24
6	845	24
7	2843	24
done	5001	24
0	11	17
1	22	15
2	37	15
3	49	15
4	66	15
5	86	15
6	103	15
7	126	15
8	169	15
9	231	15
10	232	15
done	232	15
0	12	24
1	24	24
2	43	24
3	70	24
4	96	24
5	137	24
6	201	24
7	369	24
8	1687	24
done	5000	24
0	5	9
1	7	9
2	8	9
done	8	9
0	13	24
1	35	24
2	58	24
3	82	24
4	122	24
5	241	24
6	657	24
7	2504	24
done	5001	24
0	9	25
1	17	21
2	32	21
3	45	21
4	65	21
5	86	21
6	103	21
7	126	21
8	169	21
9	231	21
10	232	21
done	232	21
0	17	24
1	41	24
2	75	24
3	135	24
4	203	24
5	359	24
6	835	24
7	2820	24
done	5000	24
0	11	17
1	22	15
2	37	15
3	49	15
4	66	15
5	86	15
6	103	15
7	126	15
8	169	15
9	231	15
10	232	15
done	232	15
0	17	24
1	41	24
2	75	24
3	135	24
4	202	24
5	358	24
6	846	24
7	2845	24
done	5001	24
0	11	17
1	22	15
2	37	15
3	49	15
4	66	15
5	86	15
6	103	15
7	126	15
8	169	15
9	231	15
10	232	15
done	232	15
0	12	24
1	24	24
2	44	24
3	68	24
4	94	24
5	135	24
6	197	24
7	365	24
8	1679	24
done	5001	24
0	5	9
1	7	9
2	8	9
done	8	9
0	9	22
1	16	22
2	29	22
3	43	22
done	43	22
0	10	17
1	17	17
2	30	17
3	44	17
done	44	17
0	10	14
1	19	13
2	32	13
3	45	11
4	54	11
done	54	11
0	10	14
1	19	13
2	32	13
3	45	11
4	54	11
done	54	11
0	10	23
1	19	23
2	42	23
3	89	23
4	110	23
done	110	23
0	9	17
1	16	17
2	29	17
3	43	17
done	43	17
0	9	13
1	18	11
2	37	11
3	64	11
done	64	11
0	6	14
1	8	14
2	10	6
3	15	3
4	21	3
5	31	3
6	54	3
7	110	3
8	319	3
9	1259	3
done	5001	3
0	13	20
1	34	20
2	56	20
3	85	20
4	128	20
5	245	20
6	669	20
7	2514	20
done	5000	20
0	12	20
1	23	20
2	42	20
3	71	20
4	96	20
5	137	20
6	207	20
7	375	20
8	1676	20
done	5000	20
0	13	24
1	34	24
2	56	24
3	85	24
4	124	24
5	241	24
6	649	24
7	2500	24
done	5000	24
0	17	24
1	41	24
2	75	24
3	136	24
4	207	24
5	363	24
6	842	24
7	2844	24
done	5001	24
0	17	24
1	41	24
2	75	24
3	136	24
4	206	24
5	367	24
6	852	24
7	2841	24
done	5000	24
0	12	24
1	23	24
2	42	24
3	71	24
4	96	24
5	137	24
6	199	24
7	367	24
8	1628	24
done	5000	24
0	13	20
1	35	20
2	58	20
3	82	20
4	124	20
5	242	20
6	658	20
7	2493	20
done	5000	20
0	12	20
1	24	20
2	44	20
3	68	20
4	94	20
5	135	20
6	199	20
7	367	20
8	1678	20
done	5001	20
0	13	20
1	35	20
2	57	20
3	86	20
4	126	20
5	243	20
6	653	20
7	2486	20
done	5000	20
0	12	20
1	24	20
2	43	20
3	70	20
4	96	20
5	137	20
6	193	20
7	361	20
8	1659	20
done	5001	20
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	6	10
1	7	10
done	7	10
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	2	2
1	4	1
done	4	1
0	4	4
1	5	4
done	5	4
0	2	2
1	4	1
done	4	1
0	4	4
1	5	4
done	5	4
0	7	8
1	21	8
2	30	8
3	47	8
4	88	8
5	208	8
6	613	8
7	2441	8
done	5000	8
0	8	12
1	16	10
2	31	10
3	44	10
4	64	10
5	85	10
6	102	10
7	125	10
8	168	10
9	230	10
10	231	10
done	231	10
0	6	8
1	11	8
2	18	8
3	33	8
4	58	8
5	99	8
6	157	8
7	325	8
8	1570	8
done	5000	8
0	4	4
1	6	4
2	7	4
done	7	4
0	6	11
1	7	11
done	7	11
0	5	5
1	6	5
done	6	5
0	6	14
1	8	14
2	10	6
3	15	3
4	21	3
5	31	3
6	54	3
7	110	3
8	319	3
9	1259	3
done	5001	3
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	6	10
1	7	10
done	7	10
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	2	2
1	4	1
done	4	1
0	4	4
1	5	4
done	5	4
0	2	2
1	4	1
done	4	1
0	4	4
1	5	4
done	5	4
0	7	8
1	21	8
2	30	8
3	47	8
4	88	8
5	208	8
6	613	8
7	2441	8
done	5000	8
0	8	12
1	16	10
2	31	10
3	44	10
4	64	10
5	85	10
6	102	10
7	125	10
8	168	10
9	230	10
10	231	10
done	231	10
0	6	8
1	11	8
2	18	8
3	33	8
4	58	8
5	99	8
6	157	8
7	325	8
8	1570	8
done	5000	8
0	4	4
1	6	4
2	7	4
done	7	4
0	6	11
1	7	11
done	7	11
0	5	5
1	6	5
done	6	5
0	6	14
1	8	14
2	10	6
3	15	3
4	21	3
5	31	3
6	54	3
7	110	3
8	319	3
9	1259	3
done	5001	3
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	6	10
1	7	10
done	7	10
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	2	2
1	4	1
done	4	1
0	4	4
1	5	4
done	5	4
0	2	2
1	4	1
done	4	1
0	4	4
1	5	4
done	5	4
0	7	8
1	21	8
2	30	8
3	47	8
4	88	8
5	208	8
6	613	8
7	2441	8
done	5000	8
0	8	12
1	16	10
2	31	10
3	44	10
4	64	10
5	85	10
6	102	10
7	125	10
8	168	10
9	230	10
10	231	10
done	231	10
0	6	8
1	11	8
2	18	8
3	33	8
4	58	8
5	99	8
6	157	8
7	325	8
8	1570	8
done	5000	8
0	4	4
1	6	4
2	7	4
done	7	4
0	6	11
1	7	11
done	7	11
0	5	5
1	6	5
done	6	5
0	6	14
1	8	14
2	10	6
3	15	3
4	21	3
5	31	3
6	54	3
7	110	3
8	319	3
9	1259	3
done	5001	3
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	6	7
1	9	7
2	13	5
3	15	5
done	15	5
0	6	7
1	9	7
2	13	5
3	15	5
done	15	5
0	6	7
1	9	7
2	13	5
3	15	5
done	15	5
0	23	35
1	60	31
2	192	28
3	649	26
4	2543	25
done	5000	25
0	18	42
1	42	36
2	95	25
3	245	13
4	871	13
done	5000	13
0	20	45
1	44	42
2	98	40
3	252	21
4	905	13
done	5001	13
0	23	35
1	60	31
2	192	28
3	649	26
4	2543	25
done	5000	25
0	18	42
1	42	36
2	95	25
3	245	13
4	871	13
done	5000	13
0	20	45
1	44	42
2	98	40
3	252	21
4	905	13
done	5001	13
0	23	35
1	60	31
2	192	28
3	649	26
4	2543	25
done	5000	25
0	18	42
1	42	36
2	95	25
3	245	13
4	871	13
done	5000	13
0	20	45
1	44	42
2	98	40
3	252	21
4	905	13
done	5001	13

prune258.0ms

Filtered

83 candidates to 105 candidates (-26.5%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	104	1	105
Fresh	2	2	4
Picked	0	1	1
Done	0	1	1
Total	106	5	111

Merged error: 0b

Counts

111 → 5

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (* d2 (- d2 3.0)) (* 3.0 3.0))
0.0b	(+ (/ (* (+ (pow 3.0 3) (pow d2 3)) d1) (+ (* d2 (- d2 3.0)) (* 3.0 3.0))) (* d1 d3))
3.1b	(* (+ (pow 3.0 3) (pow d2 3)) d1)
15.6b	(/ (* (+ (pow 3.0 3) (pow d2 3)) d1) (+ (* d2 (- d2 3.0)) (* 3.0 3.0)))

rewrite77.0ms

Algorithm

rewrite-expression-head

Rules

18×	`*-un-lft-identity`
11×	`add-exp-log` `add-cbrt-cube`
10×	`add-sqr-sqrt`
9×	`associate-l`
8×	`add-cube-cbrt` `add-log-exp`
6×	`pow1`
5×	`flip3-+` `flip-+` `distribute-lft-out`
4×	`unpow-prod-down` `associate-+l+` `cube-prod` `associate-*l/`
3×	`times-frac` `associate-r` `associate-/r*`
2×	`cbrt-undiv` `+-commutative` `distribute-rgt-in` `sub-neg` `distribute-lft-in` `div-exp` `prod-exp` `sum-log` `associate-/r/` `cbrt-unprod` `associate-/l/`
1×	`frac-2neg` `pow-prod-down` `clear-num` `sum-cubes` `-commutative` `div-inv` `associate-/l` `unswap-sqr`

Counts

4 → 77

Calls

4 calls:

8.0ms	(+ (* d2 (- d2 3.0)) (* 3.0 3.0))
27.0ms	(+ (/ (* (+ (pow 3.0 3) (pow d2 3)) d1) (+ (* d2 (- d2 3.0)) (* 3.0 3.0))) (* d1 d3))
16.0ms	(* (+ (pow 3.0 3) (pow d2 3)) d1)
23.0ms	(/ (* (+ (pow 3.0 3) (pow d2 3)) d1) (+ (* d2 (- d2 3.0)) (* 3.0 3.0)))

series52.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(+ (* d2 (- d2 3.0)) (* 3.0 3.0))
28.0ms	(+ (/ (* (+ (pow 3.0 3) (pow d2 3)) d1) (+ (* d2 (- d2 3.0)) (* 3.0 3.0))) (* d1 d3))
7.0ms	(* (+ (pow 3.0 3) (pow d2 3)) d1)
14.0ms	(/ (* (+ (pow 3.0 3) (pow d2 3)) d1) (+ (* d2 (- d2 3.0)) (* 3.0 3.0)))

simplify3.1min

Counts

89 → 89

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	16	22
1	38	22
2	59	22
3	91	22
4	147	22
5	276	22
6	704	22
7	2582	22
done	5000	22
0	15	21
1	38	21
2	66	21
3	125	21
4	226	21
5	476	21
6	1431	21
done	5001	21
0	14	20
1	37	20
2	71	20
3	140	20
4	260	20
5	578	20
6	2019	20
done	5000	20
0	14	20
1	34	20
2	60	20
3	115	20
4	219	20
5	543	20
6	2041	20
done	5000	20
0	19	59
1	75	59
2	328	25
3	1521	25
done	5001	25
0	17	59
1	65	59
2	267	23
3	1383	21
done	5001	21
0	15	41
1	35	41
2	61	41
3	114	41
4	217	41
5	533	41
6	1913	41
done	5000	41
0	14	20
1	34	20
2	60	20
3	113	20
4	211	20
5	519	20
6	1929	20
done	5001	20
0	15	59
1	42	59
2	104	21
3	412	21
4	2182	21
done	5000	21
0	14	20
1	34	20
2	60	20
3	113	20
4	211	20
5	519	20
6	1929	20
done	5001	20
0	14	20
1	34	20
2	60	20
3	113	20
4	211	20
5	519	20
6	1929	20
done	5001	20
0	9	10
1	28	10
2	51	10
3	132	10
4	335	10
5	946	10
6	3210	10
done	5000	10
0	7	10
1	14	10
2	30	10
3	54	10
4	100	9
5	121	9
6	159	9
7	189	9
8	212	9
done	212	9
0	13	29
1	32	29
2	46	29
3	72	29
4	122	29
5	244	29
6	673	29
7	2550	29
done	5000	29
0	9	12
1	13	12
2	19	12
3	28	12
4	37	12
5	44	12
6	54	12
7	74	12
8	107	12
9	144	12
10	174	12
11	199	12
12	229	12
done	229	12
0	12	18
1	29	18
2	43	18
3	69	18
4	119	18
5	241	18
6	661	18
7	2521	18
done	5001	18
0	9	12
1	13	12
2	19	12
3	28	12
4	37	12
5	44	12
6	54	12
7	74	12
8	107	12
9	144	12
10	174	12
11	199	12
12	229	12
done	229	12
0	8	9
1	24	7
2	35	7
3	52	7
4	95	7
5	210	7
6	619	7
7	2442	7
done	5001	7
0	8	11
1	12	11
2	18	11
3	27	11
4	36	11
5	43	11
6	53	11
7	73	11
8	106	11
9	143	11
10	173	11
11	198	11
12	228	11
done	228	11
0	8	11
1	14	11
2	20	11
3	29	11
4	38	11
5	45	11
6	55	11
7	75	11
8	108	11
9	145	11
10	175	11
11	200	11
12	230	11
done	230	11
0	13	19
1	33	19
2	57	19
3	107	19
4	201	19
5	468	19
6	1384	19
done	5000	19
0	15	31
1	40	31
2	76	31
3	139	31
4	246	31
5	602	31
6	2594	31
done	5000	31
0	14	20
1	34	20
2	60	20
3	113	20
4	211	20
5	513	20
6	1905	20
done	5001	20
0	10	11
1	29	9
2	54	9
3	104	9
4	197	9
5	420	9
6	1345	9
done	5000	9
0	8	11
1	12	11
2	18	11
3	27	11
4	36	11
5	46	11
6	65	11
7	102	11
8	170	11
9	264	11
10	372	11
11	475	11
12	591	11
done	591	11
0	15	23
1	48	23
2	129	21
3	359	21
4	1044	21
5	4161	21
done	5000	21
0	15	29
1	47	27
2	126	25
3	345	25
4	989	25
5	3630	25
done	5000	25
0	15	33
1	50	25
2	190	25
3	845	25
4	4817	25
done	5000	25
0	11	17
1	30	17
2	71	17
3	209	17
4	908	17
5	4283	17
done	5000	17
0	8	9
1	23	9
2	40	9
3	81	9
4	157	9
5	382	9
6	1272	9
done	5000	9
0	10	11
1	25	11
2	34	11
3	51	11
4	94	11
5	207	11
6	610	11
7	2428	11
done	5000	11
0	9	10
1	27	10
2	45	10
3	86	10
4	167	10
5	408	10
6	1282	10
done	5000	10
0	9	10
1	26	10
2	52	10
3	117	10
4	274	10
5	777	10
6	3182	10
done	5000	10
0	12	29
1	45	29
2	166	13
3	713	13
4	4007	11
done	5000	11
0	10	21
1	25	21
2	42	21
3	83	21
4	162	21
5	397	21
6	1264	21
done	5000	21
0	9	10
1	24	10
2	41	10
3	82	10
4	156	10
5	379	10
6	1240	10
done	5000	10
0	10	29
1	35	29
2	104	11
3	431	11
4	2105	11
done	5000	11
0	9	10
1	24	10
2	41	10
3	82	10
4	156	10
5	379	10
6	1240	10
done	5000	10
0	9	10
1	24	10
2	41	10
3	82	10
4	156	10
5	379	10
6	1240	10
done	5000	10
0	10	11
1	25	11
2	34	11
3	51	11
4	94	11
5	207	11
6	610	11
7	2428	11
done	5000	11
0	10	11
1	25	11
2	34	11
3	51	11
4	94	11
5	207	11
6	610	11
7	2428	11
done	5000	11
0	10	13
1	27	13
2	46	13
3	107	13
4	250	13
5	651	13
6	2133	13
done	5001	13
0	9	10
1	24	10
2	41	10
3	82	10
4	156	10
5	379	10
6	1261	10
done	5001	10
0	8	9
1	25	7
2	45	7
3	94	7
4	204	7
5	430	7
6	1131	7
7	3794	7
done	5000	7
0	9	10
1	24	10
2	33	10
3	50	10
4	91	10
5	210	10
6	618	10
7	2462	10
done	5000	10
0	9	10
1	24	10
2	33	10
3	50	10
4	91	10
5	210	10
6	618	10
7	2462	10
done	5000	10
0	5	5
1	7	5
2	15	5
done	15	5
0	8	9
1	23	9
2	40	9
3	81	9
4	157	9
5	382	9
6	1272	9
done	5000	9
0	8	9
1	23	9
2	40	9
3	81	9
4	157	9
5	382	9
6	1272	9
done	5000	9
0	8	9
1	23	9
2	40	9
3	81	9
4	157	9
5	382	9
6	1272	9
done	5000	9
0	8	9
1	23	9
2	40	9
3	81	9
4	157	9
5	382	9
6	1272	9
done	5000	9
0	8	9
1	23	9
2	40	9
3	81	9
4	157	9
5	382	9
6	1272	9
done	5000	9
0	8	9
1	23	9
2	40	9
3	81	9
4	157	9
5	382	9
6	1272	9
done	5000	9
0	10	13
1	35	13
2	130	13
3	486	13
4	2159	13
done	5000	13
0	10	17
1	33	9
2	97	9
3	301	9
4	1257	9
done	5000	9
0	18	25
1	44	24
2	76	24
3	147	22
4	290	22
5	750	22
6	2812	22
done	5000	22
0	17	24
1	39	24
2	65	24
3	122	22
4	227	22
5	544	22
6	1983	22
done	5000	22
0	17	24
1	42	24
2	73	24
3	138	22
4	256	22
5	665	22
6	2523	22
done	5000	22
0	18	49
1	40	49
2	66	49
3	123	45
4	225	45
5	527	45
6	1897	45
done	5001	45
0	17	24
1	39	24
2	65	24
3	122	22
4	224	22
5	540	22
6	1980	22
done	5000	22
0	18	71
1	53	71
2	142	25
3	507	23
4	2097	23
done	5000	23
0	17	24
1	39	24
2	65	24
3	122	22
4	224	22
5	540	22
6	1980	22
done	5000	22
0	17	24
1	39	24
2	65	24
3	122	22
4	224	22
5	540	22
6	1980	22
done	5000	22
0	18	27
1	56	27
2	148	27
3	515	27
4	2482	27
done	5000	27
0	20	71
1	64	67
2	167	67
3	496	49
4	1680	49
done	5000	49
0	18	47
1	55	47
2	131	47
3	366	43
4	1177	43
done	5000	43
0	16	23
1	39	23
2	72	23
3	131	21
4	239	21
5	558	21
6	1974	21
done	5000	21
0	8	11
1	18	10
2	34	10
3	76	10
4	202	10
5	630	10
6	2686	10
done	5001	10
0	7	10
1	11	10
2	17	10
3	26	10
4	35	10
5	42	10
6	52	10
7	72	10
8	105	10
9	142	10
10	172	10
11	197	10
12	227	10
done	227	10
0	7	10
1	14	10
2	27	10
3	53	10
4	114	10
5	288	10
6	939	10
done	5000	10
0	8	21
1	12	21
2	18	21
3	27	21
4	36	21
5	43	21
6	53	21
7	73	21
8	106	21
9	143	21
10	173	21
11	198	21
12	228	21
done	228	21
0	7	10
1	11	10
2	17	10
3	26	10
4	35	10
5	42	10
6	52	10
7	72	10
8	105	10
9	142	10
10	172	10
11	197	10
12	227	10
done	227	10
0	8	29
1	25	29
2	89	11
3	349	11
4	1533	11
done	5000	11
0	7	10
1	11	10
2	17	10
3	26	10
4	35	10
5	42	10
6	52	10
7	72	10
8	105	10
9	142	10
10	172	10
11	197	10
12	227	10
done	227	10
0	7	10
1	11	10
2	17	10
3	26	10
4	35	10
5	42	10
6	52	10
7	72	10
8	105	10
9	142	10
10	172	10
11	197	10
12	227	10
done	227	10
0	9	13
1	31	13
2	89	11
3	250	11
4	719	11
5	2573	11
done	5000	11
0	10	29
1	36	25
2	103	25
3	295	19
4	758	19
5	2304	19
done	5001	19
0	8	19
1	27	19
2	67	17
3	175	15
4	479	15
5	1504	15
done	5000	15
0	6	9
1	11	9
2	20	9
3	31	9
4	47	9
5	65	9
6	94	9
7	165	9
8	393	9
9	1072	9
10	3550	9
done	5000	9
0	6	8
1	10	8
2	14	7
3	21	5
4	24	5
done	24	5
0	6	8
1	10	8
2	14	7
3	21	5
4	24	5
done	24	5
0	6	8
1	10	8
2	14	7
3	21	5
4	24	5
done	24	5
0	6	8
1	10	8
2	14	7
3	21	5
4	24	5
done	24	5
0	8	9
1	14	9
2	20	9
3	24	7
4	26	7
done	26	7
0	6	7
1	9	7
2	13	5
3	15	5
done	15	5
0	6	7
1	9	7
2	13	5
3	15	5
done	15	5
0	3	3
1	4	3
done	4	3
0	8	9
1	19	9
2	41	7
3	63	7
4	110	7
5	254	7
6	777	7
7	3065	7
done	5000	7
0	8	9
1	19	9
2	41	7
3	63	7
4	110	7
5	254	7
6	777	7
7	3065	7
done	5000	7
0	11	13
1	21	13
2	33	13
3	45	11
4	63	9
5	69	9
done	69	9
0	9	11
1	18	9
2	32	7
3	44	7
4	48	7
done	48	7
0	9	11
1	18	9
2	32	7
3	44	7
4	48	7
done	48	7
0	8	9
1	19	9
2	40	9
3	51	9
4	71	7
5	100	7
6	144	7
7	239	7
8	466	7
9	1401	7
done	5000	7
0	8	9
1	19	9
2	40	9
3	51	9
4	71	7
5	100	7
6	144	7
7	239	7
8	466	7
9	1401	7
done	5000	7
0	8	9
1	19	9
2	40	9
3	51	9
4	71	7
5	100	7
6	144	7
7	239	7
8	466	7
9	1401	7
done	5000	7

prune189.0ms

Filtered

69 candidates to 89 candidates (-29.0%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	89	0	89
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	89	5	94

Merged error: 0b

Counts

94 → 5

regimes163.0ms

Accuracy

0% (0.1b remaining)

Error of 0.1b against oracle of 0.0b and baseline of 0.1b

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

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

end0.0ms

sample818.0ms

Algorithm

intervals

Results

342.0ms	9609×	body	80	valid
28.0ms	235×	body	640	valid
16.0ms	106×	body	1280	valid
12.0ms	135×	body	320	valid
6.0ms	88×	body	160	valid

Details

sample28.0ms

simplify24.0ms

prune16.0ms

localize6.0ms

rewrite10.0ms

series8.0ms

simplify11.5s

prune63.0ms

localize7.0ms

rewrite15.0ms

series15.0ms

simplify31.6s

prune71.0ms

localize12.0ms

rewrite36.0ms

series29.0ms

simplify3.9min

prune258.0ms

localize16.0ms

rewrite77.0ms

series52.0ms

simplify3.1min

prune189.0ms

regimes163.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample818.0ms

Profiling