Details

sample212.0ms

Algorithm

intervals

Results

80.0ms	84×	body	2560	valid
64.0ms	111×	body	1280	valid
12.0ms	35×	body	640	valid
12.0ms	29×	body	1280	overflowed
7.0ms	326×	pre	80	true
4.0ms	7×	body	2560	overflowed
3.0ms	9×	body	640	overflowed
2.0ms	7×	body	320	valid
1.0ms	17×	body	80	valid
1.0ms	6×	body	320	overflowed
1.0ms	14×	body	80	overflowed
1.0ms	5×	body	160	overflowed
0.0ms	2×	body	160	valid

simplify1.6s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	17	24
1	40	24
2	101	24
3	239	24
4	653	24
5	2835	24
done	5001	24

prune11.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: 59.7b

Counts

2 → 1

localize18.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0))
1.7b	(- (exp (* b eps)) 1.0)
3.0b	(- (exp (* a eps)) 1.0)
4.0b	(- (exp (* (+ a b) eps)) 1.0)

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 76

Calls

4 calls:

12.0ms	(* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0))
4.0ms	(- (exp (* b eps)) 1.0)
4.0ms	(- (exp (* a eps)) 1.0)
5.0ms	(- (exp (* (+ a b) eps)) 1.0)

series50.0ms

Counts

4 → 12

Calls

4 calls:

15.0ms	(* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0))
8.0ms	(- (exp (* b eps)) 1.0)
8.0ms	(- (exp (* a eps)) 1.0)
18.0ms	(- (exp (* (+ a b) eps)) 1.0)

simplify4.1min

Counts

88 → 88

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	10	10
1	16	9
2	36	9
3	53	9
4	94	9
5	197	9
6	549	9
7	1867	9
done	5001	9
0	9	9
1	15	9
2	34	9
3	46	9
4	73	9
5	139	9
6	336	9
7	954	9
8	3405	9
done	5001	9
0	9	9
1	18	9
2	39	9
3	56	9
4	100	9
5	205	9
6	602	9
7	1898	9
done	5000	9
0	10	19
1	16	19
2	35	19
3	47	19
4	74	19
5	140	19
6	342	19
7	967	19
8	3428	19
done	5000	19
0	9	9
1	15	9
2	34	9
3	46	9
4	73	9
5	139	9
6	336	9
7	954	9
8	3405	9
done	5001	9
0	10	26
1	17	26
2	50	10
3	114	10
4	397	10
5	1822	10
done	5000	10
0	9	9
1	15	9
2	34	9
3	46	9
4	73	9
5	139	9
6	336	9
7	954	9
8	3405	9
done	5001	9
0	9	9
1	15	9
2	34	9
3	46	9
4	73	9
5	139	9
6	336	9
7	954	9
8	3405	9
done	5001	9
0	11	12
1	30	12
2	73	12
3	154	12
4	444	12
5	1644	12
done	5000	12
0	12	26
1	25	23
2	58	19
3	116	19
4	293	19
5	681	19
6	2363	19
done	5001	19
0	2	2
done	2	2
0	10	17
1	21	16
2	53	12
3	121	12
4	316	12
5	801	12
6	2816	12
done	5001	12
0	8	8
1	13	8
2	31	8
3	43	8
4	70	8
5	136	8
6	340	8
7	962	8
8	3428	8
done	5000	8
0	10	10
1	15	10
2	33	10
3	46	10
4	74	10
5	140	10
6	340	10
7	970	10
8	3412	10
done	5000	10
0	10	10
1	16	10
2	35	10
3	48	10
4	76	10
5	142	10
6	342	10
7	965	10
8	3444	10
done	5000	10
0	8	8
1	14	8
2	33	8
3	45	8
4	72	8
5	138	8
6	338	8
7	960	8
8	3404	8
done	5000	8
0	2	2
done	2	2
0	8	8
1	13	7
2	21	7
3	34	7
4	67	7
5	154	7
6	404	7
7	1357	7
done	5000	7
0	7	7
1	12	7
2	19	7
3	27	7
4	50	7
5	106	7
6	247	7
7	712	7
8	2442	7
done	5000	7
0	7	7
1	15	7
2	24	7
3	37	7
4	73	7
5	162	7
6	447	7
7	1371	7
done	5000	7
0	8	15
1	13	15
2	20	15
3	28	15
4	51	15
5	107	15
6	248	15
7	701	15
8	2432	15
done	5001	15
0	7	7
1	12	7
2	19	7
3	27	7
4	50	7
5	106	7
6	247	7
7	712	7
8	2442	7
done	5000	7
0	8	20
1	14	20
2	35	8
3	95	8
4	321	8
5	1344	8
done	5000	8
0	7	7
1	12	7
2	19	7
3	27	7
4	50	7
5	106	7
6	247	7
7	712	7
8	2442	7
done	5000	7
0	7	7
1	12	7
2	19	7
3	27	7
4	50	7
5	106	7
6	247	7
7	712	7
8	2442	7
done	5000	7
0	9	10
1	27	10
2	58	10
3	127	10
4	323	10
5	1071	10
done	5000	10
0	10	20
1	22	17
2	43	15
3	73	15
4	160	15
5	430	15
6	1433	15
done	5000	15
0	2	2
done	2	2
0	8	13
1	18	12
2	38	10
3	78	10
4	185	10
5	529	10
6	1748	10
done	5000	10
0	6	6
1	10	6
2	16	6
3	24	6
4	47	6
5	103	6
6	240	6
7	699	6
8	2440	6
done	5000	6
0	8	8
1	12	8
2	18	8
3	27	8
4	51	8
5	107	8
6	250	8
7	717	8
8	2455	8
done	5000	8
0	8	8
1	13	8
2	20	8
3	29	8
4	53	8
5	109	8
6	250	8
7	709	8
8	2452	8
done	5000	8
0	6	6
1	11	6
2	18	6
3	26	6
4	49	6
5	107	6
6	246	6
7	704	6
8	2436	6
done	5001	6
0	2	2
done	2	2
0	8	8
1	13	7
2	21	7
3	34	7
4	67	7
5	154	7
6	404	7
7	1357	7
done	5000	7
0	7	7
1	12	7
2	19	7
3	27	7
4	50	7
5	106	7
6	247	7
7	712	7
8	2442	7
done	5000	7
0	7	7
1	15	7
2	24	7
3	37	7
4	73	7
5	162	7
6	447	7
7	1371	7
done	5000	7
0	8	15
1	13	15
2	20	15
3	28	15
4	51	15
5	107	15
6	248	15
7	701	15
8	2432	15
done	5001	15
0	7	7
1	12	7
2	19	7
3	27	7
4	50	7
5	106	7
6	247	7
7	712	7
8	2442	7
done	5000	7
0	8	20
1	14	20
2	35	8
3	95	8
4	321	8
5	1344	8
done	5000	8
0	7	7
1	12	7
2	19	7
3	27	7
4	50	7
5	106	7
6	247	7
7	712	7
8	2442	7
done	5000	7
0	7	7
1	12	7
2	19	7
3	27	7
4	50	7
5	106	7
6	247	7
7	712	7
8	2442	7
done	5000	7
0	9	10
1	27	10
2	58	10
3	127	10
4	323	10
5	1071	10
done	5000	10
0	10	20
1	22	17
2	43	15
3	73	15
4	160	15
5	430	15
6	1433	15
done	5000	15
0	2	2
done	2	2
0	8	13
1	18	12
2	38	10
3	78	10
4	185	10
5	529	10
6	1748	10
done	5000	10
0	6	6
1	10	6
2	16	6
3	24	6
4	47	6
5	103	6
6	240	6
7	699	6
8	2440	6
done	5000	6
0	8	8
1	12	8
2	18	8
3	27	8
4	51	8
5	107	8
6	250	8
7	717	8
8	2455	8
done	5000	8
0	8	8
1	13	8
2	20	8
3	29	8
4	53	8
5	109	8
6	250	8
7	709	8
8	2452	8
done	5000	8
0	6	6
1	11	6
2	18	6
3	26	6
4	49	6
5	107	6
6	246	6
7	704	6
8	2436	6
done	5001	6
0	2	2
done	2	2
0	11	13
1	21	13
2	44	13
3	99	13
4	283	13
5	806	13
6	2858	13
done	5000	13
0	13	15
1	23	15
2	34	15
3	48	15
4	85	15
5	180	15
6	422	15
7	1174	15
8	4178	15
done	5000	15
0	12	14
1	25	14
2	49	14
3	104	14
4	288	14
5	790	14
6	2788	14
done	5001	14
0	12	14
1	24	14
2	57	14
3	138	14
4	405	14
5	1226	14
6	4760	14
done	5000	14
0	15	41
1	31	41
2	97	17
3	391	17
4	2044	15
done	5001	15
0	13	29
1	23	29
2	46	29
3	101	29
4	283	29
5	791	29
6	2771	29
done	5000	29
0	12	14
1	22	14
2	45	14
3	100	14
4	284	14
5	807	14
6	2815	14
done	5000	14
0	13	41
1	33	41
2	117	15
3	546	15
4	2880	15
done	5001	15
0	12	14
1	22	14
2	45	14
3	100	14
4	284	14
5	807	14
6	2815	14
done	5000	14
0	12	14
1	22	14
2	45	14
3	100	14
4	284	14
5	807	14
6	2815	14
done	5000	14
0	15	21
1	43	21
2	99	21
3	340	21
4	1735	21
done	5001	21
0	18	41
1	49	35
2	149	31
3	587	31
4	2354	31
done	5000	31
0	16	24
1	44	23
2	105	21
3	337	21
4	1683	21
done	5000	21
0	15	27
1	38	24
2	105	22
3	290	22
4	983	22
5	3577	22
done	5001	22
0	16	24
1	44	23
2	105	21
3	337	21
4	1683	21
done	5001	21
0	15	27
1	38	24
2	107	22
3	292	22
4	923	22
5	3479	22
done	5000	22
0	14	27
1	34	25
2	86	21
3	300	21
4	1361	21
done	5000	21
0	11	13
1	26	13
2	59	13
3	125	13
4	318	13
5	899	13
6	3604	13
done	5001	13
0	13	15
1	23	15
2	34	15
3	48	15
4	85	15
5	180	15
6	422	15
7	1174	15
8	4178	15
done	5000	15
0	13	15
1	23	15
2	34	15
3	48	15
4	85	15
5	180	15
6	422	15
7	1174	15
8	4178	15
done	5000	15
0	10	11
1	19	11
2	35	11
3	78	11
4	235	11
5	802	11
6	3456	11
done	5000	11
0	8	9
1	15	9
2	30	9
3	61	9
4	125	8
5	276	8
6	766	8
7	2571	8
done	5000	8
0	10	11
1	19	11
2	35	11
3	78	11
4	235	11
5	802	11
6	3456	11
done	5000	11
0	8	9
1	15	9
2	30	9
3	61	9
4	125	8
5	276	8
6	766	8
7	2571	8
done	5000	8
0	10	11
1	19	11
2	35	11
3	78	11
4	235	11
5	795	11
6	3463	11
done	5000	11
0	8	9
1	15	9
2	36	9
3	64	9
4	137	8
5	306	8
6	859	8
7	2858	8
done	5000	8
0	10	11
1	19	11
2	35	11
3	78	11
4	235	11
5	795	11
6	3463	11
done	5000	11
0	8	9
1	15	9
2	36	9
3	64	9
4	137	8
5	306	8
6	859	8
7	2858	8
done	5000	8
0	13	22
1	25	22
2	44	22
3	83	22
4	166	22
5	358	22
6	894	22
7	2671	22
done	5000	22
0	12	14
1	22	14
2	39	14
3	62	14
4	117	14
5	248	14
6	593	14
7	1750	14
done	5001	14
0	8	8
1	16	6
2	32	6
3	55	6
4	106	6
5	202	6
6	405	6
7	969	6
8	3000	6
done	5000	6
0	13	15
1	29	15
2	58	15
3	112	15
4	239	15
5	494	15
6	1144	15
7	3519	15
done	5001	15
0	8	8
1	16	6
2	32	6
3	55	6
4	106	6
5	202	6
6	405	6
7	969	6
8	3000	6
done	5000	6
0	12	14
1	22	14
2	39	14
3	62	14
4	117	14
5	250	14
6	595	14
7	1748	14
done	5000	14
0	12	14
1	22	14
2	39	14
3	62	14
4	117	14
5	250	14
6	595	14
7	1748	14
done	5000	14
0	11	13
1	21	13
2	44	13
3	99	13
4	283	13
5	806	13
6	2858	13
done	5000	13
0	13	15
1	24	15
2	47	15
3	100	15
4	234	15
5	526	15
6	1264	15
7	3949	15
done	5000	15
0	11	13
1	21	13
2	44	13
3	99	13
4	283	13
5	806	13
6	2858	13
done	5000	13
0	14	17
1	38	17
2	84	17
3	245	17
4	952	17
5	4769	17
done	5000	17
0	13	20
1	29	19
2	68	17
3	196	17
4	689	17
5	2838	17
done	5000	17
0	14	17
1	38	17
2	84	17
3	245	17
4	944	17
5	4801	17
done	5000	17
0	13	20
1	29	19
2	68	17
3	196	17
4	689	17
5	2840	17
done	5000	17
0	13	17
1	31	17
2	94	15
3	148	15
4	206	13
5	239	13
6	289	13
7	432	13
8	988	13
9	2882	13
done	5000	13
0	8	8
1	14	8
2	33	8
3	45	8
4	72	8
5	138	8
6	338	8
7	960	8
8	3404	8
done	5000	8
0	8	8
1	14	8
2	33	8
3	45	8
4	72	8
5	138	8
6	338	8
7	960	8
8	3404	8
done	5000	8
0	17	23
1	48	23
2	173	23
3	443	21
4	1339	21
done	5000	17
0	6	6
1	11	6
2	18	6
3	26	6
4	49	6
5	107	6
6	246	6
7	704	6
8	2436	6
done	5001	6
0	6	6
1	11	6
2	18	6
3	26	6
4	49	6
5	107	6
6	246	6
7	704	6
8	2436	6
done	5001	6
0	17	23
1	48	23
2	173	23
3	449	21
4	1334	21
5	4906	17
done	5000	17
0	6	6
1	11	6
2	18	6
3	26	6
4	49	6
5	107	6
6	246	6
7	704	6
8	2436	6
done	5001	6
0	6	6
1	11	6
2	18	6
3	26	6
4	49	6
5	107	6
6	246	6
7	704	6
8	2436	6
done	5001	6
0	1	1
done	1	1
0	11	13
1	21	13
2	45	13
3	101	13
4	290	13
5	795	13
6	2832	13
done	5000	13
0	11	13
1	21	13
2	45	13
3	101	13
4	290	13
5	795	13
6	2832	13
done	5000	13

prune151.0ms

Filtered

64 candidates to 88 candidates (-37.5%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	85	3	88
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	86	3	89

Merged error: 51.2b

Counts

89 → 3

localize25.0ms

Local error

Found 4 expressions with local error:

3.0b	(- (exp (* a eps)) 1.0)
4.0b	(- (exp (* (+ a b) eps)) 1.0)
4.4b	(/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (* b (+ (* (* b (pow eps 2)) (+ 1/2 (* (* 1/6 b) eps))) eps))))
5.8b	(* b (pow eps 2))

rewrite50.0ms

Algorithm

rewrite-expression-head

Rules

30×	`add-exp-log`
27×	`add-cbrt-cube`
17×	`add-sqr-sqrt`
12×	`prod-exp`
11×	`*-un-lft-identity`
10×	`associate-*r/` `cbrt-unprod`
8×	`associate-r` `associate-/r/` `add-log-exp`
7×	`add-cube-cbrt`
6×	`cbrt-undiv` `flip3--` `div-exp` `flip--`
4×	`pow1` `frac-times` `unpow-prod-down` `unswap-sqr`
3×	`flip3-+` `associate-l` `flip-+`
2×	`sub-neg` `diff-log` `associate-*l/` `associate-/l/` `distribute-lft-out--` `unpow2` `difference-of-squares` `sqr-pow`
1×	`pow-to-exp` `frac-2neg` `times-frac` `pow-exp` `clear-num` `associate-/r` `-commutative` `div-inv` `associate-/l*`

Counts

4 → 90

Calls

4 calls:

4.0ms	(- (exp (* a eps)) 1.0)
9.0ms	(- (exp (* (+ a b) eps)) 1.0)
26.0ms	(/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (* b (+ (* (* b (pow eps 2)) (+ 1/2 (* (* 1/6 b) eps))) eps))))
6.0ms	(* b (pow eps 2))

series776.0ms

Counts

4 → 12

Calls

4 calls:

9.0ms	(- (exp (* a eps)) 1.0)
21.0ms	(- (exp (* (+ a b) eps)) 1.0)
739.0ms	(/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (* b (+ (* (* b (pow eps 2)) (+ 1/2 (* (* 1/6 b) eps))) eps))))
8.0ms	(* b (pow eps 2))

simplify4.3min

Counts

102 → 102

Iterations

Useful iterations: 2 (8.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	15	7
2	25	7
3	34	7
4	40	7
5	50	7
6	72	7
7	133	7
8	345	7
9	1259	7
done	5000	7
0	6	6
1	15	6
2	35	6
3	50	6
4	58	6
5	68	6
6	90	6
7	153	6
8	367	6
9	1307	6
done	5000	6
0	6	6
1	14	6
2	35	6
3	55	6
4	99	6
5	199	6
6	452	6
7	1303	6
8	4632	6
done	5001	6
0	9	17
1	24	13
2	88	9
3	210	9
4	418	7
5	783	7
6	2344	7
done	5000	7
0	7	13
1	13	13
2	29	13
3	34	13
4	40	13
5	50	13
6	74	13
7	136	13
8	358	13
9	1301	13
done	5001	13
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	17
1	23	17
2	95	7
3	242	7
4	390	7
5	564	7
6	1458	7
7	4785	7
done	5000	7
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	7
1	13	7
2	29	4
3	44	4
4	79	4
5	199	4
6	651	4
7	2611	4
done	5000	4
0	7	7
1	13	7
2	29	4
3	44	4
4	79	4
5	199	4
6	651	4
7	2611	4
done	5000	4
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	7	7
1	13	7
2	23	5
3	28	5
4	34	5
5	44	5
6	68	5
7	134	5
8	346	5
9	1274	5
done	5000	5
0	7	7
1	13	7
2	23	5
3	28	5
4	34	5
5	44	5
6	68	5
7	134	5
8	346	5
9	1274	5
done	5000	5
0	7	8
1	13	6
2	26	4
3	40	4
4	76	4
5	200	4
6	658	4
7	2471	4
done	5001	4
0	7	8
1	13	6
2	26	4
3	40	4
4	76	4
5	200	4
6	658	4
7	2471	4
done	5001	4
0	7	9
1	13	9
2	33	9
3	74	9
4	172	6
5	424	6
6	1335	6
done	5001	6
0	6	6
1	12	6
2	28	3
3	45	3
4	83	3
5	205	3
6	642	3
7	2582	3
done	5000	3
0	5	5
1	12	3
2	16	1
done	16	1
0	3	3
1	4	3
done	4	3
0	7	11
1	15	11
2	25	11
3	30	11
4	36	11
5	46	11
6	70	11
7	130	11
8	339	11
9	1266	11
done	5000	11
0	6	6
1	12	6
2	22	4
3	27	4
4	33	4
5	43	4
6	65	4
7	124	4
8	349	4
9	1270	4
done	5000	4
0	3	3
1	6	1
done	6	1
0	6	7
1	12	5
2	25	3
3	41	3
4	78	3
5	194	3
6	648	3
7	2425	3
done	5000	3
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	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	30	40
1	72	40
2	192	40
3	451	40
4	813	40
5	1486	40
6	3197	40
done	5001	40
0	29	39
1	77	39
2	201	39
3	500	39
4	979	39
5	1653	39
6	3397	39
done	5000	39
0	28	38
1	76	38
2	218	38
3	639	38
4	1988	38
done	5000	38
0	29	39
1	72	39
2	190	39
3	443	39
4	820	39
5	1490	39
6	3279	39
done	5000	39
0	28	38
1	77	38
2	201	38
3	483	38
4	1009	38
5	1717	38
6	3558	38
done	5000	38
0	27	37
1	76	37
2	221	37
3	643	37
4	2013	37
done	5001	37
0	26	36
1	77	36
2	264	36
3	886	36
4	2767	36
done	5001	36
0	26	36
1	74	36
2	243	36
3	810	36
4	2604	36
done	5001	36
0	35	107
1	104	107
2	574	45
done	5001	45
0	33	107
1	99	107
2	525	43
3	4871	43
done	5000	43
0	31	107
1	94	107
2	535	41
done	5000	41
0	33	107
1	106	107
2	579	43
done	5000	43
0	31	107
1	101	107
2	530	41
3	4959	41
done	5000	41
0	29	107
1	96	107
2	544	39
done	5000	39
0	27	73
1	75	73
2	242	73
3	791	73
4	2487	73
done	5000	73
0	26	36
1	74	36
2	241	36
3	793	36
4	2487	36
done	5000	36
0	27	107
1	82	107
2	342	37
3	2591	37
done	5001	37
0	26	36
1	74	36
2	241	36
3	793	36
4	2487	36
done	5000	36
0	26	36
1	74	36
2	241	36
3	793	36
4	2487	36
done	5000	36
0	10	11
1	21	11
2	57	11
3	101	11
4	208	10
5	427	10
6	1162	10
7	3995	10
done	5000	10
0	20	25
1	59	25
2	198	25
3	751	25
4	3299	24
done	5000	24
0	7	8
1	12	8
2	19	8
3	27	8
4	50	8
5	106	8
6	247	8
7	712	8
8	2442	8
done	5000	8
0	20	26
1	58	26
2	167	26
3	382	26
4	708	26
5	1225	26
6	3462	26
done	5000	26
0	21	26
1	59	26
2	177	26
3	651	26
4	2738	26
done	5001	26
0	25	35
1	73	35
2	249	35
3	848	35
4	3005	35
done	5000	35
0	13	17
1	26	17
2	59	17
3	106	17
4	236	17
5	719	17
6	3530	17
done	5000	17
0	24	33
1	66	33
2	202	33
3	637	33
4	2190	33
done	5000	33
0	30	43
1	104	43
2	368	43
3	1819	43
done	5000	43
0	30	55
1	96	55
2	357	55
3	1616	51
done	5000	51
0	30	46
1	99	45
2	369	43
3	1902	43
done	5000	43
0	29	58
1	88	57
2	352	55
3	1709	51
done	5000	51
0	28	39
1	91	39
2	334	39
3	1647	39
done	5000	39
0	27	51
1	80	51
2	317	51
3	1477	47
done	5000	47
0	28	39
1	89	39
2	280	39
3	962	39
4	3993	39
done	5000	39
0	27	42
1	81	41
2	275	39
3	1010	39
4	4339	39
done	5000	39
0	28	51
1	85	48
2	288	44
3	1303	44
done	5001	44
0	24	33
1	73	33
2	235	33
3	917	33
4	4426	33
done	5000	33
0	10	10
1	16	9
2	36	9
3	53	9
4	94	9
5	197	9
6	549	9
7	1867	9
done	5001	9
0	9	9
1	15	9
2	34	9
3	46	9
4	73	9
5	139	9
6	336	9
7	954	9
8	3405	9
done	5001	9
0	9	9
1	18	9
2	39	9
3	56	9
4	100	9
5	205	9
6	602	9
7	1898	9
done	5000	9
0	10	19
1	16	19
2	35	19
3	47	19
4	74	19
5	140	19
6	342	19
7	967	19
8	3428	19
done	5000	19
0	9	9
1	15	9
2	34	9
3	46	9
4	73	9
5	139	9
6	336	9
7	954	9
8	3405	9
done	5001	9
0	10	26
1	17	26
2	50	10
3	114	10
4	397	10
5	1822	10
done	5000	10
0	9	9
1	15	9
2	34	9
3	46	9
4	73	9
5	139	9
6	336	9
7	954	9
8	3405	9
done	5001	9
0	9	9
1	15	9
2	34	9
3	46	9
4	73	9
5	139	9
6	336	9
7	954	9
8	3405	9
done	5001	9
0	11	12
1	30	12
2	73	12
3	154	12
4	444	12
5	1644	12
done	5000	12
0	12	26
1	25	23
2	58	19
3	116	19
4	293	19
5	681	19
6	2363	19
done	5001	19
0	2	2
done	2	2
0	10	17
1	21	16
2	53	12
3	121	12
4	316	12
5	801	12
6	2816	12
done	5001	12
0	8	8
1	13	8
2	31	8
3	43	8
4	70	8
5	136	8
6	340	8
7	962	8
8	3428	8
done	5000	8
0	10	10
1	15	10
2	33	10
3	46	10
4	74	10
5	140	10
6	340	10
7	970	10
8	3412	10
done	5000	10
0	10	10
1	16	10
2	35	10
3	48	10
4	76	10
5	142	10
6	342	10
7	965	10
8	3444	10
done	5000	10
0	8	8
1	14	8
2	33	8
3	45	8
4	72	8
5	138	8
6	338	8
7	960	8
8	3404	8
done	5000	8
0	2	2
done	2	2
0	8	8
1	13	7
2	21	7
3	34	7
4	67	7
5	154	7
6	404	7
7	1357	7
done	5000	7
0	7	7
1	12	7
2	19	7
3	27	7
4	50	7
5	106	7
6	247	7
7	712	7
8	2442	7
done	5000	7
0	7	7
1	15	7
2	24	7
3	37	7
4	73	7
5	162	7
6	447	7
7	1371	7
done	5000	7
0	8	15
1	13	15
2	20	15
3	28	15
4	51	15
5	107	15
6	248	15
7	701	15
8	2432	15
done	5001	15
0	7	7
1	12	7
2	19	7
3	27	7
4	50	7
5	106	7
6	247	7
7	712	7
8	2442	7
done	5000	7
0	8	20
1	14	20
2	35	8
3	95	8
4	321	8
5	1344	8
done	5000	8
0	7	7
1	12	7
2	19	7
3	27	7
4	50	7
5	106	7
6	247	7
7	712	7
8	2442	7
done	5000	7
0	7	7
1	12	7
2	19	7
3	27	7
4	50	7
5	106	7
6	247	7
7	712	7
8	2442	7
done	5000	7
0	9	10
1	27	10
2	58	10
3	127	10
4	323	10
5	1071	10
done	5000	10
0	10	20
1	22	17
2	43	15
3	73	15
4	160	15
5	430	15
6	1433	15
done	5000	15
0	2	2
done	2	2
0	8	13
1	18	12
2	38	10
3	78	10
4	185	10
5	529	10
6	1748	10
done	5000	10
0	6	6
1	10	6
2	16	6
3	24	6
4	47	6
5	103	6
6	240	6
7	699	6
8	2440	6
done	5000	6
0	8	8
1	12	8
2	18	8
3	27	8
4	51	8
5	107	8
6	250	8
7	717	8
8	2455	8
done	5000	8
0	8	8
1	13	8
2	20	8
3	29	8
4	53	8
5	109	8
6	250	8
7	709	8
8	2452	8
done	5000	8
0	6	6
1	11	6
2	18	6
3	26	6
4	49	6
5	107	6
6	246	6
7	704	6
8	2436	6
done	5001	6
0	2	2
done	2	2
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	6	7
1	9	7
done	9	7
0	45	154
1	134	153
2	526	147
3	4193	130
done	5000	130
0	45	154
1	136	151
2	530	145
3	4202	130
done	5001	130
0	13	17
1	31	17
2	94	15
3	148	15
4	206	13
5	239	13
6	289	13
7	432	13
8	988	13
9	2882	13
done	5000	13
0	8	8
1	14	8
2	33	8
3	45	8
4	72	8
5	138	8
6	338	8
7	960	8
8	3404	8
done	5000	8
0	8	8
1	14	8
2	33	8
3	45	8
4	72	8
5	138	8
6	338	8
7	960	8
8	3404	8
done	5000	8
0	17	23
1	48	23
2	173	23
3	443	21
4	1339	21
done	5000	17
0	6	6
1	11	6
2	18	6
3	26	6
4	49	6
5	107	6
6	246	6
7	704	6
8	2436	6
done	5001	6
0	6	6
1	11	6
2	18	6
3	26	6
4	49	6
5	107	6
6	246	6
7	704	6
8	2436	6
done	5001	6

prune262.0ms

Filtered

83 candidates to 102 candidates (-22.9%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	100	2	102
Fresh	1	1	2
Picked	1	0	1
Done	0	0	0
Total	102	3	105

Merged error: 0.1b

Counts

105 → 3

localize5.0ms

Local error

Found 1 expressions with local error:

0.0b	(+ (/ 1 b) (/ 1 a))

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

13×	`*-un-lft-identity`
7×	`distribute-lft-out`
6×	`times-frac`
4×	`div-inv`
3×	`add-sqr-sqrt` `add-cube-cbrt` `add-log-exp`
1×	`pow1` `add-exp-log` `+-commutative` `flip3-+` `frac-add` `sum-log` `add-cbrt-cube` `flip-+`

Counts

1 → 19

Calls

1 calls:

13.0ms

(+ (/ 1 b) (/ 1 a))

series3.0ms

Counts

1 → 3

Calls

1 calls:

3.0ms

(+ (/ 1 b) (/ 1 a))

simplify15.0s

Counts

22 → 22

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	8	9
1	13	8
2	14	8
done	14	8
0	7	8
1	10	8
done	10	8
0	7	8
1	13	8
2	14	8
done	14	8
0	8	17
1	11	17
done	11	17
0	7	8
1	10	8
done	10	8
0	8	23
1	24	23
2	68	9
3	197	9
4	616	9
5	1390	9
6	2834	9
7	4191	9
done	5000	9
0	7	8
1	10	8
done	10	8
0	7	8
1	10	8
done	10	8
0	6	7
1	11	3
done	11	3
0	3	3
1	4	3
done	4	3
0	9	11
1	30	11
2	65	11
3	129	11
4	250	11
5	490	11
6	1539	11
done	5000	11
0	10	23
1	30	19
2	65	17
3	150	15
4	212	15
5	280	15
6	357	15
7	443	15
8	555	15
9	596	15
done	596	15
0	8	15
1	23	15
2	43	11
3	97	11
4	160	11
5	249	11
6	384	11
7	656	11
8	2380	11
done	5000	11
0	6	7
1	10	7
2	14	7
done	14	7
0	7	9
1	10	7
done	10	7
0	7	9
1	10	7
done	10	7
0	6	7
1	9	7
done	9	7
0	6	7
1	9	7
done	9	7
0	6	7
1	9	7
done	9	7
0	6	7
1	9	7
done	9	7
0	6	7
1	9	7
done	9	7
0	6	7
1	9	7
done	9	7
0	6	7
1	9	7
done	9	7
0	6	7
1	9	7
done	9	7

prune40.0ms

Filtered

14 candidates to 22 candidates (-57.1%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	21	1	22
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	21	4	25

Merged error: 0.1b

Counts

25 → 4

localize5.0ms

Local error

Found 1 expressions with local error:

15.3b

(/ (+ b a) (* b a))

rewrite8.0ms

Algorithm

rewrite-expression-head

Rules

7×	`*-un-lft-identity`
6×	`add-exp-log` `add-cbrt-cube`
4×	`times-frac` `associate-/l*`
3×	`add-sqr-sqrt` `add-cube-cbrt`
2×	`cbrt-undiv` `div-exp` `associate-/l/` `distribute-lft-out`
1×	`pow1` `frac-2neg` `flip3-+` `prod-exp` `clear-num` `associate-/r*` `cbrt-unprod` `flip-+` `div-inv` `add-log-exp`

Counts

1 → 25

Calls

1 calls:

7.0ms

(/ (+ b a) (* b a))

series7.0ms

Counts

1 → 3

Calls

1 calls:

7.0ms

(/ (+ b a) (* b a))

simplify15.2s

Counts

28 → 28

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	8	10
1	14	10
2	23	10
3	33	10
4	45	10
5	61	10
6	80	10
7	96	10
8	101	10
done	101	10
0	7	9
1	14	9
2	21	9
3	29	9
4	38	9
5	50	9
6	69	9
7	95	9
8	105	9
done	105	9
0	6	8
1	13	8
2	23	8
3	35	8
4	48	8
5	61	8
6	77	8
7	96	8
8	112	8
9	117	8
done	117	8
0	6	8
1	10	8
2	12	8
done	12	8
0	11	23
1	39	23
2	154	13
3	629	13
4	2542	11
done	5001	11
0	9	23
1	41	23
2	165	11
3	763	9
4	2928	9
done	5001	9
0	7	17
1	11	17
2	13	17
done	13	17
0	6	8
1	10	8
2	12	8
done	12	8
0	7	23
1	18	23
2	82	9
3	430	9
4	1724	9
done	5000	9
0	6	8
1	10	8
2	12	8
done	12	8
0	6	8
1	10	8
2	12	8
done	12	8
0	4	4
1	8	4
2	10	4
3	11	4
done	11	4
0	4	4
1	9	4
2	11	4
done	11	4
0	6	11
1	9	11
2	11	11
3	12	11
done	12	11
0	5	6
1	6	6
done	6	6
0	5	6
1	6	6
done	6	6
0	5	6
1	6	6
done	6	6
0	3	3
1	5	3
done	5	3
0	4	5
1	5	5
done	5	5
0	3	3
1	5	3
done	5	3
0	4	5
1	5	5
done	5	5
0	5	5
1	10	5
2	12	5
done	12	5
0	5	7
1	9	7
2	13	7
3	16	7
4	17	7
done	17	7
0	4	5
1	5	5
done	5	5
0	6	8
1	10	8
2	14	8
3	17	8
4	18	8
done	18	8
0	6	8
1	10	8
2	14	8
3	17	8
4	18	8
done	18	8
0	5	7
1	9	7
2	13	7
3	16	7
4	17	7
done	17	7
0	5	7
1	9	7
2	13	7
3	16	7
4	17	7
done	17	7
0	8	15
1	25	13
2	81	13
3	179	13
4	300	13
5	398	13
6	592	13
7	867	13
8	1737	13
9	3775	13
done	5000	13
0	5	7
1	11	7
2	28	7
3	49	7
4	54	7
5	60	7
done	60	7
0	6	7
1	9	7
done	9	7
0	6	7
1	9	7
done	9	7
0	6	7
1	9	7
done	9	7

prune32.0ms

Filtered

22 candidates to 28 candidates (-27.3%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	27	1	28
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	27	5	32

Merged error: 0.1b

Counts

32 → 5

regimes164.0ms

Accuracy

0% (3.3b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	9	7
done	9	7

end0.0ms

sample6.3s

Algorithm

intervals

Results

2.5s	2589×	body	2560	valid
1.9s	3428×	body	1280	valid
359.0ms	1047×	body	640	valid
303.0ms	710×	body	1280	overflowed
218.0ms	10044×	pre	80	true
116.0ms	369×	body	640	overflowed
109.0ms	169×	body	2560	overflowed
89.0ms	350×	body	320	valid
40.0ms	496×	body	80	overflowed
39.0ms	180×	body	320	overflowed
35.0ms	463×	body	80	valid
23.0ms	117×	body	160	overflowed
20.0ms	126×	body	160	valid

Details

sample212.0ms

simplify1.6s

prune11.0ms

localize18.0ms

rewrite28.0ms

series50.0ms

simplify4.1min

prune151.0ms

localize25.0ms

rewrite50.0ms

series776.0ms

simplify4.3min

prune262.0ms

localize5.0ms

rewrite14.0ms

series3.0ms

simplify15.0s

prune40.0ms

localize5.0ms

rewrite8.0ms

series7.0ms

simplify15.2s

prune32.0ms

regimes164.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample6.3s

Profiling