Details

sample75.0ms

Algorithm

intervals

Results

41.0ms	138×	body	160	valid
18.0ms	118×	body	80	valid

simplify1.8s

Counts

1 → 1

Iterations

Useful iterations: 3 (89.0ms)

Iter	Nodes	Cost
0	26	64
1	82	64
2	246	64
3	766	63
4	3183	63
done	5001	63

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

Counts

2 → 1

localize33.0ms

Local error

Found 4 expressions with local error:

0.1b	(/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
0.2b	(* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))))))
0.5b	(+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))
15.1b	(- 1.0 (/ (/ (* 1.0 (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))) (exp (* (fabs x) (fabs x)))) (+ 1.0 (* 0.3275911 (fabs x)))))

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 97

Calls

4 calls:

6.0ms	(/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
12.0ms	(* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))))))
4.0ms	(+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))
12.0ms	(- 1.0 (/ (/ (* 1.0 (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))) (exp (* (fabs x) (fabs x)))) (+ 1.0 (* 0.3275911 (fabs x)))))

series460.0ms

Counts

4 → 12

Calls

4 calls:

10.0ms	(/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
98.0ms	(* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))))))
93.0ms	(+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))
259.0ms	(- 1.0 (/ (/ (* 1.0 (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))) (exp (* (fabs x) (fabs x)))) (+ 1.0 (* 0.3275911 (fabs x)))))

simplify3.5min

Counts

109 → 109

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	28	65
1	79	64
2	213	64
3	586	64
4	1843	64
done	5001	64
0	27	64
1	78	64
2	215	64
3	593	64
4	1941	64
done	5000	64
0	27	64
1	81	64
2	220	64
3	607	64
4	1976	64
done	5000	64
0	28	129
1	79	129
2	216	129
3	592	129
4	1937	129
done	5000	129
0	27	64
1	78	64
2	215	64
3	593	64
4	1941	64
done	5000	64
0	28	191
1	80	191
2	231	65
3	668	65
4	2584	65
done	5000	65
0	27	64
1	78	64
2	215	64
3	593	64
4	1941	64
done	5000	64
0	27	64
1	78	64
2	215	64
3	593	64
4	1941	64
done	5000	64
0	29	67
1	96	67
2	284	67
3	1068	67
done	5001	67
0	30	191
1	92	129
2	261	129
3	882	129
4	4991	129
done	5000	129
0	26	62
1	77	62
2	214	62
3	592	62
4	1977	62
done	5000	62
0	28	127
1	86	127
2	247	127
3	884	127
done	5000	127
0	26	63
1	76	63
2	208	63
3	554	63
4	1688	63
done	5001	63
0	28	65
1	78	65
2	210	65
3	562	65
4	1693	65
done	5001	65
0	28	65
1	79	65
2	212	65
3	562	65
4	1686	65
done	5000	65
0	29	66
1	77	66
2	196	66
3	506	66
4	1472	66
5	4866	66
done	5000	66
0	29	66
1	78	66
2	200	66
3	512	66
4	1481	66
5	4901	66
done	5000	66
0	26	63
1	77	63
2	214	63
3	594	63
4	1937	63
done	5001	63
0	26	62
1	77	62
2	214	62
3	592	62
4	1977	62
done	5000	62
0	22	47
1	62	46
2	164	46
3	421	46
4	1075	46
5	2775	46
done	5000	46
0	21	46
1	57	46
2	151	46
3	372	46
4	889	46
5	1993	46
6	3943	46
done	5000	46
0	21	46
1	60	46
2	162	46
3	418	46
4	1056	46
5	2666	46
done	5001	46
0	22	93
1	58	93
2	152	93
3	371	93
4	884	93
5	1979	93
6	3933	93
done	5000	93
0	21	46
1	57	46
2	151	46
3	372	46
4	889	46
5	1993	46
6	3943	46
done	5000	46
0	22	137
1	71	137
2	233	47
3	1001	47
done	5002	47
0	21	46
1	57	46
2	151	46
3	372	46
4	889	46
5	1993	46
6	3943	46
done	5000	46
0	21	46
1	57	46
2	151	46
3	372	46
4	889	46
5	1993	46
6	3943	46
done	5000	46
0	23	49
1	75	49
2	227	49
3	952	49
done	5001	49
0	24	137
1	76	93
2	275	93
3	1153	93
done	5002	93
0	22	91
1	69	91
2	236	91
3	976	91
done	5001	91
0	20	45
1	57	45
2	161	45
3	442	45
4	1291	45
5	3825	45
done	5001	45
0	11	12
1	17	12
2	20	12
3	22	12
4	24	12
5	25	12
done	25	12
0	11	12
1	17	12
2	20	12
3	24	12
4	25	12
done	25	12
0	18	43
1	53	43
2	143	43
3	354	43
4	822	43
5	1843	43
6	3746	43
done	5000	43
0	22	46
1	53	46
2	125	46
3	251	46
4	459	46
5	829	46
6	1339	46
7	2263	46
done	5000	46
0	20	45
1	50	45
2	118	45
3	246	45
4	457	45
5	831	45
6	1348	45
7	2268	45
done	5000	45
0	19	44
1	57	44
2	153	44
3	372	44
4	858	44
5	1894	44
6	3822	44
done	5001	44
0	19	44
1	56	44
2	155	44
3	396	44
4	974	44
5	2433	44
done	5001	44
0	25	131
1	89	131
2	363	49
3	1999	47
done	5000	47
0	22	131
1	73	131
2	273	47
3	1405	47
done	5000	47
0	20	89
1	55	89
2	145	89
3	356	89
4	826	89
5	1850	89
6	3801	89
done	5000	89
0	19	44
1	54	44
2	144	44
3	355	44
4	823	44
5	1851	44
6	3750	44
done	5000	44
0	20	131
1	65	131
2	247	45
3	1196	45
done	5002	45
0	19	44
1	54	44
2	144	44
3	355	44
4	823	44
5	1851	44
6	3750	44
done	5000	44
0	19	44
1	54	44
2	144	44
3	355	44
4	823	44
5	1851	44
6	3750	44
done	5000	44
0	21	40
1	70	40
2	219	40
3	993	40
done	5000	40
0	22	111
1	71	78
2	277	78
3	1315	78
done	5001	78
0	20	71
1	58	71
2	203	71
3	896	71
done	5000	71
0	18	41
1	46	41
2	132	41
3	372	41
4	1274	41
5	4812	36
done	5000	36
0	20	45
1	47	45
2	109	45
3	226	45
4	425	45
5	792	45
6	1280	45
7	2189	45
done	5000	45
0	20	45
1	47	45
2	109	45
3	226	45
4	425	45
5	792	45
6	1280	45
7	2189	45
done	5000	45
0	22	46
1	51	46
2	116	46
3	235	46
4	438	46
5	806	46
6	1309	46
7	2215	46
done	5000	46
0	22	46
1	51	46
2	116	46
3	235	46
4	438	46
5	806	46
6	1309	46
7	2215	46
done	5000	46
0	9	10
1	14	10
2	17	10
3	19	10
4	21	10
5	22	10
done	22	10
0	16	41
1	46	41
2	138	41
3	350	41
4	814	41
5	1932	41
6	4023	41
done	5000	41
0	9	10
1	14	10
2	17	10
3	21	10
4	22	10
done	22	10
0	16	41
1	44	41
2	121	41
3	300	41
4	719	41
5	1699	41
6	3842	41
done	5001	41
0	20	80
1	51	80
2	121	80
3	245	80
4	455	80
5	824	80
6	1324	80
7	2233	80
done	5000	80
0	19	44
1	48	44
2	113	44
3	231	44
4	432	44
5	792	44
6	1281	44
7	2194	44
done	5000	44
0	9	10
1	16	8
2	26	8
done	26	8
0	19	44
1	52	44
2	133	44
3	351	44
4	864	44
5	1929	44
6	3884	44
done	5001	44
0	19	44
1	52	44
2	133	44
3	351	44
4	864	44
5	1929	44
6	3884	44
done	5001	44
0	21	45
1	56	45
2	152	45
3	416	45
4	1153	45
5	3155	45
done	5000	45
0	21	45
1	56	45
2	152	45
3	416	45
4	1153	45
5	3155	45
done	5000	45
0	20	44
1	55	44
2	151	44
3	417	44
4	1122	44
5	2835	44
done	5000	44
0	21	45
1	56	45
2	152	45
3	416	45
4	1153	45
5	3155	45
done	5000	45
0	21	45
1	56	45
2	152	45
3	416	45
4	1153	45
5	3155	45
done	5000	45
0	20	44
1	55	44
2	151	44
3	417	44
4	1122	44
5	2835	44
done	5000	44
0	20	44
1	55	44
2	151	44
3	411	44
4	1114	44
5	2846	44
done	5000	44
0	20	44
1	55	44
2	151	44
3	411	44
4	1114	44
5	2846	44
done	5000	44
0	18	43
1	53	43
2	143	43
3	354	43
4	822	43
5	1843	43
6	3746	43
done	5000	43
0	18	43
1	53	43
2	143	43
3	354	43
4	822	43
5	1843	43
6	3746	43
done	5000	43
0	20	43
1	57	43
2	153	41
3	442	41
4	1284	41
5	2854	41
done	5000	41
0	23	55
1	73	50
2	220	50
3	771	50
4	4002	50
done	5000	50
0	19	41
1	54	41
2	160	41
3	530	41
4	1928	41
done	5000	41
0	21	47
1	72	47
2	232	47
3	1021	47
done	5002	47
0	20	78
1	60	78
2	216	78
3	959	78
done	5000	78
0	18	36
1	51	36
2	130	36
3	304	36
4	701	36
5	1408	36
6	2347	36
7	3663	36
done	5000	36
0	9	10
1	13	10
2	14	10
done	14	10
0	8	9
1	13	9
2	15	9
3	16	9
done	16	9
0	8	9
1	10	9
done	10	9
0	11	26
1	34	26
2	111	12
3	320	10
4	816	10
5	2021	10
6	4707	10
done	5000	10
0	9	19
1	11	19
done	11	19
0	8	9
1	10	9
done	10	9
0	9	26
1	18	26
2	34	10
3	72	10
4	153	10
5	319	10
6	733	10
7	2012	10
done	5000	10
0	8	9
1	10	9
done	10	9
0	8	9
1	10	9
done	10	9
0	2	2
done	2	2
0	7	7
1	12	7
2	20	7
3	21	7
done	21	7
0	11	21
1	19	21
2	28	21
3	34	21
done	34	21
0	9	10
1	11	10
done	11	10
0	10	13
1	14	13
2	16	13
3	17	13
done	17	13
0	9	10
1	11	10
done	11	10
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	8	9
1	10	9
done	10	9
0	10	18
1	14	18
done	14	18
0	9	10
1	11	10
done	11	10
0	9	10
1	11	10
done	11	10
0	9	10
1	11	10
done	11	10
0	4	4
1	6	2
2	8	2
done	8	2
0	8	9
1	10	9
done	10	9
0	10	17
1	16	17
done	16	17
0	8	9
1	10	9
done	10	9
0	9	9
1	13	9
done	13	9
0	8	9
1	10	9
done	10	9
0	2	3
1	4	1
done	4	1
0	7	8
1	9	8
done	9	8
0	8	8
1	12	8
done	12	8
0	7	8
1	9	8
done	9	8
0	9	17
1	13	17
done	13	17
0	8	9
1	10	9
done	10	9
0	3	3
1	5	1
done	5	1
0	8	9
1	10	9
done	10	9
0	8	9
1	10	9
done	10	9
0	7	8
1	9	8
done	9	8
0	10	12
1	28	12
2	66	12
3	146	12
4	287	12
5	733	12
6	2705	12
done	5000	12
0	9	15
1	22	15
2	54	15
3	113	15
4	162	15
5	253	15
6	363	15
7	605	15
8	2057	15
done	5001	15
0	42	101
1	108	101
2	338	91
3	1225	74
done	5000	66
0	42	94
1	110	94
2	330	84
3	1159	74
done	5000	67
0	42	94
1	110	94
2	330	84
3	1159	74
done	5000	67
0	30	58
1	65	58
2	176	50
3	572	43
4	2117	43
done	5001	43
0	30	51
1	70	51
2	189	43
3	604	43
4	2333	43
done	5000	43
0	30	51
1	70	51
2	189	43
3	607	43
4	2349	43
done	5001	43
0	26	54
1	64	54
2	176	41
3	495	41
4	1672	41
done	5000	39
0	26	47
1	63	47
2	170	41
3	464	41
4	1664	41
done	5000	39
0	26	47
1	63	47
2	170	41
3	464	41
4	1664	41
done	5000	39
0	7	8
1	9	8
done	9	8
0	7	8
1	9	8
done	9	8
0	7	8
1	9	8
done	9	8

prune569.0ms

Filtered

92 candidates to 109 candidates (-18.5%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	102	7	109
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	103	7	110

Merged error: 15.1b

Counts

110 → 7

localize32.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))))))
0.5b	(+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))
15.1b	(- 1.0 (/ (/ (* 1.0 (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))) (exp (* (fabs x) (fabs x)))) (+ 1.0 (* 0.3275911 (fabs x)))))
15.1b	(log (exp (- 1.0 (/ (/ (* 1.0 (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))) (exp (* (fabs x) (fabs x)))) (+ 1.0 (* 0.3275911 (fabs x)))))))

rewrite45.0ms

Algorithm

rewrite-expression-head

Rules

29×	`add-sqr-sqrt`
18×	`*-un-lft-identity`
15×	`associate-l`
14×	`add-cube-cbrt`
12×	`times-frac`
9×	`add-exp-log` `add-cbrt-cube`
8×	`add-log-exp`
7×	`pow1` `log-pow`
6×	`exp-prod`
5×	`log-prod`
4×	`flip3-+` `flip-+` `difference-of-squares`
3×	`associate-r`
2×	`distribute-rgt-in` `frac-times` `sub-neg` `associate-+r+` `distribute-lft-in` `associate-*r/` `exp-sum` `prod-exp` `associate-/r/` `cbrt-unprod` `distribute-lft-out--` `unswap-sqr`
1×	`cbrt-undiv` `+-commutative` `log-div` `flip3--` `exp-diff` `diff-log` `div-exp` `rem-log-exp` `pow-prod-down` `associate-l/` `sum-log` `-commutative` `flip--` `div-inv`

Counts

4 → 89

Calls

4 calls:

11.0ms	(* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))))))
4.0ms	(+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))
13.0ms	(- 1.0 (/ (/ (* 1.0 (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))) (exp (* (fabs x) (fabs x)))) (+ 1.0 (* 0.3275911 (fabs x)))))
14.0ms	(log (exp (- 1.0 (/ (/ (* 1.0 (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))) (exp (* (fabs x) (fabs x)))) (+ 1.0 (* 0.3275911 (fabs x)))))))

series702.0ms

Counts

4 → 12

Calls

4 calls:

97.0ms	(* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))))))
89.0ms	(+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))
259.0ms	(- 1.0 (/ (/ (* 1.0 (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))) (exp (* (fabs x) (fabs x)))) (+ 1.0 (* 0.3275911 (fabs x)))))
256.0ms	(log (exp (- 1.0 (/ (/ (* 1.0 (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))) (exp (* (fabs x) (fabs x)))) (+ 1.0 (* 0.3275911 (fabs x)))))))

simplify3.7min

Counts

101 → 101

Iterations

Useful iterations: done (1.0ms)

Iter	Nodes	Cost
0	3	3
done	3	1
0	28	64
1	82	62
2	225	62
3	610	62
4	2029	62
done	5000	62
0	3	3
done	3	1
0	28	64
1	82	62
2	225	62
3	610	62
4	2029	62
done	5000	62
0	30	132
1	86	132
2	226	68
3	612	68
4	1981	68
done	5000	68
0	29	66
1	83	66
2	222	66
3	605	66
4	1969	66
done	5000	66
0	29	66
1	83	66
2	222	66
3	605	66
4	1969	66
done	5000	66
0	29	66
1	83	66
2	222	66
3	605	66
4	1969	66
done	5000	66
0	2	2
1	4	1
done	4	1
0	28	65
1	82	63
2	224	63
3	611	63
4	1983	63
done	5000	63
0	3	3
done	3	1
0	27	63
1	76	61
2	208	61
3	558	61
4	1707	61
done	5000	61
0	28	65
1	82	63
2	224	63
3	611	63
4	1983	63
done	5000	63
0	30	131
1	83	129
2	225	129
3	609	129
4	1980	129
done	5000	129
0	29	66
1	80	64
2	217	64
3	595	64
4	1933	64
done	5000	64
0	3	3
1	6	1
done	6	1
0	30	67
1	83	65
2	219	65
3	570	65
4	1695	65
done	5000	65
0	31	68
1	82	66
2	205	66
3	516	66
4	1486	66
5	4867	66
done	5000	66
0	3	3
1	6	1
done	6	1
0	29	66
1	83	64
2	225	64
3	612	64
4	1986	64
done	5000	64
0	29	66
1	83	64
2	225	64
3	612	64
4	1986	64
done	5000	64
0	30	133
1	84	129
2	226	129
3	613	129
4	1993	129
done	5000	129
0	29	66
1	83	64
2	225	64
3	612	64
4	1986	64
done	5000	64
0	30	197
1	85	191
2	241	65
3	687	65
4	2671	65
done	5001	65
0	29	66
1	83	64
2	225	64
3	612	64
4	1986	64
done	5000	64
0	29	66
1	83	64
2	225	64
3	612	64
4	1986	64
done	5000	64
0	28	65
1	79	64
2	213	64
3	586	64
4	1843	64
done	5001	64
0	27	64
1	78	64
2	215	64
3	593	64
4	1941	64
done	5000	64
0	27	64
1	81	64
2	220	64
3	607	64
4	1976	64
done	5000	64
0	28	129
1	79	129
2	216	129
3	592	129
4	1937	129
done	5000	129
0	27	64
1	78	64
2	215	64
3	593	64
4	1941	64
done	5000	64
0	28	191
1	80	191
2	231	65
3	668	65
4	2584	65
done	5000	65
0	27	64
1	78	64
2	215	64
3	593	64
4	1941	64
done	5000	64
0	27	64
1	78	64
2	215	64
3	593	64
4	1941	64
done	5000	64
0	29	67
1	96	67
2	284	67
3	1068	67
done	5001	67
0	30	191
1	92	129
2	261	129
3	882	129
4	4991	129
done	5000	129
0	26	62
1	77	62
2	214	62
3	592	62
4	1977	62
done	5000	62
0	28	127
1	86	127
2	247	127
3	884	127
done	5000	127
0	26	63
1	76	63
2	208	63
3	554	63
4	1688	63
done	5001	63
0	28	65
1	78	65
2	210	65
3	562	65
4	1693	65
done	5001	65
0	28	65
1	79	65
2	212	65
3	562	65
4	1686	65
done	5000	65
0	29	66
1	77	66
2	196	66
3	506	66
4	1472	66
5	4866	66
done	5000	66
0	29	66
1	78	66
2	200	66
3	512	66
4	1481	66
5	4901	66
done	5000	66
0	26	63
1	77	63
2	214	63
3	594	63
4	1937	63
done	5001	63
0	26	62
1	77	62
2	214	62
3	592	62
4	1977	62
done	5000	62
0	22	47
1	62	46
2	164	46
3	421	46
4	1075	46
5	2775	46
done	5000	46
0	21	46
1	57	46
2	151	46
3	372	46
4	889	46
5	1993	46
6	3943	46
done	5000	46
0	21	46
1	60	46
2	162	46
3	418	46
4	1056	46
5	2666	46
done	5001	46
0	22	93
1	58	93
2	152	93
3	371	93
4	884	93
5	1979	93
6	3933	93
done	5000	93
0	21	46
1	57	46
2	151	46
3	372	46
4	889	46
5	1993	46
6	3943	46
done	5000	46
0	22	137
1	71	137
2	233	47
3	1001	47
done	5002	47
0	21	46
1	57	46
2	151	46
3	372	46
4	889	46
5	1993	46
6	3943	46
done	5000	46
0	21	46
1	57	46
2	151	46
3	372	46
4	889	46
5	1993	46
6	3943	46
done	5000	46
0	23	49
1	75	49
2	227	49
3	952	49
done	5001	49
0	24	137
1	76	93
2	275	93
3	1153	93
done	5002	93
0	22	91
1	69	91
2	236	91
3	976	91
done	5001	91
0	20	45
1	57	45
2	161	45
3	442	45
4	1291	45
5	3825	45
done	5001	45
0	11	12
1	17	12
2	20	12
3	22	12
4	24	12
5	25	12
done	25	12
0	11	12
1	17	12
2	20	12
3	24	12
4	25	12
done	25	12
0	18	43
1	53	43
2	143	43
3	354	43
4	822	43
5	1843	43
6	3746	43
done	5000	43
0	22	46
1	53	46
2	125	46
3	251	46
4	459	46
5	829	46
6	1339	46
7	2263	46
done	5000	46
0	20	45
1	50	45
2	118	45
3	246	45
4	457	45
5	831	45
6	1348	45
7	2268	45
done	5000	45
0	19	44
1	57	44
2	153	44
3	372	44
4	858	44
5	1894	44
6	3822	44
done	5001	44
0	19	44
1	56	44
2	155	44
3	396	44
4	974	44
5	2433	44
done	5001	44
0	25	131
1	89	131
2	363	49
3	1999	47
done	5000	47
0	22	131
1	73	131
2	273	47
3	1405	47
done	5000	47
0	20	89
1	55	89
2	145	89
3	356	89
4	826	89
5	1850	89
6	3801	89
done	5000	89
0	19	44
1	54	44
2	144	44
3	355	44
4	823	44
5	1851	44
6	3750	44
done	5000	44
0	20	131
1	65	131
2	247	45
3	1196	45
done	5002	45
0	19	44
1	54	44
2	144	44
3	355	44
4	823	44
5	1851	44
6	3750	44
done	5000	44
0	19	44
1	54	44
2	144	44
3	355	44
4	823	44
5	1851	44
6	3750	44
done	5000	44
0	21	40
1	70	40
2	219	40
3	993	40
done	5000	40
0	22	111
1	71	78
2	277	78
3	1315	78
done	5001	78
0	20	71
1	58	71
2	203	71
3	896	71
done	5000	71
0	18	41
1	46	41
2	132	41
3	372	41
4	1274	41
5	4812	36
done	5000	36
0	20	45
1	47	45
2	109	45
3	226	45
4	425	45
5	792	45
6	1280	45
7	2189	45
done	5000	45
0	20	45
1	47	45
2	109	45
3	226	45
4	425	45
5	792	45
6	1280	45
7	2189	45
done	5000	45
0	22	46
1	51	46
2	116	46
3	235	46
4	438	46
5	806	46
6	1309	46
7	2215	46
done	5000	46
0	22	46
1	51	46
2	116	46
3	235	46
4	438	46
5	806	46
6	1309	46
7	2215	46
done	5000	46
0	9	10
1	14	10
2	17	10
3	19	10
4	21	10
5	22	10
done	22	10
0	16	41
1	46	41
2	138	41
3	350	41
4	814	41
5	1932	41
6	4023	41
done	5000	41
0	9	10
1	14	10
2	17	10
3	21	10
4	22	10
done	22	10
0	16	41
1	44	41
2	121	41
3	300	41
4	719	41
5	1699	41
6	3842	41
done	5001	41
0	20	80
1	51	80
2	121	80
3	245	80
4	455	80
5	824	80
6	1324	80
7	2233	80
done	5000	80
0	19	44
1	48	44
2	113	44
3	231	44
4	432	44
5	792	44
6	1281	44
7	2194	44
done	5000	44
0	9	10
1	16	8
2	26	8
done	26	8
0	19	44
1	52	44
2	133	44
3	351	44
4	864	44
5	1929	44
6	3884	44
done	5001	44
0	19	44
1	52	44
2	133	44
3	351	44
4	864	44
5	1929	44
6	3884	44
done	5001	44
0	21	45
1	56	45
2	152	45
3	416	45
4	1153	45
5	3155	45
done	5000	45
0	21	45
1	56	45
2	152	45
3	416	45
4	1153	45
5	3155	45
done	5000	45
0	20	44
1	55	44
2	151	44
3	417	44
4	1122	44
5	2835	44
done	5000	44
0	21	45
1	56	45
2	152	45
3	416	45
4	1153	45
5	3155	45
done	5000	45
0	21	45
1	56	45
2	152	45
3	416	45
4	1153	45
5	3155	45
done	5000	45
0	20	44
1	55	44
2	151	44
3	417	44
4	1122	44
5	2835	44
done	5000	44
0	20	44
1	55	44
2	151	44
3	411	44
4	1114	44
5	2846	44
done	5000	44
0	20	44
1	55	44
2	151	44
3	411	44
4	1114	44
5	2846	44
done	5000	44
0	18	43
1	53	43
2	143	43
3	354	43
4	822	43
5	1843	43
6	3746	43
done	5000	43
0	18	43
1	53	43
2	143	43
3	354	43
4	822	43
5	1843	43
6	3746	43
done	5000	43
0	20	43
1	57	43
2	153	41
3	442	41
4	1284	41
5	2854	41
done	5000	41
0	23	55
1	73	50
2	220	50
3	771	50
4	4002	50
done	5000	50
0	19	41
1	54	41
2	160	41
3	530	41
4	1928	41
done	5000	41
0	21	47
1	72	47
2	232	47
3	1021	47
done	5002	47
0	20	78
1	60	78
2	216	78
3	959	78
done	5000	78
0	18	36
1	51	36
2	130	36
3	304	36
4	701	36
5	1408	36
6	2347	36
7	3663	36
done	5000	36
0	42	101
1	108	101
2	338	91
3	1225	74
done	5000	66
0	42	94
1	110	94
2	330	84
3	1159	74
done	5000	67
0	42	94
1	110	94
2	330	84
3	1159	74
done	5000	67
0	42	101
1	108	101
2	338	91
3	1225	74
done	5000	66
0	42	94
1	110	94
2	330	84
3	1159	74
done	5000	67
0	42	94
1	110	94
2	330	84
3	1159	74
done	5000	67
0	30	58
1	65	58
2	176	50
3	572	43
4	2117	43
done	5001	43
0	30	51
1	70	51
2	189	43
3	604	43
4	2333	43
done	5000	43
0	30	51
1	70	51
2	189	43
3	607	43
4	2349	43
done	5001	43
0	26	54
1	64	54
2	176	41
3	495	41
4	1672	41
done	5000	39
0	26	47
1	63	47
2	170	41
3	464	41
4	1664	41
done	5000	39
0	26	47
1	63	47
2	170	41
3	464	41
4	1664	41
done	5000	39

prune586.0ms

Filtered

84 candidates to 101 candidates (-20.2%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	99	2	101
Fresh	1	5	6
Picked	0	1	1
Done	0	0	0
Total	100	8	108

Merged error: 15.1b

Counts

108 → 8

localize44.0ms

Local error

Found 4 expressions with local error:

0.4b	(/ (+ (pow 0.254829592 3) (pow (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))) 3)) (+ (* 0.254829592 0.254829592) (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))) (- (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))) 0.254829592))))
0.5b	(- (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))) 0.254829592)
0.9b	(pow (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))) 3)
15.1b	(- 1.0 (/ (/ (* 1.0 (/ (+ (pow 0.254829592 3) (pow (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))) 3)) (+ (* 0.254829592 0.254829592) (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))) (- (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))) 0.254829592))))) (exp (* (fabs x) (fabs x)))) (+ 1.0 (* 0.3275911 (fabs x)))))

rewrite55.0ms

Algorithm

rewrite-expression-head

Rules

25×	`*-un-lft-identity`
20×	`add-sqr-sqrt`
16×	`times-frac`
15×	`add-cube-cbrt`
12×	`add-exp-log` `add-cbrt-cube`
8×	`add-log-exp`
7×	`pow1`
5×	`cube-div` `associate-/l*`
4×	`flip3-+` `sum-cubes` `flip-+` `distribute-lft-out`
3×	`pow-unpow` `pow-exp` `associate-/r*` `rem-cube-cbrt`
2×	`cbrt-undiv` `frac-times` `sub-neg` `flip3--` `pow-pow` `diff-log` `associate-*r/` `div-exp` `prod-exp` `associate--l+` `associate-/r/` `flip--` `cbrt-unprod` `associate-/l/` `difference-of-squares`
1×	`distribute-rgt-in` `cube-mult` `pow-to-exp` `unpow-prod-down` `frac-2neg` `distribute-lft-in` `unpow3` `cube-prod` `pow-prod-down` `associate-*l/` `clear-num` `div-inv` `distribute-lft-out--` `sqr-pow`

Counts

4 → 97

Calls

4 calls:

17.0ms	(/ (+ (pow 0.254829592 3) (pow (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))) 3)) (+ (* 0.254829592 0.254829592) (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))) (- (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))) 0.254829592))))
10.0ms	(- (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))) 0.254829592)
11.0ms	(pow (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))) 3)
12.0ms	(- 1.0 (/ (/ (* 1.0 (/ (+ (pow 0.254829592 3) (pow (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))) 3)) (+ (* 0.254829592 0.254829592) (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))) (- (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))) 0.254829592))))) (exp (* (fabs x) (fabs x)))) (+ 1.0 (* 0.3275911 (fabs x)))))

series7.3s

Counts

4 → 12

Calls

4 calls:

852.0ms	(/ (+ (pow 0.254829592 3) (pow (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))) 3)) (+ (* 0.254829592 0.254829592) (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))) (- (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))) 0.254829592))))
90.0ms	(- (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))) 0.254829592)
148.0ms	(pow (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))) 3)
6.2s	(- 1.0 (/ (/ (* 1.0 (/ (+ (pow 0.254829592 3) (pow (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))) 3)) (+ (* 0.254829592 0.254829592) (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))) (- (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))) 0.254829592))))) (exp (* (fabs x) (fabs x)))) (+ 1.0 (* 0.3275911 (fabs x)))))

simplify3.5min

Counts

109 → 109

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	36	163
1	104	162
2	326	162
3	1466	162
done	5000	162
0	35	162
1	103	162
2	328	162
3	1474	162
done	5001	162
0	35	162
1	106	162
2	333	162
3	1490	162
done	5000	162
0	36	325
1	104	325
2	329	325
3	1474	325
done	5000	325
0	35	162
1	103	162
2	328	162
3	1474	162
done	5001	162
0	36	485
1	105	485
2	343	163
3	1538	163
done	5001	163
0	35	162
1	103	162
2	328	162
3	1474	162
done	5001	162
0	35	162
1	103	162
2	328	162
3	1474	162
done	5001	162
0	36	165
1	117	165
2	389	165
3	1993	165
done	5001	165
0	38	485
1	117	325
2	374	325
3	1787	325
done	5000	325
0	34	160
1	102	160
2	327	160
3	1467	160
done	5000	160
0	36	323
1	111	323
2	360	323
3	1789	323
done	5001	323
0	34	161
1	101	161
2	321	161
3	1430	161
done	5000	161
0	36	163
1	103	163
2	323	163
3	1437	163
done	5000	163
0	36	163
1	104	163
2	325	163
3	1432	163
done	5001	163
0	37	164
1	102	164
2	307	164
3	1356	164
done	5000	164
0	37	164
1	103	164
2	311	164
3	1355	164
done	5001	164
0	34	161
1	102	161
2	327	161
3	1465	161
done	5001	161
0	34	160
1	102	160
2	327	160
3	1467	160
done	5000	160
0	24	48
1	56	48
2	136	48
3	282	48
4	512	48
5	896	48
6	1401	48
7	2340	48
done	5000	48
0	22	47
1	53	47
2	129	47
3	261	47
4	492	47
5	892	47
6	1416	47
7	2349	47
done	5000	47
0	21	46
1	60	46
2	162	46
3	384	46
4	881	46
5	1936	46
6	3868	46
done	5001	46
0	21	46
1	60	46
2	162	46
3	384	46
4	881	46
5	1936	46
6	3868	46
done	5001	46
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	22	49
1	61	49
2	158	49
3	395	49
4	924	49
5	2100	49
6	4630	49
done	5001	49
0	21	46
1	60	46
2	155	46
3	384	46
4	892	46
5	2011	46
6	4307	46
done	5001	46
0	20	45
1	62	43
2	159	43
3	379	43
4	866	43
5	1943	43
6	4031	43
done	5001	43
0	9	10
1	22	10
2	46	10
3	120	10
4	331	10
5	1025	10
6	4267	10
done	5001	10
0	19	36
1	53	36
2	137	36
3	386	36
4	1860	36
done	5000	36
0	19	87
1	61	87
2	205	87
3	757	87
4	3992	87
done	5001	87
0	21	46
1	69	46
2	234	46
3	1011	46
done	5000	46
0	21	46
1	67	46
2	224	46
3	991	46
done	5001	46
0	22	93
1	67	87
2	216	87
3	928	87
done	5000	87
0	21	46
1	67	43
2	216	43
3	932	43
done	5000	43
0	22	137
1	72	91
2	265	47
3	1734	47
done	5001	47
0	9	10
1	22	10
2	46	10
3	120	10
4	331	10
5	1025	10
6	4267	10
done	5001	10
0	19	36
1	53	36
2	137	36
3	386	36
4	1860	36
done	5000	36
0	22	42
1	79	42
2	271	42
3	1388	42
done	5000	42
0	24	113
1	84	80
2	337	80
3	1848	80
done	5000	80
0	22	73
1	71	73
2	254	73
3	1186	73
done	5000	73
0	20	43
1	59	43
2	180	43
3	647	43
4	3327	43
done	5000	43
0	22	49
1	80	49
2	289	49
3	1571	49
done	5000	49
0	23	106
1	73	73
2	262	73
3	1195	73
done	5002	73
0	22	80
1	73	80
2	279	80
3	1429	74
done	5000	74
0	19	36
1	54	36
2	144	36
3	421	36
4	1901	36
done	5000	36
0	20	38
1	64	38
2	190	38
3	713	38
4	4438	38
done	5000	38
0	8	8
1	18	8
2	40	8
3	98	8
4	271	8
5	739	8
6	1993	8
7	4918	8
done	5000	8
0	19	87
1	61	87
2	205	87
3	757	87
4	3992	87
done	5001	87
0	21	46
1	67	46
2	217	46
3	933	46
done	5000	46
0	21	46
1	67	46
2	217	46
3	933	46
done	5000	46
0	22	47
1	61	45
2	158	45
3	379	45
4	871	45
5	1943	45
6	4070	45
done	5000	45
0	22	47
1	61	45
2	158	45
3	379	45
4	871	45
5	1943	45
6	4070	45
done	5000	45
0	22	47
1	61	46
2	164	46
3	422	46
4	1085	46
5	2921	46
done	5000	46
0	21	46
1	58	46
2	153	46
3	377	46
4	907	46
5	2047	46
6	4131	46
done	5000	46
0	21	46
1	61	46
2	165	46
3	427	46
4	1097	46
5	2935	46
done	5000	46
0	22	93
1	59	93
2	154	93
3	380	93
4	912	93
5	2052	93
6	4078	93
done	5000	93
0	21	46
1	58	46
2	153	46
3	377	46
4	907	46
5	2047	46
6	4131	46
done	5000	46
0	22	137
1	60	137
2	169	47
3	506	47
4	2126	47
done	5000	47
0	21	46
1	58	46
2	153	46
3	377	46
4	907	46
5	2047	46
6	4131	46
done	5000	46
0	21	46
1	58	46
2	153	46
3	377	46
4	907	46
5	2047	46
6	4131	46
done	5000	46
0	23	49
1	76	49
2	241	49
3	978	49
done	5000	49
0	24	137
1	75	135
2	247	135
3	945	93
done	5001	93
0	2	2
done	2	2
0	22	91
1	69	91
2	224	91
3	836	91
4	4496	91
done	5000	91
0	20	45
1	56	45
2	150	45
3	367	45
4	880	45
5	1989	45
6	3925	45
done	5001	45
0	18	43
1	50	43
2	143	43
3	371	43
4	880	43
5	2029	43
6	4158	43
done	5000	43
0	18	43
1	48	43
2	126	43
3	309	43
4	751	43
5	1772	43
6	3917	43
done	5000	43
0	2	2
done	2	2
0	30	145
1	89	145
2	273	145
3	1203	145
done	5000	145
0	29	144
1	89	144
2	274	144
3	1206	144
done	5001	144
0	29	144
1	86	144
2	269	144
3	1196	144
done	5001	144
0	32	431
1	122	431
2	490	147
3	2987	145
done	5000	145
0	30	289
1	87	289
2	270	289
3	1200	289
done	5000	289
0	29	144
1	86	144
2	269	144
3	1196	144
done	5001	144
0	30	431
1	94	431
2	308	145
3	1439	145
done	5000	145
0	29	144
1	86	144
2	269	144
3	1196	144
done	5001	144
0	29	144
1	86	144
2	269	144
3	1196	144
done	5001	144
0	24	50
1	79	50
2	255	50
3	1141	50
done	5002	50
0	24	94
1	68	94
2	206	94
3	783	94
4	4341	93
done	5001	93
0	32	291
1	95	291
2	287	291
3	1222	291
done	5000	291
0	30	145
1	87	145
2	270	145
3	1195	145
done	5000	145
0	31	196
1	90	196
2	275	196
3	1210	196
done	5001	196
0	30	145
1	87	145
2	270	145
3	1195	145
done	5000	145
0	27	103
1	83	101
2	241	101
3	967	101
done	5001	101
0	29	144
1	86	144
2	269	144
3	1194	144
done	5000	144
0	31	240
1	90	240
2	273	240
3	1204	240
done	5000	240
0	30	145
1	87	145
2	270	145
3	1195	145
done	5000	145
0	30	145
1	87	145
2	270	145
3	1195	145
done	5000	145
0	30	145
1	87	145
2	270	145
3	1195	145
done	5000	145
0	26	52
1	80	50
2	234	50
3	958	50
done	5002	50
0	29	144
1	86	144
2	269	144
3	1194	144
done	5000	144
0	30	327
1	88	283
2	311	283
3	1347	283
done	5001	283
0	26	140
1	68	140
2	196	140
3	686	140
4	3342	140
done	5000	140
0	29	232
1	85	188
2	305	188
3	1311	188
done	5000	188
0	26	140
1	68	140
2	196	140
3	686	140
4	3342	140
done	5000	140
0	26	139
1	80	93
2	284	93
3	1177	93
done	5002	93
0	25	139
1	67	139
2	195	139
3	687	139
4	3348	139
done	5000	139
0	27	191
1	72	191
2	196	191
3	680	191
4	3292	191
done	5000	191
0	29	144
1	86	144
2	269	144
3	1196	144
done	5001	144
0	26	96
1	69	96
2	193	96
3	677	96
4	3274	96
done	5001	96
0	29	144
1	86	144
2	269	144
3	1196	144
done	5001	144
0	2	3
1	4	1
done	4	1
0	28	143
1	85	143
2	268	143
3	1196	143
done	5000	143
0	27	191
1	72	191
2	196	191
3	680	191
4	3292	191
done	5000	191
0	29	144
1	86	144
2	269	144
3	1196	144
done	5001	144
0	26	96
1	69	96
2	193	96
3	677	96
4	3274	96
done	5001	96
0	29	144
1	86	144
2	269	144
3	1196	144
done	5001	144
0	2	3
1	4	1
done	4	1
0	28	143
1	85	143
2	268	143
3	1196	143
done	5000	143
0	25	95
1	68	95
2	192	95
3	676	95
4	3282	95
done	5001	95
0	28	143
1	85	143
2	268	143
3	1198	143
done	5000	143
0	30	239
1	89	239
2	272	239
3	1206	239
done	5001	239
0	29	144
1	86	144
2	269	144
3	1196	144
done	5001	144
0	25	51
1	79	49
2	233	49
3	957	49
done	5000	49
0	29	144
1	86	144
2	269	144
3	1200	144
done	5002	144
0	29	144
1	86	144
2	269	144
3	1200	144
done	5002	144
0	25	139
1	67	139
2	195	139
3	685	139
4	3349	139
done	5000	139
0	28	143
1	85	143
2	268	143
3	1198	143
done	5000	143
0	28	143
1	85	143
2	268	143
3	1198	143
done	5000	143
0	30	147
1	100	147
2	352	145
3	1938	145
done	5000	145
0	30	237
1	99	235
2	358	233
3	2090	233
done	5001	233
0	32	243
1	107	193
2	429	193
3	2969	193
done	5001	193
0	28	143
1	87	143
2	301	143
3	1522	143
done	5000	143
0	159	1670
1	419	1593
2	1630	1395
done	5001	1395
0	122	1352
1	336	1352
2	1297	1154
done	5000	1154
0	122	1352
1	336	1352
2	1297	1154
done	5000	1154
0	39	111
1	91	111
2	318	45
3	1732	45
done	5000	45
0	27	51
1	66	51
2	231	45
3	1188	45
done	5001	45
0	27	51
1	66	51
2	231	45
3	1188	45
done	5001	45
0	31	58
1	72	58
2	200	43
3	623	43
4	2237	43
done	5001	43
0	30	51
1	70	51
2	191	43
3	582	43
4	2249	43
done	5000	43
0	30	51
1	70	51
2	191	43
3	582	43
4	2249	43
done	5000	43
0	106	301
1	274	287
2	870	251
3	4322	205
done	5000	205
0	98	235
1	252	235
2	725	199
3	3377	199
done	5000	199
0	98	235
1	252	235
2	725	199
3	3377	199
done	5000	199

prune2.9s

Filtered

88 candidates to 109 candidates (-23.9%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	107	2	109
Fresh	1	5	6
Picked	1	0	1
Done	0	1	1
Total	109	8	117

Merged error: 15.1b

Counts

117 → 8

localize42.0ms

Local error

Found 4 expressions with local error:

0.5b	(+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))
0.5b	(+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))
15.1b	(log (exp (* (+ (sqrt 1.0) (/ (sqrt (/ (* 1.0 (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))) (exp (* (fabs x) (fabs x))))) (sqrt (+ 1.0 (* 0.3275911 (fabs x)))))) (- (sqrt 1.0) (/ (sqrt (/ (* 1.0 (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))) (exp (* (fabs x) (fabs x))))) (sqrt (+ 1.0 (* 0.3275911 (fabs x)))))))))
15.1b	(- (sqrt 1.0) (/ (sqrt (/ (* 1.0 (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))) (exp (* (fabs x) (fabs x))))) (sqrt (+ 1.0 (* 0.3275911 (fabs x))))))

rewrite45.0ms

Algorithm

rewrite-expression-head

Rules

33×	`add-sqr-sqrt`
13×	`sqrt-prod` `add-log-exp`
10×	`difference-of-squares`
8×	`times-frac`
7×	`log-prod` `*-un-lft-identity`
5×	`pow1` `add-cube-cbrt`
4×	`add-exp-log` `distribute-rgt-in` `associate-+r+` `distribute-lft-in` `exp-sum` `log-pow` `add-cbrt-cube`
3×	`sub-neg` `sum-log`
2×	`+-commutative` `exp-to-pow` `flip3-+` `flip-+`
1×	`exp-prod` `flip3--` `diff-log` `rem-log-exp` `flip--` `distribute-lft-out--`

Counts

4 → 68

Calls

4 calls:

4.0ms	(+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))
4.0ms	(+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))
5.0ms	(log (exp (* (+ (sqrt 1.0) (/ (sqrt (/ (* 1.0 (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))) (exp (* (fabs x) (fabs x))))) (sqrt (+ 1.0 (* 0.3275911 (fabs x)))))) (- (sqrt 1.0) (/ (sqrt (/ (* 1.0 (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))) (exp (* (fabs x) (fabs x))))) (sqrt (+ 1.0 (* 0.3275911 (fabs x)))))))))
31.0ms	(- (sqrt 1.0) (/ (sqrt (/ (* 1.0 (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))) (exp (* (fabs x) (fabs x))))) (sqrt (+ 1.0 (* 0.3275911 (fabs x))))))

series837.0ms

Counts

4 → 12

Calls

4 calls:

90.0ms	(+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))
89.0ms	(+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))
450.0ms	(log (exp (* (+ (sqrt 1.0) (/ (sqrt (/ (* 1.0 (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))) (exp (* (fabs x) (fabs x))))) (sqrt (+ 1.0 (* 0.3275911 (fabs x)))))) (- (sqrt 1.0) (/ (sqrt (/ (* 1.0 (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))) (exp (* (fabs x) (fabs x))))) (sqrt (+ 1.0 (* 0.3275911 (fabs x)))))))))
207.0ms	(- (sqrt 1.0) (/ (sqrt (/ (* 1.0 (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))) (exp (* (fabs x) (fabs x))))) (sqrt (+ 1.0 (* 0.3275911 (fabs x))))))

simplify3.5min

Counts

80 → 80

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	31	68
1	80	67
2	201	67
3	520	67
4	1486	67
5	4885	67
done	5000	67
0	30	67
1	79	67
2	201	67
3	511	67
4	1481	67
5	4884	67
done	5000	67
0	30	67
1	82	67
2	206	67
3	519	67
4	1496	67
5	4912	67
done	5000	67
0	31	135
1	80	135
2	202	135
3	514	135
4	1478	135
5	4872	135
done	5000	135
0	30	67
1	79	67
2	201	67
3	511	67
4	1481	67
5	4884	67
done	5000	67
0	31	200
1	81	200
2	217	68
3	579	68
4	1705	68
done	5000	68
0	30	67
1	79	67
2	201	67
3	511	67
4	1481	67
5	4884	67
done	5000	67
0	30	67
1	79	67
2	201	67
3	511	67
4	1481	67
5	4884	67
done	5000	67
0	32	70
1	97	70
2	257	70
3	679	70
4	2475	70
done	5000	70
0	33	200
1	93	132
2	230	132
3	554	131
4	1579	130
done	5000	130
0	28	64
1	77	64
2	196	64
3	508	64
4	1473	64
5	4845	64
done	5000	64
0	31	133
1	87	129
2	221	129
3	567	72
4	1672	63
done	5000	63
0	29	66
1	77	66
2	196	66
3	506	66
4	1472	66
5	4866	66
done	5000	66
0	31	68
1	79	68
2	198	68
3	506	68
4	1476	68
5	4862	68
done	5000	68
0	31	68
1	80	68
2	200	68
3	512	68
4	1472	68
5	4873	68
done	5000	68
0	32	69
1	80	69
2	199	69
3	509	69
4	1476	69
5	4877	69
done	5000	69
0	32	69
1	81	69
2	203	69
3	515	69
4	1479	69
5	4885	69
done	5000	69
0	32	69
1	80	69
2	199	69
3	509	69
4	1476	69
5	4877	69
done	5000	69
0	32	69
1	81	69
2	203	69
3	515	69
4	1479	69
5	4885	69
done	5000	69
0	32	69
1	80	69
2	199	69
3	509	69
4	1476	69
5	4877	69
done	5000	69
0	32	69
1	81	69
2	203	69
3	515	69
4	1479	69
5	4885	69
done	5000	69
0	32	69
1	80	69
2	199	69
3	509	69
4	1476	69
5	4877	69
done	5000	69
0	32	69
1	81	69
2	203	69
3	515	69
4	1479	69
5	4885	69
done	5000	69
0	31	68
1	79	68
2	198	68
3	506	68
4	1476	68
5	4862	68
done	5000	68
0	31	68
1	80	68
2	200	68
3	512	68
4	1472	68
5	4873	68
done	5000	68
0	32	69
1	80	69
2	199	69
3	509	69
4	1476	69
5	4877	69
done	5000	69
0	32	69
1	81	69
2	203	69
3	515	69
4	1479	69
5	4885	69
done	5000	69
0	32	69
1	80	69
2	199	69
3	509	69
4	1476	69
5	4877	69
done	5000	69
0	32	69
1	81	69
2	203	69
3	515	69
4	1479	69
5	4885	69
done	5000	69
0	32	69
1	80	69
2	199	69
3	509	69
4	1476	69
5	4877	69
done	5000	69
0	32	69
1	81	69
2	203	69
3	515	69
4	1479	69
5	4885	69
done	5000	69
0	32	69
1	80	69
2	199	69
3	509	69
4	1476	69
5	4877	69
done	5000	69
0	32	69
1	81	69
2	203	69
3	515	69
4	1479	69
5	4885	69
done	5000	69
0	29	66
1	78	66
2	200	66
3	512	66
4	1481	66
5	4901	66
done	5000	66
0	28	64
1	77	64
2	196	64
3	508	64
4	1473	64
5	4845	64
done	5000	64
0	32	71
1	83	69
2	219	69
3	553	68
4	1567	68
done	5000	68
0	33	133
1	88	131
2	238	131
3	629	131
4	1749	131
done	5000	131
0	32	71
1	83	69
2	219	69
3	553	68
4	1567	68
done	5000	68
0	33	133
1	88	131
2	238	131
3	629	131
4	1749	131
done	5000	131
0	32	71
1	88	69
2	222	68
3	560	68
4	1567	68
done	5000	68
0	33	133
1	94	131
2	260	131
3	664	131
4	1794	131
done	5001	131
0	32	71
1	88	69
2	222	68
3	560	68
4	1567	68
done	5000	68
0	33	133
1	94	131
2	260	131
3	664	131
4	1794	131
done	5001	131
0	35	272
1	90	272
2	236	138
3	607	138
4	1710	138
done	5001	138
0	34	136
1	87	136
2	232	136
3	600	136
4	1696	136
done	5000	136
0	34	136
1	87	136
2	232	136
3	601	136
4	1698	136
done	5000	136
0	34	136
1	87	136
2	232	136
3	601	136
4	1698	136
done	5000	136
0	2	2
1	4	1
done	4	1
0	33	135
1	86	133
2	233	133
3	610	133
4	1771	133
done	5001	133
0	32	69
1	85	68
2	206	66
3	518	66
4	1486	66
5	4871	66
done	5000	66
0	31	68
1	82	66
2	205	66
3	516	66
4	1486	66
5	4867	66
done	5000	66
0	33	135
1	86	133
2	233	133
3	610	133
4	1771	133
done	5001	133
0	31	68
1	82	66
2	205	66
3	516	66
4	1486	66
5	4867	66
done	5000	66
0	34	136
1	87	134
2	238	134
3	615	134
4	1779	134
done	5000	134
0	34	136
1	87	134
2	234	134
3	611	134
4	1775	134
done	5000	134
0	35	273
1	88	269
2	235	269
3	612	269
4	1772	269
done	5000	269
0	34	136
1	87	134
2	234	134
3	611	134
4	1775	134
done	5000	134
0	35	407
1	89	401
2	258	135
3	824	135
4	3136	135
done	5001	135
0	34	136
1	87	134
2	234	134
3	611	134
4	1775	134
done	5000	134
0	34	136
1	87	134
2	234	134
3	611	134
4	1775	134
done	5000	134
0	22	47
1	62	46
2	164	46
3	421	46
4	1075	46
5	2775	46
done	5000	46
0	21	46
1	57	46
2	151	46
3	372	46
4	889	46
5	1993	46
6	3943	46
done	5000	46
0	21	46
1	60	46
2	162	46
3	418	46
4	1056	46
5	2666	46
done	5001	46
0	22	93
1	58	93
2	152	93
3	371	93
4	884	93
5	1979	93
6	3933	93
done	5000	93
0	21	46
1	57	46
2	151	46
3	372	46
4	889	46
5	1993	46
6	3943	46
done	5000	46
0	22	137
1	71	137
2	233	47
3	1001	47
done	5002	47
0	21	46
1	57	46
2	151	46
3	372	46
4	889	46
5	1993	46
6	3943	46
done	5000	46
0	21	46
1	57	46
2	151	46
3	372	46
4	889	46
5	1993	46
6	3943	46
done	5000	46
0	23	49
1	75	49
2	227	49
3	952	49
done	5001	49
0	24	137
1	76	93
2	275	93
3	1153	93
done	5002	93
0	22	91
1	69	91
2	236	91
3	976	91
done	5001	91
0	20	45
1	57	45
2	161	45
3	442	45
4	1291	45
5	3825	45
done	5001	45
0	11	12
1	17	12
2	20	12
3	22	12
4	24	12
5	25	12
done	25	12
0	11	12
1	17	12
2	20	12
3	24	12
4	25	12
done	25	12
0	22	47
1	62	46
2	164	46
3	421	46
4	1075	46
5	2775	46
done	5000	46
0	21	46
1	57	46
2	151	46
3	372	46
4	889	46
5	1993	46
6	3943	46
done	5000	46
0	21	46
1	60	46
2	162	46
3	418	46
4	1056	46
5	2666	46
done	5001	46
0	22	93
1	58	93
2	152	93
3	371	93
4	884	93
5	1979	93
6	3933	93
done	5000	93
0	21	46
1	57	46
2	151	46
3	372	46
4	889	46
5	1993	46
6	3943	46
done	5000	46
0	22	137
1	71	137
2	233	47
3	1001	47
done	5002	47
0	21	46
1	57	46
2	151	46
3	372	46
4	889	46
5	1993	46
6	3943	46
done	5000	46
0	21	46
1	57	46
2	151	46
3	372	46
4	889	46
5	1993	46
6	3943	46
done	5000	46
0	23	49
1	75	49
2	227	49
3	952	49
done	5001	49
0	24	137
1	76	93
2	275	93
3	1153	93
done	5002	93
0	22	91
1	69	91
2	236	91
3	976	91
done	5001	91
0	20	45
1	57	45
2	161	45
3	442	45
4	1291	45
5	3825	45
done	5001	45
0	11	12
1	17	12
2	20	12
3	22	12
4	24	12
5	25	12
done	25	12
0	11	12
1	17	12
2	20	12
3	24	12
4	25	12
done	25	12
0	38	78
1	91	78
2	258	63
3	785	63
4	3055	63
done	5000	62
0	38	71
1	90	71
2	250	63
3	771	63
4	3275	63
done	5000	62
0	38	71
1	90	71
2	250	63
3	741	63
4	2982	63
done	5001	62
0	59	157
1	144	156
2	376	126
3	1080	122
4	4033	121
done	5000	121
0	40	143
1	102	142
2	291	126
3	910	122
4	3653	121
done	5001	121
0	40	143
1	96	142
2	275	126
3	839	126
4	3310	122
done	5000	121
0	30	58
1	65	58
2	176	50
3	572	43
4	2117	43
done	5001	43
0	30	51
1	70	51
2	189	43
3	604	43
4	2333	43
done	5000	43
0	30	51
1	70	51
2	189	43
3	607	43
4	2349	43
done	5001	43
0	30	58
1	65	58
2	176	50
3	572	43
4	2117	43
done	5001	43
0	30	51
1	70	51
2	189	43
3	604	43
4	2333	43
done	5000	43
0	30	51
1	70	51
2	189	43
3	607	43
4	2349	43
done	5001	43

prune828.0ms

Filtered

63 candidates to 80 candidates (-27.0%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	80	0	80
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	80	8	88

Merged error: 15.1b

Counts

88 → 8

regimes210.0ms

Accuracy

0% (0.1b remaining)

Error of 13.8b against oracle of 13.7b and baseline of 13.8b

bsearch0.0ms

simplify3.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	28	65
1	39	65
done	39	65

end0.0ms

sample2.0s

Algorithm

intervals

Results

1.2s	3903×	body	160	valid
657.0ms	4097×	body	80	valid

Details

sample75.0ms

simplify1.8s

prune10.0ms

localize33.0ms

rewrite37.0ms

series460.0ms

simplify3.5min

prune569.0ms

localize32.0ms

rewrite45.0ms

series702.0ms

simplify3.7min

prune586.0ms

localize44.0ms

rewrite55.0ms

series7.3s

simplify3.5min

prune2.9s

localize42.0ms

rewrite45.0ms

series837.0ms

simplify3.5min

prune828.0ms

regimes210.0ms

bsearch0.0ms

simplify3.0ms

end0.0ms

sample2.0s

Profiling