Details

sample18.0ms

Algorithm

intervals

Results

10.0ms

349×

body

valid

simplify193.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	8	9
1	19	9
2	35	9
3	65	9
4	89	9
5	103	9
6	145	9
7	235	9
8	265	9
done	265	9

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

Counts

2 → 1

localize6.0ms

Local error

Found 3 expressions with local error:

0.0b	(- 1.0 (* x (+ 0.253 (* x 0.12))))
0.0b	(+ 0.253 (* x 0.12))
0.1b	(* x (+ 0.253 (* x 0.12)))

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 47

Calls

3 calls:

3.0ms	(- 1.0 (* x (+ 0.253 (* x 0.12))))
3.0ms	(+ 0.253 (* x 0.12))
6.0ms	(* x (+ 0.253 (* x 0.12)))

series14.0ms

Counts

3 → 9

Calls

3 calls:

3.0ms	(- 1.0 (* x (+ 0.253 (* x 0.12))))
4.0ms	(+ 0.253 (* x 0.12))
7.0ms	(* x (+ 0.253 (* x 0.12)))

simplify1.3min

Counts

56 → 56

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	6	7
1	15	7
2	19	7
done	19	7
0	8	9
1	11	9
done	11	9
0	7	8
1	19	8
2	24	8
done	24	8
0	7	8
1	18	8
2	31	8
3	52	8
4	94	8
5	251	8
6	731	8
7	2588	8
done	5000	8
0	10	23
1	31	23
2	126	11
3	494	11
4	1805	9
done	5000	9
0	8	17
1	17	17
2	21	17
done	21	17
0	7	8
1	16	8
2	20	8
done	20	8
0	8	23
1	27	23
2	101	9
3	387	9
4	1059	9
5	2993	9
done	5000	9
0	7	8
1	16	8
2	20	8
done	20	8
0	7	8
1	16	8
2	20	8
done	20	8
0	8	9
1	11	9
done	11	9
0	8	9
1	11	9
done	11	9
0	3	3
1	4	3
done	4	3
0	4	5
1	8	5
2	9	5
done	9	5
0	3	3
1	4	3
done	4	3
0	4	5
1	6	5
2	9	5
done	9	5
0	8	15
1	13	15
2	15	15
done	15	15
0	7	8
1	10	8
done	10	8
0	3	3
1	6	1
done	6	1
0	7	8
1	16	8
2	25	8
3	27	8
done	27	8
0	7	8
1	16	8
2	25	8
3	27	8
done	27	8
0	6	7
1	15	7
2	19	7
done	19	7
0	9	11
1	34	11
2	97	11
3	243	11
4	493	11
5	1443	11
done	5000	11
0	8	13
1	22	13
2	62	13
3	161	13
4	322	13
5	515	13
6	766	13
7	1305	13
8	4467	13
done	5000	13
0	7	7
1	13	6
2	20	6
3	32	6
4	67	6
5	154	6
6	404	6
7	1258	6
8	4695	6
done	5001	6
0	6	6
1	8	6
done	8	6
0	6	6
1	11	6
2	16	6
3	23	6
4	41	6
5	95	6
6	222	6
7	598	6
8	1958	6
done	5000	6
0	7	13
1	9	13
done	9	13
0	6	6
1	8	6
done	8	6
0	7	17
1	22	17
2	70	7
3	219	7
4	609	7
5	1529	7
6	3287	7
done	5000	7
0	6	6
1	8	6
done	8	6
0	6	6
1	8	6
done	8	6
0	8	9
1	26	9
2	64	9
3	149	9
4	272	9
5	705	9
6	2684	9
done	5001	9
0	9	17
1	27	13
2	69	13
3	121	13
4	155	13
5	176	13
6	197	13
7	250	13
8	397	13
9	660	13
10	711	13
done	711	13
0	7	11
1	20	11
2	50	11
3	109	11
4	159	11
5	260	11
6	370	11
7	612	11
8	2075	11
done	5000	11
0	5	5
1	8	5
2	15	5
done	15	5
0	10	11
1	23	10
2	40	10
3	84	10
4	183	10
5	485	10
6	1542	10
done	5000	10
0	9	10
1	20	10
2	36	10
3	66	10
4	90	10
5	104	10
6	146	10
7	236	10
8	266	10
done	266	10
0	9	10
1	23	10
2	48	10
3	114	10
4	227	10
5	568	10
6	2657	10
done	5000	10
0	10	21
1	21	21
2	37	21
3	67	21
4	91	21
5	105	21
6	147	21
7	237	21
8	267	21
done	267	21
0	9	10
1	20	10
2	36	10
3	66	10
4	90	10
5	104	10
6	146	10
7	236	10
8	266	10
done	266	10
0	10	29
1	22	29
2	52	11
3	169	11
4	805	11
done	5000	11
0	9	10
1	20	10
2	36	10
3	66	10
4	90	10
5	104	10
6	146	10
7	236	10
8	266	10
done	266	10
0	9	10
1	20	10
2	36	10
3	66	10
4	90	10
5	104	10
6	146	10
7	236	10
8	266	10
done	266	10
0	11	13
1	38	13
2	108	13
3	496	13
4	2038	13
done	5000	13
0	12	29
1	37	21
2	117	21
3	342	21
4	852	21
5	2267	21
6	4126	21
7	4795	21
done	5001	21
0	7	8
1	20	8
2	41	8
3	69	8
4	70	8
done	70	8
0	10	19
1	31	19
2	96	19
3	328	19
4	1006	19
5	2641	19
done	5000	19
0	8	9
1	18	9
2	26	9
3	30	9
done	30	9
0	5	5
1	8	5
2	15	5
done	15	5
0	5	5
1	8	5
2	15	5
done	15	5
0	7	8
1	20	8
2	41	8
3	69	8
4	70	8
done	70	8
0	8	9
1	16	9
2	32	9
3	37	9
4	47	7
5	59	7
6	81	7
7	142	7
8	353	7
9	1281	7
done	5000	7
0	8	9
1	16	9
2	32	9
3	37	9
4	47	7
5	59	7
6	81	7
7	142	7
8	353	7
9	1281	7
done	5000	7
0	8	9
1	16	9
2	32	9
3	37	9
4	47	7
5	59	7
6	81	7
7	142	7
8	353	7
9	1281	7
done	5000	7
0	5	5
1	7	5
done	7	5
0	5	5
1	7	5
done	7	5
0	5	5
1	7	5
done	7	5
0	10	11
1	22	11
2	47	11
3	81	11
4	127	9
5	185	9
6	292	9
7	392	9
8	612	9
9	1549	9
done	5000	9
0	10	11
1	22	11
2	47	11
3	81	11
4	127	9
5	185	9
6	292	9
7	392	9
8	612	9
9	1549	9
done	5000	9
0	10	11
1	22	11
2	47	11
3	81	11
4	127	9
5	185	9
6	292	9
7	392	9
8	612	9
9	1549	9
done	5000	9

prune103.0ms

Filtered

42 candidates to 56 candidates (-33.3%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	48	8	56
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	49	8	57

Merged error: 0.0b

Counts

57 → 8

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b	(- 1.0 (* x 0.253))
0.0b	(- (- 1.0 (* x 0.253)) (* x (* x 0.12)))
0.2b	(* x (* x 0.12))

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

10×	`add-log-exp`
8×	`pow1` `add-exp-log` `add-cbrt-cube`
4×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `diff-log`
3×	`sub-neg` `associate-l` `pow-prod-down` `prod-exp` `cbrt-unprod`
2×	`flip3--` `associate--l+` `flip--`
1×	`associate--l-` `associate-r` `*-commutative`

Counts

3 → 46

Calls

3 calls:

3.0ms	(- 1.0 (* x 0.253))
6.0ms	(- (- 1.0 (* x 0.253)) (* x (* x 0.12)))
6.0ms	(* x (* x 0.12))

series11.0ms

Counts

3 → 9

Calls

3 calls:

4.0ms	(- 1.0 (* x 0.253))
4.0ms	(- (- 1.0 (* x 0.253)) (* x (* x 0.12)))
3.0ms	(* x (* x 0.12))

simplify1.2min

Counts

55 → 55

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	4	5
1	8	5
2	9	5
done	9	5
0	4	5
1	8	5
2	9	5
done	9	5
0	6	8
1	10	8
2	13	7
3	14	7
done	14	7
0	6	7
1	10	7
2	13	7
3	16	7
4	17	7
done	17	7
0	5	6
1	12	6
2	19	6
3	23	6
4	25	6
5	26	6
done	26	6
0	5	6
1	11	6
2	20	6
3	40	6
4	87	6
5	200	6
6	502	6
7	1551	6
done	5000	6
0	8	17
1	20	17
2	79	11
3	227	7
4	432	7
5	1192	7
6	4137	7
done	5000	7
0	8	17
1	24	17
2	90	9
3	260	9
4	442	7
5	1078	7
6	3229	7
done	5000	7
0	6	13
1	10	13
2	11	13
done	11	13
0	5	6
1	9	6
2	10	6
done	10	6
0	6	17
1	19	17
2	71	7
3	198	7
4	348	7
5	513	7
6	1331	7
7	4430	7
done	5000	7
0	5	6
1	9	6
2	10	6
done	10	6
0	5	6
1	9	6
2	10	6
done	10	6
0	2	3
done	2	3
0	5	6
1	9	6
2	15	6
done	15	6
0	5	6
1	9	6
2	15	6
done	15	6
0	4	5
1	8	5
2	9	5
done	9	5
0	12	14
1	24	13
2	47	12
3	113	10
4	357	10
5	1360	10
done	5000	10
0	11	13
1	25	12
2	54	12
3	133	10
4	376	10
5	1489	10
done	5000	10
0	10	12
1	21	12
2	50	10
3	90	10
4	125	10
5	183	10
6	198	10
7	232	10
8	262	10
9	263	10
done	263	10
0	10	12
1	24	12
2	68	10
3	159	10
4	351	10
5	1411	10
done	5000	10
0	11	25
1	22	25
2	51	21
3	91	21
4	126	21
5	184	21
6	199	21
7	233	21
8	263	21
9	264	21
done	264	21
0	10	12
1	21	12
2	50	10
3	90	10
4	125	10
5	183	10
6	198	10
7	232	10
8	262	10
9	263	10
done	263	10
0	11	35
1	23	35
2	66	11
3	249	11
4	1381	11
done	5000	11
0	10	12
1	21	12
2	50	10
3	90	10
4	125	10
5	183	10
6	198	10
7	232	10
8	262	10
9	263	10
done	263	10
0	10	12
1	21	12
2	50	10
3	90	10
4	125	10
5	183	10
6	198	10
7	232	10
8	262	10
9	263	10
done	263	10
0	12	15
1	37	15
2	127	15
3	519	15
4	2001	15
done	5000	15
0	13	35
1	35	29
2	120	29
3	333	29
4	791	25
5	1765	23
6	4928	23
done	5000	23
0	5	6
1	13	6
2	27	6
3	31	6
done	31	6
0	11	23
1	29	23
2	99	23
3	321	19
4	864	19
5	2623	19
done	5001	19
0	9	11
1	19	11
2	38	9
3	65	9
4	110	9
5	163	9
6	172	9
7	192	9
8	228	9
9	255	9
done	255	9
0	8	10
1	19	10
2	36	8
3	60	8
4	66	8
done	66	8
0	8	10
1	19	10
2	36	8
3	60	8
4	66	8
done	66	8
0	7	9
1	15	7
2	18	7
done	18	7
0	5	6
1	13	6
2	27	6
3	31	6
done	31	6
0	7	7
1	12	6
2	20	6
3	39	6
4	77	6
5	177	6
6	500	6
7	1796	6
done	5000	6
0	6	6
1	9	6
2	16	6
done	16	6
0	6	6
1	12	6
2	25	6
3	41	6
4	77	6
5	181	6
6	555	6
7	2144	6
done	5001	6
0	7	13
1	10	13
2	17	13
done	17	13
0	6	6
1	9	6
2	16	6
done	16	6
0	7	17
1	11	17
2	32	7
3	107	7
4	402	7
5	1367	7
6	4003	7
done	5001	7
0	6	6
1	9	6
2	16	6
done	16	6
0	6	6
1	9	6
2	16	6
done	16	6
0	8	9
1	27	9
2	82	9
3	272	9
4	740	9
5	1888	9
done	5000	9
0	9	17
1	26	13
2	59	13
3	72	13
4	73	13
done	73	13
0	4	4
1	9	4
2	11	4
done	11	4
0	7	11
1	20	11
2	50	11
3	109	11
4	159	11
5	260	11
6	370	11
7	612	11
8	2075	11
done	5000	11
0	5	5
1	7	5
done	7	5
0	4	4
1	9	4
2	11	4
done	11	4
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5
0	10	11
1	22	11
2	47	11
3	81	11
4	127	9
5	185	9
6	292	9
7	392	9
8	612	9
9	1549	9
done	5000	9
0	10	11
1	22	11
2	47	11
3	81	11
4	127	9
5	185	9
6	292	9
7	392	9
8	612	9
9	1549	9
done	5000	9
0	10	11
1	22	11
2	47	11
3	81	11
4	127	9
5	185	9
6	292	9
7	392	9
8	612	9
9	1549	9
done	5000	9
0	5	5
1	8	5
2	15	5
done	15	5
0	5	5
1	8	5
2	15	5
done	15	5
0	5	5
1	8	5
2	15	5
done	15	5

prune79.0ms

Filtered

41 candidates to 55 candidates (-34.1%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	54	1	55
Fresh	5	2	7
Picked	0	1	1
Done	0	0	0
Total	59	4	63

Merged error: 0.0b

Counts

63 → 4

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b	(- 1.0 (* x 0.253))
0.0b	(- (- 1.0 (* x 0.253)) (* (* x x) 0.12))
0.1b	(* (* x x) 0.12)

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

10×	`add-log-exp`
8×	`pow1` `add-exp-log` `add-cbrt-cube`
5×	`add-sqr-sqrt`
4×	`add-cube-cbrt` `*-un-lft-identity` `diff-log`
3×	`sub-neg` `associate-r` `pow-prod-down` `prod-exp` `cbrt-unprod`
2×	`flip3--` `associate--l+` `flip--`
1×	`associate--l-` `associate-l` `*-commutative` `unswap-sqr`

Counts

3 → 47

Calls

3 calls:

3.0ms	(- 1.0 (* x 0.253))
6.0ms	(- (- 1.0 (* x 0.253)) (* (* x x) 0.12))
7.0ms	(* (* x x) 0.12)

series11.0ms

Counts

3 → 9

Calls

3 calls:

4.0ms	(- 1.0 (* x 0.253))
3.0ms	(- (- 1.0 (* x 0.253)) (* (* x x) 0.12))
4.0ms	(* (* x x) 0.12)

simplify1.2min

Counts

56 → 56

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	4	5
1	7	5
2	9	5
done	9	5
0	4	5
1	7	5
2	9	5
done	9	5
0	6	8
1	11	7
2	14	7
done	14	7
0	6	7
1	9	7
2	15	7
3	16	7
done	16	7
0	5	6
1	11	6
2	18	6
3	25	6
4	26	6
done	26	6
0	5	6
1	10	6
2	21	6
3	37	6
4	79	6
5	184	6
6	449	6
7	1203	6
8	4669	6
done	5000	6
0	8	17
1	21	17
2	72	11
3	213	7
4	436	7
5	1198	7
6	4072	7
done	5000	7
0	8	17
1	22	17
2	74	9
3	211	7
4	446	7
5	1262	7
6	4293	7
done	5000	7
0	6	13
1	9	13
2	11	13
done	11	13
0	5	6
1	8	6
2	10	6
done	10	6
0	6	17
1	19	17
2	70	7
3	230	7
4	358	7
5	524	7
6	1407	7
7	4747	7
done	5000	7
0	5	6
1	8	6
2	10	6
done	10	6
0	5	6
1	8	6
2	10	6
done	10	6
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	6	9
1	13	9
2	24	9
done	24	9
0	5	6
1	8	6
2	10	6
done	10	6
0	4	5
1	9	3
2	17	3
done	17	3
0	3	3
1	4	3
done	4	3
0	12	14
1	24	13
2	48	12
3	110	10
4	349	10
5	1311	10
done	5001	10
0	11	13
1	24	12
2	55	12
3	130	10
4	368	10
5	1480	10
done	5000	10
0	10	12
1	20	12
2	50	10
3	89	10
4	126	10
5	184	10
6	200	10
7	240	10
8	267	10
done	267	10
0	10	12
1	23	12
2	68	10
3	156	10
4	344	10
5	1403	10
done	5001	10
0	11	25
1	21	25
2	51	21
3	90	21
4	125	21
5	183	21
6	198	21
7	232	21
8	262	21
9	263	21
done	263	21
0	10	12
1	20	12
2	50	10
3	89	10
4	126	10
5	184	10
6	200	10
7	240	10
8	267	10
done	267	10
0	11	35
1	22	35
2	66	11
3	248	11
4	1381	11
done	5000	11
0	10	12
1	20	12
2	50	10
3	89	10
4	126	10
5	184	10
6	200	10
7	240	10
8	267	10
done	267	10
0	10	12
1	20	12
2	50	10
3	89	10
4	126	10
5	184	10
6	200	10
7	240	10
8	267	10
done	267	10
0	12	15
1	36	15
2	126	15
3	529	15
4	1989	15
done	5001	15
0	13	35
1	35	29
2	113	29
3	337	27
4	808	23
5	1849	23
done	5000	23
0	5	6
1	12	6
2	24	6
3	33	6
done	33	6
0	11	23
1	29	23
2	96	23
3	318	19
4	919	19
5	2746	19
done	5001	19
0	9	11
1	18	11
2	38	9
3	65	9
4	110	9
5	163	9
6	172	9
7	192	9
8	228	9
9	255	9
done	255	9
0	8	10
1	18	10
2	36	8
3	59	8
4	65	8
done	65	8
0	8	10
1	18	10
2	36	8
3	59	8
4	65	8
done	65	8
0	7	9
1	12	9
2	18	7
3	20	7
done	20	7
0	5	6
1	12	6
2	24	6
3	33	6
done	33	6
0	7	7
1	12	6
2	20	6
3	39	6
4	77	6
5	177	6
6	500	6
7	1796	6
done	5000	6
0	6	6
1	9	6
2	16	6
done	16	6
0	6	6
1	12	6
2	25	6
3	41	6
4	77	6
5	181	6
6	555	6
7	2144	6
done	5001	6
0	7	13
1	10	13
2	17	13
done	17	13
0	6	6
1	9	6
2	16	6
done	16	6
0	7	17
1	11	17
2	32	7
3	107	7
4	402	7
5	1367	7
6	4003	7
done	5001	7
0	6	6
1	9	6
2	16	6
done	16	6
0	6	6
1	9	6
2	16	6
done	16	6
0	8	9
1	27	9
2	82	9
3	272	9
4	740	9
5	1888	9
done	5000	9
0	9	17
1	26	13
2	59	13
3	72	13
4	73	13
done	73	13
0	4	4
1	9	4
2	11	4
done	11	4
0	7	11
1	20	11
2	50	11
3	109	11
4	159	11
5	260	11
6	370	11
7	612	11
8	2075	11
done	5000	11
0	5	5
1	7	5
done	7	5
0	4	4
1	9	4
2	11	4
done	11	4
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5
0	10	11
1	22	11
2	47	11
3	81	11
4	127	9
5	185	9
6	292	9
7	392	9
8	612	9
9	1549	9
done	5000	9
0	10	11
1	22	11
2	47	11
3	81	11
4	127	9
5	185	9
6	292	9
7	392	9
8	612	9
9	1549	9
done	5000	9
0	10	11
1	22	11
2	47	11
3	81	11
4	127	9
5	185	9
6	292	9
7	392	9
8	612	9
9	1549	9
done	5000	9
0	5	5
1	8	5
2	15	5
done	15	5
0	5	5
1	8	5
2	15	5
done	15	5
0	5	5
1	8	5
2	15	5
done	15	5

prune77.0ms

Filtered

39 candidates to 56 candidates (-43.6%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	55	1	56
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	55	5	60

Merged error: 0.0b

Counts

60 → 5

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(- 1.0 (* x 0.253))
0.0b	(- (- 1.0 (* x 0.253)) (* (* (* x x) (sqrt 0.12)) (sqrt 0.12)))
0.2b	(* (* (* x x) (sqrt 0.12)) (sqrt 0.12))
0.2b	(* (* x x) (sqrt 0.12))

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

18×	`pow1` `add-exp-log` `add-cbrt-cube`
12×	`associate-r`
11×	`add-log-exp`
10×	`add-sqr-sqrt`
9×	`pow-prod-down` `prod-exp` `cbrt-unprod`
8×	`add-cube-cbrt` `*-un-lft-identity`
7×	`sqrt-prod`
4×	`diff-log`
3×	`sub-neg`
2×	`flip3--` `associate-l` `associate--l+` `*-commutative` `flip--` `unswap-sqr`
1×	`associate--l-`

Counts

4 → 75

Calls

4 calls:

7.0ms	(- 1.0 (* x 0.253))
7.0ms	(- (- 1.0 (* x 0.253)) (* (* (* x x) (sqrt 0.12)) (sqrt 0.12)))
12.0ms	(* (* (* x x) (sqrt 0.12)) (sqrt 0.12))
8.0ms	(* (* x x) (sqrt 0.12))

series23.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(- 1.0 (* x 0.253))
6.0ms	(- (- 1.0 (* x 0.253)) (* (* (* x x) (sqrt 0.12)) (sqrt 0.12)))
8.0ms	(* (* (* x x) (sqrt 0.12)) (sqrt 0.12))
5.0ms	(* (* x x) (sqrt 0.12))

simplify2.1min

Counts

87 → 87

Iterations

Useful iterations: done (1.0ms)

Iter	Nodes	Cost
0	5	6
1	8	6
2	10	6
done	10	6
0	5	6
1	8	6
2	10	6
done	10	6
0	7	9
1	12	8
2	15	8
done	15	8
0	7	8
1	10	8
2	16	8
3	17	8
done	17	8
0	6	7
1	12	7
2	19	7
3	26	7
4	27	7
done	27	7
0	6	7
1	11	7
2	22	7
3	38	7
4	80	7
5	185	7
6	447	7
7	1197	7
done	5000	7
0	9	20
1	22	16
2	70	12
3	196	8
4	357	8
5	796	8
6	2198	8
done	5000	8
0	9	20
1	23	16
2	70	10
3	199	8
4	375	8
5	850	8
6	2347	8
done	5000	8
0	7	15
1	10	15
2	12	15
done	12	15
0	6	7
1	9	7
2	11	7
done	11	7
0	7	20
1	20	20
2	71	8
3	235	8
4	360	8
5	522	8
6	1412	8
7	4802	8
done	5000	8
0	6	7
1	9	7
2	11	7
done	11	7
0	6	7
1	9	7
2	11	7
done	11	7
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	7	11
1	14	11
2	25	11
done	25	11
0	7	10
1	11	7
2	13	7
done	13	7
0	6	7
1	9	7
2	11	7
done	11	7
0	5	6
1	10	5
2	12	5
done	12	3
0	6	7
1	9	7
2	11	7
done	11	7
0	4	5
1	9	3
2	17	3
done	17	3
0	4	4
1	5	4
done	5	4
0	6	9
1	12	9
2	20	5
3	24	5
done	24	5
0	6	9
1	12	9
2	20	5
3	24	5
done	24	5
0	6	9
1	12	9
2	20	5
3	24	5
done	24	5
0	8	13
1	16	12
2	26	10
3	32	8
4	33	8
done	33	8
0	8	12
1	14	12
2	24	10
3	34	8
4	35	8
done	35	8
0	8	11
1	14	11
2	23	11
3	37	10
4	44	7
5	45	7
done	45	7
0	7	10
1	16	10
2	33	6
3	50	6
4	64	6
5	67	6
done	67	6
0	7	10
1	15	10
2	35	6
3	65	6
4	133	6
5	311	6
6	751	6
7	2014	6
done	5000	6
0	10	29
1	28	21
2	109	13
3	447	7
4	1159	7
5	2626	7
done	5000	7
0	10	29
1	29	21
2	112	11
3	443	7
4	1162	7
5	2858	7
done	5000	7
0	10	29
1	28	21
2	113	13
3	509	13
4	1296	7
5	1837	6
done	5000	6
0	8	21
1	14	21
2	22	13
3	26	13
done	26	13
0	7	10
1	13	10
2	21	6
3	25	6
done	25	6
0	8	29
1	23	29
2	95	7
3	406	7
4	1024	6
5	1772	6
done	5001	6
0	7	10
1	13	10
2	21	6
3	26	5
done	26	5
0	7	10
1	13	10
2	21	6
3	26	5
done	26	5
0	8	14
1	16	14
2	39	14
3	74	14
4	83	14
done	83	14
0	9	13
1	16	10
2	30	10
3	40	10
done	40	10
0	7	10
1	13	10
2	27	10
3	37	10
done	37	10
0	8	9
1	16	8
2	30	8
3	40	6
4	49	6
done	49	6
0	7	10
1	13	10
2	27	10
3	37	10
done	37	10
0	7	8
1	15	6
2	35	6
3	51	6
done	51	6
0	3	5
done	3	1
0	14	18
1	29	17
2	62	12
3	139	10
4	410	10
5	1591	10
done	5001	10
0	13	17
1	29	16
2	69	12
3	166	10
4	469	10
5	1794	10
done	5000	10
0	12	16
1	25	16
2	60	12
3	120	10
4	219	10
5	353	10
6	368	10
7	402	10
8	432	10
9	433	10
done	433	10
0	12	16
1	28	16
2	78	12
3	195	10
4	467	10
5	1797	10
done	5001	10
0	13	33
1	26	33
2	61	25
3	121	21
4	222	21
5	356	21
6	371	21
7	405	21
8	435	21
9	436	21
done	436	21
0	12	16
1	25	16
2	60	12
3	120	10
4	219	10
5	353	10
6	368	10
7	402	10
8	432	10
9	433	10
done	433	10
0	13	47
1	27	47
2	76	13
3	279	11
4	1877	11
done	5001	11
0	12	16
1	25	16
2	60	12
3	120	10
4	219	10
5	353	10
6	368	10
7	402	10
8	432	10
9	433	10
done	433	10
0	12	16
1	25	16
2	60	12
3	120	10
4	219	10
5	353	10
6	368	10
7	402	10
8	432	10
9	433	10
done	433	10
0	14	19
1	41	19
2	141	15
3	670	15
4	3335	14
done	5000	14
0	15	47
1	39	37
2	141	29
3	502	29
4	1358	25
5	2688	22
done	5000	22
0	7	10
1	17	10
2	44	6
3	78	6
4	82	6
done	82	6
0	13	31
1	33	31
2	121	23
3	459	19
4	1536	19
5	3945	18
done	5000	18
0	11	15
1	23	15
2	47	11
3	82	9
4	169	9
5	300	9
6	327	9
7	347	9
8	383	9
9	410	9
done	410	9
0	10	14
1	23	14
2	46	10
3	90	8
4	151	8
5	155	8
done	155	8
0	10	14
1	23	14
2	46	10
3	90	8
4	151	8
5	155	8
done	155	8
0	9	13
1	17	13
2	25	9
3	33	7
4	35	7
done	35	7
0	7	10
1	17	10
2	44	6
3	78	6
4	82	6
done	82	6
0	7	7
1	12	6
2	20	6
3	39	6
4	77	6
5	177	6
6	500	6
7	1796	6
done	5000	6
0	6	6
1	9	6
2	16	6
done	16	6
0	6	6
1	12	6
2	25	6
3	41	6
4	77	6
5	181	6
6	555	6
7	2144	6
done	5001	6
0	7	13
1	10	13
2	17	13
done	17	13
0	6	6
1	9	6
2	16	6
done	16	6
0	7	17
1	11	17
2	32	7
3	107	7
4	402	7
5	1367	7
6	4003	7
done	5001	7
0	6	6
1	9	6
2	16	6
done	16	6
0	6	6
1	9	6
2	16	6
done	16	6
0	8	9
1	27	9
2	82	9
3	272	9
4	740	9
5	1888	9
done	5000	9
0	9	17
1	26	13
2	59	13
3	72	13
4	73	13
done	73	13
0	4	4
1	9	4
2	11	4
done	11	4
0	7	11
1	20	11
2	50	11
3	109	11
4	159	11
5	260	11
6	370	11
7	612	11
8	2075	11
done	5000	11
0	5	5
1	7	5
done	7	5
0	4	4
1	9	4
2	11	4
done	11	4
0	6	6
1	12	6
2	28	6
3	35	6
4	41	6
5	51	6
6	73	6
7	134	6
8	346	6
9	1277	6
done	5001	6
0	6	6
1	12	6
2	28	6
3	35	6
4	41	6
5	51	6
6	73	6
7	134	6
8	346	6
9	1277	6
done	5001	6
0	6	6
1	12	6
2	28	6
3	35	6
4	41	6
5	51	6
6	73	6
7	134	6
8	346	6
9	1277	6
done	5001	6
0	7	8
1	16	8
2	59	5
3	90	5
4	167	5
5	428	5
6	1345	5
done	5000	5
0	7	8
1	16	8
2	59	5
3	90	5
4	167	5
5	428	5
6	1345	5
done	5000	5
0	7	8
1	16	8
2	59	5
3	90	5
4	167	5
5	428	5
6	1345	5
done	5000	5
0	12	14
1	27	14
2	79	11
3	149	11
4	339	9
5	970	9
6	4261	9
done	5001	9
0	12	14
1	27	14
2	79	11
3	149	11
4	339	9
5	970	9
6	4261	9
done	5001	9
0	12	14
1	27	14
2	79	11
3	149	11
4	339	9
5	970	9
6	4261	9
done	5001	9
0	5	5
1	8	5
2	15	5
done	15	5
0	5	5
1	8	5
2	15	5
done	15	5
0	5	5
1	8	5
2	15	5
done	15	5

prune124.0ms

Filtered

59 candidates to 87 candidates (-47.5%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	87	0	87
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	87	5	92

Merged error: 0.0b

Counts

92 → 5

regimes38.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	11
1	11	11
done	11	11

end0.0ms

sample520.0ms

Algorithm

intervals

Results

321.0ms

10675×

body

valid

Details

sample18.0ms

simplify193.0ms

prune2.0ms

localize6.0ms

rewrite14.0ms

series14.0ms

simplify1.3min

prune103.0ms

localize7.0ms

rewrite19.0ms

series11.0ms

simplify1.2min

prune79.0ms

localize7.0ms

rewrite18.0ms

series11.0ms

simplify1.2min

prune77.0ms

localize10.0ms

rewrite36.0ms

series23.0ms

simplify2.1min

prune124.0ms

regimes38.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample520.0ms

Profiling