Details

sample35.0ms

Algorithm

intervals

Results

15.0ms	267×	body	80	valid
1.0ms	4×	body	640	valid
1.0ms	3×	body	320	valid
0.0ms	1×	body	1280	valid

simplify1.5s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	12	15
1	54	15
2	141	15
3	301	15
4	896	15
5	2807	15
done	5000	15

prune4.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: 4.4b

Counts

2 → 1

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (tanh (/ t y)) (tanh (/ x y)))
0.0b	(tanh (/ x y))
0.0b	(tanh (/ t y))
4.8b	(* (* y z) (- (tanh (/ t y)) (tanh (/ x y))))

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 78

Calls

4 calls:

8.0ms	(- (tanh (/ t y)) (tanh (/ x y)))
2.0ms	(tanh (/ x y))
2.0ms	(tanh (/ t y))
14.0ms	(* (* y z) (- (tanh (/ t y)) (tanh (/ x y))))

series236.0ms

Counts

4 → 12

Calls

4 calls:

89.0ms	(- (tanh (/ t y)) (tanh (/ x y)))
31.0ms	(tanh (/ x y))
32.0ms	(tanh (/ t y))
84.0ms	(* (* y z) (- (tanh (/ t y)) (tanh (/ x y))))

simplify3.1min

Counts

90 → 90

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	11	13
1	52	13
2	139	13
3	295	13
4	885	13
5	2743	13
done	5000	13
0	11	13
1	52	13
2	139	13
3	295	13
4	885	13
5	2743	13
done	5000	13
0	14	16
1	55	16
2	130	16
3	212	16
4	426	16
5	1039	16
6	2504	16
done	5001	16
0	13	15
1	55	15
2	129	15
3	215	15
4	429	15
5	1042	15
6	2491	15
done	5001	15
0	12	14
1	56	14
2	150	14
3	318	14
4	908	14
5	2774	14
done	5001	14
0	12	14
1	55	14
2	152	14
3	342	14
4	1115	14
5	3801	14
done	5000	14
0	17	41
1	67	41
2	219	19
3	792	19
done	5000	19
0	15	41
1	69	41
2	223	17
3	818	17
done	5000	17
0	13	29
1	54	29
2	141	29
3	297	29
4	887	29
5	2749	29
done	5000	29
0	12	14
1	53	14
2	140	14
3	296	14
4	888	14
5	2748	14
done	5001	14
0	13	41
1	64	41
2	233	15
3	996	15
done	5000	15
0	12	14
1	53	14
2	140	14
3	296	14
4	888	14
5	2748	14
done	5001	14
0	12	14
1	53	14
2	140	14
3	296	14
4	888	14
5	2748	14
done	5001	14
0	7	8
1	30	8
2	88	8
3	197	8
4	464	8
5	1258	8
6	3720	8
done	5001	8
0	8	9
1	33	9
2	93	9
3	236	9
4	717	9
5	2634	9
done	5001	9
0	7	8
1	30	8
2	88	8
3	197	8
4	464	8
5	1258	8
6	3720	8
done	5001	8
0	8	9
1	33	9
2	93	9
3	236	9
4	717	9
5	2634	9
done	5001	9
0	7	8
1	30	8
2	88	8
3	182	8
4	450	8
5	1371	8
6	3718	8
done	5000	8
0	8	9
1	33	9
2	93	9
3	218	9
4	586	9
5	1547	9
6	4811	9
done	5000	9
0	7	8
1	30	8
2	88	8
3	182	8
4	450	8
5	1371	8
6	3718	8
done	5000	8
0	8	9
1	33	9
2	93	9
3	218	9
4	586	9
5	1547	9
6	4811	9
done	5000	9
0	13	25
1	56	25
2	138	25
3	230	25
4	444	25
5	1057	25
6	2510	25
done	5000	25
0	12	14
1	53	14
2	128	14
3	210	14
4	424	14
5	1037	14
6	2492	14
done	5001	14
0	5	5
1	11	3
2	23	3
3	27	3
done	27	3
0	13	15
1	59	15
2	148	15
3	204	15
4	299	15
5	501	15
6	1111	15
7	3370	15
done	5000	15
0	5	5
1	11	3
2	23	3
3	27	3
done	27	3
0	10	11
1	48	11
2	123	11
3	234	11
4	586	11
5	1574	11
6	4597	11
done	5000	11
0	21	47
1	48	47
2	122	47
3	397	47
4	1770	47
done	5000	47
0	22	43
1	53	43
2	127	43
3	482	43
4	2358	43
done	5000	43
0	22	43
1	52	43
2	128	43
3	455	43
4	2077	43
done	5000	43
0	22	43
1	53	43
2	131	43
3	435	43
4	2124	43
done	5000	43
0	21	39
1	52	39
2	134	39
3	515	39
4	2851	39
done	5000	39
0	22	39
1	55	39
2	136	39
3	485	39
4	2495	39
done	5000	39
0	22	43
1	52	43
2	132	43
3	401	43
4	1960	43
done	5000	43
0	22	39
1	55	39
2	135	39
3	473	39
4	2430	39
done	5000	39
0	21	39
1	52	39
2	132	39
3	441	39
4	2205	39
done	5000	39
0	14	17
1	67	17
2	235	17
3	837	17
done	5000	17
0	13	23
1	57	23
2	174	23
3	530	23
4	3036	23
done	5000	23
0	7	10
1	13	10
2	19	10
done	19	10
0	7	10
1	12	10
2	14	10
done	14	10
0	8	8
1	18	8
2	28	8
3	50	8
4	94	8
5	222	8
6	581	8
7	2547	8
done	5000	8
0	8	8
1	16	8
2	25	8
3	41	8
4	73	8
5	155	8
6	358	8
7	1374	8
done	5000	8
0	8	8
1	17	8
2	27	8
3	45	8
4	90	8
5	204	8
6	544	8
7	1929	8
done	5001	8
0	8	8
1	16	8
2	25	8
3	40	8
4	75	8
5	157	8
6	371	8
7	1245	8
done	5000	8
0	5	5
1	24	5
2	67	5
3	98	5
4	152	5
5	265	5
6	602	5
7	1812	5
done	5000	5
0	5	5
1	24	5
2	58	5
3	92	5
4	149	5
5	262	5
6	593	5
7	1792	5
done	5000	5
0	6	11
1	25	11
2	59	11
3	84	11
4	135	11
5	242	11
6	554	11
7	1717	11
done	5001	11
0	5	5
1	24	5
2	58	5
3	83	5
4	134	5
5	241	5
6	553	5
7	1702	5
done	5000	5
0	6	14
1	26	14
2	86	6
3	253	6
4	1335	6
done	5001	6
0	5	5
1	24	5
2	58	5
3	83	5
4	134	5
5	241	5
6	553	5
7	1702	5
done	5000	5
0	5	5
1	24	5
2	58	5
3	83	5
4	134	5
5	241	5
6	553	5
7	1702	5
done	5000	5
0	7	10
1	13	10
2	19	10
done	19	10
0	7	10
1	12	10
2	14	10
done	14	10
0	8	8
1	18	8
2	28	8
3	50	8
4	94	8
5	222	8
6	581	8
7	2547	8
done	5000	8
0	8	8
1	16	8
2	25	8
3	41	8
4	73	8
5	155	8
6	358	8
7	1374	8
done	5000	8
0	8	8
1	17	8
2	27	8
3	45	8
4	90	8
5	204	8
6	544	8
7	1929	8
done	5001	8
0	8	8
1	16	8
2	25	8
3	40	8
4	75	8
5	157	8
6	371	8
7	1245	8
done	5000	8
0	5	5
1	24	5
2	67	5
3	98	5
4	152	5
5	265	5
6	602	5
7	1812	5
done	5000	5
0	5	5
1	24	5
2	58	5
3	92	5
4	149	5
5	262	5
6	593	5
7	1792	5
done	5000	5
0	6	11
1	25	11
2	59	11
3	84	11
4	135	11
5	242	11
6	554	11
7	1717	11
done	5001	11
0	5	5
1	24	5
2	58	5
3	83	5
4	134	5
5	241	5
6	553	5
7	1702	5
done	5000	5
0	6	14
1	26	14
2	86	6
3	253	6
4	1335	6
done	5001	6
0	5	5
1	24	5
2	58	5
3	83	5
4	134	5
5	241	5
6	553	5
7	1702	5
done	5000	5
0	5	5
1	24	5
2	58	5
3	83	5
4	134	5
5	241	5
6	553	5
7	1702	5
done	5000	5
0	10	11
1	47	10
2	111	10
3	206	10
4	474	10
5	1322	10
6	3799	10
done	5000	10
0	9	10
1	46	10
2	115	10
3	197	10
4	411	10
5	1024	10
6	2479	10
done	5001	10
0	9	10
1	49	10
2	120	10
3	222	10
4	506	10
5	1456	10
6	4659	10
done	5000	10
0	10	21
1	47	21
2	116	21
3	198	21
4	412	21
5	1025	21
6	2488	21
done	5000	21
0	9	10
1	46	10
2	115	10
3	197	10
4	411	10
5	1024	10
6	2479	10
done	5001	10
0	10	29
1	48	29
2	131	11
3	303	11
4	1374	11
done	5000	11
0	9	10
1	46	10
2	115	10
3	197	10
4	411	10
5	1024	10
6	2479	10
done	5001	10
0	9	10
1	46	10
2	115	10
3	197	10
4	411	10
5	1024	10
6	2479	10
done	5001	10
0	18	43
1	41	43
2	97	43
3	256	43
4	894	43
5	3730	43
done	5001	43
0	14	21
1	30	21
2	61	21
3	125	21
4	226	21
5	350	21
6	455	21
7	502	21
8	525	21
9	531	21
done	531	21
0	19	39
1	46	39
2	102	39
3	343	39
4	1363	39
done	5001	39
0	15	19
1	34	19
2	68	19
3	188	19
4	426	19
5	1033	19
6	2703	19
done	5000	19
0	19	39
1	45	39
2	103	39
3	316	39
4	1186	39
done	5000	39
0	15	19
1	34	19
2	68	19
3	175	19
4	389	19
5	892	19
6	2563	19
done	5000	19
0	19	39
1	46	39
2	106	39
3	294	39
4	1182	39
done	5000	39
0	15	19
1	34	19
2	72	19
3	154	19
4	369	19
5	955	19
6	2751	19
done	5001	19
0	18	35
1	45	35
2	109	35
3	378	35
4	1783	35
done	5000	35
0	14	17
1	34	17
2	76	17
3	224	17
4	661	17
5	1754	17
done	5001	17
0	19	35
1	48	35
2	111	35
3	348	35
4	1567	35
done	5000	35
0	15	17
1	36	17
2	77	17
3	207	17
4	570	17
5	1523	17
done	5000	17
0	19	39
1	45	39
2	107	39
3	260	39
4	1096	39
5	4926	39
done	5000	39
0	15	19
1	34	19
2	72	19
3	141	19
4	324	19
5	825	19
6	2671	19
done	5000	19
0	19	35
1	48	35
2	110	35
3	336	35
4	1498	35
done	5000	35
0	15	17
1	36	17
2	77	17
3	207	17
4	573	17
5	1508	17
done	5000	17
0	18	35
1	45	35
2	107	35
3	304	35
4	1325	35
done	5000	35
0	14	17
1	34	17
2	75	17
3	184	17
4	492	17
5	1312	17
done	5001	17
0	11	13
1	60	13
2	210	13
3	654	13
4	3509	13
done	5000	13
0	12	29
1	54	24
2	178	24
3	476	24
4	2350	24
done	5000	24
0	5	5
1	24	5
2	64	5
3	97	5
4	167	5
5	317	5
6	792	5
7	3098	5
done	5001	5
0	10	19
1	50	19
2	143	19
3	382	19
4	1880	19
done	5001	19
0	8	9
1	44	9
2	106	9
3	180	9
4	427	9
5	1077	9
6	2498	9
done	5000	9
0	10	11
1	46	11
2	108	11
3	158	11
4	253	11
5	455	11
6	1068	11
7	3348	11
done	5000	11
0	10	11
1	47	11
2	110	11
3	160	11
4	255	11
5	457	11
6	1067	11
7	3329	11
done	5000	11
0	8	9
1	45	9
2	114	9
3	196	9
4	410	9
5	1023	9
6	2476	9
done	5001	9
0	5	5
1	24	5
2	64	5
3	97	5
4	167	5
5	317	5
6	792	5
7	3098	5
done	5001	5
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	10	13
1	28	13
2	97	13
3	520	13
4	2571	11
done	5001	11
0	10	13
1	28	13
2	97	13
3	520	13
4	2571	11
done	5001	11
0	1	1
done	1	1
0	10	13
1	28	13
2	97	13
3	520	13
4	2571	11
done	5001	11
0	10	13
1	28	13
2	97	13
3	520	13
4	2571	11
done	5001	11
0	5	5
1	9	4
2	14	4
3	18	4
4	19	4
done	19	4
0	10	13
1	28	13
2	97	13
3	520	13
4	2571	11
done	5001	11
0	10	13
1	28	13
2	97	13
3	520	13
4	2571	11
done	5001	11

prune175.0ms

Filtered

76 candidates to 90 candidates (-18.4%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	85	5	90
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	85	6	91

Merged error: 1.1b

Counts

91 → 6

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(tanh (/ x y))
0.0b	(tanh (/ t y))
0.5b	(* z (- (tanh (/ t y)) (tanh (/ x y))))
3.7b	(* y (* z (- (tanh (/ t y)) (tanh (/ x y)))))

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 92

Calls

4 calls:

2.0ms	(tanh (/ x y))
2.0ms	(tanh (/ t y))
13.0ms	(* z (- (tanh (/ t y)) (tanh (/ x y))))
14.0ms	(* y (* z (- (tanh (/ t y)) (tanh (/ x y)))))

series251.0ms

Counts

4 → 12

Calls

4 calls:

32.0ms	(tanh (/ x y))
34.0ms	(tanh (/ t y))
107.0ms	(* z (- (tanh (/ t y)) (tanh (/ x y))))
78.0ms	(* y (* z (- (tanh (/ t y)) (tanh (/ x y)))))

simplify3.0min

Counts

104 → 104

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	11	13
1	52	13
2	139	13
3	295	13
4	885	13
5	2743	13
done	5001	13
0	11	13
1	52	13
2	139	13
3	295	13
4	885	13
5	2743	13
done	5001	13
0	14	16
1	55	16
2	130	16
3	212	16
4	426	16
5	1039	16
6	2492	16
done	5000	16
0	13	15
1	55	15
2	135	15
3	250	15
4	602	15
5	1590	15
6	4649	15
done	5000	15
0	12	14
1	56	14
2	150	14
3	318	14
4	908	14
5	2774	14
done	5001	14
0	12	14
1	55	14
2	149	14
3	336	14
4	1101	14
5	3844	14
done	5000	14
0	17	41
1	67	41
2	220	19
3	829	19
done	5001	19
0	15	41
1	69	41
2	230	17
3	953	17
done	5002	17
0	13	29
1	54	29
2	141	29
3	297	29
4	887	29
5	2751	29
done	5000	29
0	12	14
1	53	14
2	140	14
3	296	14
4	888	14
5	2748	14
done	5001	14
0	13	41
1	64	41
2	216	15
3	851	15
done	5001	15
0	12	14
1	53	14
2	140	14
3	296	14
4	888	14
5	2748	14
done	5001	14
0	12	14
1	53	14
2	140	14
3	296	14
4	888	14
5	2748	14
done	5001	14
0	7	8
1	30	8
2	88	8
3	194	8
4	454	8
5	1246	8
6	3661	8
done	5000	8
0	8	9
1	33	9
2	94	9
3	237	9
4	736	9
5	1918	9
done	5001	9
0	7	8
1	30	8
2	88	8
3	194	8
4	454	8
5	1246	8
6	3661	8
done	5000	8
0	8	9
1	33	9
2	94	9
3	237	9
4	736	9
5	1918	9
done	5001	9
0	7	8
1	30	8
2	88	8
3	203	8
4	460	8
5	997	8
6	2916	8
done	5000	8
0	8	9
1	33	9
2	94	9
3	215	9
4	671	9
5	1743	9
done	5000	9
0	7	8
1	30	8
2	88	8
3	203	8
4	460	8
5	997	8
6	2916	8
done	5000	8
0	8	9
1	33	9
2	94	9
3	215	9
4	671	9
5	1743	9
done	5000	9
0	7	8
1	30	8
2	88	8
3	188	8
4	432	8
5	930	8
6	2715	8
done	5000	8
0	8	9
1	33	9
2	94	9
3	233	9
4	703	9
5	1909	9
done	5000	9
0	7	8
1	30	8
2	88	8
3	188	8
4	432	8
5	930	8
6	2715	8
done	5000	8
0	8	9
1	33	9
2	94	9
3	233	9
4	703	9
5	1909	9
done	5000	9
0	7	8
1	30	8
2	88	8
3	179	8
4	426	8
5	927	8
6	2724	8
done	5001	8
0	8	9
1	33	9
2	94	9
3	219	9
4	636	9
5	1642	9
done	5001	9
0	7	8
1	30	8
2	88	8
3	179	8
4	426	8
5	927	8
6	2724	8
done	5001	8
0	8	9
1	33	9
2	94	9
3	219	9
4	636	9
5	1642	9
done	5001	9
0	3	3
1	4	3
done	4	3
0	12	14
1	53	14
2	140	14
3	296	14
4	884	14
5	2746	14
done	5001	14
0	12	14
1	53	14
2	140	14
3	296	14
4	884	14
5	2746	14
done	5001	14
0	11	13
1	52	13
2	139	13
3	295	13
4	885	13
5	2743	13
done	5001	13
0	21	47
1	48	47
2	122	47
3	397	47
4	1762	47
done	5000	47
0	22	43
1	53	43
2	127	43
3	482	43
4	2357	43
done	5001	43
0	22	43
1	52	43
2	128	43
3	455	43
4	2070	43
done	5000	43
0	22	43
1	53	43
2	131	43
3	435	43
4	2136	43
done	5000	43
0	21	39
1	52	39
2	134	39
3	515	39
4	2856	39
done	5000	39
0	22	39
1	55	39
2	136	39
3	485	39
4	2493	39
done	5000	39
0	22	43
1	52	43
2	132	43
3	401	43
4	1967	43
done	5000	43
0	22	39
1	55	39
2	135	39
3	473	39
4	2428	39
done	5000	39
0	21	39
1	52	39
2	132	39
3	441	39
4	2210	39
done	5000	39
0	14	17
1	67	17
2	235	17
3	837	17
done	5000	17
0	13	23
1	57	23
2	174	23
3	531	23
4	3043	23
done	5000	23
0	10	11
1	48	11
2	123	11
3	234	11
4	586	11
5	1574	11
6	4597	11
done	5000	11
0	12	13
1	50	13
2	119	13
3	201	13
4	415	13
5	1028	13
6	2493	13
done	5001	13
0	11	12
1	52	12
2	128	12
3	239	12
4	591	12
5	1579	12
6	4596	12
done	5000	12
0	11	12
1	51	12
2	131	12
3	262	12
4	752	12
5	2369	12
done	5000	12
0	14	35
1	58	35
2	170	15
3	499	15
4	2919	13
done	5001	13
0	12	25
1	50	25
2	125	25
3	236	25
4	588	25
5	1576	25
6	4611	25
done	5000	25
0	11	12
1	49	12
2	124	12
3	235	12
4	587	12
5	1575	12
6	4598	12
done	5000	12
0	12	35
1	60	35
2	182	13
3	547	13
4	2992	13
done	5001	13
0	11	12
1	49	12
2	124	12
3	235	12
4	587	12
5	1575	12
6	4598	12
done	5000	12
0	11	12
1	49	12
2	124	12
3	235	12
4	587	12
5	1575	12
6	4598	12
done	5000	12
0	12	13
1	50	13
2	119	13
3	201	13
4	415	13
5	1028	13
6	2493	13
done	5001	13
0	12	13
1	50	13
2	119	13
3	201	13
4	415	13
5	1028	13
6	2493	13
done	5001	13
0	6	6
1	26	6
2	72	6
3	127	6
4	230	6
5	460	6
6	1216	6
done	5002	6
0	7	7
1	29	7
2	78	7
3	163	7
4	359	7
5	853	7
6	2696	7
done	5001	7
0	6	6
1	26	6
2	72	6
3	127	6
4	230	6
5	460	6
6	1216	6
done	5002	6
0	7	7
1	29	7
2	78	7
3	163	7
4	359	7
5	853	7
6	2696	7
done	5001	7
0	6	6
1	26	6
2	72	6
3	127	6
4	230	6
5	460	6
6	1215	6
done	5000	6
0	7	7
1	29	7
2	78	7
3	145	7
4	322	7
5	705	7
6	2040	7
done	5000	7
0	6	6
1	26	6
2	72	6
3	127	6
4	230	6
5	460	6
6	1215	6
done	5000	6
0	7	7
1	29	7
2	78	7
3	145	7
4	322	7
5	705	7
6	2040	7
done	5000	7
0	12	23
1	52	23
2	123	23
3	205	23
4	419	23
5	1032	23
6	2489	23
done	5000	23
0	11	12
1	49	12
2	118	12
3	200	12
4	414	12
5	1027	12
6	2486	12
done	5000	12
0	3	3
1	6	1
done	6	1
0	12	13
1	55	13
2	118	13
3	168	13
4	263	13
5	465	13
6	1074	13
7	3346	13
done	5000	13
0	3	3
1	6	1
done	6	1
0	11	12
1	49	12
2	124	12
3	235	12
4	587	12
5	1575	12
done	5001	12
0	11	12
1	49	12
2	124	12
3	235	12
4	587	12
5	1575	12
done	5001	12
0	10	11
1	48	11
2	123	11
3	234	11
4	586	11
5	1574	11
6	4597	11
done	5000	11
0	20	45
1	44	45
2	106	45
3	312	45
4	1219	45
done	5000	45
0	21	41
1	49	41
2	111	41
3	397	41
4	1712	41
done	5000	41
0	21	41
1	48	41
2	112	41
3	370	41
4	1513	41
done	5000	41
0	21	41
1	49	41
2	115	41
3	350	41
4	1549	41
done	5000	41
0	20	37
1	48	37
2	118	37
3	432	37
4	2179	37
done	5000	37
0	21	37
1	51	37
2	120	37
3	402	37
4	1902	37
done	5001	37
0	21	41
1	48	41
2	116	41
3	316	41
4	1423	41
done	5000	41
0	21	37
1	51	37
2	119	37
3	390	37
4	1841	37
done	5001	37
0	20	37
1	48	37
2	116	37
3	358	37
4	1643	37
done	5000	37
0	13	15
1	63	15
2	219	15
3	732	15
4	4197	15
done	5000	15
0	12	21
1	53	21
2	156	21
3	438	21
4	2342	21
done	5000	21
0	7	10
1	13	10
2	19	10
done	19	10
0	7	10
1	12	10
2	14	10
done	14	10
0	8	8
1	18	8
2	28	8
3	50	8
4	94	8
5	222	8
6	581	8
7	2547	8
done	5000	8
0	8	8
1	16	8
2	25	8
3	41	8
4	73	8
5	155	8
6	358	8
7	1374	8
done	5000	8
0	8	8
1	17	8
2	27	8
3	45	8
4	90	8
5	204	8
6	544	8
7	1929	8
done	5001	8
0	8	8
1	16	8
2	25	8
3	40	8
4	75	8
5	157	8
6	371	8
7	1245	8
done	5000	8
0	5	5
1	24	5
2	67	5
3	98	5
4	152	5
5	265	5
6	602	5
7	1812	5
done	5000	5
0	5	5
1	24	5
2	58	5
3	92	5
4	149	5
5	262	5
6	593	5
7	1792	5
done	5000	5
0	6	11
1	25	11
2	59	11
3	84	11
4	135	11
5	242	11
6	554	11
7	1717	11
done	5001	11
0	5	5
1	24	5
2	58	5
3	83	5
4	134	5
5	241	5
6	553	5
7	1702	5
done	5000	5
0	6	14
1	26	14
2	86	6
3	253	6
4	1335	6
done	5001	6
0	5	5
1	24	5
2	58	5
3	83	5
4	134	5
5	241	5
6	553	5
7	1702	5
done	5000	5
0	5	5
1	24	5
2	58	5
3	83	5
4	134	5
5	241	5
6	553	5
7	1702	5
done	5000	5
0	7	10
1	13	10
2	19	10
done	19	10
0	7	10
1	12	10
2	14	10
done	14	10
0	8	8
1	18	8
2	28	8
3	50	8
4	94	8
5	222	8
6	581	8
7	2547	8
done	5000	8
0	8	8
1	16	8
2	25	8
3	41	8
4	73	8
5	155	8
6	358	8
7	1374	8
done	5000	8
0	8	8
1	17	8
2	27	8
3	45	8
4	90	8
5	204	8
6	544	8
7	1929	8
done	5001	8
0	8	8
1	16	8
2	25	8
3	40	8
4	75	8
5	157	8
6	371	8
7	1245	8
done	5000	8
0	5	5
1	24	5
2	67	5
3	98	5
4	152	5
5	265	5
6	602	5
7	1812	5
done	5000	5
0	5	5
1	24	5
2	58	5
3	92	5
4	149	5
5	262	5
6	593	5
7	1792	5
done	5000	5
0	6	11
1	25	11
2	59	11
3	84	11
4	135	11
5	242	11
6	554	11
7	1717	11
done	5001	11
0	5	5
1	24	5
2	58	5
3	83	5
4	134	5
5	241	5
6	553	5
7	1702	5
done	5000	5
0	6	14
1	26	14
2	86	6
3	253	6
4	1335	6
done	5001	6
0	5	5
1	24	5
2	58	5
3	83	5
4	134	5
5	241	5
6	553	5
7	1702	5
done	5000	5
0	5	5
1	24	5
2	58	5
3	83	5
4	134	5
5	241	5
6	553	5
7	1702	5
done	5000	5
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	1	1
done	1	1
0	10	13
1	28	13
2	97	13
3	520	13
4	2571	11
done	5001	11
0	10	13
1	28	13
2	97	13
3	520	13
4	2571	11
done	5001	11
0	1	1
done	1	1
0	10	13
1	28	13
2	97	13
3	520	13
4	2571	11
done	5001	11
0	10	13
1	28	13
2	97	13
3	520	13
4	2571	11
done	5001	11

prune175.0ms

Filtered

84 candidates to 104 candidates (-23.8%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	101	3	104
Fresh	0	4	4
Picked	1	0	1
Done	0	1	1
Total	102	8	110

Merged error: 0.6b

Counts

110 → 8

localize15.0ms

Local error

Found 4 expressions with local error:

1.0b	(* z (neg (tanh (/ x y))))
2.0b	(* z (tanh (/ t y)))
4.8b	(* y (* z (tanh (/ t y))))
5.1b	(* y (* z (neg (tanh (/ x y)))))

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

18×	`pow1` `add-exp-log` `associate-*r/` `add-cbrt-cube`
16×	`add-sqr-sqrt`
15×	`associate-r`
12×	`add-cube-cbrt` `-un-lft-identity` `associate-l*`
8×	`pow-prod-down` `prod-exp` `cbrt-unprod`
6×	`distribute-neg-frac`
4×	`*-commutative` `tanh-def` `add-log-exp`
3×	`distribute-lft-neg-in` `distribute-rgt-neg-in` `distribute-rgt-neg-out`
2×	`unswap-sqr`
1×	`neg-mul-1`

Counts

4 → 93

Calls

4 calls:

7.0ms	(* z (neg (tanh (/ x y))))
6.0ms	(* z (tanh (/ t y)))
8.0ms	(* y (* z (tanh (/ t y))))
8.0ms	(* y (* z (neg (tanh (/ x y)))))

series154.0ms

Counts

4 → 12

Calls

4 calls:

41.0ms	(* z (neg (tanh (/ x y))))
38.0ms	(* z (tanh (/ t y)))
37.0ms	(* y (* z (tanh (/ t y))))
37.0ms	(* y (* z (neg (tanh (/ x y)))))

simplify3.0min

Counts

105 → 105

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	8	9
1	33	9
2	94	9
3	237	9
4	736	9
5	1918	9
done	5001	9
0	8	9
1	33	9
2	94	9
3	237	9
4	736	9
5	1918	9
done	5001	9
0	11	12
1	34	12
2	80	12
3	122	12
4	234	12
5	477	12
6	1123	12
7	3985	12
done	5000	12
0	10	11
1	36	11
2	90	11
3	191	11
4	446	11
5	1105	11
6	3413	11
done	5001	11
0	9	10
1	37	10
2	105	10
3	274	10
4	853	10
5	2280	10
done	5000	10
0	9	10
1	36	10
2	104	10
3	282	10
4	916	10
5	2940	10
done	5001	10
0	14	29
1	53	27
2	214	15
3	1176	15
done	5000	15
0	12	29
1	50	29
2	193	13
3	1008	13
done	5000	13
0	10	21
1	35	21
2	96	21
3	239	21
4	737	21
5	1918	21
done	5000	21
0	9	10
1	34	10
2	95	10
3	238	10
4	736	10
5	1920	10
done	5001	10
0	10	29
1	45	29
2	182	11
3	979	11
done	5001	11
0	9	10
1	34	10
2	95	10
3	238	10
4	736	10
5	1920	10
done	5001	10
0	9	10
1	34	10
2	95	10
3	238	10
4	736	10
5	1920	10
done	5001	10
0	7	8
1	30	8
2	88	8
3	194	8
4	454	8
5	1246	8
6	3661	8
done	5000	8
0	3	3
1	4	3
done	4	3
0	9	10
1	34	10
2	95	10
3	238	10
4	736	10
5	1919	10
done	5000	10
0	9	10
1	34	10
2	95	10
3	238	10
4	736	10
5	1919	10
done	5000	10
0	8	9
1	33	9
2	94	9
3	237	9
4	736	9
5	1918	9
done	5001	9
0	11	15
1	23	15
2	53	15
3	126	15
4	251	14
5	406	14
6	669	14
7	976	14
8	1356	14
9	2961	14
10	4310	14
11	4544	14
done	5000	14
0	12	13
1	28	13
2	62	13
3	160	13
4	464	12
5	1548	12
done	5000	12
0	12	13
1	27	13
2	62	13
3	146	12
4	331	12
5	1083	12
6	4759	12
done	5000	12
0	7	8
1	30	8
2	88	8
3	194	8
4	454	8
5	1246	8
6	3661	8
done	5000	8
0	7	8
1	30	8
2	88	8
3	194	8
4	454	8
5	1246	8
6	3661	8
done	5000	8
0	10	11
1	33	11
2	82	11
3	151	11
4	295	11
5	558	11
6	1194	11
7	2856	11
done	5001	11
0	9	10
1	33	10
2	93	10
3	188	10
4	410	10
5	835	10
6	2003	10
done	5001	10
0	8	9
1	34	9
2	99	9
3	240	9
4	589	9
5	1596	9
6	4515	9
done	5000	9
0	8	9
1	33	9
2	98	9
3	235	9
4	672	9
5	2252	9
done	5000	9
0	13	26
1	45	26
2	175	14
3	833	14
done	5000	14
0	11	26
1	47	26
2	191	12
3	1044	12
done	5001	12
0	9	19
1	32	19
2	90	19
3	196	19
4	456	19
5	1242	19
6	3644	19
done	5000	19
0	8	9
1	31	9
2	89	9
3	195	9
4	455	9
5	1253	9
6	3691	9
done	5001	9
0	9	26
1	42	26
2	165	10
3	900	10
done	5000	10
0	8	9
1	31	9
2	89	9
3	195	9
4	455	9
5	1253	9
6	3691	9
done	5001	9
0	8	9
1	31	9
2	89	9
3	195	9
4	455	9
5	1253	9
6	3691	9
done	5001	9
0	3	3
1	4	3
done	4	3
0	8	9
1	31	9
2	89	9
3	195	9
4	455	9
5	1253	9
6	3756	9
done	5001	9
0	8	9
1	31	9
2	89	9
3	195	9
4	455	9
5	1253	9
6	3756	9
done	5001	9
0	7	8
1	30	8
2	88	8
3	194	8
4	454	8
5	1246	8
6	3661	8
done	5000	8
0	10	14
1	20	14
2	44	14
3	80	14
4	123	14
5	199	14
6	355	14
7	450	14
8	615	14
9	1246	14
10	1569	14
11	1609	14
12	1720	14
13	1734	14
done	1734	14
0	11	12
1	25	12
2	53	12
3	111	12
4	238	12
5	613	12
6	1933	12
done	5000	12
0	11	12
1	24	12
2	52	12
3	96	12
4	238	12
5	738	12
6	2881	12
done	5001	12
0	6	6
1	26	6
2	72	6
3	127	6
4	230	6
5	460	6
6	1216	6
done	5002	6
0	8	8
1	28	8
2	71	8
3	114	8
4	190	8
5	329	8
6	717	8
7	2039	8
done	5000	8
0	7	7
1	30	7
2	86	7
3	165	7
4	308	7
5	593	7
6	1482	7
done	5000	7
0	7	7
1	29	7
2	80	7
3	167	7
4	365	7
5	954	7
6	3079	7
done	5000	7
0	10	20
1	36	20
2	125	10
3	472	10
4	3346	8
done	5000	8
0	8	15
1	28	15
2	74	15
3	129	15
4	232	15
5	462	15
6	1223	15
done	5000	15
0	7	7
1	27	7
2	73	7
3	128	7
4	231	7
5	463	7
6	1217	7
done	5000	7
0	8	20
1	38	20
2	143	8
3	594	8
4	4062	8
done	5000	8
0	7	7
1	27	7
2	73	7
3	128	7
4	231	7
5	463	7
6	1217	7
done	5000	7
0	7	7
1	27	7
2	73	7
3	128	7
4	231	7
5	463	7
6	1217	7
done	5000	7
0	8	8
1	28	8
2	62	8
3	87	8
4	138	8
5	245	8
6	556	8
7	1722	8
done	5000	8
0	8	8
1	28	8
2	62	8
3	87	8
4	138	8
5	245	8
6	556	8
7	1722	8
done	5000	8
0	8	13
1	30	13
2	66	13
3	91	13
4	142	13
5	249	13
6	560	13
7	1725	13
done	5001	13
0	7	7
1	27	7
2	61	7
3	86	7
4	137	7
5	244	7
6	556	7
7	1725	7
done	5001	7
0	3	3
1	6	1
done	6	1
0	7	7
1	27	7
2	73	7
3	128	7
4	231	7
5	597	7
6	1794	7
done	5000	7
0	7	7
1	27	7
2	73	7
3	128	7
4	231	7
5	597	7
6	1794	7
done	5000	7
0	6	6
1	26	6
2	72	6
3	127	6
4	230	6
5	460	6
6	1216	6
done	5002	6
0	9	12
1	16	12
2	28	12
3	37	12
4	49	12
5	67	12
6	79	12
7	96	12
8	102	12
9	110	12
10	118	12
done	118	12
0	10	10
1	21	10
2	37	10
3	69	10
4	134	10
5	334	10
6	970	10
7	4113	10
done	5001	10
0	10	10
1	20	10
2	36	10
3	59	10
4	122	10
5	314	10
6	978	10
7	3719	10
done	5001	10
0	7	7
1	29	7
2	78	7
3	163	7
4	359	7
5	853	7
6	2696	7
done	5001	7
0	9	9
1	29	9
2	69	9
3	111	9
4	199	9
5	374	9
6	892	9
7	3395	9
done	5000	9
0	8	8
1	33	8
2	83	8
3	180	8
4	407	8
5	974	8
6	3038	8
done	5000	8
0	8	8
1	32	8
2	88	8
3	195	8
4	496	8
5	1342	8
6	4733	8
done	5000	8
0	11	23
1	44	21
2	162	11
3	790	11
done	5002	11
0	9	17
1	31	17
2	80	17
3	165	17
4	361	17
5	855	17
6	2690	17
done	5001	17
0	8	8
1	30	8
2	79	8
3	164	8
4	360	8
5	856	8
6	2702	8
done	5000	8
0	9	23
1	41	23
2	143	9
3	594	9
done	5000	9
0	8	8
1	30	8
2	79	8
3	164	8
4	360	8
5	856	8
6	2702	8
done	5000	8
0	8	8
1	30	8
2	79	8
3	164	8
4	360	8
5	856	8
6	2702	8
done	5000	8
0	9	9
1	29	9
2	69	9
3	102	9
4	172	9
5	322	9
6	797	9
7	3124	9
done	5000	9
0	9	9
1	29	9
2	69	9
3	102	9
4	172	9
5	322	9
6	797	9
7	3124	9
done	5000	9
0	6	6
1	26	6
2	72	6
3	127	6
4	230	6
5	460	6
6	1216	6
done	5002	6
0	9	15
1	31	15
2	73	15
3	106	15
4	176	15
5	326	15
6	804	15
7	3134	15
done	5000	15
0	8	8
1	28	8
2	68	8
3	101	8
4	171	8
5	321	8
6	799	8
7	3122	8
done	5001	8
0	3	3
1	6	1
done	6	1
0	3	3
1	4	3
2	5	2
done	5	2
0	9	14
1	34	14
2	80	14
3	112	14
4	165	14
5	272	14
6	586	14
7	1762	14
done	5000	14
0	8	8
1	30	8
2	67	8
3	93	8
4	144	8
5	251	8
6	564	8
7	1726	8
done	5001	8
0	4	4
1	10	3
2	13	2
3	18	2
4	20	2
done	20	2
0	8	13
1	30	13
2	66	13
3	91	13
4	142	13
5	249	13
6	560	13
7	1725	13
done	5001	13
0	7	7
1	27	7
2	61	7
3	86	7
4	137	7
5	244	7
6	556	7
7	1725	7
done	5001	7
0	3	3
1	6	1
done	6	1
0	8	8
1	30	8
2	79	8
3	164	8
4	360	8
5	1031	8
6	3967	8
done	5000	8
0	8	8
1	30	8
2	79	8
3	164	8
4	360	8
5	1031	8
6	3967	8
done	5000	8
0	7	7
1	29	7
2	78	7
3	163	7
4	359	7
5	853	7
6	2696	7
done	5001	7
0	10	13
1	19	13
2	37	13
3	68	13
4	91	12
5	142	12
6	178	12
7	220	12
8	329	12
9	585	12
10	1093	12
11	1106	12
12	1172	12
13	1456	12
14	1538	12
done	1538	12
0	11	11
1	24	11
2	46	11
3	102	11
4	246	10
5	703	10
6	2289	10
done	5000	10
0	11	11
1	23	11
2	46	11
3	88	10
4	173	10
5	540	10
6	2346	10
done	5000	10
0	5	5
1	10	4
2	22	4
done	22	4
0	1	1
done	1	1
0	1	1
done	1	1
0	3	3
1	4	3
done	4	3
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	1	1
done	1	1
0	7	7
1	14	6
2	32	6
3	64	6
4	96	6
5	108	6
done	108	6
0	7	7
1	14	6
2	32	6
3	64	6
4	96	6
5	108	6
done	108	6

prune137.0ms

Filtered

86 candidates to 105 candidates (-22.1%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	103	2	105
Fresh	4	2	6
Picked	1	0	1
Done	1	0	1
Total	109	4	113

Merged error: 0b

Counts

113 → 4

localize16.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt y)
0.6b	(cbrt y)
1.9b	(* (* (cbrt y) (cbrt y)) (* (cbrt y) (* z (- (tanh (/ t y)) (tanh (/ x y))))))
2.0b	(* (cbrt y) (* z (- (tanh (/ t y)) (tanh (/ x y)))))

rewrite50.0ms

Algorithm

rewrite-expression-head

Rules

55×	`associate-*r/`
32×	`distribute-rgt-in` `distribute-lft-in`
30×	`pow1` `add-exp-log`
18×	`pow-prod-down` `prod-exp` `frac-sub` `add-cbrt-cube` `cbrt-unprod`
12×	`sub-neg` `tanh-def`
9×	`cbrt-prod`
8×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
7×	`associate-l`
4×	`add-log-exp`
2×	`flip3--` `pow1/3` `associate-r` `*-commutative` `flip--`

Counts

4 → 117

Calls

4 calls:

1.0ms	(cbrt y)
1.0ms	(cbrt y)
27.0ms	(* (* (cbrt y) (cbrt y)) (* (cbrt y) (* z (- (tanh (/ t y)) (tanh (/ x y))))))
15.0ms	(* (cbrt y) (* z (- (tanh (/ t y)) (tanh (/ x y)))))

series279.0ms

Counts

4 → 12

Calls

4 calls:

25.0ms	(cbrt y)
26.0ms	(cbrt y)
90.0ms	(* (* (cbrt y) (cbrt y)) (* (cbrt y) (* z (- (tanh (/ t y)) (tanh (/ x y))))))
137.0ms	(* (cbrt y) (* z (- (tanh (/ t y)) (tanh (/ x y)))))

simplify4.3min

Counts

129 → 129

Iterations

Useful iterations: 3 (3.0ms)

Iter	Nodes	Cost
0	12	14
1	53	14
2	140	14
3	296	14
4	884	14
5	2746	14
done	5001	14
0	12	14
1	53	14
2	140	14
3	296	14
4	884	14
5	2746	14
done	5001	14
0	15	17
1	56	17
2	131	17
3	213	17
4	427	17
5	1040	17
6	2497	17
done	5001	17
0	14	16
1	56	16
2	136	16
3	251	16
4	603	16
5	1591	16
6	4626	16
done	5000	16
0	13	15
1	57	15
2	151	15
3	319	15
4	909	15
5	2771	15
done	5001	15
0	13	15
1	56	15
2	150	15
3	337	15
4	1103	15
5	3850	15
done	5001	15
0	15	37
1	62	37
2	195	17
3	636	17
4	3859	15
done	5000	15
0	13	37
1	64	37
2	207	15
3	738	15
4	4224	15
done	5000	15
0	14	31
1	55	31
2	142	31
3	298	31
4	888	31
5	2750	31
done	5000	31
0	13	15
1	54	15
2	141	15
3	297	15
4	885	15
5	2747	15
done	5000	15
0	14	44
1	65	44
2	217	16
3	856	16
done	5000	16
0	13	15
1	54	15
2	141	15
3	297	15
4	885	15
5	2747	15
done	5000	15
0	13	15
1	54	15
2	141	15
3	297	15
4	885	15
5	2747	15
done	5000	15
0	8	9
1	31	9
2	89	9
3	195	9
4	455	9
5	1253	9
6	3756	9
done	5001	9
0	9	10
1	34	10
2	95	10
3	238	10
4	736	10
5	1919	10
done	5000	10
0	8	9
1	31	9
2	89	9
3	195	9
4	455	9
5	1253	9
6	3756	9
done	5001	9
0	9	10
1	34	10
2	95	10
3	238	10
4	736	10
5	1919	10
done	5000	10
0	8	9
1	31	9
2	89	9
3	204	9
4	461	9
5	1192	9
6	3726	9
done	5000	9
0	9	10
1	34	10
2	95	10
3	216	10
4	672	10
5	1744	10
done	5000	10
0	8	9
1	31	9
2	89	9
3	204	9
4	461	9
5	1192	9
6	3726	9
done	5000	9
0	9	10
1	34	10
2	95	10
3	216	10
4	672	10
5	1744	10
done	5000	10
0	8	9
1	31	9
2	89	9
3	189	9
4	433	9
5	932	9
6	2930	9
done	5000	9
0	9	10
1	34	10
2	95	10
3	234	10
4	704	10
5	1908	10
done	5001	10
0	8	9
1	31	9
2	89	9
3	189	9
4	433	9
5	932	9
6	2930	9
done	5000	9
0	9	10
1	34	10
2	95	10
3	234	10
4	704	10
5	1908	10
done	5001	10
0	8	9
1	31	9
2	89	9
3	180	9
4	427	9
5	928	9
6	2953	9
done	5000	9
0	9	10
1	34	10
2	95	10
3	220	10
4	637	10
5	1643	10
done	5000	10
0	8	9
1	31	9
2	89	9
3	180	9
4	427	9
5	928	9
6	2953	9
done	5000	9
0	9	10
1	34	10
2	95	10
3	220	10
4	637	10
5	1643	10
done	5000	10
0	4	4
1	5	4
done	5	4
0	13	15
1	54	15
2	141	15
3	297	15
4	885	15
5	2751	15
done	5001	15
0	13	15
1	54	15
2	141	15
3	297	15
4	885	15
5	2751	15
done	5001	15
0	12	14
1	53	14
2	140	14
3	296	14
4	884	14
5	2746	14
done	5001	14
0	13	15
1	54	15
2	141	15
3	297	15
4	885	15
5	2751	15
done	5001	15
0	13	15
1	54	15
2	141	15
3	297	15
4	885	15
5	2751	15
done	5001	15
0	12	14
1	53	14
2	140	14
3	296	14
4	884	14
5	2746	14
done	5001	14
0	22	48
1	49	48
2	123	48
3	398	48
4	1764	48
done	5000	48
0	23	44
1	54	44
2	128	44
3	483	44
4	2359	44
done	5001	44
0	23	44
1	53	44
2	129	44
3	456	44
4	2084	44
done	5000	44
0	23	44
1	54	44
2	132	44
3	438	44
4	2132	44
done	5000	44
0	22	40
1	53	40
2	135	40
3	516	40
4	2865	40
done	5000	40
0	23	40
1	56	40
2	137	40
3	488	40
4	2499	40
done	5000	40
0	23	44
1	53	44
2	133	44
3	404	44
4	1954	44
done	5000	44
0	23	40
1	56	40
2	136	40
3	476	40
4	2436	40
done	5000	40
0	22	40
1	53	40
2	133	40
3	442	40
4	2204	40
done	5000	40
0	15	18
1	68	18
2	236	18
3	840	18
done	5000	18
0	14	24
1	58	24
2	175	24
3	532	24
4	3038	24
done	5001	24
0	14	20
1	60	20
2	165	20
3	401	16
4	1386	13
done	5001	13
0	14	20
1	60	20
2	165	20
3	401	16
4	1386	13
done	5001	13
0	14	20
1	60	20
2	165	20
3	401	16
4	1386	13
done	5001	13
0	14	20
1	60	20
2	165	20
3	401	16
4	1386	13
done	5001	13
0	14	20
1	60	20
2	165	20
3	401	16
4	1386	13
done	5001	13
0	14	20
1	60	20
2	165	20
3	401	16
4	1386	13
done	5001	13
0	17	25
1	64	23
2	161	19
3	275	19
4	493	19
5	1106	19
6	2560	19
done	5000	19
0	16	24
1	64	22
2	158	18
3	299	18
4	666	18
5	1654	18
6	4692	18
done	5000	18
0	16	23
1	63	21
2	165	21
3	356	18
4	991	18
5	2856	18
done	5000	18
0	18	24
1	63	24
2	157	23
3	277	19
4	500	19
5	1113	19
6	2566	19
done	5000	19
0	17	23
1	63	23
2	156	22
3	300	18
4	671	18
5	1659	18
6	4697	18
done	5000	18
0	16	22
1	62	22
2	165	21
3	355	18
4	992	18
5	2850	18
done	5000	18
0	15	21
1	64	21
2	182	21
3	455	17
4	1506	14
done	5000	14
0	15	21
1	63	21
2	178	21
3	468	17
4	1716	14
done	5002	14
0	17	41
1	69	41
2	223	21
3	859	19
done	5002	19
0	15	41
1	71	41
2	234	19
3	981	17
done	5001	17
0	16	48
1	72	48
2	257	20
3	1297	20
done	5000	20
0	20	55
1	80	55
2	272	25
3	1256	21
done	5001	21
0	18	55
1	82	55
2	282	23
3	1333	19
done	5000	19
0	18	62
1	81	62
2	298	24
3	1567	19
done	5001	19
0	16	43
1	62	43
2	167	43
3	404	35
4	1391	29
done	5000	29
0	15	21
1	61	21
2	166	21
3	403	17
4	1390	14
done	5000	14
0	16	62
1	72	62
2	269	22
3	1302	18
done	5001	18
0	15	21
1	61	21
2	166	21
3	403	17
4	1390	14
done	5000	14
0	15	21
1	61	21
2	166	21
3	403	17
4	1390	14
done	5000	14
0	10	15
1	38	15
2	113	15
3	333	11
4	1011	8
5	2883	8
done	5000	8
0	11	16
1	41	16
2	121	16
3	365	12
4	1472	9
5	4764	9
done	5000	9
0	10	15
1	38	15
2	113	15
3	333	11
4	1011	8
5	2883	8
done	5000	8
0	11	16
1	41	16
2	121	16
3	365	12
4	1472	9
5	4764	9
done	5000	9
0	10	15
1	38	15
2	113	15
3	318	11
4	1029	8
5	2734	8
done	5001	8
0	11	16
1	41	16
2	121	16
3	327	12
4	1283	9
5	4715	9
done	5000	9
0	10	15
1	38	15
2	113	15
3	318	11
4	1029	8
5	2734	8
done	5001	8
0	11	16
1	41	16
2	121	16
3	327	12
4	1283	9
5	4715	9
done	5000	9
0	10	15
1	38	15
2	112	15
3	306	11
4	1000	8
5	2527	8
done	5001	8
0	11	16
1	41	16
2	120	16
3	352	12
4	1400	9
5	4930	9
done	5000	9
0	10	15
1	38	15
2	112	15
3	306	11
4	1000	8
5	2527	8
done	5001	8
0	11	16
1	41	16
2	120	16
3	352	12
4	1400	9
5	4930	9
done	5000	9
0	10	15
1	38	15
2	112	15
3	309	11
4	931	8
5	2453	8
done	5001	8
0	11	16
1	41	16
2	120	16
3	339	12
4	1308	9
5	4313	9
done	5000	9
0	10	15
1	38	15
2	112	15
3	309	11
4	931	8
5	2453	8
done	5001	8
0	11	16
1	41	16
2	120	16
3	339	12
4	1308	9
5	4313	9
done	5000	9
0	10	15
1	38	15
2	112	15
3	328	11
4	972	8
5	2879	8
done	5001	8
0	11	16
1	41	16
2	120	16
3	361	12
4	1384	9
5	4605	9
done	5000	9
0	10	15
1	38	15
2	112	15
3	328	11
4	972	8
5	2879	8
done	5001	8
0	11	16
1	41	16
2	120	16
3	361	12
4	1384	9
5	4605	9
done	5000	9
0	10	15
1	38	15
2	112	15
3	325	11
4	1002	8
5	2743	8
done	5000	8
0	11	16
1	41	16
2	120	16
3	338	12
4	1303	9
5	4541	9
done	5001	9
0	10	15
1	38	15
2	112	15
3	325	11
4	1002	8
5	2743	8
done	5000	8
0	11	16
1	41	16
2	120	16
3	338	12
4	1303	9
5	4541	9
done	5001	9
0	10	15
1	38	15
2	116	11
3	306	8
4	927	8
5	2452	8
done	5001	8
0	11	16
1	41	16
2	123	12
3	348	9
4	1252	9
5	4740	9
done	5000	9
0	10	15
1	38	15
2	116	11
3	306	8
4	927	8
5	2452	8
done	5001	8
0	11	16
1	41	16
2	123	12
3	348	9
4	1252	9
5	4740	9
done	5000	9
0	10	15
1	38	15
2	116	11
3	322	8
4	917	8
5	2443	8
done	5000	8
0	11	16
1	41	16
2	123	12
3	350	9
4	1285	9
5	4274	9
done	5000	9
0	10	15
1	38	15
2	116	11
3	322	8
4	917	8
5	2443	8
done	5000	8
0	11	16
1	41	16
2	123	12
3	350	9
4	1285	9
5	4274	9
done	5000	9
0	4	8
1	5	8
2	7	4
3	12	1
4	16	1
5	22	1
6	32	1
7	55	1
8	122	1
9	333	1
10	1272	1
done	5000	1
0	13	17
1	57	17
2	152	17
3	347	17
4	1136	17
5	3991	17
done	5000	17
0	24	54
1	56	54
2	147	54
3	524	50
4	2672	47
done	5000	47
0	25	50
1	61	50
2	153	50
3	610	46
4	3376	43
done	5000	43
0	25	50
1	60	50
2	154	50
3	581	46
4	3013	43
done	5001	43
0	25	50
1	61	50
2	157	50
3	563	46
4	3023	43
done	5001	43
0	24	46
1	60	46
2	159	46
3	642	42
4	3863	39
done	5001	39
0	25	46
1	63	46
2	162	46
3	615	42
4	3453	39
done	5001	39
0	25	50
1	60	50
2	158	50
3	529	46
4	2831	43
done	5000	43
0	25	46
1	63	46
2	161	46
3	603	42
4	3393	39
done	5000	39
0	24	46
1	60	46
2	157	46
3	567	42
4	3082	39
done	5001	39
0	17	24
1	75	24
2	261	24
3	956	20
done	5002	20
0	16	30
1	65	30
2	200	30
3	676	26
4	3996	23
done	5001	23
0	3	3
done	3	3
0	3	3
done	3	3
0	4	6
done	4	6
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	2	2
1	4	1
done	4	1
0	2	2
done	2	2
0	4	7
done	4	7
0	3	3
done	3	3
0	4	8
1	5	8
2	7	4
3	12	1
4	16	1
5	22	1
6	32	1
7	55	1
8	122	1
9	333	1
10	1272	1
done	5000	1
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	4	6
done	4	6
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	2	2
1	4	1
done	4	1
0	2	2
done	2	2
0	4	7
done	4	7
0	3	3
done	3	3
0	4	8
1	5	8
2	7	4
3	12	1
4	16	1
5	22	1
6	32	1
7	55	1
8	122	1
9	333	1
10	1272	1
done	5000	1
0	3	3
done	3	3
0	3	3
done	3	3
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	8	8
1	20	7
2	28	5
3	50	2
4	87	2
5	174	2
6	360	2
7	911	2
8	3082	2
done	5000	2
0	9	10
1	19	8
2	35	5
3	72	2
4	126	2
5	264	2
6	568	2
7	1635	2
done	5000	2
0	12	13
1	23	12
2	40	11
3	95	10
4	227	9
5	546	7
6	1204	6
7	3460	2
done	5000	2
0	8	8
1	20	7
2	28	5
3	50	2
4	87	2
5	174	2
6	360	2
7	911	2
8	3082	2
done	5000	2
0	9	10
1	19	8
2	35	5
3	72	2
4	126	2
5	264	2
6	568	2
7	1635	2
done	5000	2
0	12	13
1	23	12
2	40	11
3	95	10
4	227	9
5	546	7
6	1204	6
7	3460	2
done	5000	2

prune159.0ms

Filtered

93 candidates to 129 candidates (-38.7%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	129	0	129
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	129	4	133

Merged error: 0b

Counts

133 → 4

regimes247.0ms

Accuracy

0% (2.3b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	22
1	19	22
done	19	22

end0.0ms

sample977.0ms

Algorithm

intervals

Results

467.0ms	8336×	body	80	valid
19.0ms	91×	body	640	valid
15.0ms	50×	body	1280	valid
9.0ms	54×	body	320	valid
4.0ms	38×	body	160	valid

Details

sample35.0ms

simplify1.5s

prune4.0ms

localize11.0ms

rewrite29.0ms

series236.0ms

simplify3.1min

prune175.0ms

localize12.0ms

rewrite38.0ms

series251.0ms

simplify3.0min

prune175.0ms

localize15.0ms

rewrite32.0ms

series154.0ms

simplify3.0min

prune137.0ms

localize16.0ms

rewrite50.0ms

series279.0ms

simplify4.3min

prune159.0ms

regimes247.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample977.0ms

Profiling