Details

sample15.0ms

Algorithm

intervals

Results

8.0ms

256×

body

valid

simplify4.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	7	11
1	11	11
2	12	11
done	12	11

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

Counts

2 → 1

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ x (+ x 1.0))
0.0b	(/ 1.0 (- x 1.0))
0.0b	(+ (/ 1.0 (- x 1.0)) (/ x (+ x 1.0)))

rewrite47.0ms

Algorithm

rewrite-expression-head

Rules

60×	`*-un-lft-identity`
35×	`times-frac`
30×	`add-sqr-sqrt`
22×	`add-cube-cbrt`
11×	`distribute-lft-out`
9×	`associate-/r*`
7×	`add-exp-log` `add-cbrt-cube`
6×	`associate-/l*` `distribute-lft-out--`
5×	`add-log-exp`
4×	`associate-/r/` `difference-of-squares`
3×	`pow1`
2×	`cbrt-undiv` `frac-2neg` `flip3-+` `div-exp` `clear-num` `flip-+` `div-inv`
1×	`+-commutative` `flip3--` `frac-add` `sum-log` `flip--`

Counts

3 → 87

Calls

3 calls:

6.0ms	(/ x (+ x 1.0))
6.0ms	(/ 1.0 (- x 1.0))
31.0ms	(+ (/ 1.0 (- x 1.0)) (/ x (+ x 1.0)))

series13.0ms

Counts

3 → 9

Calls

3 calls:

3.0ms	(/ x (+ x 1.0))
2.0ms	(/ 1.0 (- x 1.0))
7.0ms	(+ (/ 1.0 (- x 1.0)) (/ x (+ x 1.0)))

simplify1.5min

Counts

96 → 96

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	9	13
1	15	12
2	17	12
done	17	12
0	8	12
1	12	12
2	13	12
done	13	12
0	8	12
1	15	12
2	17	12
done	17	12
0	9	25
1	13	25
2	14	25
done	14	25
0	8	12
1	12	12
2	13	12
done	13	12
0	9	35
1	26	35
2	75	13
3	226	13
4	634	13
5	1737	13
6	4237	13
done	5001	13
0	8	12
1	12	12
2	13	12
done	13	12
0	8	12
1	12	12
2	13	12
done	13	12
0	7	11
1	18	11
2	29	11
3	45	11
4	81	11
5	121	9
6	168	7
7	265	7
8	1341	7
9	4478	7
done	5001	7
0	5	7
1	15	7
2	34	7
3	56	7
4	101	7
5	167	7
6	261	7
7	440	7
8	1436	7
9	4384	7
done	5000	7
0	10	15
1	33	15
2	79	15
3	224	15
4	631	15
5	1893	15
done	5000	15
0	11	35
1	34	29
2	76	29
3	153	29
4	327	29
5	582	29
6	1388	29
7	4014	29
done	5000	29
0	9	23
1	25	23
2	47	23
3	94	23
4	201	23
5	371	23
6	794	23
7	2133	23
done	5000	23
0	7	11
1	12	11
2	16	11
done	16	11
0	7	11
1	11	11
2	12	11
done	12	11
0	7	11
1	11	11
2	12	11
done	12	11
0	7	11
1	11	11
2	12	11
done	12	11
0	7	11
1	11	11
2	12	11
done	12	11
0	7	11
1	11	11
2	12	11
done	12	11
0	6	7
1	10	7
2	12	7
done	12	7
0	5	6
1	10	6
2	13	6
3	14	6
done	14	6
0	5	6
1	7	6
2	8	6
done	8	6
0	8	17
1	19	17
2	64	9
3	172	7
4	392	7
5	1164	7
6	4370	7
done	5000	7
0	6	13
1	8	13
2	9	13
done	9	13
0	5	6
1	7	6
2	8	6
done	8	6
0	6	17
1	15	17
2	32	7
3	76	7
4	176	7
5	426	7
6	1521	7
done	5000	7
0	5	6
1	7	6
2	8	6
done	8	6
0	5	6
1	7	6
2	8	6
done	8	6
0	2	2
done	2	2
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	8	15
1	16	15
2	26	15
3	32	15
done	32	15
0	6	7
1	8	7
2	9	7
done	9	7
0	7	10
1	11	10
2	14	10
3	15	10
done	15	10
0	6	7
1	8	7
2	9	7
done	9	7
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	5	6
1	7	6
2	8	6
done	8	6
0	8	11
1	11	11
2	13	11
3	14	11
done	14	11
0	7	8
1	9	8
2	10	8
done	10	8
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	5	6
1	7	6
2	8	6
done	8	6
0	7	12
1	11	12
2	12	12
done	12	12
0	6	7
1	8	7
2	9	7
done	9	7
0	6	7
1	8	7
2	9	7
done	9	7
0	6	7
1	8	7
2	9	7
done	9	7
0	4	4
1	6	2
2	8	2
done	8	2
0	5	6
1	7	6
2	8	6
done	8	6
0	6	8
1	7	8
done	7	8
0	6	8
1	8	8
2	9	8
done	9	8
0	4	4
1	6	2
2	8	2
done	8	2
0	5	6
1	7	6
2	8	6
done	8	6
0	7	11
1	13	11
2	14	11
done	14	11
0	5	6
1	7	6
2	8	6
done	8	6
0	6	6
1	10	6
2	11	6
done	11	6
0	5	6
1	7	6
2	8	6
done	8	6
0	2	3
1	4	1
done	4	1
0	4	5
1	6	5
2	7	5
done	7	5
0	7	7
1	10	7
done	10	7
0	6	7
1	8	7
2	9	7
done	9	7
0	2	3
1	4	1
done	4	1
0	4	5
1	6	5
2	7	5
done	7	5
0	5	5
1	9	5
2	10	5
done	10	5
0	4	5
1	9	5
2	14	5
3	17	5
done	17	5
0	6	11
1	10	11
2	11	11
done	11	11
0	5	6
1	7	6
2	8	6
done	8	6
0	3	3
1	5	1
done	5	1
0	6	7
1	7	7
done	7	7
0	3	3
1	5	1
done	5	1
0	5	6
1	10	6
2	13	6
3	15	6
done	15	6
0	5	6
1	10	6
2	13	6
3	15	6
done	15	6
0	4	5
1	9	5
2	14	5
3	17	5
done	17	5
0	7	9
1	22	9
2	44	9
3	80	9
4	169	9
5	517	9
6	2298	9
done	5001	9
0	6	9
1	11	9
2	20	9
3	37	9
4	62	9
5	103	9
6	161	9
7	329	9
8	1619	9
done	5000	9
0	6	7
1	9	7
2	10	7
done	10	7
0	5	6
1	9	6
2	11	6
3	12	6
done	12	6
0	5	6
1	6	6
done	6	6
0	8	17
1	30	17
2	91	9
3	216	7
4	489	7
5	1289	7
6	2990	7
done	5001	7
0	6	13
1	7	13
done	7	13
0	5	6
1	6	6
done	6	6
0	6	17
1	14	17
2	30	7
3	68	7
4	149	7
5	296	7
6	576	7
7	1357	7
8	4751	7
done	5000	7
0	5	6
1	6	6
done	6	6
0	5	6
1	6	6
done	6	6
0	2	2
done	2	2
0	4	4
1	8	4
2	10	4
3	11	4
done	11	4
0	8	15
1	15	15
2	24	15
3	30	15
done	30	15
0	6	7
1	7	7
done	7	7
0	7	10
1	10	10
2	12	10
3	13	10
done	13	10
0	6	7
1	7	7
done	7	7
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	5	6
1	6	6
done	6	6
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	5	6
1	6	6
done	6	6
0	7	12
1	10	12
done	10	12
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	6	2
2	8	2
done	8	2
0	5	6
1	6	6
done	6	6
0	4	4
1	6	2
2	8	2
done	8	2
0	5	6
1	6	6
done	6	6
0	7	11
1	12	11
done	12	11
0	5	6
1	6	6
done	6	6
0	6	6
1	9	6
done	9	6
0	5	6
1	6	6
done	6	6
0	2	3
1	4	1
done	4	1
0	4	5
1	5	5
done	5	5
0	2	3
1	4	1
done	4	1
0	4	5
1	5	5
done	5	5
0	5	5
1	8	5
done	8	5
0	4	5
1	5	5
done	5	5
0	6	11
1	9	11
done	9	11
0	5	6
1	6	6
done	6	6
0	3	3
1	5	1
done	5	1
0	3	3
1	5	1
done	5	1
0	5	6
1	6	6
done	6	6
0	5	6
1	6	6
done	6	6
0	4	5
1	5	5
done	5	5
0	7	9
1	21	9
2	30	9
3	47	9
4	88	9
5	208	9
6	613	9
7	2441	9
done	5000	9
0	6	9
1	11	9
2	20	9
3	37	9
4	62	9
5	103	9
6	161	9
7	329	9
8	1596	9
done	5000	9
0	12	14
1	31	12
2	83	12
3	165	12
4	303	12
5	509	12
6	820	12
7	1674	12
done	5000	12
0	13	17
1	31	17
2	77	13
3	216	13
4	754	13
5	2452	13
done	5000	13
0	13	17
1	31	17
2	77	13
3	216	13
4	754	13
5	2452	13
done	5000	13
0	9	12
1	23	12
2	60	10
3	114	10
4	188	10
5	293	9
6	439	9
7	811	9
8	1480	9
9	2526	9
done	5000	9
0	15	21
1	40	19
2	98	15
3	237	15
4	743	15
5	2511	11
done	5001	11
0	15	21
1	40	19
2	98	15
3	237	15
4	743	15
5	2511	11
done	5001	11
0	11	15
1	32	13
2	87	11
3	163	11
4	314	11
5	595	11
6	1447	11
done	5000	11
0	11	15
1	27	15
2	61	11
3	122	11
4	262	11
5	765	9
6	4066	9
done	5001	9
0	11	15
1	27	15
2	61	11
3	122	11
4	262	11
5	765	9
6	4066	9
done	5001	9

prune146.0ms

Filtered

72 candidates to 96 candidates (-33.3%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	93	3	96
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	94	3	97

Merged error: 0b

Counts

97 → 3

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ 1.0 (- x 1.0))
0.0b	(cbrt (pow (+ (/ 1.0 (- x 1.0)) (/ x (+ x 1.0))) 3))
0.0b	(pow (+ (/ 1.0 (- x 1.0)) (/ x (+ x 1.0))) 3)
0.0b	(+ (/ 1.0 (- x 1.0)) (/ x (+ x 1.0)))

rewrite102.0ms

Algorithm

rewrite-expression-head

Rules

138×	`*-un-lft-identity`
55×	`times-frac`
35×	`distribute-lft-out`
28×	`add-sqr-sqrt`
22×	`cbrt-prod`
20×	`add-cube-cbrt`
16×	`unpow-prod-down` `cube-prod`
14×	`distribute-lft-out--`
7×	`add-exp-log` `add-cbrt-cube`
6×	`cube-div` `add-log-exp`
5×	`pow1` `associate-/r*`
4×	`difference-of-squares`
3×	`pow-unpow` `cbrt-div` `flip3-+` `frac-add` `flip-+` `associate-/l*`
2×	`cube-mult` `unpow3` `associate-/r/` `sqr-pow`
1×	`cbrt-undiv` `+-commutative` `pow-to-exp` `flip3--` `pow-pow` `frac-2neg` `pow1/3` `div-exp` `pow-exp` `clear-num` `sum-log` `flip--` `rem-cbrt-cube` `div-inv` `rem-cube-cbrt`

Counts

4 → 124

Calls

4 calls:

6.0ms	(/ 1.0 (- x 1.0))
30.0ms	(cbrt (pow (+ (/ 1.0 (- x 1.0)) (/ x (+ x 1.0))) 3))
32.0ms	(pow (+ (/ 1.0 (- x 1.0)) (/ x (+ x 1.0))) 3)
27.0ms	(+ (/ 1.0 (- x 1.0)) (/ x (+ x 1.0)))

series32.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(/ 1.0 (- x 1.0))
14.0ms	(cbrt (pow (+ (/ 1.0 (- x 1.0)) (/ x (+ x 1.0))) 3))
9.0ms	(pow (+ (/ 1.0 (- x 1.0)) (/ x (+ x 1.0))) 3)
7.0ms	(+ (/ 1.0 (- x 1.0)) (/ x (+ x 1.0)))

simplify4.6min

Counts

136 → 136

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	9	13
1	15	12
2	17	12
done	17	12
0	8	12
1	12	12
2	13	12
done	13	12
0	8	12
1	15	12
2	17	12
done	17	12
0	9	25
1	13	25
2	14	25
done	14	25
0	8	12
1	12	12
2	13	12
done	13	12
0	9	35
1	26	35
2	75	13
3	226	13
4	634	13
5	1737	13
6	4237	13
done	5001	13
0	8	12
1	12	12
2	13	12
done	13	12
0	8	12
1	12	12
2	13	12
done	13	12
0	7	11
1	18	11
2	29	11
3	45	11
4	81	11
5	121	9
6	168	7
7	265	7
8	1341	7
9	4478	7
done	5001	7
0	5	7
1	15	7
2	34	7
3	56	7
4	101	7
5	167	7
6	261	7
7	440	7
8	1436	7
9	4384	7
done	5000	7
0	10	15
1	33	15
2	79	15
3	224	15
4	631	15
5	1893	15
done	5000	15
0	11	35
1	34	29
2	76	29
3	153	29
4	327	29
5	582	29
6	1388	29
7	4014	29
done	5000	29
0	9	23
1	25	23
2	47	23
3	94	23
4	201	23
5	371	23
6	794	23
7	2133	23
done	5000	23
0	7	11
1	12	11
2	16	11
done	16	11
0	7	11
1	11	11
2	12	11
done	12	11
0	7	11
1	11	11
2	12	11
done	12	11
0	7	11
1	11	11
2	12	11
done	12	11
0	7	11
1	11	11
2	12	11
done	12	11
0	7	11
1	11	11
2	12	11
done	12	11
0	10	14
1	15	14
2	16	14
done	16	14
0	10	14
1	15	14
2	16	14
done	16	14
0	3	3
1	6	1
done	6	1
0	11	17
1	19	17
2	27	17
3	51	17
4	107	17
5	262	17
6	885	17
7	3303	17
done	5000	17
0	10	14
1	18	14
2	24	14
3	42	14
4	83	14
5	190	14
6	564	14
7	2190	14
done	5000	14
0	9	13
1	20	11
2	28	11
3	39	11
4	61	11
5	122	11
6	343	11
7	1270	11
done	5000	11
0	11	27
1	25	27
2	47	14
3	92	14
4	229	14
5	584	14
6	1840	14
done	5000	14
0	10	14
1	22	11
2	29	11
3	39	11
4	62	11
5	123	11
6	338	11
7	1268	11
done	5000	11
0	10	14
1	22	14
2	29	14
3	48	14
4	79	14
5	148	14
6	375	14
7	1312	14
done	5001	14
0	10	14
1	22	14
2	29	14
3	48	14
4	79	14
5	148	14
6	375	14
7	1312	14
done	5001	14
0	3	3
1	13	1
done	13	1
0	9	13
1	21	13
2	44	13
3	102	13
4	277	13
5	765	13
6	2181	13
done	5000	13
0	4	5
1	15	1
2	19	1
3	23	1
done	23	1
0	9	13
1	21	13
2	44	13
3	102	13
4	277	13
5	765	13
6	2181	13
done	5000	13
0	4	5
1	15	1
2	19	1
3	23	1
done	23	1
0	9	13
1	21	13
2	44	13
3	102	13
4	277	13
5	765	13
6	2181	13
done	5000	13
0	4	5
1	15	1
2	19	1
3	23	1
done	23	1
0	9	13
1	21	13
2	44	13
3	102	13
4	277	13
5	765	13
6	2181	13
done	5000	13
0	4	5
1	15	1
2	19	1
3	23	1
done	23	1
0	9	13
1	21	13
2	44	13
3	102	13
4	277	13
5	765	13
6	2181	13
done	5000	13
0	3	3
1	13	1
done	13	1
0	9	13
1	21	13
2	44	13
3	102	13
4	277	13
5	765	13
6	2181	13
done	5000	13
0	8	23
1	18	23
2	40	23
3	88	23
4	143	23
5	211	23
6	398	23
7	669	23
8	1414	23
done	5000	23
0	10	14
1	24	14
2	53	14
3	116	14
4	310	14
5	856	14
6	2433	14
done	5000	14
0	10	14
1	22	14
2	51	14
3	133	14
4	363	14
5	1050	14
6	3391	14
done	5000	14
0	11	29
1	22	23
2	45	23
3	103	23
4	278	23
5	774	23
6	2160	23
done	5000	23
0	10	14
1	22	11
2	45	11
3	103	11
4	278	11
5	774	11
6	2165	11
done	5000	11
0	11	41
1	27	27
2	83	15
3	349	15
4	1697	15
done	5000	15
0	11	27
1	25	27
2	47	14
3	92	14
4	229	14
5	584	14
6	1840	14
done	5000	14
0	10	14
1	22	11
2	29	11
3	39	11
4	62	11
5	123	11
6	338	11
7	1268	11
done	5000	11
0	10	14
1	22	14
2	29	14
3	48	14
4	79	14
5	148	14
6	375	14
7	1312	14
done	5001	14
0	10	14
1	22	14
2	29	14
3	48	14
4	79	14
5	148	14
6	375	14
7	1312	14
done	5001	14
0	3	3
1	13	1
done	13	1
0	9	13
1	21	13
2	44	13
3	102	13
4	277	13
5	765	13
6	2181	13
done	5000	13
0	4	5
1	15	1
2	19	1
3	23	1
done	23	1
0	9	13
1	21	13
2	44	13
3	102	13
4	277	13
5	765	13
6	2181	13
done	5000	13
0	4	5
1	15	1
2	19	1
3	23	1
done	23	1
0	9	13
1	21	13
2	44	13
3	102	13
4	277	13
5	765	13
6	2181	13
done	5000	13
0	4	5
1	15	1
2	19	1
3	23	1
done	23	1
0	9	13
1	21	13
2	44	13
3	102	13
4	277	13
5	765	13
6	2181	13
done	5000	13
0	4	5
1	15	1
2	19	1
3	23	1
done	23	1
0	9	13
1	21	13
2	44	13
3	102	13
4	277	13
5	765	13
6	2181	13
done	5000	13
0	3	3
1	13	1
done	13	1
0	9	13
1	21	13
2	44	13
3	102	13
4	277	13
5	765	13
6	2181	13
done	5000	13
0	9	13
1	28	13
2	61	13
3	219	13
4	1392	13
done	5000	13
0	7	9
1	28	9
2	94	9
3	440	9
4	2405	9
done	5001	9
0	11	17
1	39	17
2	104	17
3	372	17
4	2286	17
done	5000	17
0	13	37
1	44	31
2	108	31
3	337	31
4	1880	31
done	5000	31
0	11	25
1	35	25
2	89	25
3	350	25
4	2101	25
done	5000	25
0	9	13
1	22	13
2	44	13
3	108	13
4	332	13
5	1101	13
6	3695	13
done	5001	13
0	8	23
1	18	23
2	40	23
3	88	23
4	143	23
5	211	23
6	398	23
7	669	23
8	1414	23
done	5000	23
0	10	14
1	22	14
2	46	14
3	104	14
4	279	14
5	771	14
6	2195	14
done	5000	14
0	10	14
1	22	14
2	46	14
3	104	14
4	279	14
5	771	14
6	2195	14
done	5000	14
0	11	15
1	20	13
2	27	13
3	37	13
4	58	13
5	114	13
6	322	13
7	1241	13
done	5000	13
0	11	15
1	20	13
2	27	13
3	37	13
4	58	13
5	114	13
6	322	13
7	1241	13
done	5000	13
0	11	15
1	23	12
2	46	12
3	104	12
4	279	12
5	767	12
6	2176	12
done	5000	12
0	11	15
1	23	12
2	50	12
3	108	12
4	283	12
5	787	12
6	2202	12
done	5000	12
0	12	28
1	26	25
2	48	15
3	93	15
4	232	15
5	599	14
6	1874	14
done	5000	14
0	11	15
1	23	12
2	30	12
3	40	12
4	61	12
5	126	12
6	342	12
7	1275	12
done	5000	12
0	11	15
1	23	12
2	30	12
3	49	12
4	78	12
5	151	12
6	382	12
7	1310	12
done	5000	12
0	11	15
1	23	12
2	30	12
3	49	12
4	78	12
5	151	12
6	382	12
7	1310	12
done	5000	12
0	4	4
1	14	1
2	18	1
done	18	1
0	10	14
1	22	11
2	45	11
3	103	11
4	278	11
5	774	11
6	2165	11
done	5000	11
0	5	6
1	16	1
done	16	1
0	10	14
1	22	11
2	45	11
3	103	11
4	278	11
5	774	11
6	2165	11
done	5000	11
0	5	6
1	16	1
done	16	1
0	10	14
1	22	11
2	45	11
3	103	11
4	278	11
5	774	11
6	2165	11
done	5000	11
0	5	6
1	16	1
done	16	1
0	10	14
1	22	11
2	45	11
3	103	11
4	278	11
5	774	11
6	2165	11
done	5000	11
0	5	6
1	16	1
done	16	1
0	10	14
1	22	11
2	45	11
3	103	11
4	278	11
5	774	11
6	2165	11
done	5000	11
0	4	4
1	14	1
2	18	1
done	18	1
0	10	14
1	22	11
2	45	11
3	103	11
4	278	11
5	774	11
6	2165	11
done	5000	11
0	9	24
1	19	24
2	41	24
3	89	24
4	144	24
5	212	24
6	399	24
7	670	24
8	1409	24
done	5001	24
0	8	12
1	12	12
2	13	12
done	13	12
0	12	30
1	23	24
2	46	24
3	104	24
4	279	24
5	769	24
6	2169	24
done	5000	24
0	11	15
1	23	12
2	46	12
3	104	12
4	279	12
5	767	12
6	2176	12
done	5000	12
0	12	28
1	26	25
2	48	15
3	93	15
4	232	15
5	599	14
6	1874	14
done	5000	14
0	11	15
1	23	12
2	30	12
3	40	12
4	61	12
5	126	12
6	342	12
7	1275	12
done	5000	12
0	11	15
1	23	12
2	30	12
3	49	12
4	78	12
5	151	12
6	382	12
7	1310	12
done	5000	12
0	11	15
1	23	12
2	30	12
3	49	12
4	78	12
5	151	12
6	382	12
7	1310	12
done	5000	12
0	4	4
1	14	1
2	18	1
done	18	1
0	10	14
1	22	11
2	45	11
3	103	11
4	278	11
5	774	11
6	2165	11
done	5000	11
0	5	6
1	16	1
done	16	1
0	10	14
1	22	11
2	45	11
3	103	11
4	278	11
5	774	11
6	2165	11
done	5000	11
0	5	6
1	16	1
done	16	1
0	10	14
1	22	11
2	45	11
3	103	11
4	278	11
5	774	11
6	2165	11
done	5000	11
0	5	6
1	16	1
done	16	1
0	10	14
1	22	11
2	45	11
3	103	11
4	278	11
5	774	11
6	2165	11
done	5000	11
0	5	6
1	16	1
done	16	1
0	10	14
1	22	11
2	45	11
3	103	11
4	278	11
5	774	11
6	2165	11
done	5000	11
0	4	4
1	14	1
2	18	1
done	18	1
0	10	14
1	22	11
2	45	11
3	103	11
4	278	11
5	774	11
6	2165	11
done	5000	11
0	8	12
1	12	12
2	13	12
done	13	12
0	9	24
1	19	24
2	41	24
3	89	24
4	144	24
5	212	24
6	399	24
7	670	24
8	1409	24
done	5001	24
0	11	15
1	23	15
2	47	15
3	105	15
4	278	15
5	770	15
6	2191	15
done	5000	15
0	11	15
1	23	15
2	47	15
3	105	15
4	278	15
5	770	15
6	2191	15
done	5000	15
0	2	2
1	4	1
done	4	1
0	10	14
1	22	11
2	45	11
3	103	11
4	278	11
5	774	11
6	2165	11
done	5000	11
0	12	16
1	20	14
2	27	14
3	42	14
4	63	14
5	121	14
6	332	14
7	1251	14
done	5001	14
0	12	16
1	20	14
2	27	14
3	42	14
4	63	14
5	121	14
6	332	14
7	1251	14
done	5001	14
0	10	14
1	29	11
2	62	11
3	220	11
4	1399	11
done	5001	11
0	8	10
1	29	7
2	95	7
3	444	7
4	2402	7
done	5000	7
0	12	18
1	40	15
2	105	15
3	373	15
4	2286	15
done	5001	15
0	14	38
1	45	29
2	109	29
3	338	29
4	1878	29
done	5001	29
0	12	26
1	36	23
2	90	23
3	351	23
4	2106	23
done	5000	23
0	10	14
1	23	11
2	45	11
3	109	11
4	333	11
5	1100	11
6	3696	11
done	5000	11
0	12	31
1	24	25
2	47	25
3	105	25
4	280	25
5	776	25
6	2170	25
done	5000	25
0	11	15
1	23	12
2	46	12
3	104	12
4	279	12
5	767	12
6	2176	12
done	5000	12
0	12	44
1	22	13
2	45	13
3	103	13
4	278	13
5	770	13
6	2171	13
done	5000	13
0	11	15
1	23	12
2	46	12
3	104	12
4	279	12
5	767	12
6	2176	12
done	5000	12
0	11	15
1	23	12
2	46	12
3	104	12
4	279	12
5	767	12
6	2176	12
done	5000	12
0	6	7
1	10	7
2	12	7
done	12	7
0	5	6
1	10	6
2	13	6
3	14	6
done	14	6
0	5	6
1	7	6
2	8	6
done	8	6
0	8	17
1	19	17
2	64	9
3	172	7
4	392	7
5	1164	7
6	4370	7
done	5000	7
0	6	13
1	8	13
2	9	13
done	9	13
0	5	6
1	7	6
2	8	6
done	8	6
0	6	17
1	15	17
2	32	7
3	76	7
4	176	7
5	426	7
6	1521	7
done	5000	7
0	5	6
1	7	6
2	8	6
done	8	6
0	5	6
1	7	6
2	8	6
done	8	6
0	2	2
done	2	2
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	8	15
1	16	15
2	26	15
3	32	15
done	32	15
0	6	7
1	8	7
2	9	7
done	9	7
0	7	10
1	11	10
2	14	10
3	15	10
done	15	10
0	6	7
1	8	7
2	9	7
done	9	7
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	5	6
1	7	6
2	8	6
done	8	6
0	8	11
1	11	11
2	13	11
3	14	11
done	14	11
0	7	8
1	9	8
2	10	8
done	10	8
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	5	6
1	7	6
2	8	6
done	8	6
0	7	12
1	11	12
2	12	12
done	12	12
0	6	7
1	8	7
2	9	7
done	9	7
0	6	7
1	8	7
2	9	7
done	9	7
0	6	7
1	8	7
2	9	7
done	9	7
0	4	4
1	6	2
2	8	2
done	8	2
0	5	6
1	7	6
2	8	6
done	8	6
0	6	8
1	7	8
done	7	8
0	6	8
1	8	8
2	9	8
done	9	8
0	4	4
1	6	2
2	8	2
done	8	2
0	5	6
1	7	6
2	8	6
done	8	6
0	7	11
1	13	11
2	14	11
done	14	11
0	5	6
1	7	6
2	8	6
done	8	6
0	6	6
1	10	6
2	11	6
done	11	6
0	5	6
1	7	6
2	8	6
done	8	6
0	2	3
1	4	1
done	4	1
0	4	5
1	6	5
2	7	5
done	7	5
0	7	7
1	10	7
done	10	7
0	6	7
1	8	7
2	9	7
done	9	7
0	2	3
1	4	1
done	4	1
0	4	5
1	6	5
2	7	5
done	7	5
0	5	5
1	9	5
2	10	5
done	10	5
0	4	5
1	9	5
2	14	5
3	17	5
done	17	5
0	6	11
1	10	11
2	11	11
done	11	11
0	5	6
1	7	6
2	8	6
done	8	6
0	3	3
1	5	1
done	5	1
0	6	7
1	7	7
done	7	7
0	3	3
1	5	1
done	5	1
0	5	6
1	10	6
2	13	6
3	15	6
done	15	6
0	5	6
1	10	6
2	13	6
3	15	6
done	15	6
0	4	5
1	9	5
2	14	5
3	17	5
done	17	5
0	7	9
1	22	9
2	44	9
3	80	9
4	169	9
5	517	9
6	2298	9
done	5001	9
0	6	9
1	11	9
2	20	9
3	37	9
4	62	9
5	103	9
6	161	9
7	329	9
8	1619	9
done	5000	9
0	12	14
1	31	12
2	83	12
3	165	12
4	303	12
5	509	12
6	820	12
7	1674	12
done	5000	12
0	13	17
1	31	17
2	77	13
3	216	13
4	754	13
5	2452	13
done	5000	13
0	13	17
1	31	17
2	77	13
3	216	13
4	754	13
5	2452	13
done	5000	13
0	13	14
1	30	14
2	78	14
3	150	14
4	263	14
5	416	14
6	599	14
7	1154	14
8	3512	14
done	5001	14
0	14	17
1	33	17
2	79	13
3	197	13
4	645	13
5	1952	13
done	5000	13
0	14	17
1	33	17
2	79	13
3	197	13
4	645	13
5	1952	13
done	5000	13
0	12	14
1	31	12
2	83	12
3	165	12
4	303	12
5	509	12
6	820	12
7	1674	12
done	5000	12
0	13	17
1	31	17
2	77	13
3	216	13
4	754	13
5	2452	13
done	5000	13
0	15	21
1	35	21
2	100	21
3	218	18
4	467	18
5	862	17
6	1494	17
7	3405	16
done	5001	16
0	9	12
1	23	12
2	60	10
3	114	10
4	188	10
5	293	9
6	439	9
7	811	9
8	1480	9
9	2526	9
done	5000	9
0	15	21
1	40	19
2	98	15
3	237	15
4	743	15
5	2511	11
done	5001	11
0	15	21
1	40	19
2	98	15
3	237	15
4	743	15
5	2511	11
done	5001	11

prune195.0ms

Filtered

83 candidates to 136 candidates (-63.9%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	136	0	136
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	136	3	139

Merged error: 0b

Counts

139 → 3

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (cbrt (+ (/ 1.0 (- x 1.0)) (/ x (+ x 1.0)))) (cbrt (+ (/ 1.0 (- x 1.0)) (/ x (+ x 1.0)))))
0.0b	(cbrt (+ (/ 1.0 (- x 1.0)) (/ x (+ x 1.0))))
0.0b	(cbrt (+ (/ 1.0 (- x 1.0)) (/ x (+ x 1.0))))
0.0b	(cbrt (+ (/ 1.0 (- x 1.0)) (/ x (+ x 1.0))))

rewrite161.0ms

Algorithm

rewrite-expression-head

Rules

295×	`*-un-lft-identity`
104×	`times-frac`
88×	`cbrt-prod`
87×	`distribute-lft-out`
33×	`cbrt-div`
26×	`distribute-lft-out--`
25×	`swap-sqr`
23×	`add-sqr-sqrt`
15×	`add-cube-cbrt`
11×	`pow1` `flip3-+` `associate-r` `associate-l` `frac-add` `flip-+`
9×	`frac-times` `pow1/3`
6×	`add-exp-log`
4×	`add-cbrt-cube` `add-log-exp` `unswap-sqr`
3×	`associate-r/` `associate-l/`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 141

Calls

4 calls:

60.0ms	(* (cbrt (+ (/ 1.0 (- x 1.0)) (/ x (+ x 1.0)))) (cbrt (+ (/ 1.0 (- x 1.0)) (/ x (+ x 1.0)))))
31.0ms	(cbrt (+ (/ 1.0 (- x 1.0)) (/ x (+ x 1.0))))
26.0ms	(cbrt (+ (/ 1.0 (- x 1.0)) (/ x (+ x 1.0))))
29.0ms	(cbrt (+ (/ 1.0 (- x 1.0)) (/ x (+ x 1.0))))

series81.0ms

Counts

4 → 12

Calls

4 calls:

21.0ms	(* (cbrt (+ (/ 1.0 (- x 1.0)) (/ x (+ x 1.0)))) (cbrt (+ (/ 1.0 (- x 1.0)) (/ x (+ x 1.0)))))
19.0ms	(cbrt (+ (/ 1.0 (- x 1.0)) (/ x (+ x 1.0))))
20.0ms	(cbrt (+ (/ 1.0 (- x 1.0)) (/ x (+ x 1.0))))
21.0ms	(cbrt (+ (/ 1.0 (- x 1.0)) (/ x (+ x 1.0))))

simplify3.8min

Counts

153 → 153

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	9	13
1	13	13
2	14	13
done	14	13
0	9	13
1	13	13
2	14	13
done	14	13
0	10	26
1	14	26
2	15	26
done	15	26
0	9	13
1	13	13
2	14	13
done	14	13
0	9	13
1	13	13
2	14	13
done	14	13
0	9	13
1	13	13
2	14	13
done	14	13
0	2	2
1	4	1
done	4	1
0	8	12
1	12	12
2	13	12
done	13	12
0	3	4
1	5	1
done	5	1
0	8	12
1	12	12
2	13	12
done	13	12
0	3	4
1	5	1
done	5	1
0	8	12
1	12	12
2	13	12
done	13	12
0	3	4
1	5	1
done	5	1
0	8	12
1	12	12
2	13	12
done	13	12
0	3	4
1	5	1
done	5	1
0	8	12
1	12	12
2	13	12
done	13	12
0	2	2
1	4	1
done	4	1
0	8	12
1	12	12
2	13	12
done	13	12
0	8	12
1	19	12
2	30	12
3	46	12
4	82	12
5	124	10
6	176	8
7	273	8
8	1350	8
9	4509	8
done	5001	8
0	6	8
1	16	8
2	35	8
3	57	8
4	102	8
5	168	8
6	262	8
7	441	8
8	1430	8
9	4414	8
done	5000	8
0	11	16
1	34	16
2	80	16
3	225	16
4	630	16
5	1888	16
done	5001	16
0	12	36
1	35	30
2	77	30
3	154	30
4	328	30
5	584	30
6	1390	30
7	4001	30
done	5000	30
0	10	24
1	26	24
2	48	24
3	95	24
4	202	24
5	372	24
6	785	24
7	2121	24
done	5000	24
0	8	12
1	13	12
2	17	12
done	17	12
0	10	27
1	14	27
2	15	27
done	15	27
0	9	13
1	13	13
2	14	13
done	14	13
0	10	38
1	15	38
2	18	14
3	23	11
4	29	11
5	39	11
6	62	11
7	123	11
8	334	11
9	1252	11
done	5000	11
0	9	13
1	13	13
2	14	13
done	14	13
0	9	13
1	13	13
2	14	13
done	14	13
0	9	13
1	13	13
2	14	13
done	14	13
0	9	13
1	13	13
2	14	13
done	14	13
0	10	26
1	14	26
2	15	26
done	15	26
0	9	13
1	13	13
2	14	13
done	14	13
0	9	13
1	13	13
2	14	13
done	14	13
0	9	13
1	13	13
2	14	13
done	14	13
0	2	2
1	4	1
done	4	1
0	8	12
1	12	12
2	13	12
done	13	12
0	3	4
1	5	1
done	5	1
0	8	12
1	12	12
2	13	12
done	13	12
0	3	4
1	5	1
done	5	1
0	8	12
1	12	12
2	13	12
done	13	12
0	3	4
1	5	1
done	5	1
0	8	12
1	12	12
2	13	12
done	13	12
0	3	4
1	5	1
done	5	1
0	8	12
1	12	12
2	13	12
done	13	12
0	2	2
1	4	1
done	4	1
0	8	12
1	12	12
2	13	12
done	13	12
0	8	12
1	19	12
2	30	12
3	46	12
4	82	12
5	124	10
6	176	8
7	273	8
8	1350	8
9	4509	8
done	5001	8
0	6	8
1	16	8
2	35	8
3	57	8
4	102	8
5	168	8
6	262	8
7	441	8
8	1430	8
9	4414	8
done	5000	8
0	11	16
1	34	16
2	80	16
3	225	16
4	630	16
5	1888	16
done	5001	16
0	12	36
1	35	30
2	77	30
3	154	30
4	328	30
5	584	30
6	1390	30
7	4001	30
done	5000	30
0	10	24
1	26	24
2	48	24
3	95	24
4	202	24
5	372	24
6	785	24
7	2121	24
done	5000	24
0	8	12
1	13	12
2	17	12
done	17	12
0	10	27
1	14	27
2	15	27
done	15	27
0	9	13
1	13	13
2	14	13
done	14	13
0	10	38
1	15	38
2	18	14
3	23	11
4	29	11
5	39	11
6	62	11
7	123	11
8	334	11
9	1252	11
done	5000	11
0	9	13
1	13	13
2	14	13
done	14	13
0	9	13
1	13	13
2	14	13
done	14	13
0	9	13
1	13	13
2	14	13
done	14	13
0	9	13
1	13	13
2	14	13
done	14	13
0	10	26
1	14	26
2	15	26
done	15	26
0	9	13
1	13	13
2	14	13
done	14	13
0	9	13
1	13	13
2	14	13
done	14	13
0	9	13
1	13	13
2	14	13
done	14	13
0	2	2
1	4	1
done	4	1
0	8	12
1	12	12
2	13	12
done	13	12
0	3	4
1	5	1
done	5	1
0	8	12
1	12	12
2	13	12
done	13	12
0	3	4
1	5	1
done	5	1
0	8	12
1	12	12
2	13	12
done	13	12
0	3	4
1	5	1
done	5	1
0	8	12
1	12	12
2	13	12
done	13	12
0	3	4
1	5	1
done	5	1
0	8	12
1	12	12
2	13	12
done	13	12
0	2	2
1	4	1
done	4	1
0	8	12
1	12	12
2	13	12
done	13	12
0	8	12
1	19	12
2	30	12
3	46	12
4	82	12
5	124	10
6	176	8
7	273	8
8	1350	8
9	4509	8
done	5001	8
0	6	8
1	16	8
2	35	8
3	57	8
4	102	8
5	168	8
6	262	8
7	441	8
8	1430	8
9	4414	8
done	5000	8
0	11	16
1	34	16
2	80	16
3	225	16
4	630	16
5	1888	16
done	5001	16
0	12	36
1	35	30
2	77	30
3	154	30
4	328	30
5	584	30
6	1390	30
7	4001	30
done	5000	30
0	10	24
1	26	24
2	48	24
3	95	24
4	202	24
5	372	24
6	785	24
7	2121	24
done	5000	24
0	8	12
1	13	12
2	17	12
done	17	12
0	10	27
1	14	27
2	15	27
done	15	27
0	9	13
1	13	13
2	14	13
done	14	13
0	10	38
1	15	38
2	18	14
3	23	11
4	29	11
5	39	11
6	62	11
7	123	11
8	334	11
9	1252	11
done	5000	11
0	9	13
1	13	13
2	14	13
done	14	13
0	9	13
1	13	13
2	14	13
done	14	13
0	2	3
1	5	1
done	5	1
0	2	3
1	6	1
done	6	1
0	8	23
1	18	23
2	40	23
3	88	23
4	143	23
5	211	23
6	398	23
7	669	23
8	1414	23
done	5000	23
0	9	25
1	13	25
2	14	25
done	14	25
0	2	3
1	6	1
done	6	1
0	10	27
1	16	15
2	18	15
done	18	15
0	10	26
1	16	26
2	19	15
3	20	15
done	20	15
0	10	26
1	16	26
2	21	26
3	26	26
4	44	26
5	86	26
6	191	26
7	571	26
8	2249	26
done	5000	26
0	8	23
1	18	23
2	40	23
3	88	23
4	143	23
5	211	23
6	398	23
7	669	23
8	1414	23
done	5000	23
0	11	53
1	15	53
2	16	53
done	16	53
0	10	26
1	14	26
2	15	26
done	15	26
0	11	77
1	23	77
2	33	27
3	47	14
4	105	14
5	248	14
6	646	14
7	2213	14
done	5001	14
0	10	26
1	15	13
2	16	13
done	16	13
0	10	26
1	15	13
2	16	13
done	16	13
0	9	25
1	20	25
2	31	25
3	47	25
4	83	25
5	123	21
6	170	17
7	267	17
8	1339	17
9	4552	17
done	5000	17
0	7	17
1	17	17
2	36	17
3	58	17
4	102	17
5	169	17
6	263	17
7	442	17
8	1435	17
9	4403	17
done	5000	17
0	16	29
1	48	29
2	102	29
3	259	29
4	697	29
5	2095	27
done	5000	27
0	15	45
1	46	39
2	104	39
3	197	39
4	387	39
5	736	39
6	1735	39
done	5000	39
0	15	37
1	40	37
2	70	37
3	133	37
4	271	37
5	480	35
6	976	33
7	2504	33
done	5001	33
0	11	21
1	24	21
2	46	21
3	68	21
4	110	21
5	176	21
6	270	21
7	449	21
8	1442	21
9	4439	21
done	5000	21
0	16	29
1	48	29
2	102	29
3	259	29
4	696	29
5	2096	27
done	5000	27
0	15	45
1	46	39
2	104	39
3	197	39
4	386	39
5	735	39
6	1729	39
7	4955	39
done	5000	39
0	12	33
1	35	33
2	81	33
3	226	33
4	632	33
5	1891	33
done	5000	33
0	13	73
1	36	61
2	78	61
3	155	61
4	329	61
5	585	61
6	1390	61
7	3997	61
done	5000	61
0	16	41
1	51	41
2	116	41
3	300	41
4	787	41
5	2217	41
done	5000	41
0	15	49
1	41	43
2	85	43
3	161	43
4	332	43
5	586	43
6	1389	43
7	4005	43
done	5001	43
0	15	37
1	40	37
2	70	37
3	133	37
4	271	37
5	480	35
6	974	33
7	2493	33
done	5000	33
0	11	21
1	24	21
2	46	21
3	68	21
4	113	21
5	182	21
6	276	21
7	455	21
8	1451	21
9	4428	21
done	5000	21
0	16	41
1	51	41
2	116	41
3	300	41
4	787	41
5	2223	41
done	5001	41
0	15	49
1	41	43
2	85	43
3	161	43
4	332	43
5	586	43
6	1392	43
7	4022	43
done	5000	43
0	11	49
1	27	49
2	49	49
3	96	49
4	203	49
5	373	49
6	787	49
7	2133	49
done	5001	49
0	9	25
1	14	25
2	18	25
done	18	25
0	11	53
1	15	53
2	16	53
done	16	53
0	10	27
1	14	27
2	15	27
done	15	27
0	10	27
1	14	27
2	15	27
done	15	27
0	10	27
1	14	27
2	15	27
done	15	27
0	3	5
1	5	3
done	5	1
0	9	25
1	13	25
2	14	25
done	14	25
0	3	5
1	5	3
done	5	1
0	9	25
1	13	25
2	14	25
done	14	25
0	4	9
1	6	3
done	6	1
0	9	25
1	13	25
2	14	25
done	14	25
0	4	9
1	6	3
done	6	1
0	9	25
1	13	25
2	14	25
done	14	25
0	4	9
1	6	3
done	6	1
0	9	25
1	13	25
2	14	25
done	14	25
0	4	9
1	6	3
done	6	1
0	9	25
1	13	25
2	14	25
done	14	25
0	4	9
1	6	3
done	6	1
0	9	25
1	13	25
2	14	25
done	14	25
0	4	9
1	6	3
done	6	1
0	9	25
1	13	25
2	14	25
done	14	25
0	4	9
1	6	3
done	6	1
0	9	25
1	13	25
2	14	25
done	14	25
0	4	9
1	6	3
done	6	1
0	9	25
1	13	25
2	14	25
done	14	25
0	4	9
1	6	3
done	6	1
0	9	25
1	13	25
2	14	25
done	14	25
0	4	9
1	6	3
done	6	1
0	9	25
1	13	25
2	14	25
done	14	25
0	4	9
1	6	3
done	6	1
0	9	25
1	13	25
2	14	25
done	14	25
0	4	9
1	6	3
done	6	1
0	9	25
1	13	25
2	14	25
done	14	25
0	4	9
1	6	3
done	6	1
0	9	25
1	13	25
2	14	25
done	14	25
0	4	9
1	6	3
done	6	1
0	9	25
1	13	25
2	14	25
done	14	25
0	4	9
1	6	3
done	6	1
0	9	25
1	13	25
2	14	25
done	14	25
0	4	9
1	6	3
done	6	1
0	9	25
1	13	25
2	14	25
done	14	25
0	3	5
1	5	3
done	5	1
0	9	25
1	13	25
2	14	25
done	14	25
0	3	5
1	5	3
done	5	1
0	9	25
1	13	25
2	14	25
done	14	25
0	11	55
1	19	55
2	22	29
3	31	15
4	46	15
5	72	15
6	143	15
7	355	15
8	1265	15
done	5000	15
0	10	27
1	14	27
2	15	27
done	15	27
0	10	27
1	14	12
2	16	12
done	16	12
0	10	27
1	14	12
2	16	12
done	16	12
0	2	3
1	4	1
done	4	1
0	9	25
1	13	25
2	14	25
done	14	25
0	10	27
1	14	27
2	15	27
done	15	27
0	10	27
1	14	27
2	15	27
done	15	27
0	12	27
1	17	27
2	18	27
done	18	27
0	12	27
1	17	27
2	18	27
done	18	27
0	12	27
1	17	27
2	18	27
done	18	27
0	12	27
1	17	27
2	18	27
done	18	27
0	10	27
1	14	12
2	16	12
done	16	12
0	10	27
1	14	12
2	16	12
done	16	12
0	3	3
1	5	1
done	5	1
0	3	3
1	6	1
done	6	1
0	11	39
1	16	39
2	17	39
done	17	39
0	11	26
1	16	26
2	17	26
done	17	26
0	11	15
1	18	14
2	19	14
done	19	12
0	12	17
1	19	14
2	20	14
done	20	12
0	12	17
1	19	14
2	20	14
done	20	12
0	12	17
1	19	14
2	20	14
done	20	12
0	12	17
1	19	14
2	20	14
done	20	12
0	11	15
1	18	14
2	19	14
done	19	12
0	11	40
1	18	40
2	21	40
done	21	40
0	10	26
1	15	26
2	16	26
done	16	26
0	10	14
1	17	12
2	21	12
done	21	12
0	10	26
1	15	26
2	16	26
done	16	26
0	11	26
1	16	26
2	17	26
done	17	26
0	9	25
1	13	25
2	14	25
done	14	25
0	9	25
1	13	25
2	14	25
done	14	25
0	9	25
1	13	25
2	14	25
done	14	25
0	9	25
1	13	25
2	14	25
done	14	25
0	9	25
1	13	25
2	14	25
done	14	25
0	9	25
1	13	25
2	14	25
done	14	25
0	10	26
1	15	26
2	16	26
done	16	26
0	10	26
1	15	26
2	16	26
done	16	26
0	9	25
1	13	25
2	14	25
done	14	25
0	13	25
1	26	25
2	37	25
3	53	25
4	89	25
5	131	23
6	183	21
7	280	21
8	1354	21
9	4535	21
done	5000	21
0	14	29
1	39	29
2	85	29
3	230	29
4	635	29
5	1909	29
done	5000	29
0	13	37
1	30	37
2	51	37
3	98	37
4	205	37
5	375	37
6	795	37
7	2131	37
done	5000	37
0	13	25
1	26	25
2	37	25
3	53	25
4	89	25
5	131	23
6	183	21
7	280	21
8	1353	21
9	4551	21
done	5000	21
0	14	29
1	39	29
2	85	29
3	230	29
4	637	29
5	1902	29
done	5001	29
0	13	37
1	30	37
2	51	37
3	98	37
4	205	37
5	375	37
6	793	37
7	2130	37
done	5000	37
0	27	38
1	71	34
2	212	34
3	864	30
4	4525	30
done	5000	30
0	16	19
1	40	17
2	90	13
3	211	13
4	647	13
5	1985	13
done	5000	13
0	20	32
1	47	29
2	151	23
3	517	23
4	2507	19
done	5001	19
0	27	38
1	71	34
2	212	34
3	864	30
4	4525	30
done	5000	30
0	16	19
1	40	17
2	90	13
3	211	13
4	647	13
5	1985	13
done	5000	13
0	20	32
1	47	29
2	151	23
3	517	23
4	2507	19
done	5001	19
0	27	38
1	71	34
2	212	34
3	864	30
4	4525	30
done	5000	30
0	16	19
1	40	17
2	90	13
3	211	13
4	647	13
5	1985	13
done	5000	13
0	20	32
1	47	29
2	151	23
3	517	23
4	2507	19
done	5001	19
0	25	37
1	66	33
2	209	30
3	882	28
4	4585	28
done	5000	28
0	16	19
1	40	17
2	90	13
3	211	13
4	647	13
5	1985	13
done	5000	13
0	16	26
1	37	26
2	119	26
3	284	21
4	975	21
5	4419	18
done	5000	18

prune375.0ms

Filtered

89 candidates to 153 candidates (-71.9%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	153	0	153
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	153	3	156

Merged error: 0b

Counts

156 → 3

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (* 1.0 1.0) (* x x))
0.0b	(* (- x 1.0) (+ x 1.0))
15.6b	(/ (+ (* 1.0 1.0) (* x x)) (* (- x 1.0) (+ x 1.0)))

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 73

Calls

3 calls:

4.0ms	(+ (* 1.0 1.0) (* x x))
11.0ms	(* (- x 1.0) (+ x 1.0))
15.0ms	(/ (+ (* 1.0 1.0) (* x x)) (* (- x 1.0) (+ x 1.0)))

series22.0ms

Counts

3 → 9

Calls

3 calls:

5.0ms	(+ (* 1.0 1.0) (* x x))
10.0ms	(* (- x 1.0) (+ x 1.0))
7.0ms	(/ (+ (* 1.0 1.0) (* x x)) (* (- x 1.0) (+ x 1.0)))

simplify4.7min

Counts

82 → 82

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	12	18
1	21	18
2	31	18
3	41	18
4	51	18
5	67	18
6	86	18
7	102	18
8	107	18
done	107	18
0	11	17
1	27	17
2	52	17
3	81	17
4	136	17
5	216	17
6	329	17
7	534	17
8	1570	17
9	4814	17
done	5000	17
0	10	16
1	26	16
2	54	16
3	87	16
4	146	16
5	226	16
6	336	16
7	534	16
8	1583	16
9	4901	16
done	5000	16
0	10	16
1	23	16
2	43	16
3	64	16
4	110	16
5	178	16
6	272	16
7	451	16
8	1480	16
9	4799	16
done	5000	16
0	15	47
1	58	47
2	263	21
3	1166	21
done	5001	21
0	13	47
1	54	47
2	280	19
3	1413	17
done	5000	17
0	11	33
1	24	33
2	44	33
3	65	33
4	110	33
5	178	33
6	272	33
7	451	33
8	1472	33
9	4791	33
done	5000	33
0	10	16
1	23	16
2	43	16
3	64	16
4	110	16
5	178	16
6	272	16
7	451	16
8	1480	16
9	4799	16
done	5000	16
0	11	47
1	31	47
2	113	17
3	498	17
4	2219	17
done	5000	17
0	10	16
1	23	16
2	43	16
3	64	16
4	110	16
5	178	16
6	272	16
7	451	16
8	1480	16
9	4799	16
done	5000	16
0	10	16
1	23	16
2	43	16
3	64	16
4	110	16
5	178	16
6	272	16
7	451	16
8	1480	16
9	4799	16
done	5000	16
0	6	8
1	10	8
2	18	8
3	19	8
done	19	8
0	6	8
1	20	8
2	57	8
3	127	8
4	233	7
5	408	7
6	680	7
7	1221	7
8	3342	7
done	5000	7
0	9	21
1	14	21
2	20	21
3	23	21
4	25	21
done	25	21
0	8	12
1	10	12
done	10	12
0	8	12
1	11	12
2	12	12
done	12	12
0	8	12
1	10	12
done	10	12
0	5	5
1	9	5
2	10	5
done	10	5
0	7	11
1	9	11
done	9	11
0	7	9
1	21	9
2	42	9
3	64	9
4	107	9
5	173	9
6	266	9
7	445	9
8	1438	9
9	4383	9
done	5000	9
0	9	15
1	22	15
2	47	15
3	86	15
4	166	15
5	291	15
6	520	15
7	870	15
8	2670	15
done	5000	15
0	7	11
1	10	11
2	11	11
done	11	11
0	10	16
1	23	16
2	48	16
3	87	16
4	168	16
5	293	16
6	522	16
7	872	16
8	2677	16
done	5000	16
0	10	16
1	23	16
2	48	16
3	87	16
4	168	16
5	293	16
6	522	16
7	872	16
8	2677	16
done	5000	16
0	9	15
1	22	15
2	47	15
3	86	15
4	166	15
5	291	15
6	520	15
7	870	15
8	2670	15
done	5000	15
0	12	23
1	36	23
2	102	23
3	396	23
4	1539	23
done	5000	23
0	12	23
1	34	23
2	81	23
3	270	23
4	1287	23
done	5000	23
0	12	23
1	39	23
2	114	23
3	423	23
4	1434	23
5	4888	23
done	5000	23
0	8	23
1	16	23
2	40	23
3	144	23
4	525	23
5	1543	23
done	5000	23
0	12	19
1	36	19
2	91	19
3	230	19
4	499	19
5	1326	19
6	4700	19
done	5000	19
0	9	19
1	19	19
2	49	19
3	146	19
4	371	19
5	940	19
6	3929	19
done	5000	19
0	12	19
1	36	19
2	79	19
3	249	19
4	720	19
5	2407	19
done	5000	19
0	9	19
1	24	19
2	62	19
3	159	19
4	347	19
5	937	19
6	4170	19
done	5000	19
0	13	31
1	54	27
2	183	25
3	853	23
4	4321	23
done	5000	23
0	9	15
1	26	15
2	80	15
3	319	15
4	1328	15
5	4699	15
done	5000	15
0	5	7
1	15	7
2	34	7
3	56	7
4	101	7
5	167	7
6	261	7
7	440	7
8	1436	7
9	4384	7
done	5000	7
0	7	9
1	11	9
2	12	9
done	12	9
0	6	8
1	19	8
2	39	8
3	61	8
4	105	8
5	171	8
6	265	8
7	444	8
8	1439	8
9	4384	8
done	5000	8
0	6	8
1	18	8
2	51	8
3	100	8
4	223	8
5	538	8
6	1939	8
done	5001	8
0	9	23
1	31	23
2	125	11
3	506	11
4	2366	9
done	5000	9
0	7	17
1	17	17
2	36	17
3	58	17
4	102	17
5	169	17
6	263	17
7	442	17
8	1435	17
9	4403	17
done	5000	17
0	6	8
1	16	8
2	35	8
3	57	8
4	102	8
5	168	8
6	262	8
7	441	8
8	1430	8
9	4414	8
done	5000	8
0	7	23
1	27	23
2	131	9
3	616	9
4	2982	9
done	5000	9
0	6	8
1	16	8
2	35	8
3	57	8
4	102	8
5	168	8
6	262	8
7	441	8
8	1430	8
9	4414	8
done	5000	8
0	6	8
1	16	8
2	35	8
3	57	8
4	102	8
5	168	8
6	262	8
7	441	8
8	1430	8
9	4414	8
done	5000	8
0	8	15
1	31	15
2	95	15
3	379	15
4	1512	15
done	5000	15
0	10	23
1	30	19
2	108	19
3	454	19
4	1548	19
done	5000	19
0	10	15
1	29	15
2	72	15
3	249	15
4	1241	15
done	5001	15
0	9	15
1	19	13
2	48	13
3	151	13
4	354	13
5	960	13
6	2290	13
7	4865	9
done	5000	9
0	10	15
1	34	15
2	105	15
3	413	15
4	1430	15
5	4883	15
done	5000	15
0	9	15
1	25	13
2	79	13
3	204	13
4	507	13
5	1339	13
6	2791	11
done	5000	11
0	6	15
1	11	15
2	31	15
3	126	15
4	505	15
5	1516	15
done	5000	15
0	5	7
1	9	7
2	24	7
3	52	7
4	93	7
5	146	7
6	211	7
7	323	7
8	942	7
9	3249	7
done	5000	7
0	7	9
1	11	9
2	12	9
done	12	9
0	7	9
1	11	9
2	12	9
done	12	9
0	4	5
1	7	5
2	13	5
3	18	5
4	22	5
done	22	5
0	4	5
1	7	5
2	14	5
3	17	5
4	18	5
done	18	5
0	4	5
1	7	5
2	13	5
3	18	5
4	22	5
done	22	5
0	4	5
1	7	5
2	14	5
3	17	5
4	18	5
done	18	5
0	7	13
1	13	13
2	22	13
3	39	13
4	53	13
5	63	13
done	63	13
0	6	8
1	10	8
2	17	8
3	22	8
4	26	8
done	26	8
0	5	5
1	10	3
2	20	3
3	31	3
4	40	3
5	44	3
done	44	3
0	5	5
1	10	3
2	20	3
3	31	3
4	40	3
5	44	3
done	44	3
0	6	8
1	16	8
2	18	8
done	18	8
0	6	8
1	16	8
2	18	8
done	18	8
0	5	7
1	15	7
2	34	7
3	56	7
4	101	7
5	167	7
6	261	7
7	440	7
8	1436	7
9	4384	7
done	5000	7
0	7	9
1	17	9
2	37	9
3	64	9
4	110	9
5	157	9
6	227	9
7	408	9
8	644	9
9	711	9
10	715	9
done	715	9
0	5	7
1	15	7
2	34	7
3	56	7
4	101	7
5	167	7
6	261	7
7	440	7
8	1436	7
9	4384	7
done	5000	7
0	8	11
1	31	11
2	84	11
3	221	11
4	495	11
5	1314	11
6	4649	11
done	5000	11
0	7	11
1	14	11
2	40	11
3	132	11
4	356	11
5	923	11
6	3936	11
done	5000	11
0	8	11
1	31	11
2	72	11
3	238	11
4	697	11
5	2328	11
done	5001	11
0	7	11
1	19	11
2	54	11
3	145	11
4	330	11
5	921	11
6	4155	11
done	5000	11
0	7	9
1	14	8
2	22	8
3	44	8
4	114	8
5	373	8
6	1628	8
done	5000	8
0	6	8
1	7	8
done	7	8
0	6	8
1	10	8
2	15	8
3	22	8
4	44	8
5	116	8
6	372	8
7	1620	8
done	5000	8
0	7	17
1	8	17
done	8	17
0	6	8
1	7	8
done	7	8
0	7	23
1	21	23
2	73	9
3	228	9
4	609	9
5	1540	9
6	3479	9
done	5001	9
0	6	8
1	7	8
done	7	8
0	6	8
1	7	8
done	7	8
0	8	11
1	26	11
2	63	7
3	116	7
4	258	7
5	701	7
6	2300	7
done	5000	7
0	9	23
1	31	19
2	85	17
3	178	15
4	309	15
5	726	15
6	1973	15
done	5001	15
0	7	15
1	20	15
2	41	11
3	87	7
4	212	7
5	581	7
6	1497	7
done	5000	7
0	5	7
1	10	7
2	17	7
3	32	7
4	57	7
5	98	7
6	156	7
7	324	7
8	1576	7
done	5000	7
0	12	14
1	31	12
2	83	12
3	165	12
4	303	12
5	509	12
6	820	12
7	1674	12
done	5000	12
0	13	17
1	31	17
2	77	13
3	216	13
4	754	13
5	2452	13
done	5000	13
0	13	17
1	31	17
2	77	13
3	216	13
4	754	13
5	2452	13
done	5000	13
0	5	5
1	12	5
2	21	5
3	26	5
4	32	5
5	42	5
6	64	5
7	131	5
8	349	5
9	1272	5
done	5000	5
0	5	5
1	12	5
2	21	5
3	26	5
4	32	5
5	42	5
6	64	5
7	131	5
8	349	5
9	1272	5
done	5000	5
0	5	5
1	12	5
2	21	5
3	26	5
4	32	5
5	42	5
6	64	5
7	131	5
8	349	5
9	1272	5
done	5000	5
0	5	5
1	11	5
2	19	5
3	24	5
4	30	5
5	40	5
6	62	5
7	126	5
8	342	5
9	1264	5
done	5000	5
0	5	5
1	11	5
2	19	5
3	24	5
4	30	5
5	40	5
6	62	5
7	126	5
8	342	5
9	1264	5
done	5000	5
0	5	5
1	11	5
2	19	5
3	24	5
4	30	5
5	40	5
6	62	5
7	126	5
8	342	5
9	1264	5
done	5000	5

prune130.0ms

Filtered

68 candidates to 82 candidates (-20.6%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	82	0	82
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	82	3	85

Merged error: 0b

Counts

85 → 3

regimes62.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	10	14
1	12	14
done	12	14

end0.0ms

sample427.0ms

Algorithm

intervals

Results

271.0ms

8000×

body

valid

Details

sample15.0ms

simplify4.0ms

prune2.0ms

localize7.0ms

rewrite47.0ms

series13.0ms

simplify1.5min

prune146.0ms

localize10.0ms

rewrite102.0ms

series32.0ms

simplify4.6min

prune195.0ms

localize11.0ms

rewrite161.0ms

series81.0ms

simplify3.8min

prune375.0ms

localize9.0ms

rewrite33.0ms

series22.0ms

simplify4.7min

prune130.0ms

regimes62.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample427.0ms

Profiling