Details

sample28.0ms

Algorithm

intervals

Results

15.0ms

514×

body

valid

simplify5.4s

Counts

1 → 1

Iterations

Useful iterations: 4 (12.0ms)

Iter	Nodes	Cost
0	6	7
1	11	7
2	25	7
3	43	7
4	73	6
5	144	6
6	418	6
7	1413	6
8	4699	6
done	5001	6

prune7.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	(- (* x x) 1.0)

rewrite5.0ms

Algorithm

rewrite-expression-head

Rules

3×	`add-log-exp`
2×	`add-sqr-sqrt`
1×	`pow1` `add-exp-log` `add-cube-cbrt` `sub-neg` `flip3--` `*-un-lft-identity` `diff-log` `add-cbrt-cube` `flip--` `difference-of-squares`

Counts

1 → 13

Calls

1 calls:

5.0ms

(- (* x x) 1.0)

series5.0ms

Counts

1 → 3

Calls

1 calls:

5.0ms

(- (* x x) 1.0)

simplify25.5s

Counts

16 → 16

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	6	7
1	10	6
2	16	6
3	26	6
4	55	6
5	138	6
6	417	6
7	1623	6
done	5001	6
0	5	6
1	7	6
2	8	6
done	8	6
0	5	6
1	10	6
2	15	6
3	22	6
4	39	6
5	81	6
6	235	6
7	622	6
8	1926	6
done	5000	6
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	9	17
2	24	7
3	77	7
4	229	7
5	662	7
6	2131	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	7	9
1	24	9
2	64	7
3	123	7
4	290	7
5	944	7
6	4470	7
done	5000	7
0	8	17
1	21	15
2	35	13
3	49	11
4	69	11
5	98	11
6	180	11
7	420	11
8	1399	11
done	5000	11
0	2	2
done	2	2
0	6	11
1	15	11
2	26	9
3	50	7
4	98	7
5	186	7
6	349	7
7	830	7
8	3556	7
done	5001	7
0	4	5
1	5	5
done	5	5
0	4	4
1	5	4
done	5	4
0	4	4
1	6	4
2	7	4
done	7	4
0	2	2
done	2	2
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

prune27.0ms

Filtered

12 candidates to 16 candidates (-33.3%)

Pruning

2 alts after pruning (1 fresh and 1 done)

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

Merged error: 0b

Counts

17 → 2

localize10.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ (- (pow x 4) (* 1.0 1.0)) (+ (* x x) 1.0))
0.0b	(+ (* x x) 1.0)

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

21×	`add-sqr-sqrt`
18×	`times-frac`
13×	`add-cube-cbrt` `*-un-lft-identity`
12×	`difference-of-squares`
6×	`associate-/l*`
4×	`add-exp-log` `unpow-prod-down` `add-cbrt-cube` `add-log-exp` `sqr-pow`
3×	`associate-/r*`
2×	`pow1` `flip3-+` `associate-/r/` `flip-+` `associate-/l/`
1×	`cbrt-undiv` `+-commutative` `flip3--` `frac-2neg` `div-sub` `div-exp` `clear-num` `sum-log` `flip--` `div-inv`

Counts

2 → 55

Calls

2 calls:

17.0ms	(/ (- (pow x 4) (* 1.0 1.0)) (+ (* x x) 1.0))
5.0ms	(+ (* x x) 1.0)

series17.0ms

Counts

2 → 6

Calls

2 calls:

12.0ms	(/ (- (pow x 4) (* 1.0 1.0)) (+ (* x x) 1.0))
5.0ms	(+ (* x x) 1.0)

simplify3.5min

Counts

61 → 61

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	6	7
1	11	6
2	16	6
3	25	6
4	53	6
5	121	6
6	313	6
7	1010	6
8	3782	6
done	5000	6
0	5	6
1	6	6
done	6	6
0	5	6
1	9	6
2	12	6
3	16	6
4	25	6
5	51	6
6	117	6
7	306	6
8	1004	6
9	3787	6
done	5000	6
0	6	13
1	7	13
done	7	13
0	5	6
1	6	6
done	6	6
0	6	17
1	20	17
2	62	7
3	166	7
4	413	7
5	1137	7
6	2577	7
7	4034	7
done	5000	7
0	5	6
1	6	6
done	6	6
0	5	6
1	6	6
done	6	6
0	7	9
1	23	9
2	47	7
3	87	7
4	180	7
5	455	7
6	1467	7
done	5000	7
0	8	17
1	22	15
2	47	13
3	85	11
4	138	11
5	237	11
6	485	11
7	1244	11
8	4856	11
done	5000	11
0	6	11
1	15	11
2	26	9
3	50	7
4	98	7
5	186	7
6	349	7
7	830	7
8	3556	7
done	5001	7
0	4	5
1	6	5
2	7	5
done	7	5
0	11	15
1	20	15
2	34	15
3	58	15
4	91	15
5	143	15
6	224	8
7	348	6
8	723	6
9	2904	6
done	5000	6
0	10	14
1	23	14
2	44	14
3	86	14
4	143	14
5	228	8
6	349	6
7	881	6
8	4001	6
done	5000	6
0	10	14
1	20	14
2	42	14
3	83	14
4	137	14
5	230	8
6	416	6
7	1178	6
done	5001	6
0	13	41
1	41	41
2	140	17
3	489	15
4	2165	9
done	5000	9
0	11	29
1	21	29
2	40	29
3	79	29
4	127	29
5	199	17
6	310	13
7	717	13
8	3020	13
done	5001	13
0	10	14
1	20	14
2	39	14
3	78	14
4	126	14
5	198	8
6	307	6
7	722	6
8	3031	6
done	5001	6
0	11	41
1	28	41
2	75	15
3	283	15
4	1387	9
done	5000	9
0	10	14
1	20	14
2	39	14
3	78	14
4	126	14
5	198	8
6	307	6
7	722	6
8	3031	6
done	5001	6
0	10	14
1	20	14
2	39	14
3	78	14
4	126	14
5	198	8
6	307	6
7	722	6
8	3031	6
done	5001	6
0	7	8
1	13	8
2	30	8
3	66	8
4	123	7
5	227	7
6	405	7
7	753	7
8	1573	7
done	5001	7
0	5	6
1	9	6
2	14	6
3	15	6
done	15	6
0	7	9
1	12	9
2	20	9
3	50	9
4	72	9
5	94	9
6	124	9
7	192	9
8	380	9
9	1064	9
10	3982	9
done	5000	9
0	6	9
1	9	9
2	11	9
3	12	9
done	12	9
0	13	31
1	26	31
2	48	31
3	76	31
4	102	31
5	147	31
6	224	31
7	342	31
8	655	31
9	2440	31
done	5001	31
0	11	15
1	18	15
2	31	15
3	53	15
4	79	15
5	124	15
6	203	15
7	319	15
8	630	15
9	2403	15
done	5000	15
0	12	24
1	21	24
2	36	24
3	59	24
4	85	24
5	130	24
6	209	24
7	327	24
8	638	24
9	2419	24
done	5000	24
0	11	15
1	18	15
2	31	15
3	53	15
4	79	15
5	124	15
6	203	15
7	319	15
8	630	15
9	2403	15
done	5000	15
0	10	19
1	20	17
2	39	17
3	65	17
4	129	17
5	311	17
6	688	17
7	2376	17
done	5001	17
0	10	14
1	17	14
2	30	14
3	52	14
4	78	14
5	123	14
6	202	14
7	318	14
8	634	14
9	2393	14
done	5000	14
0	12	22
1	21	22
2	34	22
3	56	22
4	82	22
5	127	22
6	206	22
7	326	22
8	636	22
9	2389	22
done	5000	22
0	11	15
1	18	15
2	31	15
3	53	15
4	79	15
5	124	15
6	203	15
7	319	15
8	630	15
9	2403	15
done	5000	15
0	11	15
1	18	15
2	31	15
3	53	15
4	79	15
5	124	15
6	203	15
7	319	15
8	630	15
9	2403	15
done	5000	15
0	11	15
1	18	15
2	31	15
3	53	15
4	79	15
5	124	15
6	203	15
7	319	15
8	630	15
9	2403	15
done	5000	15
0	9	10
1	17	8
2	32	8
3	53	8
4	117	8
5	300	8
6	678	8
7	2451	8
done	5001	8
0	10	14
1	17	14
2	30	14
3	52	14
4	78	14
5	123	14
6	202	14
7	318	14
8	634	14
9	2393	14
done	5000	14
0	8	15
1	13	15
done	13	15
0	10	14
1	20	14
2	39	14
3	78	14
4	127	14
5	199	14
6	314	14
7	495	14
8	987	14
9	3262	14
done	5000	14
0	7	8
1	10	8
done	10	8
0	10	14
1	20	14
2	39	14
3	78	14
4	127	14
5	199	14
6	314	14
7	495	14
8	987	14
9	3262	14
done	5000	14
0	2	3
1	4	1
done	4	1
0	9	13
1	19	13
2	38	13
3	77	13
4	125	13
5	197	7
6	306	5
7	721	5
8	3030	5
done	5001	5
0	11	20
1	19	20
2	26	20
3	46	19
4	61	19
5	96	19
6	219	19
7	659	19
8	2535	19
done	5001	19
0	10	13
1	20	13
2	32	13
3	64	12
4	95	12
5	190	12
6	577	12
7	2381	12
done	5000	12
0	10	13
1	16	13
2	23	13
3	43	12
4	58	12
5	93	12
6	218	12
7	667	12
8	2588	12
done	5000	12
0	10	13
1	20	13
2	32	13
3	64	12
4	95	12
5	190	12
6	577	12
7	2381	12
done	5000	12
0	8	8
1	15	6
2	23	6
3	41	5
4	72	5
5	123	5
6	254	5
7	737	5
8	2926	5
done	5000	5
0	9	12
1	19	12
2	31	12
3	63	11
4	94	11
5	189	11
6	569	11
7	2382	11
done	5000	11
0	11	20
1	19	20
2	26	20
3	46	20
4	57	20
5	69	20
6	89	20
7	133	20
8	251	20
9	628	20
10	2271	20
done	5000	20
0	10	13
1	20	13
2	30	13
3	52	13
4	63	13
5	75	13
6	95	13
7	139	13
8	251	13
9	637	13
10	2268	13
done	5000	13
0	10	13
1	16	13
2	23	13
3	43	13
4	54	13
5	66	13
6	86	13
7	130	13
8	242	13
9	617	13
10	2258	13
done	5001	13
0	10	13
1	20	13
2	30	13
3	52	13
4	63	13
5	75	13
6	95	13
7	139	13
8	251	13
9	637	13
10	2268	13
done	5000	13
0	8	8
1	15	6
2	24	6
3	42	6
4	89	6
5	194	6
6	373	6
7	1208	6
done	5000	6
0	9	12
1	19	12
2	29	12
3	51	12
4	62	12
5	74	12
6	94	12
7	138	12
8	258	12
9	649	12
10	2308	12
done	5000	12
0	12	21
1	19	19
2	25	19
3	42	19
4	58	19
5	98	19
6	231	19
7	762	19
8	3873	19
done	5001	19
0	11	14
1	20	12
2	31	12
3	54	12
4	85	12
5	185	12
6	583	12
7	2510	12
done	5000	12
0	11	14
1	17	12
2	25	12
3	30	12
4	36	12
5	46	12
6	70	12
7	129	12
8	337	12
9	1271	12
done	5000	12
0	11	14
1	20	12
2	31	12
3	54	12
4	85	12
5	185	12
6	583	12
7	2510	12
done	5000	12
0	9	9
1	15	5
2	23	5
3	36	5
4	68	5
5	128	5
6	355	5
7	1359	5
done	5000	5
0	10	13
1	20	11
2	33	11
3	42	11
4	49	11
5	59	11
6	81	11
7	142	11
8	363	11
9	1287	11
done	5001	11
0	6	7
1	9	7
done	9	7
0	9	13
1	16	13
2	29	13
3	53	13
4	81	7
5	126	7
6	205	7
7	323	7
8	637	7
9	2347	7
done	5000	7
0	11	21
1	23	21
2	51	21
3	124	21
4	230	21
5	401	21
6	679	21
7	1178	21
8	2144	21
done	5001	21
0	10	14
1	20	14
2	39	14
3	78	14
4	127	14
5	199	14
6	314	14
7	495	14
8	987	14
9	3262	14
done	5000	14
0	8	9
1	19	7
2	40	7
3	81	7
4	214	7
5	617	7
6	1634	7
done	5000	7
0	10	14
1	17	14
2	30	14
3	52	14
4	78	14
5	123	14
6	202	14
7	324	14
8	638	14
9	2395	14
done	5000	14
0	10	14
1	17	14
2	30	14
3	52	14
4	78	14
5	123	14
6	202	14
7	324	14
8	638	14
9	2395	14
done	5000	14
0	9	13
1	16	13
2	29	13
3	53	13
4	81	7
5	126	7
6	205	7
7	323	7
8	637	7
9	2347	7
done	5000	7
0	9	12
1	16	12
2	24	12
3	44	11
4	59	11
5	96	11
6	219	11
7	655	11
8	2588	11
done	5001	11
0	9	12
1	16	12
2	24	12
3	44	12
4	53	12
5	65	12
6	85	12
7	129	12
8	244	12
9	622	12
10	2269	12
done	5001	12
0	10	13
1	17	11
2	26	11
3	31	11
4	37	11
5	47	11
6	69	11
7	125	11
8	329	11
9	1255	11
done	5000	11
0	12	17
1	35	17
2	78	15
3	170	15
4	316	15
5	684	15
6	1945	15
done	5000	15
0	10	19
1	27	19
2	64	15
3	195	15
4	458	1
5	1016	1
done	5001	1
0	13	29
1	41	21
2	128	21
3	431	21
4	1159	21
5	2619	21
6	4886	21
done	5000	21
0	9	13
1	22	13
2	61	13
3	169	13
4	276	13
5	334	13
6	421	13
7	611	13
8	1194	13
9	3481	13
done	5000	13
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
0	6	7
1	14	7
2	31	7
3	36	7
4	42	7
5	52	7
6	74	7
7	133	7
8	350	7
9	1278	7
done	5000	7
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

prune124.0ms

Filtered

53 candidates to 61 candidates (-15.1%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Merged error: 0b

Counts

63 → 2

regimes54.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	6
done	5	6

end0.0ms

sample754.0ms

Algorithm

intervals

Results

446.0ms

15853×

body

valid

Details

sample28.0ms

simplify5.4s

prune7.0ms

localize5.0ms

rewrite5.0ms

series5.0ms

simplify25.5s

prune27.0ms

localize10.0ms

rewrite24.0ms

series17.0ms

simplify3.5min

prune124.0ms

regimes54.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample754.0ms

Profiling