Details

sample24.0ms

Algorithm

intervals

Results

13.0ms

391×

body

valid

simplify4.3s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	7	9
1	13	9
2	34	9
3	69	9
4	86	9
5	91	9
6	108	9
7	150	9
8	271	9
9	676	9
10	2239	9
done	5000	9

prune2.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.2b

Counts

2 → 1

localize6.0ms

Local error

Found 1 expressions with local error:

0.2b	(* (* x x) (- 3.0 (* x 2.0)))

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

1 → 25

Calls

1 calls:

8.0ms

(* (* x x) (- 3.0 (* x 2.0)))

series8.0ms

Counts

1 → 3

Calls

1 calls:

8.0ms

(* (* x x) (- 3.0 (* x 2.0)))

simplify1.3min

Counts

28 → 28

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	7	9
1	13	9
2	34	9
3	69	9
4	86	9
5	91	9
6	108	9
7	150	9
8	271	9
9	676	9
10	2239	9
done	5000	9
0	7	9
1	13	9
2	34	9
3	69	9
4	86	9
5	91	9
6	108	9
7	150	9
8	271	9
9	676	9
10	2239	9
done	5000	9
0	9	12
1	17	11
2	27	11
done	27	11
0	9	11
1	15	11
2	28	11
3	29	11
done	29	11
0	8	10
1	17	10
2	43	10
3	84	10
4	105	10
5	109	10
6	126	10
7	168	10
8	293	10
9	707	10
10	2262	10
done	5001	10
0	8	10
1	16	10
2	46	10
3	108	10
4	208	10
5	442	10
6	1267	10
7	4818	10
done	5000	10
0	11	29
1	27	29
2	103	15
3	463	11
4	2426	11
done	5000	11
0	11	29
1	28	29
2	104	13
3	471	11
4	2421	11
done	5000	11
0	9	21
1	15	21
2	36	21
3	71	21
4	86	21
5	91	21
6	108	21
7	150	21
8	269	21
9	670	21
10	2163	21
done	5000	21
0	8	10
1	14	10
2	35	10
3	69	10
4	85	10
5	90	10
6	107	10
7	149	10
8	266	10
9	675	10
10	2198	10
done	5000	10
0	9	29
1	25	29
2	113	11
3	533	11
4	2417	11
done	5000	11
0	8	10
1	14	10
2	35	10
3	69	10
4	85	10
5	90	10
6	107	10
7	149	10
8	266	10
9	675	10
10	2198	10
done	5000	10
0	8	10
1	14	10
2	35	10
3	69	10
4	85	10
5	90	10
6	107	10
7	149	10
8	266	10
9	675	10
10	2198	10
done	5000	10
0	7	8
1	11	8
2	18	8
done	18	8
0	7	8
1	11	8
2	18	8
done	18	8
0	4	5
1	7	5
2	9	5
done	9	5
0	6	8
1	16	8
2	40	8
3	62	8
4	64	6
5	69	6
6	86	6
7	126	6
8	241	6
9	648	6
10	2160	6
done	5000	6
0	4	5
1	7	5
2	9	5
done	9	5
0	6	8
1	16	8
2	40	8
3	62	8
4	64	6
5	69	6
6	86	6
7	126	6
8	241	6
9	648	6
10	2160	6
done	5000	6
0	4	5
1	7	5
2	9	5
done	9	5
0	6	8
1	16	8
2	38	8
3	66	6
4	72	6
5	89	6
6	129	6
7	252	6
8	658	6
9	2151	6
done	5000	6
0	4	5
1	7	5
2	9	5
done	9	5
0	6	8
1	16	8
2	38	8
3	66	6
4	72	6
5	89	6
6	129	6
7	252	6
8	658	6
9	2151	6
done	5000	6
0	9	17
1	19	17
2	37	17
done	37	17
0	8	10
1	14	10
2	23	10
done	23	10
0	4	5
1	9	3
2	17	3
done	17	3
0	6	7
1	10	7
2	23	7
3	37	7
4	41	7
done	41	7
0	10	13
1	32	13
2	100	13
3	395	13
4	1404	13
5	4681	13
done	5000	13
0	9	15
1	24	15
2	74	15
3	234	15
4	536	15
5	861	15
6	1270	15
7	2438	15
done	5000	15
0	10	11
1	25	11
2	72	11
3	138	9
4	294	9
5	651	9
6	2073	9
done	5000	9
0	10	11
1	25	11
2	72	11
3	138	9
4	294	9
5	651	9
6	2073	9
done	5000	9
0	10	11
1	25	11
2	72	11
3	138	9
4	294	9
5	651	9
6	2073	9
done	5000	9

prune60.0ms

Filtered

20 candidates to 28 candidates (-40.0%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	23	5	28
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	24	5	29

Merged error: 0.0b

Counts

29 → 5

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(* (pow x 3) (neg 2.0))
0.0b	(+ (* (* x x) 3.0) (* (pow x 3) (neg 2.0)))
0.2b	(* (* x x) 3.0)

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

18×	`add-sqr-sqrt`
13×	`add-exp-log` `associate-r` `associate-l`
10×	`add-cube-cbrt` `*-un-lft-identity` `add-cbrt-cube`
8×	`pow1`
6×	`prod-exp`
5×	`add-log-exp` `unswap-sqr`
4×	`unpow-prod-down` `cube-prod` `cbrt-unprod`
3×	`distribute-lft-neg-in` `distribute-rgt-neg-in` `pow-prod-down` `distribute-rgt-neg-out`
2×	`*-commutative` `sqr-pow`
1×	`+-commutative` `cube-mult` `pow-to-exp` `neg-mul-1` `flip3-+` `unpow3` `unsub-neg` `pow-exp` `sum-log` `flip-+`

Counts

3 → 71

Calls

3 calls:

13.0ms	(* (pow x 3) (neg 2.0))
7.0ms	(+ (* (* x x) 3.0) (* (pow x 3) (neg 2.0)))
7.0ms	(* (* x x) 3.0)

series18.0ms

Counts

3 → 9

Calls

3 calls:

4.0ms	(* (pow x 3) (neg 2.0))
10.0ms	(+ (* (* x x) 3.0) (* (pow x 3) (neg 2.0)))
3.0ms	(* (* x x) 3.0)

simplify4.0min

Counts

80 → 80

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	4	5
1	7	5
2	9	5
done	9	5
0	4	5
1	7	5
2	9	5
done	9	5
0	6	8
1	11	7
2	14	7
done	14	7
0	6	7
1	9	7
2	15	7
3	16	7
done	16	7
0	5	6
1	11	6
2	18	6
3	25	6
4	26	6
done	26	6
0	5	6
1	10	6
2	21	6
3	37	6
4	79	6
5	184	6
6	449	6
7	1203	6
8	4669	6
done	5000	6
0	8	17
1	21	17
2	72	11
3	213	7
4	436	7
5	1198	7
6	4072	7
done	5000	7
0	8	17
1	22	17
2	74	9
3	211	7
4	446	7
5	1262	7
6	4293	7
done	5000	7
0	6	13
1	9	13
2	11	13
done	11	13
0	5	6
1	8	6
2	10	6
done	10	6
0	6	17
1	19	17
2	70	7
3	230	7
4	358	7
5	524	7
6	1407	7
7	4747	7
done	5000	7
0	5	6
1	8	6
2	10	6
done	10	6
0	5	6
1	8	6
2	10	6
done	10	6
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	6	9
1	13	9
2	24	9
done	24	9
0	5	6
1	8	6
2	10	6
done	10	6
0	4	5
1	9	3
2	17	3
done	17	3
0	3	3
1	4	3
done	4	3
0	12	14
1	32	13
2	83	12
3	220	10
4	619	10
5	2721	10
done	5000	10
0	11	13
1	25	13
2	55	12
3	119	10
4	245	10
5	582	10
6	1880	10
done	5000	10
0	11	13
1	28	13
2	72	12
3	182	10
4	496	10
5	2096	10
done	5000	10
0	12	27
1	26	27
2	56	25
3	120	21
4	238	21
5	573	21
6	1869	21
done	5000	21
0	11	13
1	25	13
2	55	12
3	119	10
4	239	10
5	572	10
6	1903	10
done	5000	10
0	12	38
1	39	38
2	148	13
3	806	11
done	5000	11
0	11	13
1	25	13
2	55	12
3	119	10
4	239	10
5	572	10
6	1903	10
done	5000	10
0	11	13
1	25	13
2	55	12
3	119	10
4	239	10
5	572	10
6	1903	10
done	5000	10
0	12	16
1	42	16
2	163	16
3	846	15
done	5000	15
0	14	38
1	53	31
2	226	29
3	1061	24
4	4999	19
done	5000	19
0	12	25
1	44	25
2	169	17
3	747	15
4	3261	15
done	5000	15
0	10	12
1	25	12
2	60	11
3	160	9
4	372	9
5	987	9
6	3082	9
done	5000	9
0	8	8
1	10	8
done	10	8
0	8	8
1	10	8
done	10	8
0	8	8
1	19	8
2	31	8
3	58	8
4	114	8
5	263	8
6	756	8
7	2807	8
done	5000	8
0	7	7
1	21	7
2	56	7
3	140	7
4	313	7
5	809	7
6	2656	7
done	5000	7
0	7	7
1	20	7
2	61	7
3	152	7
4	392	7
5	1152	7
6	4208	7
done	5001	7
0	10	20
1	35	14
2	126	10
3	664	10
4	3960	8
done	5000	8
0	8	15
1	19	15
2	46	15
3	97	15
4	209	15
5	537	15
6	1822	15
done	5000	15
0	7	7
1	18	7
2	45	7
3	100	7
4	209	7
5	540	7
6	1842	7
done	5000	7
0	8	20
1	29	20
2	145	8
3	886	8
done	5000	8
0	7	7
1	18	7
2	45	7
3	100	7
4	209	7
5	540	7
6	1842	7
done	5000	7
0	7	7
1	18	7
2	45	7
3	100	7
4	209	7
5	540	7
6	1842	7
done	5000	7
0	8	8
1	17	8
2	35	8
3	55	8
4	101	8
5	246	8
6	766	8
7	3055	8
done	5000	8
0	8	8
1	17	8
2	35	8
3	55	8
4	101	8
5	246	8
6	766	8
7	3055	8
done	5000	8
0	8	8
1	17	8
2	35	8
3	55	8
4	101	8
5	246	8
6	766	8
7	3055	8
done	5000	8
0	8	8
1	17	8
2	35	8
3	55	8
4	101	8
5	246	8
6	766	8
7	3055	8
done	5000	8
0	8	8
1	17	8
2	24	8
3	34	8
4	57	8
5	122	8
6	337	8
7	1272	8
done	5000	8
0	8	8
1	17	8
2	24	8
3	34	8
4	57	8
5	122	8
6	337	8
7	1272	8
done	5000	8
0	9	9
1	14	7
2	25	7
3	43	7
4	90	7
5	232	7
6	758	7
7	3048	7
done	5001	7
0	9	9
1	14	7
2	25	7
3	43	7
4	90	7
5	232	7
6	758	7
7	3048	7
done	5001	7
0	5	5
1	14	5
2	32	5
3	53	5
4	101	5
5	252	5
6	773	5
7	3066	5
done	5001	5
0	8	11
1	19	11
2	48	11
3	101	11
4	192	11
5	492	11
6	1574	11
done	5000	11
0	7	7
1	16	7
2	34	7
3	54	7
4	102	7
5	245	7
6	772	7
7	3062	7
done	5001	7
0	5	5
1	16	3
2	37	3
3	73	3
4	119	3
5	220	3
6	502	3
7	1650	3
done	5001	3
0	5	5
1	14	5
2	33	4
3	63	4
4	115	4
5	272	4
6	823	4
7	3208	4
done	5001	4
0	8	10
1	22	10
2	60	10
3	167	10
4	410	10
5	1075	10
6	3552	10
done	5001	10
0	7	7
1	18	7
2	45	7
3	93	7
4	205	7
5	538	7
6	1818	7
done	5000	7
0	6	6
1	20	5
2	47	4
3	138	4
4	231	4
5	464	4
6	1171	4
7	4057	4
done	5000	4
0	7	9
1	18	9
2	47	9
3	93	9
4	188	9
5	475	9
6	1531	9
done	5000	9
0	6	6
1	15	6
2	33	6
3	61	6
4	109	6
5	255	6
6	779	6
7	3085	6
done	5001	6
0	5	5
1	16	3
2	37	3
3	73	3
4	119	3
5	220	3
6	502	3
7	1650	3
done	5001	3
0	7	7
1	18	4
2	25	4
3	32	4
4	42	4
5	63	4
6	127	4
7	344	4
8	1256	4
done	5000	4
0	7	7
1	18	7
2	45	7
3	89	7
4	192	7
5	515	7
6	1825	7
done	5000	7
0	6	6
1	17	6
2	44	6
3	93	6
4	205	6
5	536	6
6	1814	6
done	5001	6
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	7	7
1	18	4
2	27	4
3	38	4
4	61	4
5	122	4
6	339	4
7	1255	4
done	5000	4
0	7	7
1	18	4
2	25	4
3	32	4
4	42	4
5	63	4
6	127	4
7	344	4
8	1256	4
done	5000	4
0	7	7
1	18	7
2	45	7
3	89	7
4	192	7
5	515	7
6	1825	7
done	5000	7
0	6	6
1	17	6
2	44	6
3	93	6
4	205	6
5	536	6
6	1814	6
done	5001	6
0	5	6
1	10	6
2	18	6
3	26	6
4	28	6
done	28	6
0	7	7
1	18	7
2	28	7
3	39	7
4	62	7
5	123	7
6	339	7
7	1257	7
done	5000	7
0	6	6
1	17	6
2	44	6
3	93	6
4	205	6
5	536	6
6	1814	6
done	5001	6
0	8	8
1	16	6
2	31	6
3	61	6
4	152	6
5	474	6
6	1806	6
done	5001	6
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5
0	10	11
1	25	11
2	72	11
3	138	9
4	294	9
5	651	9
6	2073	9
done	5000	9
0	10	11
1	25	11
2	72	11
3	138	9
4	294	9
5	651	9
6	2073	9
done	5000	9
0	10	11
1	25	11
2	72	11
3	138	9
4	294	9
5	651	9
6	2073	9
done	5000	9
0	5	5
1	14	5
2	32	5
3	54	5
4	101	5
5	244	5
6	773	5
7	3060	5
done	5001	5
0	5	5
1	14	5
2	32	5
3	54	5
4	101	5
5	244	5
6	773	5
7	3060	5
done	5001	5
0	5	5
1	14	5
2	32	5
3	54	5
4	101	5
5	244	5
6	773	5
7	3060	5
done	5001	5

prune125.0ms

Filtered

57 candidates to 80 candidates (-40.4%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	78	2	80
Fresh	1	3	4
Picked	0	1	1
Done	0	0	0
Total	79	6	85

Merged error: 0.0b

Counts

85 → 6

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b	(* x (- 3.0 (* x 2.0)))
0.1b	(* x (* x (- 3.0 (* x 2.0))))

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 52

Calls

2 calls:

7.0ms	(* x (- 3.0 (* x 2.0)))
9.0ms	(* x (* x (- 3.0 (* x 2.0))))

series14.0ms

Counts

2 → 6

Calls

2 calls:

7.0ms	(* x (- 3.0 (* x 2.0)))
8.0ms	(* x (* x (- 3.0 (* x 2.0))))

simplify2.0min

Counts

58 → 58

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	7	9
1	14	9
2	34	9
3	69	9
4	86	9
5	91	9
6	108	9
7	150	9
8	272	9
9	680	9
10	2222	9
done	5001	9
0	7	9
1	14	9
2	34	9
3	69	9
4	86	9
5	91	9
6	108	9
7	150	9
8	272	9
9	680	9
10	2222	9
done	5001	9
0	9	12
1	16	12
2	26	11
3	27	11
done	27	11
0	9	11
1	16	11
2	32	11
3	49	11
4	56	11
done	56	11
0	8	10
1	18	10
2	44	10
3	82	10
4	104	10
5	109	10
6	126	10
7	168	10
8	292	10
9	713	10
10	2264	10
done	5000	10
0	8	10
1	17	10
2	45	10
3	105	10
4	216	10
5	482	10
6	1507	10
done	5001	10
0	11	29
1	26	29
2	110	15
3	491	11
4	2295	11
done	5000	11
0	11	29
1	30	29
2	127	13
3	597	13
4	2479	11
done	5001	11
0	9	21
1	16	21
2	36	21
3	71	21
4	90	21
5	95	21
6	112	21
7	154	21
8	278	21
9	680	21
10	2171	21
done	5001	21
0	8	10
1	15	10
2	35	10
3	69	10
4	87	10
5	92	10
6	109	10
7	151	10
8	266	10
9	671	10
10	2211	10
done	5000	10
0	9	29
1	25	29
2	99	11
3	403	11
4	1731	11
done	5000	11
0	8	10
1	15	10
2	35	10
3	69	10
4	87	10
5	92	10
6	109	10
7	151	10
8	266	10
9	671	10
10	2211	10
done	5000	10
0	8	10
1	15	10
2	35	10
3	69	10
4	87	10
5	92	10
6	109	10
7	151	10
8	266	10
9	671	10
10	2211	10
done	5000	10
0	4	5
1	8	5
2	9	5
done	9	5
0	6	8
1	17	8
2	36	8
3	53	8
4	58	6
5	63	6
6	80	6
7	124	6
8	248	6
9	650	6
10	2155	6
done	5001	6
0	4	5
1	8	5
2	9	5
done	9	5
0	6	8
1	17	8
2	36	8
3	53	8
4	58	6
5	63	6
6	80	6
7	124	6
8	248	6
9	650	6
10	2155	6
done	5001	6
0	4	5
1	6	5
2	9	5
done	9	5
0	6	8
1	15	8
2	31	8
3	54	8
4	61	6
5	66	6
6	83	6
7	127	6
8	249	6
9	651	6
10	2118	6
done	5000	6
0	4	5
1	6	5
2	9	5
done	9	5
0	6	8
1	15	8
2	31	8
3	54	8
4	61	6
5	66	6
6	83	6
7	127	6
8	249	6
9	651	6
10	2118	6
done	5000	6
0	4	5
1	6	5
2	9	5
done	9	5
0	6	8
1	15	8
2	30	8
3	53	8
4	62	6
5	67	6
6	84	6
7	126	6
8	243	6
9	655	6
10	2178	6
done	5000	6
0	4	5
1	6	5
2	9	5
done	9	5
0	6	8
1	15	8
2	30	8
3	53	8
4	62	6
5	67	6
6	84	6
7	126	6
8	243	6
9	655	6
10	2178	6
done	5000	6
0	4	5
1	8	5
2	9	5
done	9	5
0	6	8
1	17	8
2	36	8
3	57	8
4	65	6
5	70	6
6	87	6
7	129	6
8	256	6
9	664	6
10	2140	6
done	5001	6
0	4	5
1	8	5
2	9	5
done	9	5
0	6	8
1	17	8
2	36	8
3	57	8
4	65	6
5	70	6
6	87	6
7	129	6
8	256	6
9	664	6
10	2140	6
done	5001	6
0	2	3
done	2	3
0	8	10
1	15	10
2	40	10
3	91	10
4	145	10
5	172	10
6	182	10
done	182	10
0	8	10
1	15	10
2	40	10
3	91	10
4	145	10
5	172	10
6	182	10
done	182	10
0	7	9
1	14	9
2	34	9
3	69	9
4	86	9
5	91	9
6	108	9
7	150	9
8	272	9
9	680	9
10	2222	9
done	5001	9
0	10	13
1	33	13
2	100	13
3	391	13
4	1413	13
5	4740	13
done	5000	13
0	9	15
1	25	15
2	74	15
3	235	15
4	545	15
5	863	15
6	1277	15
7	2445	15
done	5001	15
0	6	7
1	10	7
2	23	7
3	37	7
4	41	7
done	41	7
0	8	9
1	12	9
2	19	9
done	19	9
0	7	8
1	14	8
2	28	8
3	42	8
4	48	8
done	48	8
0	7	8
1	13	8
2	32	8
3	66	8
4	130	8
5	274	8
6	722	8
7	2452	8
done	5000	8
0	10	23
1	20	23
2	70	11
3	295	11
4	1320	9
done	5002	9
0	8	17
1	12	17
2	25	17
3	39	17
4	43	17
done	43	17
0	7	8
1	11	8
2	24	8
3	38	8
4	44	8
done	44	8
0	8	23
1	22	23
2	82	9
3	325	9
4	1203	9
5	4320	9
done	5000	9
0	7	8
1	11	8
2	24	8
3	38	8
4	44	8
done	44	8
0	7	8
1	11	8
2	24	8
3	38	8
4	44	8
done	44	8
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	3	3
1	4	3
done	4	3
0	5	6
1	13	6
2	22	6
3	28	6
done	28	6
0	3	3
1	4	3
done	4	3
0	5	6
1	13	6
2	22	6
3	28	6
done	28	6
0	3	3
1	4	3
done	4	3
0	5	6
1	13	6
2	23	6
3	28	6
done	28	6
0	3	3
1	4	3
done	4	3
0	5	6
1	13	6
2	23	6
3	28	6
done	28	6
0	8	15
1	14	15
2	23	15
done	23	15
0	7	8
1	11	8
2	18	8
done	18	8
0	3	3
1	6	1
done	6	1
0	7	8
1	11	8
2	24	8
3	45	8
4	63	8
5	71	8
done	71	8
0	7	8
1	11	8
2	24	8
3	45	8
4	63	8
5	71	8
done	71	8
0	6	7
1	10	7
2	23	7
3	37	7
4	41	7
done	41	7
0	9	11
1	29	11
2	90	11
3	325	11
4	1017	11
5	3078	11
done	5001	11
0	8	13
1	22	13
2	62	13
3	161	13
4	322	13
5	515	13
6	766	13
7	1305	13
8	4467	13
done	5000	13
0	10	11
1	25	11
2	72	11
3	138	9
4	294	9
5	651	9
6	2073	9
done	5000	9
0	10	11
1	25	11
2	72	11
3	138	9
4	294	9
5	651	9
6	2073	9
done	5000	9
0	10	11
1	25	11
2	72	11
3	138	9
4	294	9
5	651	9
6	2073	9
done	5000	9
0	8	9
1	17	9
2	40	9
3	57	9
4	79	7
5	92	7
6	114	7
7	178	7
8	394	7
9	1344	7
done	5001	7
0	8	9
1	17	9
2	40	9
3	57	9
4	79	7
5	92	7
6	114	7
7	178	7
8	394	7
9	1344	7
done	5001	7
0	8	9
1	17	9
2	40	9
3	57	9
4	79	7
5	92	7
6	114	7
7	178	7
8	394	7
9	1344	7
done	5001	7

prune72.0ms

Filtered

40 candidates to 58 candidates (-45.0%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	56	2	58
Fresh	4	0	4
Picked	0	1	1
Done	0	1	1
Total	60	4	64

Merged error: 0.0b

Counts

64 → 4

localize10.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt x) (cbrt x))
0.6b	(cbrt x)
0.6b	(cbrt x)
0.6b	(cbrt x)

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

25×	`cbrt-prod`
23×	`add-sqr-sqrt`
15×	`add-cube-cbrt` `*-un-lft-identity`
11×	`pow1`
9×	`pow1/3`
6×	`add-exp-log` `swap-sqr` `associate-r` `associate-l`
4×	`add-cbrt-cube` `add-log-exp` `unswap-sqr`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 73

Calls

4 calls:

7.0ms	(* (cbrt x) (cbrt x))
1.0ms	(cbrt x)
2.0ms	(cbrt x)
1.0ms	(cbrt x)

series120.0ms

Counts

4 → 12

Calls

4 calls:

30.0ms	(* (cbrt x) (cbrt x))
25.0ms	(cbrt x)
36.0ms	(cbrt x)
29.0ms	(cbrt x)

simplify51.5s

Counts

85 → 85

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	3	3
done	3	3
0	3	3
done	3	3
0	4	6
done	4	6
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	2	2
1	4	1
done	4	1
0	2	2
done	2	2
0	4	7
done	4	7
0	3	3
done	3	3
0	4	8
1	5	8
2	7	4
3	12	1
4	16	1
5	22	1
6	32	1
7	55	1
8	122	1
9	333	1
10	1272	1
done	5000	1
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	4	6
done	4	6
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	2	2
1	4	1
done	4	1
0	2	2
done	2	2
0	4	7
done	4	7
0	3	3
done	3	3
0	4	8
1	5	8
2	7	4
3	12	1
4	16	1
5	22	1
6	32	1
7	55	1
8	122	1
9	333	1
10	1272	1
done	5000	1
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	4	6
done	4	6
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	2	2
1	4	1
done	4	1
0	2	2
done	2	2
0	4	7
done	4	7
0	3	3
done	3	3
0	4	8
1	5	8
2	7	4
3	12	1
4	16	1
5	22	1
6	32	1
7	55	1
8	122	1
9	333	1
10	1272	1
done	5000	1
0	3	3
done	3	3
0	3	3
done	3	3
0	2	3
1	5	1
done	5	1
0	2	3
1	6	1
done	6	1
0	2	3
done	2	3
0	3	5
done	3	5
0	2	3
1	6	1
done	6	1
0	4	7
1	6	5
2	7	5
done	7	5
0	4	6
1	6	6
2	8	5
3	9	5
done	9	5
0	4	6
1	6	6
2	10	6
3	15	6
4	33	6
5	73	6
6	177	6
7	560	6
8	2247	6
done	5000	6
0	2	3
done	2	3
0	5	13
done	5	13
0	4	6
done	4	6
0	5	17
1	13	17
2	20	7
3	34	3
4	53	3
5	87	3
6	151	3
7	335	3
8	832	3
9	3226	3
done	5000	3
0	4	6
1	5	3
done	5	3
0	4	6
1	5	3
done	5	3
0	5	13
done	5	13
0	4	7
done	4	7
0	4	7
done	4	7
0	4	7
done	4	7
0	3	5
1	5	3
done	5	1
0	3	5
done	3	5
0	5	15
1	9	15
2	11	9
3	20	5
4	35	5
5	61	5
6	131	5
7	348	5
8	1255	5
done	5001	5
0	4	7
done	4	7
0	4	7
done	4	2
0	4	7
done	4	2
0	2	3
1	4	1
done	4	1
0	3	5
done	3	5
0	4	7
done	4	7
0	4	7
done	4	7
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	4	7
done	4	2
0	4	7
done	4	2
0	3	3
1	5	1
done	5	1
0	3	3
1	6	1
done	6	1
0	5	9
1	6	9
done	6	9
0	5	6
1	6	6
done	6	6
0	5	5
1	8	4
done	8	4
0	5	10
1	8	10
2	10	10
done	10	10
0	4	6
1	5	6
done	5	6
0	4	4
1	7	2
2	10	2
done	10	2
0	4	6
1	5	6
done	5	6
0	5	6
1	6	6
done	6	6
0	3	5
done	3	5
0	4	6
1	5	6
done	5	6
0	4	6
1	5	6
done	5	6
0	3	5
done	3	5
0	8	8
1	20	7
2	28	5
3	50	2
4	87	2
5	171	2
6	353	2
7	904	2
8	3078	2
done	5000	2
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	12	13
1	23	12
2	40	11
3	95	10
4	227	9
5	546	7
6	1204	6
7	3460	2
done	5000	2
0	8	8
1	20	7
2	28	5
3	50	2
4	87	2
5	171	2
6	353	2
7	904	2
8	3078	2
done	5000	2
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	12	13
1	23	12
2	40	11
3	95	10
4	227	9
5	546	7
6	1204	6
7	3460	2
done	5000	2
0	8	8
1	20	7
2	28	5
3	50	2
4	87	2
5	171	2
6	353	2
7	904	2
8	3078	2
done	5000	2
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	12	13
1	23	12
2	40	11
3	95	10
4	227	9
5	546	7
6	1204	6
7	3460	2
done	5000	2
0	10	10
1	23	9
2	39	5
3	79	3
4	156	3
5	315	3
6	887	3
7	2939	3
done	5000	3
0	11	12
1	22	10
2	46	8
3	131	5
4	286	3
5	617	3
6	1980	3
done	5001	3
0	15	17
1	31	16
2	66	14
3	189	11
4	553	10
5	2139	10
done	5000	9

prune68.0ms

Filtered

52 candidates to 85 candidates (-63.5%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	85	0	85
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	85	4	89

Merged error: 0.0b

Counts

89 → 4

regimes32.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	12
1	15	12
2	18	12
3	19	12
done	19	12

end0.0ms

sample566.0ms

Algorithm

intervals

Results

331.0ms

11984×

body

valid

Details

sample24.0ms

simplify4.3s

prune2.0ms

localize6.0ms

rewrite15.0ms

series8.0ms

simplify1.3min

prune60.0ms

localize9.0ms

rewrite29.0ms

series18.0ms

simplify4.0min

prune125.0ms

localize6.0ms

rewrite18.0ms

series14.0ms

simplify2.0min

prune72.0ms

localize10.0ms

rewrite14.0ms

series120.0ms

simplify51.5s

prune68.0ms

regimes32.0ms

bsearch0.0ms

simplify3.0ms

end0.0ms

sample566.0ms

Profiling