Details

sample25.0ms

Algorithm

intervals

Results

8.0ms	256×	body	80	valid
5.0ms	257×	body	80	nan

simplify2.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	3	4
1	4	4
done	4	4

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

Counts

2 → 1

localize4.0ms

Local error

Found 1 expressions with local error:

0.3b	(* x (log x))

rewrite6.0ms

Algorithm

rewrite-expression-head

Rules

7×	`add-sqr-sqrt`
6×	`log-prod`
5×	`add-cube-cbrt` `*-un-lft-identity`
4×	`pow1` `associate-r`
3×	`add-exp-log` `distribute-rgt-in` `distribute-lft-in` `associate-l` `add-cbrt-cube`
1×	`pow-prod-down` `prod-exp` `log-pow` `*-commutative` `cbrt-unprod` `add-log-exp` `unswap-sqr`

Counts

1 → 25

Calls

1 calls:

5.0ms

(* x (log x))

series20.0ms

Counts

1 → 3

Calls

1 calls:

20.0ms

(* x (log x))

simplify15.7s

Counts

28 → 28

Iterations

Useful iterations: done (2.0ms)

Iter	Nodes	Cost
0	3	4
1	4	4
done	4	4
0	4	6
1	5	6
done	5	6
0	4	5
1	7	5
2	8	5
done	8	5
0	4	5
1	7	5
2	14	3
3	24	3
4	47	3
5	103	3
6	242	3
7	701	3
8	2681	3
done	5000	3
0	7	14
1	14	14
2	39	8
3	76	8
4	134	6
5	258	6
6	662	6
7	2440	6
done	5000	6
0	5	11
1	6	11
done	6	11
0	4	5
1	5	5
done	5	5
0	5	14
1	16	14
2	45	6
3	91	6
4	107	6
5	153	6
6	293	6
7	755	6
8	2745	6
done	5001	6
0	4	5
1	5	5
done	5	5
0	4	5
1	5	5
done	5	5
0	5	6
1	6	6
done	6	6
0	5	6
1	6	6
done	6	6
0	5	8
1	8	8
2	14	7
3	20	7
4	24	7
done	24	7
0	4	5
1	5	5
done	5	5
0	4	5
1	5	5
done	5	5
0	4	5
1	5	5
done	5	5
0	4	4
1	7	3
done	7	1
0	3	4
1	4	4
done	4	4
0	5	8
1	8	8
2	14	7
3	20	7
4	24	7
done	24	7
0	4	5
1	5	5
done	5	5
0	4	5
1	5	5
done	5	5
0	4	5
1	5	5
done	5	5
0	4	4
1	7	3
done	7	1
0	3	4
1	4	4
done	4	4
0	3	3
1	6	1
done	6	1
0	5	9
1	8	9
2	10	9
done	10	9
0	4	5
1	5	5
done	5	5
0	3	3
1	6	1
done	6	1
0	4	5
1	5	5
done	5	5
0	4	5
1	5	5
done	5	5
0	3	4
1	4	4
done	4	4
0	6	7
1	16	6
2	17	4
3	22	4
done	22	4
0	7	9
1	15	7
2	25	4
3	44	4
4	52	4
5	69	4
6	104	4
done	104	4
0	7	9
1	12	9
2	23	9
3	42	6
4	66	4
5	186	4
6	967	4
7	2285	4
done	5000	4

prune42.0ms

Filtered

20 candidates to 28 candidates (-40.0%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	22	6	28
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	22	7	29

Merged error: 0.0b

Counts

29 → 7

localize9.0ms

Local error

Found 4 expressions with local error:

0.3b	(* x (* 2 (log (cbrt x))))
0.3b	(+ (* x (* 2 (log (cbrt x)))) (* x (log (cbrt x))))
0.5b	(cbrt x)
0.5b	(cbrt x)

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 112

Calls

4 calls:

8.0ms	(* x (* 2 (log (cbrt x))))
15.0ms	(+ (* x (* 2 (log (cbrt x)))) (* x (log (cbrt x))))
1.0ms	(cbrt x)
1.0ms	(cbrt x)

series174.0ms

Counts

4 → 12

Calls

4 calls:

58.0ms	(* x (* 2 (log (cbrt x))))
63.0ms	(+ (* x (* 2 (log (cbrt x)))) (* x (log (cbrt x))))
25.0ms	(cbrt x)
27.0ms	(cbrt x)

simplify1.5min

Counts

124 → 124

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	10	15
1	21	14
2	43	10
3	101	6
4	282	6
5	981	6
6	4617	3
done	5000	3
0	9	14
1	17	12
2	34	8
3	49	8
4	59	8
5	62	8
done	62	8
0	9	14
1	20	12
2	46	8
3	87	6
4	218	6
5	666	3
6	2309	3
done	5001	3
0	10	29
1	18	25
2	32	17
3	41	17
4	42	17
done	42	17
0	9	14
1	17	12
2	31	8
3	40	8
4	41	8
done	41	8
0	10	41
1	31	35
2	127	9
3	645	9
4	2786	9
done	5000	9
0	9	14
1	17	12
2	31	8
3	40	8
4	41	8
done	41	8
0	9	14
1	17	12
2	31	8
3	40	8
4	41	8
done	41	8
0	11	17
1	34	17
2	120	17
3	506	11
4	1632	9
5	4078	9
done	5000	9
0	12	41
1	41	35
2	146	29
3	424	25
4	1058	19
5	3182	13
done	5001	13
0	10	27
1	33	27
2	118	19
3	341	17
4	647	15
5	1231	15
6	1978	13
7	3840	13
done	5000	13
0	8	13
1	17	11
2	32	9
3	37	9
4	38	9
done	38	9
0	6	9
1	12	5
2	15	5
done	15	5
0	11	17
1	19	15
2	27	15
3	29	15
done	29	15
0	11	14
1	19	12
2	27	12
3	29	12
done	29	12
0	11	13
1	21	10
2	29	10
3	31	10
done	31	10
0	11	18
1	21	16
2	36	14
3	57	12
4	70	12
5	76	12
6	85	12
7	99	12
8	110	12
done	110	12
0	10	14
1	18	12
2	26	12
done	26	12
0	10	12
1	20	9
2	28	7
3	35	7
done	35	7
0	11	17
1	17	17
2	27	15
3	31	15
done	31	15
0	11	14
1	17	14
2	27	12
3	31	12
done	31	12
0	11	13
1	19	12
2	29	10
3	33	10
done	33	10
0	11	18
1	19	18
2	34	14
3	55	12
4	73	12
5	79	12
6	88	12
7	102	12
8	111	12
done	111	12
0	10	14
1	16	14
2	26	12
3	30	12
done	30	12
0	10	12
1	18	11
2	28	9
3	32	7
4	37	7
done	37	7
0	10	14
1	18	12
2	26	12
done	26	12
0	11	14
1	19	12
2	27	12
done	27	12
0	8	13
1	16	11
2	30	7
3	39	7
4	40	7
done	40	7
0	10	14
1	18	12
2	26	12
done	26	12
0	10	14
1	18	12
2	26	12
done	26	12
0	8	13
1	16	11
2	30	7
3	39	7
4	40	7
done	40	7
0	10	14
1	18	12
2	26	12
done	26	12
0	11	14
1	19	12
2	27	12
done	27	12
0	8	13
1	15	11
2	27	7
3	38	7
4	43	7
done	43	7
0	10	14
1	18	12
2	26	12
done	26	12
0	10	14
1	18	12
2	26	12
done	26	12
0	8	13
1	15	11
2	27	7
3	38	7
4	43	7
done	43	7
0	10	14
1	16	14
2	26	12
3	28	12
done	28	12
0	11	14
1	17	14
2	27	12
3	29	12
done	29	12
0	8	13
1	13	13
2	27	7
3	40	7
4	45	7
done	45	7
0	10	14
1	16	14
2	26	12
3	28	12
done	28	12
0	10	14
1	16	14
2	26	12
3	28	12
done	28	12
0	8	13
1	13	13
2	27	7
3	40	7
4	45	7
done	45	7
0	10	14
1	16	14
2	26	12
3	28	12
done	28	12
0	11	14
1	17	14
2	27	12
3	29	12
done	29	12
0	8	13
1	14	13
2	26	9
3	36	7
4	41	7
done	41	7
0	10	14
1	16	14
2	26	12
3	28	12
done	28	12
0	10	14
1	16	14
2	26	12
3	28	12
done	28	12
0	8	13
1	14	13
2	26	9
3	36	7
4	41	7
done	41	7
0	6	7
1	10	7
2	16	7
3	18	7
done	18	7
0	6	7
1	10	7
2	16	7
3	18	7
done	18	7
0	9	10
1	13	10
2	19	10
done	19	10
0	8	9
1	13	9
2	18	9
3	22	9
done	22	9
0	7	8
1	14	8
2	27	8
3	41	8
done	41	8
0	7	8
1	13	8
2	26	8
3	57	6
4	121	6
5	277	6
6	864	6
7	3544	6
done	5000	6
0	12	23
1	27	19
2	80	11
3	253	11
4	704	11
5	1857	9
6	4720	9
done	5000	9
0	10	23
1	28	21
2	94	11
3	381	11
4	1098	9
5	2046	9
6	4126	9
done	5001	9
0	8	17
1	12	17
2	18	17
3	20	17
done	20	17
0	7	8
1	11	8
2	17	8
done	17	8
0	8	23
1	22	23
2	94	9
3	408	9
4	1152	9
5	1540	9
6	2528	9
done	5000	9
0	7	8
1	11	8
2	17	8
done	17	8
0	7	8
1	11	8
2	17	8
done	17	8
0	8	11
1	12	11
2	18	11
3	20	11
done	20	11
0	7	8
1	11	8
2	17	8
done	17	8
0	7	8
1	11	8
2	17	8
done	17	8
0	7	8
1	11	8
2	17	8
done	17	8
0	7	7
1	13	6
2	19	6
done	19	6
0	6	7
1	10	7
2	16	7
3	18	7
done	18	7
0	8	12
1	14	12
2	28	10
3	48	8
4	74	8
5	90	8
6	97	8
done	97	8
0	7	8
1	11	8
2	17	8
done	17	8
0	7	8
1	11	8
2	17	8
done	17	8
0	7	8
1	11	8
2	17	8
done	17	8
0	6	6
1	12	3
2	14	1
done	14	1
0	6	7
1	10	7
2	16	7
3	18	7
done	18	7
0	8	11
1	12	11
2	18	11
3	20	11
done	20	11
0	7	8
1	11	8
2	17	8
done	17	8
0	7	8
1	11	8
2	17	8
done	17	8
0	7	8
1	11	8
2	17	8
done	17	8
0	7	7
1	13	6
2	19	6
done	19	6
0	6	7
1	10	7
2	16	7
3	18	7
done	18	7
0	8	12
1	14	12
2	28	10
3	49	8
4	76	8
5	92	8
6	97	8
done	97	8
0	7	8
1	11	8
2	17	8
done	17	8
0	7	8
1	11	8
2	17	8
done	17	8
0	7	8
1	11	8
2	17	8
done	17	8
0	6	6
1	12	5
2	18	1
done	18	1
0	6	7
1	10	7
2	16	7
3	18	7
done	18	7
0	8	11
1	12	11
2	18	11
3	20	11
done	20	11
0	7	8
1	11	8
2	17	8
done	17	8
0	7	8
1	11	8
2	17	8
done	17	8
0	7	8
1	11	8
2	17	8
done	17	8
0	7	7
1	13	6
2	19	6
done	19	6
0	6	7
1	10	7
2	16	7
3	18	7
done	18	7
0	8	12
1	14	12
2	24	10
3	47	8
4	74	8
5	95	8
6	102	8
done	102	8
0	7	8
1	11	8
2	17	8
done	17	8
0	7	8
1	11	8
2	17	8
done	17	8
0	7	8
1	11	8
2	17	8
done	17	8
0	6	6
1	12	5
2	18	1
done	18	1
0	6	7
1	10	7
2	16	7
3	18	7
done	18	7
0	8	11
1	12	11
2	18	11
3	20	11
done	20	11
0	7	8
1	11	8
2	17	8
done	17	8
0	7	8
1	11	8
2	17	8
done	17	8
0	7	8
1	11	8
2	17	8
done	17	8
0	7	7
1	13	6
2	19	6
done	19	6
0	6	7
1	10	7
2	16	7
3	18	7
done	18	7
0	8	12
1	14	12
2	24	10
3	47	8
4	74	8
5	95	8
6	102	8
done	102	8
0	7	8
1	11	8
2	17	8
done	17	8
0	7	8
1	11	8
2	17	8
done	17	8
0	7	8
1	11	8
2	17	8
done	17	8
0	6	6
1	12	5
2	18	1
done	18	1
0	6	7
1	10	7
2	16	7
3	18	7
done	18	7
0	3	3
1	4	3
done	4	3
0	6	8
1	10	8
2	16	8
3	18	8
done	18	8
0	7	8
1	11	8
2	17	8
done	17	8
0	6	7
1	10	7
2	16	7
3	18	7
done	18	7
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	6	7
1	16	6
2	17	4
3	22	4
done	22	4
0	7	9
1	15	7
2	25	4
3	44	4
4	52	4
5	69	4
6	104	4
done	104	4
0	16	18
1	34	17
2	72	15
3	189	15
4	577	13
5	2013	12
done	5000	12
0	9	11
1	23	8
2	43	6
3	69	6
4	71	6
done	71	6
0	9	11
1	20	9
2	42	6
3	82	6
4	109	6
5	176	6
6	230	6
done	230	6
0	16	18
1	34	17
2	71	15
3	189	15
4	575	14
5	1614	12
6	4804	11
done	5000	11

prune161.0ms

Filtered

107 candidates to 124 candidates (-15.9%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	122	2	124
Fresh	2	3	5
Picked	0	1	1
Done	0	1	1
Total	124	7	131

Merged error: 0b

Counts

131 → 7

localize15.0ms

Local error

Found 4 expressions with local error:

0.3b	(* x (* 2 (log (cbrt x))))
0.3b	(+ (* x (* 2 (log (cbrt x)))) (* x (log (pow x 1/3))))
0.5b	(cbrt x)
5.1b	(pow x 1/3)

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

62×	`log-prod`
55×	`distribute-rgt-in` `distribute-lft-in`
28×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
27×	`cbrt-prod`
24×	`associate-+l+`
14×	`associate-+r+`
10×	`pow1` `add-exp-log`
9×	`unpow-prod-down` `add-cbrt-cube`
6×	`add-log-exp`
3×	`pow-unpow` `associate-l` `pow-prod-down` `prod-exp` `cbrt-unprod` `sqr-pow`
1×	`+-commutative` `pow-to-exp` `pow-pow` `flip3-+` `unpow1/3` `pow1/3` `associate-r` `pow-exp` `sum-log` `*-commutative` `flip-+` `distribute-lft-out`

Counts

4 → 121

Calls

4 calls:

8.0ms	(* x (* 2 (log (cbrt x))))
12.0ms	(+ (* x (* 2 (log (cbrt x)))) (* x (log (pow x 1/3))))
2.0ms	(cbrt x)
3.0ms	(pow x 1/3)

series193.0ms

Counts

4 → 12

Calls

4 calls:

62.0ms	(* x (* 2 (log (cbrt x))))
74.0ms	(+ (* x (* 2 (log (cbrt x)))) (* x (log (pow x 1/3))))
31.0ms	(cbrt x)
25.0ms	(pow x 1/3)

simplify4.1min

Counts

133 → 133

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	3	3
1	6	1
done	6	1
0	5	7
1	9	7
2	16	7
3	40	7
4	97	7
5	254	7
6	865	7
7	3279	7
done	5000	7
0	4	4
1	8	4
2	13	4
3	31	4
4	71	4
5	175	4
6	552	4
7	2153	4
done	5000	4
0	3	3
1	10	1
2	15	1
3	21	1
4	31	1
5	55	1
6	114	1
7	324	1
8	1255	1
done	5000	1
0	5	7
1	11	6
2	17	6
3	27	6
4	51	6
5	111	6
6	325	6
7	1254	6
done	5000	6
0	4	4
1	10	3
2	16	3
3	26	3
4	50	3
5	111	3
6	324	3
7	1251	3
done	5000	3
0	4	4
1	10	3
2	16	3
3	26	3
4	50	3
5	111	3
6	324	3
7	1251	3
done	5000	3
0	4	4
1	10	3
2	16	3
3	26	3
4	50	3
5	111	3
6	324	3
7	1251	3
done	5000	3
0	3	3
1	11	1
done	11	1
0	3	3
1	9	2
2	15	2
3	25	2
4	49	2
5	114	2
6	337	2
7	1273	2
done	5000	2
0	4	4
1	12	3
2	21	3
3	35	3
4	78	3
5	197	3
6	572	3
7	2108	3
done	5001	3
0	4	4
1	10	3
2	18	3
3	33	3
4	72	3
5	194	3
6	659	3
7	3013	3
done	5000	3
0	5	9
1	11	7
2	17	7
3	27	7
4	51	7
5	116	7
6	330	7
7	1262	7
done	5000	7
0	4	4
1	10	3
2	16	3
3	26	3
4	50	3
5	115	3
6	336	3
7	1254	3
done	5000	3
0	5	11
1	15	6
2	36	4
3	74	1
4	174	1
5	554	1
6	2511	1
done	5000	1
0	4	4
1	10	3
2	17	3
3	27	3
4	51	3
5	114	3
6	331	3
7	1255	3
done	5000	3
0	4	4
1	10	3
2	17	3
3	27	3
4	51	3
5	114	3
6	331	3
7	1255	3
done	5000	3
0	5	5
1	10	3
2	16	3
3	26	3
4	48	3
5	110	3
6	326	3
7	1249	3
done	5000	3
0	5	5
1	10	3
2	16	3
3	26	3
4	48	3
5	110	3
6	326	3
7	1249	3
done	5000	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	13	16
1	30	14
2	70	11
3	208	7
4	588	3
5	3480	3
done	5000	3
0	12	15
1	26	12
2	54	11
3	128	7
4	307	5
5	1777	5
done	5000	5
0	12	15
1	29	12
2	67	11
3	185	7
4	555	3
5	3000	3
done	5000	3
0	13	31
1	27	25
2	53	23
3	126	15
4	288	11
5	1649	11
done	5001	11
0	12	15
1	26	12
2	52	11
3	125	7
4	287	5
5	1653	5
done	5001	5
0	13	44
1	40	35
2	149	12
3	849	8
done	5000	8
0	12	15
1	26	12
2	52	11
3	125	7
4	287	5
5	1653	5
done	5001	5
0	12	15
1	26	12
2	52	11
3	125	7
4	287	5
5	1653	5
done	5001	5
0	14	18
1	43	17
2	153	16
3	791	11
done	5001	9
0	15	44
1	50	35
2	185	30
3	851	22
4	4277	15
done	5000	15
0	13	29
1	42	27
2	155	21
3	722	12
4	3474	10
done	5000	10
0	11	14
1	26	11
2	59	10
3	149	5
4	444	5
5	2887	5
done	5000	5
0	9	10
1	17	9
2	31	8
3	69	4
4	157	2
5	822	2
done	5001	2
0	12	18
1	27	15
2	49	15
3	83	15
4	219	9
5	642	7
6	1856	7
done	5000	7
0	12	15
1	27	12
2	48	12
3	74	12
4	150	12
5	400	12
6	1172	12
7	4029	12
done	5000	12
0	12	14
1	28	9
2	40	7
3	45	7
done	45	7
0	13	20
1	27	16
2	52	14
3	112	12
4	238	12
5	673	12
6	2347	12
done	5001	12
0	12	15
1	24	12
2	43	12
3	82	11
4	186	11
5	548	11
6	1820	11
done	5000	11
0	10	12
1	20	9
2	28	7
3	35	7
done	35	7
0	12	16
1	27	12
2	48	12
3	74	12
4	150	12
5	400	12
6	1172	12
7	4025	12
done	5000	12
0	12	18
1	25	17
2	49	15
3	85	15
4	221	9
5	646	7
6	1873	7
done	5001	7
0	12	15
1	25	14
2	48	12
3	76	12
4	152	12
5	399	12
6	1153	12
7	3961	12
done	5000	12
0	12	14
1	26	11
2	40	9
3	42	7
4	47	7
done	47	7
0	13	20
1	25	18
2	50	14
3	110	12
4	241	12
5	676	12
6	2351	12
done	5000	12
0	12	15
1	22	14
2	43	12
3	84	11
4	188	11
5	546	11
6	1774	11
done	5000	11
0	10	12
1	18	11
2	28	9
3	32	7
4	37	7
done	37	7
0	12	16
1	24	14
2	48	12
3	78	12
4	154	12
5	398	12
6	1158	12
7	3981	12
done	5000	12
0	12	15
1	26	12
2	47	12
3	73	12
4	149	12
5	393	12
6	1152	12
7	3939	12
done	5000	12
0	12	15
1	27	12
2	48	12
3	74	12
4	150	12
5	400	12
6	1172	12
7	4021	12
done	5001	12
0	11	14
1	25	11
2	51	10
3	124	6
4	288	4
5	1646	4
done	5000	4
0	12	15
1	26	12
2	47	12
3	73	12
4	149	12
5	393	12
6	1152	12
7	3939	12
done	5000	12
0	12	15
1	26	12
2	48	12
3	74	12
4	150	12
5	400	12
6	1168	12
7	4015	12
done	5000	12
0	11	14
1	25	11
2	51	10
3	124	6
4	288	4
5	1646	4
done	5000	4
0	12	15
1	26	12
2	47	12
3	73	12
4	149	12
5	393	12
6	1152	12
7	3946	12
done	5000	12
0	12	15
1	27	12
2	48	12
3	74	12
4	150	12
5	400	12
6	1172	12
7	4016	12
done	5000	12
0	11	14
1	25	11
2	51	10
3	125	6
4	292	4
5	1702	4
done	5001	4
0	12	15
1	26	12
2	47	12
3	73	12
4	149	12
5	393	12
6	1152	12
7	3946	12
done	5000	12
0	12	15
1	26	12
2	48	12
3	74	12
4	150	12
5	400	12
6	1168	12
7	4018	12
done	5001	12
0	11	14
1	25	11
2	51	10
3	125	6
4	292	4
5	1702	4
done	5001	4
0	12	15
1	24	14
2	47	12
3	75	12
4	153	12
5	401	12
6	1167	12
7	4002	12
done	5000	12
0	12	15
1	25	14
2	48	12
3	76	12
4	152	12
5	399	12
6	1152	12
7	3986	12
done	5000	12
0	11	14
1	23	13
2	51	10
3	127	6
4	295	4
5	1710	4
done	5001	4
0	12	15
1	24	14
2	47	12
3	75	12
4	153	12
5	401	12
6	1167	12
7	4002	12
done	5000	12
0	12	15
1	24	14
2	48	12
3	76	12
4	150	12
5	400	12
6	1156	12
7	4013	12
done	5001	12
0	11	14
1	23	13
2	51	10
3	127	6
4	295	4
5	1710	4
done	5001	4
0	12	15
1	24	14
2	47	12
3	75	12
4	153	12
5	401	12
6	1167	12
7	4001	12
done	5000	12
0	12	15
1	25	14
2	48	12
3	76	12
4	152	12
5	399	12
6	1152	12
7	3975	12
done	5001	12
0	11	14
1	23	13
2	51	10
3	128	6
4	295	4
5	1698	4
done	5001	4
0	12	15
1	24	14
2	47	12
3	75	12
4	153	12
5	401	12
6	1167	12
7	4001	12
done	5000	12
0	12	15
1	24	14
2	48	12
3	76	12
4	150	12
5	400	12
6	1156	12
7	4007	12
done	5000	12
0	11	14
1	23	13
2	51	10
3	128	6
4	295	4
5	1698	4
done	5001	4
0	6	7
1	10	7
2	16	7
3	18	7
done	18	7
0	6	7
1	10	7
2	16	7
3	18	7
done	18	7
0	9	10
1	13	10
2	19	10
done	19	10
0	8	9
1	13	9
2	18	9
3	22	9
done	22	9
0	7	8
1	14	8
2	27	8
3	41	8
done	41	8
0	7	8
1	13	8
2	26	8
3	57	6
4	121	6
5	277	6
6	864	6
7	3544	6
done	5000	6
0	12	23
1	27	19
2	80	11
3	253	11
4	704	11
5	1857	9
6	4720	9
done	5000	9
0	10	23
1	28	21
2	94	11
3	381	11
4	1098	9
5	2046	9
6	4126	9
done	5001	9
0	8	17
1	12	17
2	18	17
3	20	17
done	20	17
0	7	8
1	11	8
2	17	8
done	17	8
0	8	23
1	22	23
2	94	9
3	408	9
4	1152	9
5	1540	9
6	2528	9
done	5000	9
0	7	8
1	11	8
2	17	8
done	17	8
0	7	8
1	11	8
2	17	8
done	17	8
0	8	11
1	12	11
2	18	11
3	20	11
done	20	11
0	7	8
1	11	8
2	17	8
done	17	8
0	7	8
1	11	8
2	17	8
done	17	8
0	7	8
1	11	8
2	17	8
done	17	8
0	7	7
1	13	6
2	19	6
done	19	6
0	6	7
1	10	7
2	16	7
3	18	7
done	18	7
0	8	12
1	14	12
2	28	10
3	48	8
4	74	8
5	90	8
6	97	8
done	97	8
0	7	8
1	11	8
2	17	8
done	17	8
0	7	8
1	11	8
2	17	8
done	17	8
0	7	8
1	11	8
2	17	8
done	17	8
0	6	6
1	12	3
2	14	1
done	14	1
0	6	7
1	10	7
2	16	7
3	18	7
done	18	7
0	8	11
1	12	11
2	18	11
3	20	11
done	20	11
0	7	8
1	11	8
2	17	8
done	17	8
0	7	8
1	11	8
2	17	8
done	17	8
0	7	8
1	11	8
2	17	8
done	17	8
0	7	7
1	13	6
2	19	6
done	19	6
0	6	7
1	10	7
2	16	7
3	18	7
done	18	7
0	8	12
1	14	12
2	28	10
3	49	8
4	76	8
5	92	8
6	97	8
done	97	8
0	7	8
1	11	8
2	17	8
done	17	8
0	7	8
1	11	8
2	17	8
done	17	8
0	7	8
1	11	8
2	17	8
done	17	8
0	6	6
1	12	5
2	18	1
done	18	1
0	6	7
1	10	7
2	16	7
3	18	7
done	18	7
0	8	11
1	12	11
2	18	11
3	20	11
done	20	11
0	7	8
1	11	8
2	17	8
done	17	8
0	7	8
1	11	8
2	17	8
done	17	8
0	7	8
1	11	8
2	17	8
done	17	8
0	7	7
1	13	6
2	19	6
done	19	6
0	6	7
1	10	7
2	16	7
3	18	7
done	18	7
0	8	12
1	14	12
2	24	10
3	47	8
4	74	8
5	95	8
6	102	8
done	102	8
0	7	8
1	11	8
2	17	8
done	17	8
0	7	8
1	11	8
2	17	8
done	17	8
0	7	8
1	11	8
2	17	8
done	17	8
0	6	6
1	12	5
2	18	1
done	18	1
0	6	7
1	10	7
2	16	7
3	18	7
done	18	7
0	8	11
1	12	11
2	18	11
3	20	11
done	20	11
0	7	8
1	11	8
2	17	8
done	17	8
0	7	8
1	11	8
2	17	8
done	17	8
0	7	8
1	11	8
2	17	8
done	17	8
0	7	7
1	13	6
2	19	6
done	19	6
0	6	7
1	10	7
2	16	7
3	18	7
done	18	7
0	8	12
1	14	12
2	24	10
3	47	8
4	74	8
5	95	8
6	102	8
done	102	8
0	7	8
1	11	8
2	17	8
done	17	8
0	7	8
1	11	8
2	17	8
done	17	8
0	7	8
1	11	8
2	17	8
done	17	8
0	6	6
1	12	5
2	18	1
done	18	1
0	6	7
1	10	7
2	16	7
3	18	7
done	18	7
0	3	3
1	4	3
done	4	3
0	6	8
1	10	8
2	16	8
3	18	8
done	18	8
0	7	8
1	11	8
2	17	8
done	17	8
0	6	7
1	10	7
2	16	7
3	18	7
done	18	7
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	9	10
1	16	10
2	33	10
3	78	6
4	152	2
5	431	2
6	1871	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	6	7
1	16	6
2	17	4
3	22	4
done	22	4
0	7	9
1	15	7
2	25	4
3	44	4
4	52	4
5	69	4
6	104	4
done	104	4
0	22	32
1	48	30
2	106	28
3	324	25
4	1088	24
5	4109	16
done	5000	16
0	9	11
1	23	8
2	43	6
3	69	6
4	71	6
done	71	6
0	9	11
1	20	9
2	42	6
3	82	6
4	109	6
5	176	6
6	230	6
done	230	6
0	16	18
1	34	17
2	71	15
3	189	15
4	575	14
5	1614	12
6	4804	11
done	5000	11

prune196.0ms

Filtered

110 candidates to 133 candidates (-20.9%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	133	0	133
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	133	7	140

Merged error: 0b

Counts

140 → 7

localize19.0ms

Local error

Found 4 expressions with local error:

0.3b	(* x (log (cbrt (sqrt x))))
0.5b	(cbrt x)
0.6b	(cbrt (sqrt x))
0.6b	(cbrt (sqrt x))

rewrite16.0ms

Algorithm

rewrite-expression-head

Rules

27×	`cbrt-prod`
19×	`add-sqr-sqrt`
18×	`log-prod`
17×	`add-cube-cbrt` `*-un-lft-identity`
12×	`sqrt-prod`
9×	`distribute-rgt-in` `distribute-lft-in`
7×	`pow1`
6×	`add-exp-log` `add-cbrt-cube`
5×	`associate-r`
4×	`pow1/3` `add-log-exp`
3×	`associate-l`
2×	`log-pow`
1×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`

Counts

4 → 77

Calls

4 calls:

7.0ms	(* x (log (cbrt (sqrt x))))
2.0ms	(cbrt x)
2.0ms	(cbrt (sqrt x))
2.0ms	(cbrt (sqrt x))

series110.0ms

Counts

4 → 12

Calls

4 calls:

45.0ms	(* x (log (cbrt (sqrt x))))
27.0ms	(cbrt x)
18.0ms	(cbrt (sqrt x))
20.0ms	(cbrt (sqrt x))

simplify47.8s

Counts

89 → 89

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	4	4
done	4	4
0	4	4
done	4	4
0	5	8
done	5	8
0	4	4
done	4	4
0	5	7
1	6	4
done	6	4
0	4	4
done	4	4
0	4	4
done	4	4
0	4	4
done	4	4
0	3	3
1	5	2
done	5	2
0	3	3
done	3	3
0	4	4
done	4	4
0	4	4
done	4	4
0	2	2
1	4	1
done	4	1
0	3	3
done	3	3
0	5	9
done	5	9
0	4	4
done	4	4
0	5	11
1	6	11
2	8	5
3	13	2
4	19	2
5	29	2
6	50	2
7	108	2
8	311	2
9	1229	2
done	5000	2
0	4	4
done	4	4
0	4	4
done	4	4
0	4	4
done	4	4
0	4	4
done	4	4
0	5	8
done	5	8
0	4	4
done	4	4
0	5	7
1	6	4
done	6	4
0	4	4
done	4	4
0	4	4
done	4	4
0	4	4
done	4	4
0	3	3
1	5	2
done	5	2
0	3	3
done	3	3
0	4	4
done	4	4
0	4	4
done	4	4
0	2	2
1	4	1
done	4	1
0	3	3
done	3	3
0	5	9
done	5	9
0	4	4
done	4	4
0	5	11
1	6	11
2	8	5
3	13	2
4	19	2
5	29	2
6	50	2
7	108	2
8	311	2
9	1229	2
done	5000	2
0	4	4
done	4	4
0	4	4
done	4	4
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	5	6
1	6	6
done	6	6
0	7	8
1	8	8
done	8	8
0	6	7
1	10	7
2	11	7
done	11	7
0	6	7
1	9	7
2	16	5
3	26	5
4	49	5
5	107	5
6	245	5
7	701	5
8	2717	5
done	5001	5
0	9	20
1	16	20
2	41	10
3	78	10
4	138	8
5	268	8
6	671	8
7	2479	8
done	5000	8
0	7	15
1	8	15
done	8	15
0	6	7
1	7	7
done	7	7
0	7	20
1	18	20
2	47	8
3	89	8
4	105	8
5	151	8
6	291	8
7	753	8
8	2713	8
done	5000	8
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	6	8
1	7	8
done	7	8
0	6	8
1	7	8
done	7	8
0	7	11
1	8	11
done	8	11
0	6	7
1	7	7
done	7	7
0	7	10
1	9	7
done	9	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	6
1	9	5
done	9	5
0	5	6
1	6	6
done	6	6
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	5	5
1	8	4
done	8	4
0	5	6
1	6	6
done	6	6
0	7	12
1	10	12
2	16	9
3	22	9
4	26	9
done	26	9
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	4
1	7	3
done	7	1
0	5	6
1	6	6
done	6	6
0	7	11
1	8	11
done	8	11
0	6	7
1	7	7
done	7	7
0	7	10
1	9	7
done	9	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	6
1	9	5
done	9	5
0	5	6
1	6	6
done	6	6
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	5	5
1	8	4
done	8	4
0	5	6
1	6	6
done	6	6
0	7	12
1	10	12
2	16	9
3	22	9
4	26	9
done	26	9
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	4
1	7	3
done	7	1
0	5	6
1	6	6
done	6	6
0	3	3
1	4	3
done	4	3
0	3	3
1	6	1
done	6	1
0	7	13
1	10	13
2	12	13
done	12	13
0	6	7
1	7	7
done	7	7
0	3	3
1	6	1
done	6	1
0	6	7
1	7	7
done	7	7
0	5	7
1	6	7
done	6	7
0	5	6
1	6	6
done	6	6
0	8	8
1	20	7
2	28	5
3	49	3
4	86	3
5	170	3
6	350	3
7	888	3
8	3034	3
done	5000	3
0	9	10
1	19	8
2	35	5
3	71	3
4	125	3
5	263	3
6	562	3
7	1633	3
done	5001	3
0	22	29
1	64	26
2	167	22
3	559	22
4	2021	22
done	5001	22
0	8	8
1	20	7
2	28	5
3	49	3
4	86	3
5	170	3
6	350	3
7	888	3
8	3034	3
done	5000	3
0	9	10
1	19	8
2	35	5
3	71	3
4	125	3
5	263	3
6	562	3
7	1633	3
done	5001	3
0	22	29
1	64	26
2	167	22
3	559	22
4	2021	22
done	5001	22
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	9	11
1	17	8
2	31	6
3	49	6
4	51	6
done	51	6
0	9	11
1	20	9
2	42	6
3	82	6
4	109	6
5	176	6
6	230	6
done	230	6
0	16	20
1	40	19
2	104	19
3	216	18
4	632	18
5	2458	18
done	5000	18

prune100.0ms

Filtered

69 candidates to 89 candidates (-29.0%)

Pruning

7 alts after pruning (3 fresh and 4 done)

	Pruned	Kept	Total
New	89	0	89
Fresh	0	3	3
Picked	0	1	1
Done	0	3	3
Total	89	7	96

Merged error: 0b

Counts

96 → 7

regimes91.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	3	4
1	4	4
done	4	4

end0.0ms

sample670.0ms

Algorithm

intervals

Results

218.0ms	8031×	body	80	valid
159.0ms	8009×	body	80	nan

Details

sample25.0ms

simplify2.0ms

prune2.0ms

localize4.0ms

rewrite6.0ms

series20.0ms

simplify15.7s

prune42.0ms

localize9.0ms

rewrite32.0ms

series174.0ms

simplify1.5min

prune161.0ms

localize15.0ms

rewrite31.0ms

series193.0ms

simplify4.1min

prune196.0ms

localize19.0ms

rewrite16.0ms

series110.0ms

simplify47.8s

prune100.0ms

regimes91.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample670.0ms

Profiling