Details

sample48.0ms

Algorithm

intervals

Results

27.0ms

388×

body

valid

simplify4.1s

Counts

1 → 1

Iterations

Useful iterations: 2 (26.0ms)

Iter	Nodes	Cost
0	8	11
1	15	11
2	37	9
3	76	9
4	106	9
5	146	9
6	270	9
7	676	9
8	2162	9
done	5000	9

prune10.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: 0.0b

Counts

2 → 2

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(- 0.954929658551372 (* 0.12900613773279798 (* x x)))
0.1b	(* x (- 0.954929658551372 (* 0.12900613773279798 (* x x))))
0.2b	(* 0.12900613773279798 (* x x))

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 55

Calls

3 calls:

3.0ms	(- 0.954929658551372 (* 0.12900613773279798 (* x x)))
6.0ms	(* x (- 0.954929658551372 (* 0.12900613773279798 (* x x))))
9.0ms	(* 0.12900613773279798 (* x x))

series29.0ms

Counts

3 → 9

Calls

3 calls:

6.0ms	(- 0.954929658551372 (* 0.12900613773279798 (* x x)))
10.0ms	(* x (- 0.954929658551372 (* 0.12900613773279798 (* x x))))
13.0ms	(* 0.12900613773279798 (* x x))

simplify2.2min

Counts

64 → 64

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	20	6
3	38	6
4	80	6
5	182	6
6	446	6
7	1298	6
8	4672	6
done	5000	6
0	8	17
1	21	17
2	73	11
3	200	7
4	416	7
5	1162	7
6	3922	7
done	5000	7
0	8	17
1	22	17
2	69	9
3	196	7
4	441	7
5	1243	7
6	4192	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	224	7
4	365	7
5	531	7
6	1425	7
7	4784	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	3	3
1	4	3
done	4	3
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	5
1	7	5
2	9	5
done	9	5
0	7	9
1	13	9
2	32	9
3	64	9
4	77	9
5	82	9
6	99	9
7	141	9
8	260	9
9	673	9
10	2193	9
done	5001	9
0	9	11
1	15	11
2	28	11
3	40	11
done	40	11
0	8	10
1	17	10
2	37	10
3	69	10
4	84	10
5	89	10
6	106	10
7	146	10
8	273	10
9	689	10
10	2195	10
done	5000	10
0	8	10
1	16	10
2	41	10
3	93	10
4	182	10
5	384	10
6	1068	10
7	3652	10
done	5000	10
0	10	29
1	22	29
2	78	13
3	335	13
4	1735	11
done	5001	11
0	9	21
1	15	21
2	34	21
3	66	21
4	84	21
5	89	21
6	106	21
7	148	21
8	270	21
9	680	21
10	2218	21
done	5000	21
0	8	10
1	14	10
2	33	10
3	65	10
4	77	10
5	82	10
6	99	10
7	141	10
8	261	10
9	661	10
10	2187	10
done	5000	10
0	9	29
1	24	29
2	90	11
3	372	11
4	1542	11
done	5000	11
0	8	10
1	14	10
2	33	10
3	65	10
4	77	10
5	82	10
6	99	10
7	141	10
8	261	10
9	661	10
10	2187	10
done	5000	10
0	8	10
1	14	10
2	33	10
3	65	10
4	77	10
5	82	10
6	99	10
7	141	10
8	261	10
9	661	10
10	2187	10
done	5000	10
0	9	11
1	15	11
2	28	11
3	40	11
done	40	11
0	9	11
1	15	11
2	28	11
3	40	11
done	40	11
0	3	3
1	4	3
done	4	3
0	6	8
1	16	8
2	40	8
3	62	6
4	68	6
5	85	6
6	127	6
7	246	6
8	654	6
9	2144	6
done	5000	6
0	3	3
1	4	3
done	4	3
0	6	8
1	16	8
2	40	8
3	62	6
4	68	6
5	85	6
6	127	6
7	246	6
8	654	6
9	2144	6
done	5000	6
0	3	3
1	4	3
done	4	3
0	6	8
1	16	8
2	40	8
3	62	8
4	64	6
5	69	6
6	86	6
7	126	6
8	248	6
9	658	6
10	2172	6
done	5001	6
0	3	3
1	4	3
done	4	3
0	6	8
1	16	8
2	40	8
3	62	8
4	64	6
5	69	6
6	86	6
7	126	6
8	248	6
9	658	6
10	2172	6
done	5001	6
0	9	19
1	17	19
2	32	19
3	44	19
done	44	19
0	8	10
1	14	10
2	27	10
3	39	10
done	39	10
0	3	3
1	6	1
done	6	1
0	8	10
1	14	10
2	33	10
3	74	10
4	126	10
5	142	10
done	142	10
0	8	10
1	14	10
2	33	10
3	74	10
4	126	10
5	142	10
done	142	10
0	7	9
1	13	9
2	32	9
3	64	9
4	77	9
5	82	9
6	99	9
7	141	9
8	260	9
9	673	9
10	2193	9
done	5001	9
0	10	13
1	32	13
2	109	13
3	498	13
4	1957	13
done	5000	13
0	9	17
1	25	17
2	81	17
3	270	15
4	649	13
5	1069	13
6	1935	13
7	4726	13
done	5000	13
0	8	9
1	15	8
2	27	8
3	62	8
4	139	8
5	315	8
6	872	8
7	3008	8
done	5001	8
0	7	8
1	12	8
2	25	8
3	37	8
done	37	8
0	7	8
1	15	8
2	36	8
3	75	8
4	146	8
5	355	8
6	1034	8
7	3887	8
done	5000	8
0	8	17
1	13	17
2	26	17
3	38	17
done	38	17
0	7	8
1	12	8
2	25	8
3	37	8
done	37	8
0	8	23
1	14	23
2	41	9
3	144	9
4	642	9
5	2691	9
done	5000	9
0	7	8
1	12	8
2	25	8
3	37	8
done	37	8
0	7	8
1	12	8
2	25	8
3	37	8
done	37	8
0	9	11
1	30	11
2	101	11
3	449	11
4	1570	11
5	4320	11
done	5001	11
0	10	23
1	29	17
2	86	17
3	170	17
4	191	17
5	224	17
6	324	17
7	628	17
8	1692	17
done	5000	17
0	5	6
1	12	6
2	24	6
3	33	6
done	33	6
0	8	15
1	23	15
2	69	15
3	212	13
4	463	11
5	716	11
6	1151	11
7	2343	11
done	5000	11
0	6	7
1	10	7
2	12	7
done	12	7
0	5	6
1	12	6
2	24	6
3	33	6
done	33	6
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	8	9
1	20	9
2	45	9
3	103	9
4	237	9
5	582	9
6	1947	9
done	5000	9
0	8	9
1	20	9
2	45	9
3	103	9
4	237	9
5	582	9
6	1947	9
done	5000	9
0	8	9
1	20	9
2	45	9
3	103	9
4	237	9
5	582	9
6	1947	9
done	5000	9
0	7	7
1	15	7
2	38	7
3	57	7
4	69	7
5	79	7
6	101	7
7	166	7
8	382	7
9	1322	7
done	5001	7
0	7	7
1	15	7
2	38	7
3	57	7
4	69	7
5	79	7
6	101	7
7	166	7
8	382	7
9	1322	7
done	5001	7
0	7	7
1	15	7
2	38	7
3	57	7
4	69	7
5	79	7
6	101	7
7	166	7
8	382	7
9	1322	7
done	5001	7

prune99.0ms

Filtered

45 candidates to 64 candidates (-42.2%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	60	4	64
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	61	5	66

Merged error: 0.0b

Counts

66 → 5

localize6.0ms

Local error

Found 3 expressions with local error:

0.0b	(- 0.954929658551372 (* (* 0.12900613773279798 x) x))
0.1b	(* x (- 0.954929658551372 (* (* 0.12900613773279798 x) x)))
0.2b	(* (* 0.12900613773279798 x) x)

rewrite16.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 54

Calls

3 calls:

3.0ms	(- 0.954929658551372 (* (* 0.12900613773279798 x) x))
6.0ms	(* x (- 0.954929658551372 (* (* 0.12900613773279798 x) x)))
6.0ms	(* (* 0.12900613773279798 x) x)

series19.0ms

Counts

3 → 9

Calls

3 calls:

6.0ms	(- 0.954929658551372 (* (* 0.12900613773279798 x) x))
9.0ms	(* x (- 0.954929658551372 (* (* 0.12900613773279798 x) x)))
3.0ms	(* (* 0.12900613773279798 x) x)

simplify2.2min

Counts

63 → 63

Iterations

Useful iterations: 1 (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	22	6
3	40	6
4	84	6
5	194	6
6	475	6
7	1303	6
done	5000	6
0	8	17
1	20	17
2	77	11
3	219	7
4	454	7
5	1201	7
6	4018	7
done	5001	7
0	8	17
1	24	17
2	89	9
3	270	9
4	451	7
5	1025	7
6	3081	7
done	5001	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	72	7
3	211	7
4	361	7
5	532	7
6	1355	7
7	4489	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	6	9
1	12	9
2	25	9
3	37	9
done	37	9
0	5	6
1	9	6
2	15	6
done	15	6
0	5	5
1	11	3
2	23	3
3	27	3
done	27	3
0	2	3
done	2	3
0	7	9
1	14	9
2	32	9
3	62	9
4	76	9
5	78	9
6	83	9
7	100	9
8	142	9
9	265	9
10	670	9
11	2194	9
done	5000	9
0	9	11
1	16	11
2	28	11
3	41	11
done	41	11
0	8	10
1	18	10
2	37	10
3	67	10
4	82	10
5	84	10
6	89	10
7	106	10
8	146	10
9	269	10
10	689	10
11	2236	10
done	5000	10
0	8	10
1	17	10
2	41	10
3	91	10
4	177	10
5	371	10
6	1021	10
7	3511	10
done	5000	10
0	11	29
1	23	29
2	78	13
3	332	13
4	1693	11
done	5001	11
0	9	21
1	16	21
2	34	21
3	64	21
4	79	21
5	81	21
6	86	21
7	103	21
8	145	21
9	266	21
10	670	21
11	2217	21
done	5000	21
0	8	10
1	15	10
2	33	10
3	63	10
4	77	10
5	79	10
6	84	10
7	101	10
8	141	10
9	260	10
10	661	10
11	2181	10
done	5000	10
0	9	29
1	25	29
2	90	11
3	371	11
4	1542	11
done	5000	11
0	8	10
1	15	10
2	33	10
3	63	10
4	77	10
5	79	10
6	84	10
7	101	10
8	141	10
9	260	10
10	661	10
11	2181	10
done	5000	10
0	8	10
1	15	10
2	33	10
3	63	10
4	77	10
5	79	10
6	84	10
7	101	10
8	141	10
9	260	10
10	661	10
11	2181	10
done	5000	10
0	9	11
1	16	11
2	28	11
3	41	11
done	41	11
0	9	11
1	16	11
2	28	11
3	41	11
done	41	11
0	3	3
1	4	3
done	4	3
0	6	8
1	17	8
2	39	8
3	64	8
4	71	6
5	76	6
6	93	6
7	133	6
8	253	6
9	661	6
10	2170	6
done	5000	6
0	3	3
1	4	3
done	4	3
0	6	8
1	17	8
2	39	8
3	64	8
4	71	6
5	76	6
6	93	6
7	133	6
8	253	6
9	661	6
10	2170	6
done	5000	6
0	3	3
1	4	3
done	4	3
0	6	8
1	17	8
2	39	8
3	62	8
4	70	6
5	75	6
6	92	6
7	134	6
8	255	6
9	667	6
10	2165	6
done	5000	6
0	3	3
1	4	3
done	4	3
0	6	8
1	17	8
2	39	8
3	62	8
4	70	6
5	75	6
6	92	6
7	134	6
8	255	6
9	667	6
10	2165	6
done	5000	6
0	9	19
1	18	19
2	32	19
3	45	19
done	45	19
0	8	10
1	15	10
2	27	10
3	40	10
done	40	10
0	3	3
1	6	1
done	6	1
0	8	10
1	15	10
2	33	10
3	75	10
4	122	10
5	138	10
done	138	10
0	8	10
1	15	10
2	33	10
3	75	10
4	122	10
5	138	10
done	138	10
0	7	9
1	14	9
2	32	9
3	62	9
4	76	9
5	78	9
6	83	9
7	100	9
8	142	9
9	265	9
10	670	9
11	2194	9
done	5000	9
0	10	13
1	33	13
2	110	13
3	486	13
4	1915	13
done	5001	13
0	9	17
1	25	17
2	84	17
3	270	17
4	620	15
5	996	13
6	1394	13
7	2673	13
done	5001	13
0	8	9
1	16	8
2	29	8
3	64	8
4	143	8
5	325	8
6	909	8
7	3042	8
done	5000	8
0	7	8
1	13	8
2	25	8
3	38	8
done	38	8
0	7	8
1	16	8
2	36	8
3	75	8
4	146	8
5	360	8
6	1063	8
7	3970	8
done	5000	8
0	8	17
1	14	17
2	26	17
3	39	17
done	39	17
0	7	8
1	13	8
2	25	8
3	38	8
done	38	8
0	8	23
1	15	23
2	41	9
3	145	9
4	650	9
5	2638	9
done	5001	9
0	7	8
1	13	8
2	25	8
3	38	8
done	38	8
0	7	8
1	13	8
2	25	8
3	38	8
done	38	8
0	9	11
1	31	11
2	102	11
3	439	11
4	1590	11
done	5000	11
0	10	23
1	29	17
2	89	17
3	163	17
4	175	17
5	184	17
6	217	17
7	317	17
8	620	17
9	1693	17
done	5000	17
0	5	6
1	13	6
2	27	6
3	31	6
done	31	6
0	8	15
1	23	15
2	75	15
3	216	15
4	405	13
5	594	11
6	814	11
7	1396	11
8	3940	11
done	5001	11
0	6	7
1	11	7
2	12	7
done	12	7
0	5	6
1	13	6
2	27	6
3	31	6
done	31	6
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	8	9
1	20	9
2	45	9
3	103	9
4	237	9
5	582	9
6	1947	9
done	5000	9
0	8	9
1	20	9
2	45	9
3	103	9
4	237	9
5	582	9
6	1947	9
done	5000	9
0	8	9
1	20	9
2	45	9
3	103	9
4	237	9
5	582	9
6	1947	9
done	5000	9
0	7	7
1	15	7
2	38	7
3	57	7
4	69	7
5	79	7
6	101	7
7	166	7
8	382	7
9	1322	7
done	5001	7
0	7	7
1	15	7
2	38	7
3	57	7
4	69	7
5	79	7
6	101	7
7	166	7
8	382	7
9	1322	7
done	5001	7
0	7	7
1	15	7
2	38	7
3	57	7
4	69	7
5	79	7
6	101	7
7	166	7
8	382	7
9	1322	7
done	5001	7

prune82.0ms

Filtered

43 candidates to 63 candidates (-46.5%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	63	0	63
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	63	5	68

Merged error: 0.0b

Counts

68 → 5

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b	(- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3)))
0.5b	(* 0.12900613773279798 (pow x 3))

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

13×	`add-sqr-sqrt`
12×	`associate-r`
7×	`add-exp-log`
6×	`add-cube-cbrt` `*-un-lft-identity`
4×	`unpow-prod-down` `cube-prod` `add-cbrt-cube` `add-log-exp` `unswap-sqr`
3×	`associate-l` `prod-exp`
2×	`pow1` `sqr-pow`
1×	`cube-mult` `pow-to-exp` `sub-neg` `flip3--` `diff-log` `unpow3` `pow-exp` `*-commutative` `flip--` `cbrt-unprod`

Counts

2 → 43

Calls

2 calls:

4.0ms	(- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3)))
7.0ms	(* 0.12900613773279798 (pow x 3))

series19.0ms

Counts

2 → 6

Calls

2 calls:

10.0ms	(- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3)))
9.0ms	(* 0.12900613773279798 (pow x 3))

simplify3.4min

Counts

49 → 49

Iterations

Useful iterations: 2 (3.0ms)

Iter	Nodes	Cost
0	7	7
1	9	7
done	9	7
0	7	7
1	9	7
done	9	7
0	7	7
1	18	7
2	30	7
3	57	7
4	111	7
5	257	7
6	736	7
7	2804	7
done	5000	7
0	6	6
1	18	6
2	44	6
3	92	6
4	181	6
5	434	6
6	1321	6
done	5001	6
0	6	6
1	17	6
2	40	6
3	92	6
4	229	6
5	702	6
6	2782	6
done	5000	6
0	9	17
1	27	13
2	95	9
3	431	9
4	2042	7
done	5000	7
0	7	13
1	16	13
2	34	13
3	58	13
4	102	13
5	244	13
6	769	13
7	3060	13
done	5001	13
0	6	6
1	15	6
2	33	6
3	56	6
4	103	6
5	241	6
6	766	6
7	3067	6
done	5000	6
0	7	17
1	26	17
2	108	7
3	514	7
4	2473	7
done	5001	7
0	6	6
1	15	6
2	33	6
3	56	6
4	103	6
5	241	6
6	766	6
7	3067	6
done	5000	6
0	6	6
1	15	6
2	33	6
3	56	6
4	103	6
5	241	6
6	766	6
7	3067	6
done	5000	6
0	7	7
1	16	7
2	34	7
3	52	7
4	100	7
5	246	7
6	764	7
7	3053	7
done	5000	7
0	7	7
1	16	7
2	34	7
3	52	7
4	100	7
5	246	7
6	764	7
7	3053	7
done	5000	7
0	7	7
1	16	7
2	34	7
3	52	7
4	100	7
5	246	7
6	764	7
7	3053	7
done	5000	7
0	7	7
1	16	7
2	34	7
3	52	7
4	100	7
5	246	7
6	764	7
7	3053	7
done	5000	7
0	7	7
1	16	7
2	23	7
3	33	7
4	54	7
5	114	7
6	316	7
7	1251	7
done	5000	7
0	7	7
1	16	7
2	23	7
3	33	7
4	54	7
5	114	7
6	316	7
7	1251	7
done	5000	7
0	8	8
1	14	6
2	24	6
3	44	6
4	88	6
5	230	6
6	750	6
7	3051	6
done	5000	6
0	8	8
1	14	6
2	24	6
3	44	6
4	88	6
5	230	6
6	750	6
7	3051	6
done	5000	6
0	7	9
1	18	9
2	55	5
3	111	5
4	166	5
5	320	5
6	852	5
7	3190	5
done	5000	5
0	6	6
1	15	6
2	33	6
3	57	6
4	101	6
5	246	6
6	775	6
7	3072	6
done	5000	6
0	5	5
1	16	3
2	20	1
done	20	1
0	4	5
1	7	5
2	9	5
done	9	5
0	7	11
1	17	5
2	25	5
3	35	5
4	56	5
5	116	5
6	325	5
7	1246	5
done	5000	5
0	7	9
1	18	9
2	55	5
3	111	5
4	166	5
5	320	5
6	852	5
7	3190	5
done	5000	5
0	6	6
1	15	6
2	33	6
3	57	6
4	101	6
5	246	6
6	775	6
7	3072	6
done	5000	6
0	5	5
1	16	3
2	20	1
done	20	1
0	3	3
1	4	3
done	4	3
0	6	6
1	15	6
2	22	6
3	32	6
4	53	6
5	114	6
6	324	6
7	1259	6
done	5000	6
0	3	3
1	6	1
done	6	1
0	7	7
1	13	5
2	23	5
3	41	5
4	87	5
5	227	5
6	762	5
7	3059	5
done	5001	5
0	6	6
1	15	6
2	33	6
3	61	6
4	107	6
5	252	6
6	785	6
7	3076	6
done	5001	6
0	6	6
1	15	6
2	33	6
3	61	6
4	107	6
5	252	6
6	785	6
7	3076	6
done	5001	6
0	5	5
1	14	5
2	32	5
3	54	5
4	101	5
5	244	5
6	773	5
7	3060	5
done	5001	5
0	10	11
1	26	10
2	56	10
3	149	10
4	469	10
5	1745	10
done	5001	10
0	9	10
1	21	10
2	46	10
3	104	10
4	242	10
5	587	10
6	1931	10
done	5000	10
0	9	10
1	24	10
2	59	10
3	156	10
4	435	10
5	1516	10
done	5000	10
0	10	21
1	22	21
2	47	21
3	105	21
4	238	21
5	582	21
6	2006	21
done	5001	21
0	9	10
1	21	10
2	46	10
3	104	10
4	239	10
5	583	10
6	1914	10
done	5001	10
0	10	29
1	23	29
2	61	11
3	208	11
4	1351	11
done	5000	11
0	9	10
1	21	10
2	46	10
3	104	10
4	239	10
5	583	10
6	1914	10
done	5001	10
0	9	10
1	21	10
2	46	10
3	104	10
4	239	10
5	583	10
6	1914	10
done	5001	10
0	10	13
1	37	13
2	142	13
3	694	13
4	4216	13
done	5000	13
0	12	29
1	46	23
2	154	23
3	536	21
4	1477	21
5	4784	21
done	5000	21
0	6	6
1	19	6
2	54	6
3	119	6
4	244	6
5	631	6
6	2079	6
done	5000	6
0	10	19
1	38	19
2	127	15
3	514	15
4	2195	15
done	5001	15
0	8	9
1	19	9
2	37	9
3	61	9
4	107	9
5	255	9
6	773	9
7	3077	9
done	5000	9
0	6	6
1	19	6
2	54	6
3	119	6
4	244	6
5	631	6
6	2079	6
done	5000	6
0	5	5
1	14	5
2	32	5
3	54	5
4	101	5
5	244	5
6	773	5
7	3060	5
done	5001	5
0	5	5
1	14	5
2	32	5
3	54	5
4	101	5
5	244	5
6	773	5
7	3060	5
done	5001	5
0	5	5
1	14	5
2	32	5
3	54	5
4	101	5
5	244	5
6	773	5
7	3060	5
done	5001	5
0	8	9
1	20	9
2	45	9
3	103	9
4	237	9
5	582	9
6	1947	9
done	5000	9
0	8	9
1	20	9
2	45	9
3	103	9
4	237	9
5	582	9
6	1947	9
done	5000	9
0	8	9
1	20	9
2	45	9
3	103	9
4	237	9
5	582	9
6	1947	9
done	5000	9

prune73.0ms

Filtered

32 candidates to 49 candidates (-53.1%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	48	1	49
Fresh	1	1	2
Picked	0	1	1
Done	1	1	2
Total	50	4	54

Merged error: 0b

Counts

54 → 4

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b	(- (* 0.954929658551372 x) (* (* 0.12900613773279798 x) (* x x)))
0.2b	(* (* 0.12900613773279798 x) (* x x))

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 34

Calls

2 calls:

4.0ms	(- (* 0.954929658551372 x) (* (* 0.12900613773279798 x) (* x x)))
8.0ms	(* (* 0.12900613773279798 x) (* x x))

series15.0ms

Counts

2 → 6

Calls

2 calls:

10.0ms	(- (* 0.954929658551372 x) (* (* 0.12900613773279798 x) (* x x)))
5.0ms	(* (* 0.12900613773279798 x) (* x x))

simplify2.6min

Counts

40 → 40

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	5	7
1	11	7
2	20	5
3	25	5
4	35	5
5	53	5
6	100	5
7	245	5
8	779	5
9	3083	5
done	5001	5
0	5	7
1	11	7
2	20	5
3	25	5
4	35	5
5	53	5
6	100	5
7	245	5
8	779	5
9	3083	5
done	5001	5
0	5	7
1	11	7
2	20	5
3	25	5
4	35	5
5	53	5
6	100	5
7	245	5
8	779	5
9	3083	5
done	5001	5
0	5	7
1	11	7
2	20	5
3	25	5
4	35	5
5	53	5
6	100	5
7	245	5
8	779	5
9	3083	5
done	5001	5
0	7	11
1	15	10
2	27	7
3	30	7
done	30	7
0	8	10
1	13	10
2	25	10
3	30	7
4	33	7
done	33	7
0	7	10
1	15	9
2	24	9
3	30	7
4	33	7
done	33	7
0	7	9
1	13	9
2	24	9
3	33	7
4	36	7
done	36	7
0	6	8
1	15	8
2	34	6
3	55	6
4	73	6
5	104	6
6	189	6
7	439	6
8	1330	6
done	5000	6
0	6	8
1	14	8
2	36	6
3	69	6
4	151	6
5	358	6
6	914	6
7	2786	6
done	5000	6
0	9	23
1	27	23
2	110	9
3	393	9
4	940	7
5	2856	7
done	5001	7
0	10	23
1	28	23
2	113	9
3	397	9
4	1021	7
5	3474	7
done	5000	7
0	9	23
1	31	23
2	124	13
3	495	9
4	932	9
5	2631	7
done	5000	7
0	9	23
1	32	23
2	120	11
3	488	9
4	1010	7
5	3114	7
done	5000	7
0	7	17
1	13	17
2	22	13
3	27	13
4	37	13
5	55	13
6	101	13
7	253	13
8	781	13
9	3085	13
done	5001	13
0	6	8
1	12	8
2	21	6
3	26	6
4	36	6
5	54	6
6	102	6
7	249	6
8	777	6
9	3097	6
done	5000	6
0	7	23
1	23	23
2	110	7
3	435	7
4	821	7
5	2403	7
done	5001	7
0	6	8
1	12	8
2	21	6
3	26	6
4	36	6
5	54	6
6	102	6
7	249	6
8	777	6
9	3097	6
done	5000	6
0	6	8
1	12	8
2	21	6
3	26	6
4	36	6
5	54	6
6	102	6
7	249	6
8	777	6
9	3097	6
done	5000	6
0	4	5
1	8	5
2	9	5
done	9	5
0	3	5
1	6	3
2	11	3
3	17	3
4	27	3
5	50	3
6	113	3
7	331	3
8	1249	3
done	5001	3
0	10	13
1	23	12
2	53	10
3	122	10
4	356	10
5	1200	10
done	5001	10
0	9	12
1	18	12
2	44	10
3	88	10
4	108	10
5	148	10
6	267	10
7	674	10
8	2201	10
done	5000	10
0	9	12
1	21	12
2	61	10
3	144	10
4	321	10
5	1140	10
done	5001	10
0	10	25
1	19	25
2	45	21
3	86	21
4	106	21
5	146	21
6	272	21
7	678	21
8	2174	21
done	5001	21
0	9	12
1	18	12
2	44	10
3	85	10
4	104	10
5	144	10
6	269	10
7	675	10
8	2162	10
done	5000	10
0	10	35
1	20	35
2	59	11
3	237	11
4	1297	11
done	5001	11
0	9	12
1	18	12
2	44	10
3	85	10
4	104	10
5	144	10
6	269	10
7	675	10
8	2162	10
done	5000	10
0	9	12
1	18	12
2	44	10
3	85	10
4	104	10
5	144	10
6	269	10
7	675	10
8	2162	10
done	5000	10
0	11	15
1	39	15
2	156	13
3	811	13
4	3589	13
done	5000	13
0	12	35
1	43	27
2	161	23
3	415	21
4	629	21
5	1155	21
6	2638	21
done	5001	21
0	6	8
1	16	8
2	47	6
3	75	6
4	93	6
5	135	6
6	260	6
7	676	6
8	2166	6
done	5000	6
0	10	23
1	35	23
2	129	17
3	437	15
4	1071	15
5	2445	15
done	5000	15
0	8	11
1	16	11
2	29	9
3	36	9
4	46	9
5	64	9
6	111	9
7	252	9
8	776	9
9	3065	9
done	5000	9
0	6	8
1	16	8
2	47	6
3	75	6
4	93	6
5	135	6
6	260	6
7	676	6
8	2166	6
done	5000	6
0	5	5
1	14	5
2	32	5
3	54	5
4	101	5
5	244	5
6	773	5
7	3060	5
done	5001	5
0	5	5
1	14	5
2	32	5
3	54	5
4	101	5
5	244	5
6	773	5
7	3060	5
done	5001	5
0	5	5
1	14	5
2	32	5
3	54	5
4	101	5
5	244	5
6	773	5
7	3060	5
done	5001	5
0	8	9
1	20	9
2	45	9
3	103	9
4	237	9
5	582	9
6	1947	9
done	5000	9
0	8	9
1	20	9
2	45	9
3	103	9
4	237	9
5	582	9
6	1947	9
done	5000	9
0	8	9
1	20	9
2	45	9
3	103	9
4	237	9
5	582	9
6	1947	9
done	5000	9

prune46.0ms

Filtered

23 candidates to 40 candidates (-73.9%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	40	0	40
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	40	4	44

Merged error: 0b

Counts

44 → 4

regimes35.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	7	9
1	9	9
done	9	9

end0.0ms

sample634.0ms

Algorithm

intervals

Results

408.0ms

11978×

body

valid

Details

sample48.0ms

simplify4.1s

prune10.0ms

localize9.0ms

rewrite20.0ms

series29.0ms

simplify2.2min

prune99.0ms

localize6.0ms

rewrite16.0ms

series19.0ms

simplify2.2min

prune82.0ms

localize6.0ms

rewrite13.0ms

series19.0ms

simplify3.4min

prune73.0ms

localize7.0ms

rewrite13.0ms

series15.0ms

simplify2.6min

prune46.0ms

regimes35.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample634.0ms

Profiling