Details

sample16.0ms

Algorithm

intervals

Results

5.0ms	256×	body	80	valid
4.0ms	256×	pre	80	true

simplify4.0s

Counts

1 → 1

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	4	9
1	13	7
2	26	7
3	39	7
4	57	7
5	112	7
6	206	7
7	584	7
8	1892	7
done	5000	7

prune6.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	0	1	1
Fresh	1	0	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Merged error: 0.0b

Counts

2 → 1

localize5.0ms

Local error

Found 1 expressions with local error:

0.0b	(+ (pow x 3) (* x x))

rewrite7.0ms

Algorithm

rewrite-expression-head

Rules

3×	`add-log-exp`
2×	`cube-mult`
1×	`pow1` `add-exp-log` `+-commutative` `add-sqr-sqrt` `add-cube-cbrt` `distribute-rgt-out` `*-un-lft-identity` `distribute-lft1-in` `flip3-+` `unpow3` `sum-log` `add-cbrt-cube` `flip-+` `distribute-lft-out`

Counts

1 → 14

Calls

1 calls:

7.0ms

(+ (pow x 3) (* x x))

series7.0ms

Counts

1 → 3

Calls

1 calls:

7.0ms

(+ (pow x 3) (* x x))

simplify38.7s

Counts

17 → 17

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	7	9
1	19	8
2	38	8
3	79	8
4	215	8
5	651	8
6	2689	8
done	5000	8
0	6	8
1	14	8
2	27	8
3	51	8
4	85	8
5	155	8
6	404	8
7	1446	8
done	5000	8
0	6	8
1	17	8
2	37	8
3	72	8
4	173	8
5	479	8
6	1670	8
done	5001	8
0	7	17
1	15	17
2	28	17
3	46	17
4	76	17
5	148	17
6	398	17
7	1405	17
done	5000	17
0	6	8
1	14	8
2	27	8
3	45	8
4	75	8
5	145	8
6	388	8
7	1409	8
done	5000	8
0	7	23
1	28	23
2	100	9
3	354	9
4	1586	9
done	5000	9
0	6	8
1	14	8
2	27	8
3	45	8
4	75	8
5	145	8
6	388	8
7	1409	8
done	5000	8
0	6	8
1	14	8
2	27	8
3	45	8
4	75	8
5	145	8
6	388	8
7	1409	8
done	5000	8
0	7	11
1	25	11
2	88	9
3	292	9
4	1151	9
done	5001	9
0	9	23
1	31	15
2	94	13
3	314	11
4	1086	11
5	4725	11
done	5000	11
0	7	15
1	24	9
2	73	7
3	210	7
4	687	7
5	2869	7
done	5000	7
0	5	7
1	14	7
2	29	7
3	46	7
4	85	7
5	199	7
6	639	7
7	2554	7
done	5000	7
0	3	5
1	7	5
2	11	5
3	17	5
done	17	5
0	3	5
1	7	5
2	11	5
3	17	5
done	17	5
0	3	3
1	6	3
done	6	3
0	6	7
1	18	7
2	42	7
3	61	7
4	92	7
5	169	7
6	397	7
7	1413	7
done	5000	7
0	6	7
1	18	7
2	42	7
3	61	7
4	92	7
5	169	7
6	397	7
7	1413	7
done	5000	7
0	6	7
1	18	7
2	42	7
3	61	7
4	92	7
5	169	7
6	397	7
7	1413	7
done	5000	7

prune27.0ms

Filtered

13 candidates to 17 candidates (-30.8%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	16	1	17
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	16	2	18

Merged error: 0b

Counts

18 → 2

localize15.0ms

Local error

Found 4 expressions with local error:

0.4b	(* (cbrt (+ (pow x 3) (* x x))) (cbrt (+ (pow x 3) (* x x))))
30.6b	(cbrt (+ (pow x 3) (* x x)))
30.6b	(cbrt (+ (pow x 3) (* x x)))
30.6b	(cbrt (+ (pow x 3) (* x x)))

rewrite46.0ms

Algorithm

rewrite-expression-head

Rules

50×	`cbrt-prod`
23×	`add-sqr-sqrt`
18×	`cbrt-div`
16×	`cube-mult`
15×	`add-cube-cbrt` `*-un-lft-identity`
11×	`pow1` `swap-sqr`
9×	`distribute-rgt-out` `flip3-+` `pow1/3` `unpow3` `associate-r` `associate-l` `flip-+` `distribute-lft-out`
7×	`distribute-lft1-in`
6×	`add-exp-log`
4×	`frac-times` `add-cbrt-cube` `add-log-exp` `unswap-sqr`
2×	`associate-r/` `pow-prod-down` `associate-l/` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 107

Calls

4 calls:

18.0ms	(* (cbrt (+ (pow x 3) (* x x))) (cbrt (+ (pow x 3) (* x x))))
10.0ms	(cbrt (+ (pow x 3) (* x x)))
7.0ms	(cbrt (+ (pow x 3) (* x x)))
7.0ms	(cbrt (+ (pow x 3) (* x x)))

series36.0ms

Counts

4 → 12

Calls

4 calls:

9.0ms	(* (cbrt (+ (pow x 3) (* x x))) (cbrt (+ (pow x 3) (* x x))))
8.0ms	(cbrt (+ (pow x 3) (* x x)))
9.0ms	(cbrt (+ (pow x 3) (* x x)))
10.0ms	(cbrt (+ (pow x 3) (* x x)))

simplify5.0min

Counts

119 → 119

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	7	9
1	15	9
2	28	9
3	46	9
4	76	9
5	148	9
6	398	9
7	1405	9
done	5000	9
0	7	9
1	15	9
2	28	9
3	46	9
4	76	9
5	148	9
6	398	9
7	1405	9
done	5000	9
0	8	18
1	16	18
2	29	18
3	47	18
4	77	18
5	145	18
6	395	18
7	1407	18
done	5000	18
0	7	9
1	15	9
2	28	9
3	46	9
4	76	9
5	148	9
6	398	9
7	1405	9
done	5000	9
0	7	9
1	15	9
2	28	9
3	46	9
4	76	9
5	148	9
6	398	9
7	1405	9
done	5000	9
0	7	9
1	15	9
2	28	9
3	46	9
4	76	9
5	148	9
6	398	9
7	1405	9
done	5000	9
0	2	2
1	4	1
done	4	1
0	6	8
1	14	8
2	27	8
3	45	8
4	75	8
5	145	8
6	388	8
7	1409	8
done	5000	8
0	2	2
done	2	2
0	4	6
1	8	6
2	12	6
3	18	6
done	18	6
0	2	2
done	2	2
0	4	6
1	8	6
2	12	6
3	18	6
done	18	6
0	4	4
1	7	4
done	7	4
0	3	4
done	3	4
0	8	12
1	26	12
2	91	10
3	292	10
4	1121	10
done	5000	10
0	10	24
1	32	16
2	95	14
3	313	12
4	1090	12
5	4690	12
done	5000	12
0	8	16
1	25	10
2	74	8
3	211	8
4	688	8
5	2881	8
done	5000	8
0	6	8
1	15	8
2	30	8
3	47	8
4	86	8
5	200	8
6	634	8
7	2555	8
done	5001	8
0	8	19
1	16	19
2	29	19
3	47	19
4	77	19
5	145	19
6	395	19
7	1407	19
done	5000	19
0	7	9
1	15	9
2	28	9
3	46	9
4	76	9
5	148	9
6	398	9
7	1405	9
done	5000	9
0	8	26
1	17	26
2	31	10
3	51	7
4	83	7
5	161	7
6	416	7
7	1522	7
done	5000	7
0	7	9
1	15	9
2	28	9
3	46	9
4	76	9
5	148	9
6	398	9
7	1405	9
done	5000	9
0	7	9
1	15	9
2	28	9
3	46	9
4	76	9
5	148	9
6	398	9
7	1405	9
done	5000	9
0	7	9
1	15	9
2	28	9
3	46	9
4	76	9
5	148	9
6	398	9
7	1405	9
done	5000	9
0	7	9
1	15	9
2	28	9
3	46	9
4	76	9
5	148	9
6	398	9
7	1405	9
done	5000	9
0	8	18
1	16	18
2	29	18
3	47	18
4	77	18
5	145	18
6	395	18
7	1407	18
done	5000	18
0	7	9
1	15	9
2	28	9
3	46	9
4	76	9
5	148	9
6	398	9
7	1405	9
done	5000	9
0	7	9
1	15	9
2	28	9
3	46	9
4	76	9
5	148	9
6	398	9
7	1405	9
done	5000	9
0	7	9
1	15	9
2	28	9
3	46	9
4	76	9
5	148	9
6	398	9
7	1405	9
done	5000	9
0	2	2
1	4	1
done	4	1
0	6	8
1	14	8
2	27	8
3	45	8
4	75	8
5	145	8
6	388	8
7	1409	8
done	5000	8
0	2	2
done	2	2
0	4	6
1	8	6
2	12	6
3	18	6
done	18	6
0	2	2
done	2	2
0	4	6
1	8	6
2	12	6
3	18	6
done	18	6
0	4	4
1	7	4
done	7	4
0	3	4
done	3	4
0	8	12
1	26	12
2	91	10
3	292	10
4	1121	10
done	5000	10
0	10	24
1	32	16
2	95	14
3	313	12
4	1090	12
5	4690	12
done	5000	12
0	8	16
1	25	10
2	74	8
3	211	8
4	688	8
5	2881	8
done	5000	8
0	6	8
1	15	8
2	30	8
3	47	8
4	86	8
5	200	8
6	634	8
7	2555	8
done	5001	8
0	8	19
1	16	19
2	29	19
3	47	19
4	77	19
5	145	19
6	395	19
7	1407	19
done	5000	19
0	7	9
1	15	9
2	28	9
3	46	9
4	76	9
5	148	9
6	398	9
7	1405	9
done	5000	9
0	8	26
1	17	26
2	31	10
3	51	7
4	83	7
5	161	7
6	416	7
7	1522	7
done	5000	7
0	7	9
1	15	9
2	28	9
3	46	9
4	76	9
5	148	9
6	398	9
7	1405	9
done	5000	9
0	7	9
1	15	9
2	28	9
3	46	9
4	76	9
5	148	9
6	398	9
7	1405	9
done	5000	9
0	7	9
1	15	9
2	28	9
3	46	9
4	76	9
5	148	9
6	398	9
7	1405	9
done	5000	9
0	7	9
1	15	9
2	28	9
3	46	9
4	76	9
5	148	9
6	398	9
7	1405	9
done	5000	9
0	8	18
1	16	18
2	29	18
3	47	18
4	77	18
5	145	18
6	395	18
7	1407	18
done	5000	18
0	7	9
1	15	9
2	28	9
3	46	9
4	76	9
5	148	9
6	398	9
7	1405	9
done	5000	9
0	7	9
1	15	9
2	28	9
3	46	9
4	76	9
5	148	9
6	398	9
7	1405	9
done	5000	9
0	7	9
1	15	9
2	28	9
3	46	9
4	76	9
5	148	9
6	398	9
7	1405	9
done	5000	9
0	2	2
1	4	1
done	4	1
0	6	8
1	14	8
2	27	8
3	45	8
4	75	8
5	145	8
6	388	8
7	1409	8
done	5000	8
0	2	2
done	2	2
0	4	6
1	8	6
2	12	6
3	18	6
done	18	6
0	2	2
done	2	2
0	4	6
1	8	6
2	12	6
3	18	6
done	18	6
0	4	4
1	7	4
done	7	4
0	3	4
done	3	4
0	8	12
1	26	12
2	91	10
3	292	10
4	1121	10
done	5000	10
0	10	24
1	32	16
2	95	14
3	313	12
4	1090	12
5	4690	12
done	5000	12
0	8	16
1	25	10
2	74	8
3	211	8
4	688	8
5	2881	8
done	5000	8
0	6	8
1	15	8
2	30	8
3	47	8
4	86	8
5	200	8
6	634	8
7	2555	8
done	5001	8
0	8	19
1	16	19
2	29	19
3	47	19
4	77	19
5	145	19
6	395	19
7	1407	19
done	5000	19
0	7	9
1	15	9
2	28	9
3	46	9
4	76	9
5	148	9
6	398	9
7	1405	9
done	5000	9
0	8	26
1	17	26
2	31	10
3	51	7
4	83	7
5	161	7
6	416	7
7	1522	7
done	5000	7
0	7	9
1	15	9
2	28	9
3	46	9
4	76	9
5	148	9
6	398	9
7	1405	9
done	5000	9
0	7	9
1	15	9
2	28	9
3	46	9
4	76	9
5	148	9
6	398	9
7	1405	9
done	5000	9
0	2	3
1	5	1
done	5	1
0	2	3
1	6	1
done	6	1
0	6	15
1	20	15
2	58	15
3	171	13
4	534	11
5	2197	11
done	5000	11
0	7	17
1	15	17
2	28	17
3	46	17
4	76	17
5	148	17
6	398	17
7	1405	17
done	5000	17
0	2	3
1	6	1
done	6	1
0	8	19
1	17	11
2	31	11
3	49	11
4	79	11
5	149	11
6	391	11
7	1389	11
done	5000	11
0	8	18
1	18	18
2	32	11
3	51	11
4	81	11
5	149	11
6	387	11
7	1408	11
done	5000	11
0	8	18
1	18	18
2	34	18
3	57	18
4	105	18
5	212	18
6	541	18
7	1913	18
done	5000	18
0	6	15
1	20	15
2	58	15
3	171	13
4	534	11
5	2197	11
done	5000	11
0	9	37
1	17	37
2	30	37
3	48	37
4	78	37
5	150	37
6	392	37
7	1410	37
done	5000	37
0	8	18
1	16	18
2	29	18
3	47	18
4	77	18
5	145	18
6	395	18
7	1407	18
done	5000	18
0	9	53
1	25	53
2	44	19
3	72	10
4	202	10
5	698	10
6	2718	10
done	5000	10
0	8	18
1	17	9
2	30	9
3	48	9
4	78	9
5	150	9
6	394	9
7	1403	9
done	5000	9
0	8	18
1	17	9
2	30	9
3	48	9
4	78	9
5	150	9
6	394	9
7	1403	9
done	5000	9
0	9	25
1	27	25
2	92	21
3	295	21
4	1124	21
done	5001	21
0	11	49
1	33	33
2	96	29
3	314	25
4	1085	25
5	4700	25
done	5000	25
0	13	29
1	40	21
2	138	19
3	471	19
4	1789	19
done	5000	19
0	13	33
1	38	25
2	108	23
3	330	21
4	1112	21
5	4850	21
done	5000	21
0	13	29
1	40	21
2	138	19
3	476	19
4	1830	19
done	5001	19
0	13	33
1	38	25
2	108	23
3	330	21
4	1114	21
5	4840	21
done	5000	21
0	9	33
1	26	21
2	75	17
3	212	17
4	701	17
5	2901	17
done	5000	17
0	7	17
1	16	17
2	31	17
3	48	17
4	87	17
5	197	17
6	636	17
7	2554	17
done	5000	17
0	9	37
1	17	37
2	30	37
3	48	37
4	78	37
5	150	37
6	392	37
7	1410	37
done	5000	37
0	8	19
1	16	19
2	29	19
3	47	19
4	77	19
5	145	19
6	395	19
7	1407	19
done	5000	19
0	8	19
1	16	19
2	29	19
3	47	19
4	77	19
5	145	19
6	395	19
7	1407	19
done	5000	19
0	8	19
1	16	19
2	29	19
3	47	19
4	77	19
5	145	19
6	395	19
7	1407	19
done	5000	19
0	3	5
1	5	3
done	5	1
0	7	17
1	15	17
2	28	17
3	46	17
4	76	17
5	148	17
6	398	17
7	1405	17
done	5000	17
0	3	5
done	3	5
0	5	13
1	9	13
2	13	13
3	19	13
done	19	13
0	3	5
done	3	5
0	5	13
1	9	13
2	13	13
3	19	13
done	19	13
0	3	5
done	3	5
0	5	13
1	9	13
2	13	13
3	19	13
done	19	13
0	3	5
done	3	5
0	5	13
1	9	13
2	13	13
3	19	13
done	19	13
0	5	9
1	8	9
done	8	9
0	4	9
done	4	9
0	9	39
1	21	39
2	35	21
3	58	11
4	97	11
5	189	11
6	504	11
7	1698	11
done	5000	11
0	8	19
1	16	19
2	29	19
3	47	19
4	77	19
5	145	19
6	395	19
7	1407	19
done	5000	19
0	8	19
1	16	8
2	30	8
3	48	8
4	78	8
5	150	8
6	394	8
7	1404	8
done	5000	8
0	8	19
1	16	8
2	30	8
3	48	8
4	78	8
5	150	8
6	394	8
7	1404	8
done	5000	8
0	2	3
1	4	1
done	4	1
0	7	17
1	15	17
2	28	17
3	46	17
4	76	17
5	148	17
6	398	17
7	1405	17
done	5000	17
0	8	19
1	16	19
2	29	19
3	47	19
4	77	19
5	145	19
6	395	19
7	1407	19
done	5000	19
0	8	19
1	16	19
2	29	19
3	47	19
4	77	19
5	145	19
6	395	19
7	1407	19
done	5000	19
0	10	19
1	19	19
2	32	19
3	50	19
4	80	19
5	150	19
6	397	19
7	1406	19
done	5000	19
0	10	19
1	19	19
2	32	19
3	50	19
4	80	19
5	150	19
6	397	19
7	1406	19
done	5000	19
0	10	19
1	19	19
2	32	19
3	50	19
4	80	19
5	150	19
6	397	19
7	1406	19
done	5000	19
0	10	19
1	19	19
2	32	19
3	50	19
4	80	19
5	150	19
6	397	19
7	1406	19
done	5000	19
0	8	19
1	16	8
2	30	8
3	48	8
4	78	8
5	150	8
6	394	8
7	1404	8
done	5000	8
0	8	19
1	16	8
2	30	8
3	48	8
4	78	8
5	150	8
6	394	8
7	1404	8
done	5000	8
0	3	3
1	5	1
done	5	1
0	3	3
1	6	1
done	6	1
0	9	27
1	18	27
2	31	27
3	49	27
4	79	27
5	151	27
6	394	27
7	1412	27
done	5001	27
0	9	18
1	18	18
2	31	18
3	49	18
4	79	18
5	151	18
6	394	18
7	1412	18
done	5001	18
0	9	11
1	20	10
2	32	10
3	48	8
4	81	8
5	155	8
6	384	8
7	1407	8
done	5000	8
0	8	11
1	17	11
2	30	11
3	48	11
4	78	11
5	150	11
6	393	11
7	1403	11
done	5000	11
0	8	11
1	17	11
2	30	11
3	48	11
4	78	11
5	150	11
6	393	11
7	1403	11
done	5000	11
0	10	13
1	22	13
2	33	13
3	48	13
4	78	13
5	148	13
6	390	13
7	1409	13
done	5000	13
0	9	28
1	20	28
2	35	28
3	53	28
4	83	28
5	153	28
6	387	28
7	1422	28
done	5000	28
0	8	18
1	17	18
2	30	18
3	48	18
4	78	18
5	150	18
6	393	18
7	1403	18
done	5000	18
0	8	10
1	19	8
2	34	8
3	50	8
4	80	8
5	150	8
6	391	8
7	1402	8
done	5000	8
0	8	18
1	17	18
2	30	18
3	48	18
4	78	18
5	150	18
6	393	18
7	1403	18
done	5000	18
0	9	18
1	18	18
2	31	18
3	49	18
4	79	18
5	151	18
6	394	18
7	1412	18
done	5001	18
0	7	17
1	15	17
2	28	17
3	46	17
4	76	17
5	148	17
6	398	17
7	1405	17
done	5000	17
0	9	15
1	22	15
2	34	15
3	52	15
4	89	15
5	146	15
6	367	15
7	1385	15
done	5001	15
0	9	15
1	22	15
2	34	15
3	52	15
4	89	15
5	146	15
6	367	15
7	1385	15
done	5001	15
0	8	13
1	17	13
2	30	13
3	48	13
4	76	13
5	142	13
6	374	13
7	1386	13
done	5000	13
0	8	18
1	17	18
2	30	18
3	48	18
4	78	18
5	150	18
6	393	18
7	1403	18
done	5000	18
0	8	18
1	17	18
2	30	18
3	48	18
4	78	18
5	150	18
6	393	18
7	1403	18
done	5000	18
0	7	17
1	15	17
2	28	17
3	46	17
4	76	17
5	148	17
6	398	17
7	1405	17
done	5000	17
0	11	21
1	31	21
2	103	19
3	333	19
4	1182	19
done	5000	19
0	11	25
1	29	19
2	79	17
3	218	17
4	702	17
5	2924	17
done	5001	17
0	11	21
1	31	21
2	103	19
3	311	19
4	1183	19
done	5000	19
0	11	25
1	29	19
2	79	17
3	218	17
4	705	17
5	2916	17
done	5001	17
0	18	42
1	48	39
2	112	23
3	364	15
4	1695	13
done	5000	13
0	20	48
1	46	42
2	109	36
3	314	19
4	1061	11
done	5000	11
0	22	51
1	48	48
2	108	48
3	288	31
4	1035	25
done	5000	19
0	18	42
1	48	39
2	112	23
3	364	15
4	1695	13
done	5000	13
0	20	48
1	46	42
2	109	36
3	314	19
4	1061	11
done	5000	11
0	22	51
1	48	48
2	108	48
3	288	31
4	1035	25
done	5000	19
0	18	42
1	48	39
2	112	23
3	364	15
4	1695	13
done	5000	13
0	20	48
1	46	42
2	109	36
3	314	19
4	1061	11
done	5000	11
0	22	51
1	48	48
2	108	48
3	288	31
4	1035	25
done	5000	19
0	20	42
1	50	39
2	112	27
3	340	17
4	1468	13
done	5001	13
0	21	48
1	47	42
2	110	36
3	314	19
4	1061	15
done	5000	15
0	22	48
1	48	45
2	108	39
3	311	21
4	1106	19
done	5000	17

prune304.0ms

Filtered

89 candidates to 119 candidates (-33.7%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	119	0	119
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	119	2	121

Merged error: 0b

Counts

121 → 2

regimes26.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	6	7
done	6	7

end0.0ms

sample436.0ms

Algorithm

intervals

Results

172.0ms	8000×	body	80	valid
110.0ms	8000×	pre	80	true

Details

sample16.0ms

simplify4.0s

prune6.0ms

localize5.0ms

rewrite7.0ms

series7.0ms

simplify38.7s

prune27.0ms

localize15.0ms

rewrite46.0ms

series36.0ms

simplify5.0min

prune304.0ms

regimes26.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample436.0ms

Profiling