Details

sample76.0ms

Algorithm

intervals

Results

31.0ms	128×	body	5120	exit
13.0ms	202×	body	80	valid
5.0ms	129×	body	80	overflowed
4.0ms	21×	body	640	valid
2.0ms	17×	body	320	valid
1.0ms	17×	body	160	valid

simplify3.9s

Counts

1 → 1

Iterations

Useful iterations: 5 (167.0ms)

Iter	Nodes	Cost
0	8	16
1	20	15
2	48	15
3	105	15
4	190	14
5	632	12
6	2445	12
done	5000	12

prune14.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: 13.0b

Counts

2 → 2

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ x (exp wj))
0.0b	(/ (- wj (/ x (exp wj))) (+ wj 1))
5.0b	(- wj (/ (- wj (/ x (exp wj))) (+ wj 1)))

rewrite39.0ms

Algorithm

rewrite-expression-head

Rules

53×	`add-sqr-sqrt`
49×	`*-un-lft-identity`
39×	`times-frac`
23×	`add-cube-cbrt`
12×	`difference-of-squares`
9×	`associate-/l*`
7×	`associate-/r*` `add-cbrt-cube` `distribute-lft-out`
6×	`add-exp-log` `distribute-lft-out--`
5×	`add-log-exp`
3×	`pow1`
2×	`cbrt-undiv` `flip3--` `frac-2neg` `div-sub` `div-exp` `clear-num` `associate-/r/` `flip--` `div-inv` `associate-/l/`
1×	`sub-neg` `flip3-+` `diff-log` `flip-+` `associate--r-`

Counts

3 → 94

Calls

3 calls:

5.0ms	(/ x (exp wj))
13.0ms	(/ (- wj (/ x (exp wj))) (+ wj 1))
18.0ms	(- wj (/ (- wj (/ x (exp wj))) (+ wj 1)))

series30.0ms

Counts

3 → 9

Calls

3 calls:

9.0ms	(/ x (exp wj))
10.0ms	(/ (- wj (/ x (exp wj))) (+ wj 1))
11.0ms	(- wj (/ (- wj (/ x (exp wj))) (+ wj 1)))

simplify1.0min

Counts

103 → 103

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	10	14
1	20	13
2	34	13
3	57	13
4	103	13
5	148	13
6	257	13
7	426	13
8	529	13
9	616	13
10	970	13
11	2062	13
done	5000	13
0	10	13
1	20	13
2	32	13
3	48	13
4	80	13
5	94	13
6	130	13
7	186	13
8	225	13
9	252	13
10	256	13
done	256	13
0	10	13
1	22	13
2	39	13
3	63	13
4	111	13
5	170	13
6	299	13
7	474	13
8	563	13
9	648	13
10	1000	13
11	2072	13
done	5000	13
0	11	27
1	21	27
2	33	27
3	49	27
4	81	27
5	95	27
6	133	27
7	191	27
8	230	27
9	257	27
10	261	27
done	261	27
0	10	13
1	20	13
2	32	13
3	48	13
4	80	13
5	94	13
6	130	13
7	186	13
8	225	13
9	252	13
10	256	13
done	256	13
0	11	38
1	22	38
2	48	14
3	139	14
4	623	14
5	3634	14
done	5001	14
0	10	13
1	20	13
2	32	13
3	48	13
4	80	13
5	94	13
6	130	13
7	186	13
8	225	13
9	252	13
10	256	13
done	256	13
0	10	13
1	20	13
2	32	13
3	48	13
4	80	13
5	94	13
6	130	13
7	186	13
8	225	13
9	252	13
10	256	13
done	256	13
0	12	16
1	38	16
2	87	16
3	278	16
4	1062	16
5	4691	16
done	5000	16
0	13	38
1	34	27
2	69	27
3	163	27
4	506	27
5	1707	27
done	5000	27
0	9	11
1	19	11
2	29	11
3	42	11
4	61	10
5	66	10
6	95	10
7	136	10
8	148	10
9	160	10
done	160	10
0	11	25
1	28	25
2	60	25
3	178	25
4	614	25
5	2087	25
done	5001	25
0	9	12
1	18	12
2	29	12
3	43	12
4	65	12
5	74	12
6	106	12
7	152	12
8	174	12
9	209	12
10	240	12
11	243	12
12	249	12
13	255	12
done	255	12
0	11	14
1	20	14
2	27	14
3	33	14
4	45	14
done	45	14
0	11	14
1	21	14
2	29	14
3	35	14
4	47	14
done	47	14
0	12	15
1	18	15
2	21	15
done	21	15
0	12	15
1	19	15
2	25	15
done	25	15
0	9	12
1	19	12
2	31	12
3	47	12
4	79	12
5	93	12
6	131	12
7	187	12
8	226	12
9	253	12
10	257	12
done	257	12
0	5	7
1	10	7
2	13	7
done	13	7
0	9	11
1	19	11
2	29	11
3	42	11
4	61	10
5	66	10
6	95	10
7	136	10
8	148	10
9	160	10
done	160	10
0	10	12
1	17	12
2	21	12
done	21	12
0	9	11
1	20	11
2	29	11
3	36	11
4	48	11
done	48	11
0	9	11
1	17	11
2	27	11
3	35	11
4	49	11
5	53	11
6	84	11
7	136	11
8	148	11
9	162	11
10	174	11
11	203	11
12	226	11
13	239	11
14	252	11
15	274	11
16	280	11
done	280	11
0	12	32
1	38	32
2	118	14
3	398	12
4	1338	12
5	4649	12
done	5000	12
0	10	23
1	18	23
2	25	23
3	31	23
4	43	23
done	43	23
0	9	11
1	17	11
2	24	11
3	30	11
4	42	11
done	42	11
0	10	32
1	25	32
2	60	12
3	198	12
4	705	12
5	2625	12
done	5001	12
0	9	11
1	17	11
2	24	11
3	30	11
4	42	11
done	42	11
0	9	11
1	17	11
2	24	11
3	30	11
4	42	11
done	42	11
0	6	7
1	8	7
2	14	7
3	18	7
4	21	6
done	21	6
0	4	4
1	11	4
2	12	4
3	13	3
done	13	3
0	4	5
1	7	5
done	7	5
0	7	8
1	12	8
2	15	8
3	23	8
done	23	8
0	12	25
1	23	25
2	35	25
3	41	25
done	41	25
0	10	12
1	15	12
2	18	12
done	18	12
0	11	20
1	18	20
2	23	20
3	24	20
done	24	20
0	10	12
1	15	12
2	18	12
done	18	12
0	9	17
1	15	15
2	24	15
3	29	15
done	29	15
0	9	11
1	14	11
2	17	11
done	17	11
0	9	17
1	15	15
2	24	15
3	29	15
done	29	15
0	9	11
1	14	11
2	17	11
done	17	11
0	11	17
1	18	17
2	21	17
done	21	17
0	10	12
1	15	12
2	18	12
done	18	12
0	10	12
1	15	12
2	18	12
done	18	12
0	10	12
1	15	12
2	18	12
done	18	12
0	8	9
1	12	7
2	17	7
done	17	7
0	9	11
1	14	11
2	17	11
done	17	11
0	8	9
1	12	7
2	17	7
done	17	7
0	9	11
1	14	11
2	17	11
done	17	11
0	6	11
1	11	11
done	11	11
0	9	11
1	17	11
2	24	11
3	30	11
4	34	11
done	34	11
0	5	6
1	8	6
done	8	6
0	9	11
1	17	11
2	24	11
3	30	11
4	34	11
done	34	11
0	2	3
1	4	1
done	4	1
0	8	10
1	16	10
2	23	10
3	29	10
4	41	10
done	41	10
0	2	3
1	4	1
done	4	1
0	8	10
1	16	10
2	23	10
3	29	10
4	41	10
done	41	10
0	12	18
1	18	18
done	18	18
0	11	13
1	19	13
2	22	13
3	24	13
done	24	13
0	11	13
1	15	13
done	15	13
0	11	13
1	19	13
2	22	13
3	24	13
done	24	13
0	9	10
1	12	8
2	14	8
done	14	8
0	10	12
1	18	12
2	21	12
3	23	12
done	23	12
0	9	10
1	12	8
2	14	8
done	14	8
0	10	12
1	18	12
2	21	12
3	23	12
done	23	12
0	13	19
1	19	19
done	19	19
0	12	14
1	20	14
2	27	14
3	33	14
4	37	14
done	37	14
0	12	14
1	16	14
done	16	14
0	12	14
1	20	14
2	27	14
3	33	14
4	37	14
done	37	14
0	10	11
1	13	9
2	15	9
done	15	9
0	11	13
1	19	13
2	26	13
3	32	13
4	44	13
done	44	13
0	10	11
1	13	9
2	15	9
done	15	9
0	11	13
1	19	13
2	26	13
3	32	13
4	44	13
done	44	13
0	6	11
1	11	11
done	11	11
0	9	11
1	17	11
2	24	11
3	30	11
4	34	11
done	34	11
0	5	6
1	8	6
done	8	6
0	9	11
1	17	11
2	24	11
3	30	11
4	34	11
done	34	11
0	2	3
1	4	1
done	4	1
0	8	10
1	16	10
2	23	10
3	29	10
4	41	10
done	41	10
0	2	3
1	4	1
done	4	1
0	8	10
1	16	10
2	23	10
3	29	10
4	41	10
done	41	10
0	4	5
1	7	5
done	7	5
0	8	10
1	13	10
2	16	10
done	16	10
0	10	16
1	20	16
2	32	16
3	44	16
4	60	16
5	66	16
done	66	16
0	9	11
1	17	11
2	24	11
3	30	11
4	34	11
done	34	11
0	7	8
1	14	6
2	23	6
3	30	6
4	36	6
5	38	6
done	38	6
0	7	8
1	14	6
2	23	6
3	30	6
4	36	6
5	38	6
done	38	6
0	9	11
1	14	11
2	17	11
done	17	11
0	9	11
1	14	11
2	17	11
done	17	11
0	8	10
1	13	10
2	16	10
done	16	10
0	10	12
1	15	12
2	16	12
done	16	12
0	11	13
1	16	13
2	19	13
done	19	13
0	8	10
1	13	10
2	16	10
done	16	10
0	11	14
1	32	12
2	45	12
3	61	12
4	94	12
5	185	12
6	637	12
7	3132	12
done	5001	12
0	10	14
1	23	12
2	40	12
3	75	12
4	150	12
5	339	12
6	674	12
7	960	12
8	2529	12
done	5000	12
0	12	24
1	35	19
2	98	19
3	270	19
4	901	19
5	2172	19
6	3586	19
7	4291	19
8	4723	19
done	5000	19
0	8	10
1	19	10
2	47	10
3	83	10
4	156	10
5	240	10
6	315	10
7	333	10
8	336	10
9	337	10
done	337	10
0	4	4
1	6	4
2	7	4
done	7	4
0	5	5
1	8	5
2	10	4
3	11	4
done	11	4
0	5	5
done	5	5
0	8	14
1	19	13
2	57	8
3	129	6
4	216	6
5	393	6
6	1245	6
done	5000	6
0	6	11
done	6	11
0	5	5
done	5	5
0	6	14
1	13	14
2	29	6
3	67	6
4	134	6
5	201	6
6	333	6
7	840	6
8	3715	6
done	5001	6
0	5	5
done	5	5
0	5	5
done	5	5
0	2	2
done	2	2
0	3	3
done	3	3
0	8	13
1	14	13
2	23	13
3	29	13
done	29	13
0	6	6
done	6	6
0	7	9
1	9	9
2	11	9
3	12	9
done	12	9
0	6	6
done	6	6
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	5	5
done	5	5
0	7	10
1	9	10
done	9	10
0	6	6
done	6	6
0	6	6
done	6	6
0	6	6
done	6	6
0	4	4
1	6	2
2	8	2
done	8	2
0	5	5
done	5	5
0	6	9
1	10	9
done	10	9
0	5	5
done	5	5
0	5	5
1	7	5
done	7	5
0	5	5
done	5	5
0	2	3
1	4	1
done	4	1
0	4	4
done	4	4
0	4	4
1	8	3
done	8	3
0	4	4
done	4	4
0	6	9
1	8	9
done	8	9
0	5	5
done	5	5
0	3	3
1	5	1
done	5	1
0	5	5
done	5	5
0	5	5
done	5	5
0	4	4
done	4	4
0	8	11
1	22	11
2	54	11
3	92	11
4	124	9
5	159	9
6	213	9
7	299	9
8	520	9
9	1457	9
done	5000	9
0	8	10
1	19	10
2	28	10
3	34	10
4	40	10
5	49	10
6	68	10
7	91	10
8	114	10
9	128	10
10	131	10
11	135	10
12	142	10
done	142	10
0	8	10
1	19	10
2	28	10
3	34	10
4	40	10
5	49	10
6	68	10
7	91	10
8	114	10
9	128	10
10	131	10
11	135	10
12	142	10
done	142	10
0	6	7
1	16	7
2	33	7
3	51	7
4	71	7
5	98	7
6	147	7
7	237	7
8	458	7
9	1416	7
done	5001	7
0	12	17
1	29	17
2	58	17
3	100	17
4	180	17
5	446	17
6	1556	17
done	5000	17
0	12	17
1	29	17
2	58	17
3	100	17
4	180	17
5	446	17
6	1556	17
done	5000	17
0	10	13
1	25	13
2	63	13
3	102	11
4	148	11
5	218	11
6	392	11
7	686	11
8	985	11
9	2014	11
done	5000	11
0	4	4
done	4	4
0	4	4
done	4	4

prune153.0ms

Filtered

76 candidates to 103 candidates (-35.5%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	98	5	103
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	100	5	105

Merged error: 0.4b

Counts

105 → 5

localize6.0ms

Local error

Found 1 expressions with local error:

0.2b	(* wj (- wj (* x 2)))

rewrite7.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

1 → 24

Calls

1 calls:

7.0ms

(* wj (- wj (* x 2)))

series7.0ms

Counts

1 → 3

Calls

1 calls:

7.0ms

(* wj (- wj (* x 2)))

simplify23.3s

Counts

27 → 27

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	6	7
1	10	7
2	23	7
3	44	7
4	53	7
5	64	7
done	64	7
0	8	9
1	12	9
2	20	9
done	20	9
0	7	8
1	14	8
2	28	8
3	49	8
4	60	8
5	71	8
done	71	8
0	7	8
1	13	8
2	31	8
3	70	8
4	145	8
5	324	8
6	797	8
7	2587	8
done	5000	8
0	10	23
1	20	23
2	69	11
3	265	11
4	1257	9
done	5001	9
0	8	17
1	12	17
2	25	17
3	46	17
4	59	17
5	70	17
6	72	17
done	72	17
0	7	8
1	11	8
2	24	8
3	45	8
4	58	8
5	69	8
done	69	8
0	8	23
1	22	23
2	79	9
3	291	9
4	1299	9
done	5000	9
0	7	8
1	11	8
2	24	8
3	45	8
4	58	8
5	69	8
done	69	8
0	7	8
1	11	8
2	24	8
3	45	8
4	58	8
5	69	8
done	69	8
0	8	9
1	12	9
2	20	9
done	20	9
0	8	9
1	12	9
2	20	9
done	20	9
0	2	3
done	2	3
0	6	6
1	15	5
2	31	5
3	48	5
4	53	5
done	53	5
0	2	3
done	2	3
0	6	6
1	15	5
2	31	5
3	48	5
4	53	5
done	53	5
0	2	3
done	2	3
0	6	6
1	15	5
2	31	5
3	48	5
4	53	5
done	53	5
0	2	3
done	2	3
0	6	6
1	15	5
2	31	5
3	48	5
4	53	5
done	53	5
0	8	15
1	14	15
2	24	15
done	24	15
0	7	8
1	11	8
2	19	8
done	19	8
0	3	3
1	6	1
done	6	1
0	7	8
1	11	8
2	25	8
3	46	8
4	61	8
5	72	8
6	74	8
done	74	8
0	7	8
1	11	8
2	25	8
3	46	8
4	61	8
5	72	8
6	74	8
done	74	8
0	6	7
1	10	7
2	23	7
3	44	7
4	53	7
5	64	7
done	64	7
0	9	11
1	29	11
2	88	11
3	305	11
4	1035	11
5	2726	11
done	5000	11
0	8	13
1	23	11
2	63	11
3	166	11
4	414	11
5	736	11
6	1109	11
7	2034	11
done	5001	11
0	7	9
1	18	9
2	44	9
3	76	9
4	98	7
5	111	7
6	133	7
7	195	7
8	407	7
9	1344	7
done	5000	7
0	7	9
1	18	9
2	44	9
3	76	9
4	98	7
5	111	7
6	133	7
7	195	7
8	407	7
9	1344	7
done	5000	7
0	7	9
1	18	9
2	44	9
3	76	9
4	98	7
5	111	7
6	133	7
7	195	7
8	407	7
9	1344	7
done	5000	7

prune52.0ms

Filtered

18 candidates to 27 candidates (-50.0%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	24	3	27
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	24	8	32

Merged error: 0.4b

Counts

32 → 8

localize15.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt (* wj (- wj (* x 2)))) (cbrt (* wj (- wj (* x 2)))))
10.8b	(cbrt (* wj (- wj (* x 2))))
10.8b	(cbrt (* wj (- wj (* x 2))))
10.8b	(cbrt (* wj (- wj (* x 2))))

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

20×	`associate-*r/`
18×	`cbrt-div`
11×	`pow1`
10×	`add-sqr-sqrt`
9×	`flip3--` `pow1/3` `flip--`
8×	`add-cube-cbrt` `*-un-lft-identity`
7×	`cbrt-prod`
6×	`add-exp-log`
4×	`frac-times` `swap-sqr` `associate-r` `associate-l` `add-cbrt-cube` `add-log-exp`
2×	`pow-prod-down` `associate-*l/` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`

Counts

4 → 72

Calls

4 calls:

8.0ms	(* (cbrt (* wj (- wj (* x 2)))) (cbrt (* wj (- wj (* x 2)))))
5.0ms	(cbrt (* wj (- wj (* x 2))))
5.0ms	(cbrt (* wj (- wj (* x 2))))
4.0ms	(cbrt (* wj (- wj (* x 2))))

series227.0ms

Counts

4 → 12

Calls

4 calls:

67.0ms	(* (cbrt (* wj (- wj (* x 2)))) (cbrt (* wj (- wj (* x 2)))))
52.0ms	(cbrt (* wj (- wj (* x 2))))
56.0ms	(cbrt (* wj (- wj (* x 2))))
52.0ms	(cbrt (* wj (- wj (* x 2))))

simplify1.8min

Counts

84 → 84

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	8	9
1	12	9
2	25	9
3	46	9
4	59	9
5	70	9
6	72	9
done	72	9
0	8	9
1	12	9
2	25	9
3	46	9
4	59	9
5	70	9
6	72	9
done	72	9
0	2	2
done	2	2
0	6	6
1	9	6
2	17	6
done	17	6
0	10	12
1	30	12
2	89	12
3	306	12
4	1030	12
5	2841	12
done	5000	12
0	10	18
1	28	14
2	59	14
3	73	14
4	74	14
done	74	14
0	9	14
1	24	12
2	64	12
3	167	12
4	413	12
5	742	12
6	1103	12
7	2021	12
done	5001	12
0	6	6
1	8	6
done	8	6
0	9	19
1	13	19
2	26	19
3	47	19
4	60	19
5	71	19
done	71	19
0	8	9
1	12	9
2	25	9
3	46	9
4	59	9
5	70	9
6	72	9
done	72	9
0	9	26
1	14	26
2	29	10
3	54	7
4	75	7
5	96	7
6	119	7
7	184	7
8	402	7
9	1311	7
done	5000	7
0	8	9
1	12	9
2	25	9
3	46	9
4	59	9
5	70	9
6	72	9
done	72	9
0	8	9
1	12	9
2	25	9
3	46	9
4	59	9
5	70	9
6	72	9
done	72	9
0	8	9
1	12	9
2	25	9
3	46	9
4	59	9
5	70	9
6	72	9
done	72	9
0	8	9
1	12	9
2	25	9
3	46	9
4	59	9
5	70	9
6	72	9
done	72	9
0	2	2
done	2	2
0	6	6
1	9	6
2	17	6
done	17	6
0	10	12
1	30	12
2	89	12
3	306	12
4	1030	12
5	2841	12
done	5000	12
0	10	18
1	28	14
2	59	14
3	73	14
4	74	14
done	74	14
0	9	14
1	24	12
2	64	12
3	167	12
4	413	12
5	742	12
6	1103	12
7	2021	12
done	5001	12
0	6	6
1	8	6
done	8	6
0	9	19
1	13	19
2	26	19
3	47	19
4	60	19
5	71	19
done	71	19
0	8	9
1	12	9
2	25	9
3	46	9
4	59	9
5	70	9
6	72	9
done	72	9
0	9	26
1	14	26
2	29	10
3	54	7
4	75	7
5	96	7
6	119	7
7	184	7
8	402	7
9	1311	7
done	5000	7
0	8	9
1	12	9
2	25	9
3	46	9
4	59	9
5	70	9
6	72	9
done	72	9
0	8	9
1	12	9
2	25	9
3	46	9
4	59	9
5	70	9
6	72	9
done	72	9
0	8	9
1	12	9
2	25	9
3	46	9
4	59	9
5	70	9
6	72	9
done	72	9
0	8	9
1	12	9
2	25	9
3	46	9
4	59	9
5	70	9
6	72	9
done	72	9
0	2	2
done	2	2
0	6	6
1	9	6
2	17	6
done	17	6
0	10	12
1	30	12
2	89	12
3	306	12
4	1030	12
5	2841	12
done	5000	12
0	10	18
1	28	14
2	59	14
3	73	14
4	74	14
done	74	14
0	9	14
1	24	12
2	64	12
3	167	12
4	413	12
5	742	12
6	1103	12
7	2021	12
done	5001	12
0	6	6
1	8	6
done	8	6
0	9	19
1	13	19
2	26	19
3	47	19
4	60	19
5	71	19
done	71	19
0	8	9
1	12	9
2	25	9
3	46	9
4	59	9
5	70	9
6	72	9
done	72	9
0	9	26
1	14	26
2	29	10
3	54	7
4	75	7
5	96	7
6	119	7
7	184	7
8	402	7
9	1311	7
done	5000	7
0	8	9
1	12	9
2	25	9
3	46	9
4	59	9
5	70	9
6	72	9
done	72	9
0	8	9
1	12	9
2	25	9
3	46	9
4	59	9
5	70	9
6	72	9
done	72	9
0	2	3
1	5	1
done	5	1
0	2	3
1	6	1
done	6	1
0	7	15
1	18	15
2	51	15
3	156	15
4	555	15
5	1551	15
6	3821	15
done	5000	15
0	8	17
1	12	17
2	25	17
3	46	17
4	59	17
5	70	17
6	72	17
done	72	17
0	2	3
1	6	1
done	6	1
0	9	19
1	14	11
2	28	11
3	49	11
4	60	11
5	71	11
done	71	11
0	9	18
1	15	18
2	29	11
3	51	11
4	64	11
5	75	11
6	77	11
done	77	11
0	9	18
1	15	18
2	31	18
3	57	18
4	88	18
5	139	18
6	245	18
7	627	18
8	2304	18
done	5000	18
0	7	15
1	18	15
2	51	15
3	156	15
4	555	15
5	1551	15
6	3821	15
done	5000	15
0	10	37
1	14	37
2	27	37
3	48	37
4	61	37
5	72	37
done	72	37
0	9	18
1	13	18
2	26	18
3	47	18
4	60	18
5	71	18
done	71	18
0	10	53
1	22	53
2	42	19
3	76	10
4	170	10
5	551	10
6	1956	10
done	5001	10
0	9	18
1	14	9
2	27	9
3	48	9
4	61	9
5	72	9
done	72	9
0	9	18
1	14	9
2	27	9
3	48	9
4	61	9
5	72	9
done	72	9
0	11	25
1	31	25
2	90	25
3	307	25
4	1031	25
5	2717	25
done	5001	25
0	11	37
1	29	29
2	60	29
3	74	29
4	75	29
done	75	29
0	16	27
1	49	25
2	140	25
3	432	25
4	1265	25
5	3024	25
done	5000	25
0	13	25
1	32	21
2	62	21
3	76	21
4	77	21
done	77	21
0	16	27
1	49	25
2	140	25
3	430	25
4	1268	25
5	3025	25
done	5000	25
0	13	25
1	32	21
2	62	21
3	76	21
4	77	21
done	77	21
0	10	29
1	25	25
2	65	25
3	168	25
4	401	25
5	730	25
6	1099	25
7	2019	25
done	5001	25
0	7	13
1	9	13
done	9	13
0	3	5
done	3	5
0	7	13
1	10	13
2	18	13
done	18	13
0	10	39
1	18	39
2	35	21
3	64	11
4	96	11
5	133	11
6	211	11
7	429	11
8	1336	11
done	5000	11
0	9	19
1	13	19
2	26	19
3	47	19
4	60	19
5	71	19
done	71	19
0	9	19
1	13	8
2	27	8
3	48	8
4	59	8
5	70	8
done	70	8
0	9	19
1	13	8
2	27	8
3	48	8
4	59	8
5	70	8
done	70	8
0	2	3
1	4	1
done	4	1
0	8	17
1	12	17
2	25	17
3	46	17
4	59	17
5	70	17
6	72	17
done	72	17
0	9	19
1	13	8
2	27	8
3	48	8
4	59	8
5	70	8
done	70	8
0	9	19
1	13	8
2	27	8
3	48	8
4	59	8
5	70	8
done	70	8
0	3	3
1	5	1
done	5	1
0	3	3
1	6	1
done	6	1
0	9	11
1	14	11
2	27	11
3	48	11
4	61	11
5	72	11
done	72	11
0	10	28
1	17	28
2	32	28
3	53	28
4	62	28
5	73	28
6	75	28
done	75	28
0	9	18
1	14	18
2	27	18
3	48	18
4	61	18
5	72	18
done	72	18
0	9	10
1	16	8
2	32	8
3	53	8
4	62	8
5	73	8
6	75	8
done	75	8
0	9	15
1	14	15
2	27	15
3	48	15
4	61	15
5	72	15
done	72	15
0	9	18
1	14	18
2	27	18
3	48	18
4	61	18
5	72	18
done	72	18
0	9	18
1	14	18
2	27	18
3	48	18
4	61	18
5	72	18
done	72	18
0	8	17
1	12	17
2	25	17
3	46	17
4	59	17
5	70	17
6	72	17
done	72	17
0	14	21
1	38	21
2	108	21
3	344	21
4	1087	21
5	2692	21
done	5000	21
0	13	23
1	31	21
2	82	21
3	225	21
4	535	21
5	937	21
6	1526	21
7	3560	21
done	5000	21
0	14	21
1	38	21
2	108	21
3	346	21
4	1116	21
5	2739	21
done	5001	21
0	13	23
1	31	21
2	82	21
3	225	21
4	543	21
5	958	21
6	1551	21
7	3575	21
done	5000	21
0	12	12
1	26	11
2	53	11
3	104	10
4	166	6
5	322	6
6	859	6
7	3895	6
done	5000	6
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	13	15
1	22	15
2	43	15
3	108	14
4	275	11
5	687	10
6	2015	3
done	5001	3
0	12	12
1	26	11
2	53	11
3	104	10
4	166	6
5	322	6
6	859	6
7	3895	6
done	5000	6
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	13	15
1	22	15
2	43	15
3	108	14
4	275	11
5	687	10
6	2015	3
done	5001	3
0	12	12
1	26	11
2	53	11
3	104	10
4	166	6
5	322	6
6	859	6
7	3895	6
done	5000	6
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	13	15
1	22	15
2	43	15
3	108	14
4	275	11
5	687	10
6	2015	3
done	5001	3
0	14	15
1	31	13
2	65	13
3	139	12
4	244	10
5	596	8
6	2238	8
done	5001	8
0	11	12
1	22	10
2	47	8
3	132	5
4	288	3
5	635	3
6	1770	3
done	5001	3
0	16	17
1	32	16
2	67	14
3	191	11
4	549	10
5	1918	10
done	5000	10

prune209.0ms

Filtered

65 candidates to 84 candidates (-29.2%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	82	2	84
Fresh	1	5	6
Picked	1	0	1
Done	0	1	1
Total	84	8	92

Merged error: 0.4b

Counts

92 → 8

localize19.0ms

Local error

Found 4 expressions with local error:

10.8b	(cbrt (* wj (- wj (* x 2))))
10.8b	(cbrt (* wj (- wj (* x 2))))
10.8b	(cbrt (* wj (- wj (* x 2))))
10.8b	(cbrt (* wj (- wj (* x 2))))

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

8×	`cbrt-div` `associate-*r/`
4×	`pow1` `add-exp-log` `cbrt-prod` `add-sqr-sqrt` `add-cube-cbrt` `flip3--` `*-un-lft-identity` `pow1/3` `add-cbrt-cube` `flip--` `add-log-exp`

Counts

4 → 44

Calls

4 calls:

5.0ms	(cbrt (* wj (- wj (* x 2))))
5.0ms	(cbrt (* wj (- wj (* x 2))))
5.0ms	(cbrt (* wj (- wj (* x 2))))
5.0ms	(cbrt (* wj (- wj (* x 2))))

series218.0ms

Counts

4 → 12

Calls

4 calls:

57.0ms	(cbrt (* wj (- wj (* x 2))))
53.0ms	(cbrt (* wj (- wj (* x 2))))
56.0ms	(cbrt (* wj (- wj (* x 2))))
52.0ms	(cbrt (* wj (- wj (* x 2))))

simplify1.2min

Counts

56 → 56

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	8	9
1	12	9
2	25	9
3	46	9
4	59	9
5	70	9
6	72	9
done	72	9
0	8	9
1	12	9
2	25	9
3	46	9
4	59	9
5	70	9
6	72	9
done	72	9
0	2	2
done	2	2
0	6	6
1	9	6
2	17	6
done	17	6
0	10	12
1	30	12
2	89	12
3	306	12
4	1030	12
5	2841	12
done	5000	12
0	10	18
1	28	14
2	59	14
3	73	14
4	74	14
done	74	14
0	9	14
1	24	12
2	64	12
3	167	12
4	413	12
5	742	12
6	1103	12
7	2021	12
done	5001	12
0	6	6
1	8	6
done	8	6
0	9	19
1	13	19
2	26	19
3	47	19
4	60	19
5	71	19
done	71	19
0	8	9
1	12	9
2	25	9
3	46	9
4	59	9
5	70	9
6	72	9
done	72	9
0	9	26
1	14	26
2	29	10
3	54	7
4	75	7
5	96	7
6	119	7
7	184	7
8	402	7
9	1311	7
done	5000	7
0	8	9
1	12	9
2	25	9
3	46	9
4	59	9
5	70	9
6	72	9
done	72	9
0	8	9
1	12	9
2	25	9
3	46	9
4	59	9
5	70	9
6	72	9
done	72	9
0	8	9
1	12	9
2	25	9
3	46	9
4	59	9
5	70	9
6	72	9
done	72	9
0	8	9
1	12	9
2	25	9
3	46	9
4	59	9
5	70	9
6	72	9
done	72	9
0	2	2
done	2	2
0	6	6
1	9	6
2	17	6
done	17	6
0	10	12
1	30	12
2	89	12
3	306	12
4	1030	12
5	2841	12
done	5000	12
0	10	18
1	28	14
2	59	14
3	73	14
4	74	14
done	74	14
0	9	14
1	24	12
2	64	12
3	167	12
4	413	12
5	742	12
6	1103	12
7	2021	12
done	5001	12
0	6	6
1	8	6
done	8	6
0	9	19
1	13	19
2	26	19
3	47	19
4	60	19
5	71	19
done	71	19
0	8	9
1	12	9
2	25	9
3	46	9
4	59	9
5	70	9
6	72	9
done	72	9
0	9	26
1	14	26
2	29	10
3	54	7
4	75	7
5	96	7
6	119	7
7	184	7
8	402	7
9	1311	7
done	5000	7
0	8	9
1	12	9
2	25	9
3	46	9
4	59	9
5	70	9
6	72	9
done	72	9
0	8	9
1	12	9
2	25	9
3	46	9
4	59	9
5	70	9
6	72	9
done	72	9
0	8	9
1	12	9
2	25	9
3	46	9
4	59	9
5	70	9
6	72	9
done	72	9
0	8	9
1	12	9
2	25	9
3	46	9
4	59	9
5	70	9
6	72	9
done	72	9
0	2	2
done	2	2
0	6	6
1	9	6
2	17	6
done	17	6
0	10	12
1	30	12
2	89	12
3	306	12
4	1030	12
5	2841	12
done	5000	12
0	10	18
1	28	14
2	59	14
3	73	14
4	74	14
done	74	14
0	9	14
1	24	12
2	64	12
3	167	12
4	413	12
5	742	12
6	1103	12
7	2021	12
done	5001	12
0	6	6
1	8	6
done	8	6
0	9	19
1	13	19
2	26	19
3	47	19
4	60	19
5	71	19
done	71	19
0	8	9
1	12	9
2	25	9
3	46	9
4	59	9
5	70	9
6	72	9
done	72	9
0	9	26
1	14	26
2	29	10
3	54	7
4	75	7
5	96	7
6	119	7
7	184	7
8	402	7
9	1311	7
done	5000	7
0	8	9
1	12	9
2	25	9
3	46	9
4	59	9
5	70	9
6	72	9
done	72	9
0	8	9
1	12	9
2	25	9
3	46	9
4	59	9
5	70	9
6	72	9
done	72	9
0	8	9
1	12	9
2	25	9
3	46	9
4	59	9
5	70	9
6	72	9
done	72	9
0	8	9
1	12	9
2	25	9
3	46	9
4	59	9
5	70	9
6	72	9
done	72	9
0	2	2
done	2	2
0	6	6
1	9	6
2	17	6
done	17	6
0	10	12
1	30	12
2	89	12
3	306	12
4	1030	12
5	2841	12
done	5000	12
0	10	18
1	28	14
2	59	14
3	73	14
4	74	14
done	74	14
0	9	14
1	24	12
2	64	12
3	167	12
4	413	12
5	742	12
6	1103	12
7	2021	12
done	5001	12
0	6	6
1	8	6
done	8	6
0	9	19
1	13	19
2	26	19
3	47	19
4	60	19
5	71	19
done	71	19
0	8	9
1	12	9
2	25	9
3	46	9
4	59	9
5	70	9
6	72	9
done	72	9
0	9	26
1	14	26
2	29	10
3	54	7
4	75	7
5	96	7
6	119	7
7	184	7
8	402	7
9	1311	7
done	5000	7
0	8	9
1	12	9
2	25	9
3	46	9
4	59	9
5	70	9
6	72	9
done	72	9
0	8	9
1	12	9
2	25	9
3	46	9
4	59	9
5	70	9
6	72	9
done	72	9
0	12	12
1	26	11
2	53	11
3	104	10
4	166	6
5	322	6
6	859	6
7	3895	6
done	5000	6
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	13	15
1	22	15
2	43	15
3	108	14
4	275	11
5	687	10
6	2015	3
done	5001	3
0	12	12
1	26	11
2	53	11
3	104	10
4	166	6
5	322	6
6	859	6
7	3895	6
done	5000	6
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	13	15
1	22	15
2	43	15
3	108	14
4	275	11
5	687	10
6	2015	3
done	5001	3
0	12	12
1	26	11
2	53	11
3	104	10
4	166	6
5	322	6
6	859	6
7	3895	6
done	5000	6
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	13	15
1	22	15
2	43	15
3	108	14
4	275	11
5	687	10
6	2015	3
done	5001	3
0	12	12
1	26	11
2	53	11
3	104	10
4	166	6
5	322	6
6	859	6
7	3895	6
done	5000	6
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	13	15
1	22	15
2	43	15
3	108	14
4	275	11
5	687	10
6	2015	3
done	5001	3

prune211.0ms

Filtered

48 candidates to 56 candidates (-16.7%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	54	2	56
Fresh	1	5	6
Picked	1	0	1
Done	0	1	1
Total	56	8	64

Merged error: 0.4b

Counts

64 → 8

regimes128.0ms

Accuracy

0% (1.6b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	9
1	10	9
done	10	9

end0.0ms

sample2.1s

Algorithm

intervals

Results

969.0ms	3845×	body	5120	exit
249.0ms	6285×	body	80	valid
148.0ms	3766×	body	80	overflowed
100.0ms	799×	body	320	valid
98.0ms	509×	body	640	valid
43.0ms	489×	body	160	valid

Details

sample76.0ms

simplify3.9s

prune14.0ms

localize9.0ms

rewrite39.0ms

series30.0ms

simplify1.0min

prune153.0ms

localize6.0ms

rewrite7.0ms

series7.0ms

simplify23.3s

prune52.0ms

localize15.0ms

rewrite24.0ms

series227.0ms

simplify1.8min

prune209.0ms

localize19.0ms

rewrite20.0ms

series218.0ms

simplify1.2min

prune211.0ms

regimes128.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample2.1s

Profiling