Details

sample67.0ms

Algorithm

intervals

Results

25.0ms

702×

body

valid

simplify4.8s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	7	8
1	18	8
2	40	8
3	99	8
4	215	8
5	369	8
6	612	8
7	1442	8
8	3523	8
done	5000	8

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: 8.8b

Counts

2 → 1

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b	(* (cosh x) (/ y x))
8.2b	(/ (* (cosh x) (/ y x)) z)

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

17×	`add-sqr-sqrt`
16×	`add-exp-log` `add-cbrt-cube`
13×	`times-frac` `associate-r`
12×	`add-cube-cbrt` `*-un-lft-identity`
5×	`cbrt-undiv` `div-exp`
4×	`pow1` `cosh-def` `prod-exp` `cbrt-unprod`
3×	`associate-l` `associate-/r*` `associate-/l/`
2×	`frac-times` `associate-r/` `associate-l/` `div-inv` `add-log-exp` `unswap-sqr`
1×	`frac-2neg` `pow-prod-down` `clear-num` `-commutative` `associate-/l`

Counts

2 → 60

Calls

2 calls:

8.0ms	(* (cosh x) (/ y x))
7.0ms	(/ (* (cosh x) (/ y x)) z)

series55.0ms

Counts

2 → 6

Calls

2 calls:

24.0ms	(* (cosh x) (/ y x))
31.0ms	(/ (* (cosh x) (/ y x)) z)

simplify3.3min

Counts

66 → 66

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	11	12
1	26	12
2	53	12
3	137	12
4	355	12
5	809	12
6	1514	12
7	1790	12
8	1868	12
done	1868	12
0	10	11
1	24	11
2	45	11
3	105	11
4	288	11
5	776	11
6	1417	11
7	1734	11
8	1855	11
done	1855	11
0	9	10
1	23	10
2	49	10
3	114	10
4	307	10
5	860	10
6	1601	10
7	2478	10
8	4377	10
done	5000	10
0	8	9
1	22	9
2	55	9
3	155	9
4	418	9
5	1038	9
6	2052	9
7	3696	9
done	5001	9
0	8	9
1	19	9
2	41	9
3	102	9
4	228	9
5	406	9
6	735	9
7	2016	9
done	5001	9
0	15	26
1	44	26
2	208	16
3	1436	14
done	5001	14
0	13	26
1	40	26
2	177	14
3	991	14
done	5000	14
0	11	26
1	38	26
2	187	12
3	1322	10
done	5000	10
0	9	19
1	20	19
2	42	19
3	101	19
4	217	19
5	371	19
6	615	19
7	1446	19
8	3564	19
done	5001	19
0	8	9
1	19	9
2	41	9
3	100	9
4	216	9
5	367	9
6	610	9
7	1444	9
8	3526	9
done	5000	9
0	9	26
1	27	26
2	92	10
3	497	10
4	4830	10
done	5000	10
0	8	9
1	19	9
2	41	9
3	100	9
4	216	9
5	367	9
6	610	9
7	1444	9
8	3526	9
done	5000	9
0	8	9
1	19	9
2	41	9
3	100	9
4	216	9
5	367	9
6	610	9
7	1444	9
8	3526	9
done	5000	9
0	6	7
1	19	7
2	43	7
3	94	7
4	185	7
5	323	7
6	640	7
7	1330	7
8	2904	7
done	5001	7
0	2	2
done	2	2
0	6	8
1	14	8
2	21	8
3	31	8
4	34	8
done	34	8
0	6	6
1	8	6
2	11	6
done	11	6
0	5	5
1	11	5
2	16	5
3	21	5
done	21	5
0	6	6
1	8	6
2	11	6
done	11	6
0	4	4
1	12	2
2	18	2
done	18	2
0	5	5
1	7	5
2	10	5
done	10	5
0	3	3
1	5	3
done	5	3
0	7	8
1	18	8
2	38	8
3	87	8
4	185	8
5	327	8
6	573	8
7	1128	8
8	2452	8
9	4447	8
done	5000	8
0	9	12
1	25	12
2	62	12
3	172	12
4	455	12
5	848	12
6	1307	12
7	3459	12
done	5000	12
0	8	9
1	19	9
2	41	9
3	100	9
4	216	9
5	367	9
6	611	9
7	1442	9
8	3412	9
done	5000	9
0	7	8
1	20	6
2	45	6
3	116	6
4	212	6
5	335	6
6	516	6
7	991	6
8	1819	6
9	2522	6
10	2530	6
done	2530	6
0	5	5
1	7	5
2	10	5
3	11	5
4	13	5
5	15	5
6	16	5
done	16	5
0	5	5
1	9	5
2	15	5
done	15	5
0	3	3
1	4	3
done	4	3
0	3	3
1	4	3
done	4	3
0	5	6
1	14	6
2	26	6
3	52	6
4	91	6
5	128	6
6	236	6
7	462	6
8	999	6
9	1751	6
10	2257	6
11	2416	6
done	2416	6
0	8	9
1	19	9
2	32	9
3	57	9
4	110	9
5	213	9
6	345	9
7	422	9
8	458	9
done	458	9
0	7	8
1	17	8
2	29	8
3	50	8
4	97	8
5	193	8
6	314	8
7	387	8
8	424	8
done	424	8
0	6	7
1	18	7
2	39	7
3	85	7
4	189	7
5	366	7
6	622	7
7	1033	7
8	2070	7
9	3285	7
10	3942	7
11	4312	7
12	4386	7
done	4386	7
0	6	7
1	17	7
2	36	7
3	78	7
4	152	7
5	281	7
6	1004	7
done	5000	7
0	11	20
1	32	20
2	123	12
3	590	10
4	3036	10
done	5001	10
0	9	20
1	28	20
2	90	10
3	341	10
4	1616	8
done	5000	8
0	7	15
1	16	15
2	28	15
3	54	15
4	93	15
5	130	15
6	238	15
7	466	15
8	1010	15
9	1782	15
10	2351	15
11	2499	15
done	2499	15
0	6	7
1	15	7
2	27	7
3	53	7
4	92	7
5	129	7
6	237	7
7	466	7
8	1012	7
9	1762	7
10	2228	7
11	2373	7
done	2373	7
0	7	20
1	26	20
2	99	8
3	485	8
4	2327	8
done	5001	8
0	6	7
1	15	7
2	27	7
3	53	7
4	92	7
5	129	7
6	237	7
7	466	7
8	1012	7
9	1762	7
10	2228	7
11	2373	7
done	2373	7
0	6	7
1	15	7
2	27	7
3	53	7
4	92	7
5	129	7
6	237	7
7	466	7
8	1012	7
9	1762	7
10	2228	7
11	2373	7
done	2373	7
0	7	8
1	11	8
2	21	8
3	25	8
4	29	8
5	30	8
6	37	8
7	41	8
8	48	8
9	56	8
done	56	8
0	3	3
1	4	3
done	4	3
0	7	8
1	14	8
2	17	8
3	19	8
done	19	8
0	7	8
1	14	8
2	17	8
3	19	8
done	19	8
0	8	9
1	17	9
2	23	9
3	29	9
4	30	9
done	30	9
0	8	9
1	17	9
2	23	9
3	29	9
4	30	9
done	30	9
0	7	12
1	16	12
2	27	12
3	48	12
4	73	12
5	102	12
6	226	12
7	379	12
8	593	12
9	1042	12
10	1252	12
11	1452	12
12	1507	12
done	1507	12
0	6	7
1	13	7
2	20	7
3	34	7
4	40	7
5	53	7
6	100	7
7	170	7
8	279	7
9	451	7
10	527	7
11	623	7
12	640	7
done	640	7
0	9	14
1	24	14
2	62	14
3	151	14
4	403	14
5	816	14
6	1477	14
7	2889	14
done	5000	14
0	8	11
1	19	11
2	38	11
3	85	11
4	198	11
5	334	11
6	651	11
7	1250	11
8	2362	11
9	3986	11
10	4801	11
11	4868	11
done	4868	11
0	8	10
1	21	8
2	44	8
3	112	8
4	220	8
5	338	8
6	667	8
7	1018	8
8	1359	8
9	1457	8
done	1457	8
0	8	11
1	19	11
2	39	11
3	83	11
4	175	11
5	287	11
6	491	11
7	1131	11
8	2550	11
9	3977	11
10	4574	11
11	4640	11
done	4640	11
0	7	8
1	16	8
2	28	8
3	54	8
4	93	8
5	130	8
6	238	8
7	514	8
8	1097	8
9	1737	8
10	2081	8
11	2108	8
done	2108	8
0	7	7
1	18	5
2	31	5
3	59	5
4	90	5
5	119	5
6	241	5
7	429	5
8	554	5
9	641	5
10	678	5
done	678	5
0	7	10
1	20	10
2	38	8
3	110	8
4	208	8
5	353	8
6	530	8
7	829	8
8	1235	8
9	1430	8
10	1436	8
done	1436	8
0	6	7
1	17	7
2	28	5
3	73	5
4	107	5
5	171	5
6	233	5
7	354	5
8	548	5
9	648	5
10	652	5
done	652	5
0	5	6
1	16	4
2	27	2
3	54	2
4	75	2
5	101	2
6	114	2
7	122	2
8	134	2
9	137	2
10	147	2
done	147	2
0	4	4
1	13	2
2	22	2
3	38	2
4	48	2
5	64	2
6	72	2
7	83	2
8	99	2
9	102	2
10	112	2
done	112	2
0	4	4
1	11	4
2	18	4
3	32	4
4	38	4
5	51	4
6	58	4
7	82	4
8	131	4
9	241	4
10	382	4
11	516	4
12	573	4
13	575	4
done	575	4
0	6	7
1	15	7
2	21	7
3	27	7
4	28	7
done	28	7
0	6	7
1	15	7
2	21	7
3	27	7
4	28	7
done	28	7
0	5	6
1	14	6
2	26	6
3	52	6
4	91	6
5	128	6
6	236	6
7	462	6
8	999	6
9	1751	6
10	2257	6
11	2416	6
done	2416	6
0	4	4
1	11	4
2	18	4
3	32	4
4	38	4
5	51	4
6	58	4
7	82	4
8	131	4
9	241	4
10	382	4
11	516	4
12	573	4
13	575	4
done	575	4
0	8	10
1	14	10
2	27	10
3	47	10
4	64	10
5	130	10
6	212	10
7	344	10
8	507	10
9	681	10
10	730	10
done	730	10
0	10	13
1	20	13
2	36	13
3	56	13
4	85	13
5	96	13
done	96	13
0	13	16
1	29	14
2	74	14
3	179	14
4	420	14
5	667	14
6	1058	14
7	2492	14
8	4379	14
done	5000	14
0	14	17
1	32	14
2	78	14
3	201	14
4	495	14
5	1008	14
6	3245	14
done	5001	14
0	7	9
1	12	9
2	18	9
3	20	9
done	20	9
0	11	14
1	21	12
2	47	12
3	79	12
4	137	12
5	206	12
6	325	12
7	563	12
8	984	12
9	2001	12
10	2449	12
11	2658	12
done	2658	12
0	12	15
1	24	12
2	51	12
3	101	12
4	212	12
5	481	12
6	1483	12
done	5000	12

prune122.0ms

Filtered

59 candidates to 66 candidates (-11.9%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	58	8	66
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	59	8	67

Merged error: 0.0b

Counts

67 → 8

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b	(* (cosh x) y)
6.5b	(/ (* (cosh x) y) (* z x))

rewrite12.0ms

Algorithm

rewrite-expression-head

Rules

16×	`add-exp-log` `add-cbrt-cube`
6×	`add-sqr-sqrt`
5×	`prod-exp` `cbrt-unprod`
4×	`pow1` `cbrt-undiv` `add-cube-cbrt` `*-un-lft-identity` `div-exp`
3×	`associate-r` `associate-l`
2×	`cosh-def` `associate-*l/` `add-log-exp`
1×	`frac-2neg` `times-frac` `pow-prod-down` `clear-num` `associate-/r` `-commutative` `div-inv` `associate-/l/` `associate-/l*` `unswap-sqr`

Counts

2 → 41

Calls

2 calls:

4.0ms	(* (cosh x) y)
7.0ms	(/ (* (cosh x) y) (* z x))

series48.0ms

Counts

2 → 6

Calls

2 calls:

16.0ms	(* (cosh x) y)
32.0ms	(/ (* (cosh x) y) (* z x))

simplify2.0min

Counts

47 → 47

Iterations

Useful iterations: 1 (6.0ms)

Iter	Nodes	Cost
0	11	12
1	25	12
2	53	12
3	110	12
4	292	12
5	836	12
6	1536	12
7	1961	12
8	2058	12
done	2058	12
0	10	11
1	25	11
2	46	11
3	90	11
4	235	11
5	660	11
6	1592	11
7	2030	11
8	2139	11
done	2139	11
0	10	11
1	25	11
2	51	11
3	113	11
4	286	11
5	791	11
6	1551	11
7	2228	11
8	2601	11
9	2813	11
10	4328	11
done	5000	11
0	9	10
1	25	10
2	47	10
3	97	10
4	230	10
5	642	10
6	1497	10
7	2142	10
8	2505	10
9	2716	10
10	4234	10
11	4956	10
done	5000	10
0	8	9
1	26	9
2	75	9
3	192	9
4	473	9
5	1087	9
6	2146	9
7	3176	9
8	4924	9
done	5000	9
0	8	9
1	23	9
2	57	9
3	136	9
4	292	9
5	491	9
6	758	9
7	2255	9
done	5001	9
0	15	26
1	42	26
2	248	16
3	2052	16
done	5001	16
0	13	26
1	44	26
2	270	14
3	2504	14
done	5000	14
0	13	26
1	44	26
2	255	14
3	2363	14
done	5000	14
0	11	26
1	46	26
2	281	12
3	2891	10
done	5000	10
0	9	19
1	24	19
2	56	19
3	124	19
4	257	19
5	393	19
6	471	19
7	700	19
8	1987	19
done	5000	19
0	8	9
1	23	9
2	55	9
3	123	9
4	256	9
5	391	9
6	469	9
7	699	9
8	1983	9
done	5000	9
0	9	26
1	31	26
2	145	10
3	1157	10
done	5000	10
0	8	9
1	23	9
2	55	9
3	123	9
4	256	9
5	391	9
6	469	9
7	699	9
8	1983	9
done	5000	9
0	8	9
1	23	9
2	55	9
3	123	9
4	256	9
5	391	9
6	469	9
7	699	9
8	1983	9
done	5000	9
0	5	5
1	16	5
2	29	5
3	56	5
4	91	5
5	133	5
6	199	5
7	352	5
8	670	5
9	1232	5
10	2032	5
11	2340	5
12	2352	5
done	2352	5
0	4	4
1	9	4
2	11	4
done	11	4
0	4	4
1	10	4
2	15	4
3	20	4
done	20	4
0	3	3
done	3	3
0	5	5
1	10	5
2	12	5
done	12	5
0	7	8
1	22	8
2	54	8
3	130	8
4	263	8
5	427	8
6	510	8
7	639	8
8	1147	8
9	2872	8
done	5001	8
0	6	6
1	15	6
2	28	6
3	54	6
4	80	6
5	113	6
6	139	6
7	191	6
8	384	6
9	932	6
10	1626	6
11	2168	6
12	2291	6
done	2291	6
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	5	5
1	9	5
2	15	5
done	15	5
0	4	4
1	11	4
2	18	4
3	32	4
4	38	4
5	51	4
6	58	4
7	82	4
8	131	4
9	241	4
10	382	4
11	516	4
12	573	4
13	575	4
done	575	4
0	6	6
1	13	6
2	19	6
3	27	6
4	36	6
5	46	6
6	55	6
7	60	6
8	69	6
9	86	6
10	105	6
11	113	6
done	113	6
0	5	5
1	15	5
2	26	5
3	48	5
4	68	5
5	98	5
6	118	5
7	154	5
8	229	5
9	374	5
10	669	5
11	903	5
12	1064	5
13	1208	5
14	1240	5
done	1240	5
0	5	5
1	14	5
2	28	5
3	56	5
4	91	5
5	170	5
6	392	5
7	1806	5
done	5000	5
0	8	14
1	21	14
2	59	8
3	186	8
4	619	6
5	2392	6
done	5000	6
0	6	11
1	13	11
2	20	11
3	34	11
4	40	11
5	53	11
6	60	11
7	84	11
8	133	11
9	245	11
10	390	11
11	525	11
12	582	11
13	584	11
done	584	11
0	5	5
1	12	5
2	19	5
3	33	5
4	39	5
5	52	5
6	59	5
7	83	5
8	132	5
9	244	5
10	391	5
11	526	5
12	588	5
done	588	5
0	6	14
1	23	14
2	69	6
3	252	6
4	844	6
5	3135	6
done	5000	6
0	5	5
1	12	5
2	19	5
3	33	5
4	39	5
5	52	5
6	59	5
7	83	5
8	132	5
9	244	5
10	391	5
11	526	5
12	588	5
done	588	5
0	5	5
1	12	5
2	19	5
3	33	5
4	39	5
5	52	5
6	59	5
7	83	5
8	132	5
9	244	5
10	391	5
11	526	5
12	588	5
done	588	5
0	6	6
1	13	6
2	16	6
3	18	6
done	18	6
0	6	6
1	13	6
2	16	6
3	18	6
done	18	6
0	6	8
1	15	8
2	26	8
3	47	8
4	72	8
5	99	8
6	223	8
7	371	8
8	586	8
9	1035	8
10	1241	8
11	1436	8
12	1473	8
done	1473	8
0	5	5
1	12	5
2	19	5
3	33	5
4	39	5
5	52	5
6	99	5
7	171	5
8	280	5
9	447	5
10	523	5
11	619	5
12	649	5
done	649	5
0	4	4
1	13	2
2	22	2
3	38	2
4	48	2
5	64	2
6	72	2
7	83	2
8	99	2
9	102	2
10	112	2
done	112	2
0	5	5
1	12	5
2	15	5
3	17	5
done	17	5
0	5	5
1	12	5
2	15	5
3	17	5
done	17	5
0	4	4
1	11	4
2	18	4
3	32	4
4	38	4
5	51	4
6	58	4
7	82	4
8	131	4
9	241	4
10	382	4
11	516	4
12	573	4
13	575	4
done	575	4
0	7	8
1	11	8
2	21	8
3	25	8
4	29	8
5	30	8
6	37	8
7	41	8
8	48	8
9	56	8
done	56	8
0	10	13
1	20	13
2	36	13
3	56	13
4	85	13
5	96	13
done	96	13
0	13	16
1	29	14
2	74	14
3	179	14
4	420	14
5	667	14
6	1058	14
7	2492	14
8	4379	14
done	5000	14
0	14	17
1	32	14
2	78	14
3	201	14
4	495	14
5	1008	14
6	3245	14
done	5001	14
0	8	9
1	18	9
2	45	9
3	66	9
4	80	9
5	90	9
6	112	9
7	173	9
8	384	9
9	1309	9
done	5000	9
0	9	10
1	16	10
2	40	10
3	72	10
4	85	10
5	92	10
6	123	10
7	203	10
8	336	10
9	545	10
10	566	10
11	600	10
12	714	10
13	738	10
done	738	10
0	10	11
1	25	10
2	53	10
3	97	10
4	179	10
5	407	10
6	1249	10
7	4137	10
done	5001	10

prune86.0ms

Filtered

40 candidates to 47 candidates (-17.5%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	43	4	47
Fresh	4	3	7
Picked	0	1	1
Done	0	0	0
Total	47	8	55

Merged error: 0.0b

Counts

55 → 8

localize7.0ms

Local error

Found 2 expressions with local error:

0.4b	(/ (cosh x) (/ (* z x) y))
6.5b	(/ (* z x) y)

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

36×	`times-frac`
20×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
16×	`add-exp-log` `add-cbrt-cube`
10×	`associate-/r*`
7×	`cbrt-undiv` `div-exp`
6×	`div-inv`
4×	`associate-/l*`
2×	`pow1` `frac-2neg` `prod-exp` `clear-num` `cbrt-unprod` `add-log-exp`
1×	`cosh-def` `associate-/r/` `associate-/l/`

Counts

2 → 70

Calls

2 calls:

7.0ms	(/ (cosh x) (/ (* z x) y))
5.0ms	(/ (* z x) y)

series42.0ms

Counts

2 → 6

Calls

2 calls:

36.0ms	(/ (cosh x) (/ (* z x) y))
6.0ms	(/ (* z x) y)

simplify2.2min

Counts

76 → 76

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	8	8
1	13	8
2	20	8
3	26	8
4	32	8
5	41	8
6	54	8
7	72	8
8	88	8
9	95	8
10	112	8
11	114	8
done	114	8
0	7	7
1	13	7
2	19	7
3	28	7
4	31	7
5	37	7
6	46	7
7	59	7
8	77	7
9	93	7
10	100	7
11	117	7
12	119	7
done	119	7
0	6	6
1	12	6
2	24	6
3	43	6
4	59	6
5	67	6
6	79	6
7	97	6
8	113	6
9	120	6
10	137	6
11	139	6
done	139	6
0	6	6
1	9	6
2	13	6
3	18	6
4	27	6
5	40	6
6	73	6
7	156	6
8	369	6
9	1012	6
10	4069	6
done	5000	6
0	11	17
1	26	17
2	122	11
3	554	11
4	2264	9
done	5000	9
0	9	17
1	28	17
2	129	9
3	692	7
4	2636	7
5	4904	7
done	5000	7
0	7	13
1	10	13
2	14	13
3	17	13
4	18	13
done	18	13
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	7	17
1	17	17
2	58	7
3	237	7
4	990	7
5	2904	7
done	5001	7
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	4	4
1	9	4
2	11	4
done	11	4
0	2	2
done	2	2
0	5	7
1	7	7
done	7	7
0	4	4
done	4	4
0	4	4
done	4	4
0	4	4
done	4	4
0	3	3
1	5	1
done	5	1
0	3	3
done	3	3
0	3	3
1	5	3
done	5	3
0	5	5
1	8	5
2	10	5
done	10	5
0	7	9
1	15	9
2	29	9
3	42	9
4	46	9
done	46	9
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	5	5
1	10	3
2	18	3
3	27	3
4	32	3
done	32	3
0	3	3
done	3	3
0	11	12
1	26	12
2	54	12
3	113	12
4	283	12
5	743	12
6	1411	12
7	2131	12
8	2252	12
done	2252	12
0	10	11
1	26	11
2	47	11
3	98	11
4	244	11
5	646	11
6	1307	11
7	1899	11
8	2009	11
9	2010	11
done	2010	11
0	9	10
1	23	10
2	44	10
3	86	10
4	194	10
5	505	10
6	1074	10
7	1527	10
8	2265	10
9	2310	10
10	2311	10
done	2311	10
0	8	9
1	22	9
2	54	9
3	134	9
4	352	9
5	846	9
6	1667	9
7	2260	9
8	3275	9
done	5000	9
0	8	9
1	19	9
2	40	9
3	92	9
4	208	9
5	396	9
6	664	9
7	1552	9
done	5001	9
0	15	26
1	41	26
2	214	16
3	1526	16
done	5001	16
0	13	26
1	43	26
2	213	14
3	1638	12
done	5000	12
0	11	26
1	35	26
2	137	12
3	795	10
done	5000	10
0	9	19
1	20	19
2	39	19
3	84	19
4	183	19
5	312	19
6	422	19
7	512	19
8	830	19
9	2509	19
done	5000	19
0	8	9
1	19	9
2	38	9
3	83	9
4	182	9
5	311	9
6	419	9
7	507	9
8	824	9
9	2496	9
done	5000	9
0	9	26
1	27	26
2	91	10
3	569	10
done	5000	10
0	8	9
1	19	9
2	38	9
3	83	9
4	182	9
5	311	9
6	419	9
7	507	9
8	824	9
9	2496	9
done	5000	9
0	8	9
1	19	9
2	38	9
3	83	9
4	182	9
5	311	9
6	419	9
7	507	9
8	824	9
9	2496	9
done	5000	9
0	3	3
1	9	3
2	14	3
3	20	3
4	25	3
5	31	3
6	38	3
7	49	3
8	51	3
done	51	3
0	6	6
1	11	6
2	22	6
3	35	6
4	44	6
5	47	6
done	47	6
0	11	21
1	26	21
2	42	21
3	53	21
4	54	21
done	54	21
0	9	10
1	18	10
2	25	10
3	30	10
4	31	10
done	31	10
0	10	14
1	21	14
2	30	14
3	36	14
4	37	14
done	37	14
0	9	10
1	18	10
2	25	10
3	30	10
4	31	10
done	31	10
0	10	15
1	22	15
2	40	15
3	70	15
4	107	15
5	129	15
6	139	15
7	148	15
8	149	15
done	149	15
0	7	8
1	15	8
2	21	8
3	24	8
4	26	8
5	28	8
6	29	8
done	29	8
0	9	12
1	19	12
2	31	12
3	43	12
4	53	12
5	57	12
6	59	12
7	60	12
done	60	12
0	7	8
1	15	8
2	21	8
3	24	8
4	26	8
5	28	8
6	29	8
done	29	8
0	8	11
1	20	9
2	31	9
3	50	9
4	57	9
5	61	9
6	69	9
7	71	9
done	71	9
0	6	7
1	14	7
2	20	7
3	23	7
4	25	7
5	27	7
6	28	7
done	28	7
0	6	9
1	16	7
2	24	7
3	29	7
done	29	7
0	8	9
1	19	9
2	34	9
3	58	9
4	76	9
5	86	9
6	91	9
done	91	9
0	7	11
1	21	11
2	37	11
3	51	11
4	53	11
done	53	11
0	7	7
1	17	7
2	22	5
3	31	5
4	40	5
5	42	5
done	42	5
0	10	17
1	21	17
2	28	17
3	33	17
4	34	17
done	34	17
0	9	10
1	18	10
2	25	10
3	30	10
4	31	10
done	31	10
0	9	10
1	18	10
2	25	10
3	30	10
4	31	10
done	31	10
0	9	10
1	18	10
2	25	10
3	30	10
4	31	10
done	31	10
0	9	11
1	19	11
2	29	11
3	39	11
4	43	11
5	52	11
6	58	11
7	63	11
done	63	11
0	7	8
1	15	8
2	21	8
3	24	8
4	26	8
5	28	8
6	29	8
done	29	8
0	8	8
1	16	8
2	22	8
3	25	8
4	27	8
5	29	8
6	30	8
done	30	8
0	7	8
1	15	8
2	21	8
3	24	8
4	26	8
5	28	8
6	29	8
done	29	8
0	7	7
1	17	5
2	24	5
3	29	5
4	31	5
5	34	5
6	39	5
7	40	5
done	40	5
0	6	7
1	14	7
2	20	7
3	23	7
4	25	7
5	27	7
6	28	7
done	28	7
0	5	5
1	13	3
2	17	3
done	17	3
0	8	9
1	19	9
2	34	9
3	58	9
4	76	9
5	86	9
6	91	9
done	91	9
0	6	7
1	15	7
2	20	7
3	22	7
done	22	7
0	7	7
1	17	7
2	22	5
3	31	5
4	40	5
5	42	5
done	42	5
0	9	15
1	16	15
2	20	15
3	23	15
4	24	15
done	24	15
0	8	9
1	17	9
2	26	9
3	34	9
4	35	9
done	35	9
0	8	8
1	13	8
2	17	8
3	20	8
4	21	8
done	21	8
0	8	9
1	17	9
2	26	9
3	34	9
4	35	9
done	35	9
0	7	9
1	13	9
2	20	9
3	28	7
4	52	7
5	67	7
done	67	7
0	6	7
1	14	7
2	24	7
3	39	7
4	66	7
5	91	7
6	128	7
7	242	7
8	620	7
9	1182	7
10	1893	7
11	2065	7
12	2368	7
13	2382	7
done	2382	7
0	6	6
1	10	6
2	13	6
3	14	4
4	27	4
5	32	4
done	32	4
0	6	7
1	14	7
2	24	7
3	39	7
4	66	7
5	91	7
6	128	7
7	242	7
8	620	7
9	1182	7
10	1893	7
11	2065	7
12	2368	7
13	2382	7
done	2382	7
0	4	5
1	8	3
2	12	3
done	12	3
0	5	6
1	13	6
2	23	6
3	38	6
4	65	6
5	89	6
6	126	6
7	149	6
8	231	6
9	551	6
10	1192	6
11	1881	6
12	2412	6
13	2551	6
done	2551	6
0	2	3
1	4	1
done	4	1
0	7	8
1	18	8
2	37	8
3	82	8
4	181	8
5	309	8
6	416	8
7	504	8
8	821	8
9	2487	8
done	5001	8
0	5	5
1	10	5
2	12	5
done	12	5
0	6	6
1	16	6
2	25	4
3	44	4
4	75	4
5	101	4
6	117	4
7	129	4
8	154	4
9	219	4
10	413	4
11	611	4
12	670	4
done	670	4
0	7	7
1	14	7
2	26	7
3	48	5
4	61	5
5	97	5
6	155	5
7	157	5
done	157	5
0	7	8
1	18	8
2	43	8
3	96	8
4	220	8
5	386	8
6	489	8
7	570	8
8	845	8
9	2112	8
10	4382	8
done	5000	8
0	9	16
1	20	16
2	31	16
3	44	16
4	48	16
done	48	16
0	8	9
1	17	9
2	26	9
3	34	9
4	35	9
done	35	9
0	8	10
1	18	10
2	32	10
3	59	10
4	117	10
5	202	10
6	295	10
7	567	10
8	1291	10
9	2368	10
10	4288	10
11	4827	10
done	5001	10
0	7	7
1	15	7
2	25	7
3	40	7
4	67	7
5	91	7
6	128	7
7	242	7
8	618	7
9	1190	7
10	1909	7
11	2082	7
12	2388	7
13	2409	7
done	2409	7
0	6	6
1	16	4
2	25	4
3	38	4
4	73	4
5	116	4
6	165	4
7	201	4
8	307	4
9	508	4
10	547	4
11	664	4
12	696	4
done	696	4
0	4	4
1	12	2
2	18	2
done	18	2
0	5	6
1	14	6
2	23	6
3	36	6
4	45	6
done	45	6
0	8	9
1	19	9
2	40	9
3	69	9
4	89	9
done	89	9
0	8	9
1	19	9
2	40	9
3	69	9
4	89	9
done	89	9
0	7	8
1	18	8
2	43	8
3	96	8
4	220	8
5	386	8
6	489	8
7	570	8
8	845	8
9	2112	8
10	4382	8
done	5000	8
0	5	6
1	14	6
2	23	6
3	36	6
4	45	6
done	45	6
0	7	7
1	13	7
2	27	7
3	53	7
4	76	7
5	85	7
6	87	7
done	87	7
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	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	10	13
1	20	13
2	36	13
3	56	13
4	85	13
5	96	13
done	96	13
0	13	16
1	29	14
2	74	14
3	179	14
4	420	14
5	667	14
6	1058	14
7	2492	14
8	4379	14
done	5000	14
0	14	17
1	32	14
2	78	14
3	201	14
4	495	14
5	1008	14
6	3245	14
done	5001	14

prune106.0ms

Filtered

67 candidates to 76 candidates (-13.4%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	72	4	76
Fresh	4	2	6
Picked	1	0	1
Done	0	1	1
Total	77	7	84

Merged error: 0b

Counts

84 → 7

localize8.0ms

Local error

Found 2 expressions with local error:

0.4b	(/ (cosh x) (* (* z x) (/ 1 y)))
6.6b	(* (* z x) (/ 1 y))

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

56×	`add-exp-log`
32×	`add-cbrt-cube`
24×	`prod-exp`
17×	`div-exp`
13×	`associate-r`
12×	`times-frac` `cbrt-unprod`
11×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
9×	`cbrt-undiv`
7×	`pow1`
4×	`rec-exp` `1-exp`
3×	`pow-prod-down` `associate-/l*`
2×	`associate-*r/` `associate-/r/` `un-div-inv` `div-inv` `add-log-exp`
1×	`cosh-def` `frac-2neg` `associate-l` `clear-num` `associate-/r` `-commutative` `associate-/l/`

Counts

2 → 72

Calls

2 calls:

11.0ms	(/ (cosh x) (* (* z x) (/ 1 y)))
14.0ms	(* (* z x) (/ 1 y))

series41.0ms

Counts

2 → 6

Calls

2 calls:

36.0ms	(/ (cosh x) (* (* z x) (/ 1 y)))
6.0ms	(* (* z x) (/ 1 y))

simplify2.7min

Counts

78 → 78

Iterations

Useful iterations: 3 (15.0ms)

Iter	Nodes	Cost
0	7	7
1	15	7
2	29	5
3	78	5
4	89	5
5	95	5
6	97	5
done	97	5
0	7	7
1	15	7
2	29	5
3	78	5
4	89	5
5	95	5
6	97	5
done	97	5
0	9	9
1	14	8
2	23	8
3	28	8
4	34	8
5	43	8
6	56	8
7	74	8
8	90	8
9	97	8
10	114	8
11	116	8
done	116	8
0	10	10
1	18	9
2	41	8
3	89	8
4	129	8
5	217	8
6	372	8
7	406	8
8	460	8
done	460	8
0	11	11
1	21	10
2	40	8
3	94	8
4	134	8
5	219	8
6	370	8
7	402	8
8	448	8
done	448	8
0	10	10
1	20	9
2	35	8
3	67	8
4	116	8
5	200	8
6	367	8
7	402	8
8	448	8
done	448	8
0	8	8
1	14	7
2	21	7
3	28	7
4	31	7
5	37	7
6	46	7
7	59	7
8	77	7
9	93	7
10	100	7
11	117	7
12	119	7
done	119	7
0	9	9
1	18	8
2	35	7
3	75	7
4	142	7
5	234	7
6	375	7
7	411	7
8	457	7
done	457	7
0	10	10
1	21	9
2	35	7
3	83	7
4	150	7
5	242	7
6	385	7
7	422	7
8	476	7
done	476	7
0	9	9
1	20	8
2	31	7
3	61	7
4	119	7
5	197	7
6	345	7
7	381	7
8	414	7
done	414	7
0	8	8
1	19	8
2	45	6
3	116	6
4	171	6
5	278	6
6	368	6
7	505	6
8	542	6
9	588	6
done	588	6
0	8	8
1	18	8
2	43	6
3	119	6
4	206	6
5	406	6
6	973	6
7	3415	6
done	5000	6
0	15	23
1	37	19
2	123	11
3	671	11
4	3315	9
done	5000	9
0	13	23
1	34	23
2	123	13
3	488	13
4	2022	9
done	5000	9
0	13	23
1	39	19
2	127	9
3	677	9
4	3514	9
done	5000	9
0	11	23
1	36	23
2	127	11
3	513	11
4	2192	7
done	5001	7
0	9	17
1	17	17
2	31	13
3	80	13
4	93	13
5	97	13
6	99	13
done	99	13
0	8	8
1	16	8
2	30	6
3	79	6
4	90	6
5	94	6
6	96	6
done	96	6
0	9	23
1	27	23
2	127	7
3	715	7
4	2419	7
done	5000	7
0	8	8
1	16	8
2	30	6
3	79	6
4	90	6
5	94	6
6	96	6
done	96	6
0	8	8
1	16	8
2	30	6
3	79	6
4	90	6
5	94	6
6	96	6
done	96	6
0	9	13
1	17	13
2	30	13
3	40	13
done	40	13
0	8	8
1	14	8
2	20	8
3	22	8
done	22	8
0	11	15
1	25	13
2	71	11
3	167	9
4	245	9
5	261	9
6	266	9
done	266	9
0	10	12
1	20	10
2	43	8
3	86	6
4	119	6
5	121	6
6	122	6
done	122	6
0	8	11
1	18	7
2	45	5
3	74	3
4	92	3
5	101	3
done	101	3
0	10	12
1	20	11
2	44	11
3	100	9
4	176	9
5	232	9
6	262	9
7	266	9
done	266	9
0	9	9
1	17	8
2	31	8
3	49	6
4	64	6
5	70	6
6	72	6
done	72	6
0	7	8
1	15	5
2	28	3
3	50	3
4	76	3
5	91	3
6	92	3
done	92	3
0	9	11
1	19	11
2	42	9
3	138	9
4	208	9
5	248	9
6	266	9
done	266	9
0	8	8
1	16	8
2	30	6
3	79	6
4	88	6
5	93	6
6	95	6
done	95	6
0	6	7
1	14	5
2	27	3
3	51	3
4	77	3
5	96	3
6	97	3
done	97	3
0	5	5
1	11	3
2	23	3
3	27	3
done	27	3
0	5	5
1	11	3
2	23	3
3	27	3
done	27	3
0	5	5
1	10	5
2	13	3
3	14	3
4	19	3
5	21	3
done	21	3
0	5	5
1	11	3
2	23	3
3	27	3
done	27	3
0	12	13
1	27	12
2	60	12
3	128	12
4	320	12
5	825	12
6	1534	12
7	2291	12
8	2401	12
done	2401	12
0	13	14
1	31	13
2	82	12
3	223	12
4	586	12
5	1675	12
6	2692	12
7	2872	12
done	2872	12
0	14	15
1	34	14
2	80	12
3	227	12
4	592	12
5	1679	12
6	2698	12
7	2886	12
done	2886	12
0	13	14
1	33	13
2	72	12
3	178	12
4	549	12
5	1665	12
6	2781	12
7	3525	12
done	3525	12
0	11	12
1	27	11
2	52	11
3	111	11
4	272	11
5	705	11
6	1424	11
7	2104	11
8	2230	11
done	2230	11
0	12	13
1	31	12
2	70	11
3	185	11
4	533	11
5	1541	11
6	2593	11
7	2822	11
done	2822	11
0	13	14
1	34	13
2	69	11
3	192	11
4	536	11
5	1547	11
6	2606	11
7	2832	11
done	2832	11
0	12	13
1	33	12
2	62	11
3	153	11
4	473	11
5	1435	11
6	2556	11
7	3261	11
done	3261	11
0	11	12
1	30	12
2	67	10
3	172	10
4	372	10
5	1108	10
6	2794	10
7	3898	10
8	4045	10
done	4045	10
0	10	11
1	29	11
2	76	9
3	239	9
4	569	9
5	1535	9
6	3580	9
done	5000	9
0	10	11
1	26	11
2	57	9
3	173	9
4	315	9
5	620	9
6	1003	9
7	1565	9
8	4891	9
done	5000	9
0	19	32
1	55	28
2	238	16
3	1968	16
done	5000	16
0	17	32
1	52	32
2	242	18
3	1723	18
done	5000	18
0	17	32
1	57	28
2	232	14
3	1910	14
done	5001	14
0	15	32
1	54	32
2	236	16
3	1669	16
done	5000	16
0	13	32
1	45	32
2	240	12
3	2054	10
done	5000	10
0	11	23
1	27	23
2	58	19
3	174	19
4	308	19
5	596	19
6	896	19
7	1053	19
8	1276	19
9	2268	19
done	5000	19
0	10	11
1	26	11
2	57	9
3	171	9
4	305	9
5	589	9
6	899	9
7	1057	9
8	1279	9
9	2304	9
done	5000	9
0	11	32
1	34	32
2	132	10
3	1045	10
done	5001	10
0	10	11
1	26	11
2	57	9
3	171	9
4	305	9
5	589	9
6	899	9
7	1057	9
8	1279	9
9	2304	9
done	5000	9
0	10	11
1	26	11
2	57	9
3	171	9
4	305	9
5	589	9
6	899	9
7	1057	9
8	1279	9
9	2304	9
done	5000	9
0	3	3
1	9	3
2	14	3
3	20	3
4	25	3
5	31	3
6	38	3
7	49	3
8	51	3
done	51	3
0	8	8
1	20	8
2	56	6
3	163	6
4	266	6
5	348	6
6	358	6
7	361	6
done	361	6
0	7	11
1	21	11
2	37	11
3	51	11
4	53	11
done	53	11
0	7	7
1	17	7
2	22	5
3	31	5
4	40	5
5	42	5
done	42	5
0	6	7
1	15	7
2	20	7
3	22	7
done	22	7
0	7	7
1	17	7
2	22	5
3	31	5
4	40	5
5	42	5
done	42	5
0	5	5
1	10	5
2	12	5
done	12	5
0	6	6
1	16	6
2	25	4
3	44	4
4	75	4
5	101	4
6	117	4
7	129	4
8	154	4
9	219	4
10	413	4
11	611	4
12	670	4
done	670	4
0	8	9
1	18	9
2	43	7
3	122	5
4	162	5
5	234	5
6	330	5
7	336	5
done	336	5
0	9	10
1	25	10
2	59	8
3	213	8
4	460	8
5	908	8
6	1252	8
7	1388	8
8	1621	8
9	3028	8
done	5000	8
0	5	6
1	14	6
2	23	6
3	36	6
4	45	6
done	45	6
0	10	11
1	26	11
2	56	9
3	172	9
4	269	9
5	356	9
6	391	9
7	398	9
done	398	9
0	10	11
1	26	11
2	56	9
3	172	9
4	269	9
5	356	9
6	391	9
7	398	9
done	398	9
0	9	10
1	25	10
2	59	8
3	213	8
4	460	8
5	908	8
6	1252	8
7	1388	8
8	1621	8
9	3028	8
done	5000	8
0	5	6
1	14	6
2	23	6
3	36	6
4	45	6
done	45	6
0	7	8
1	21	6
2	45	6
3	80	6
4	99	6
5	124	6
6	142	6
7	144	6
done	144	6
0	9	9
1	20	9
2	54	7
3	161	7
4	223	7
5	285	7
6	302	7
done	302	7
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	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	10	13
1	20	13
2	36	13
3	56	13
4	85	13
5	96	13
done	96	13
0	13	16
1	29	14
2	74	14
3	179	14
4	420	14
5	667	14
6	1058	14
7	2492	14
8	4379	14
done	5000	14
0	14	17
1	32	14
2	78	14
3	201	14
4	495	14
5	1008	14
6	3245	14
done	5001	14

prune78.0ms

Filtered

54 candidates to 78 candidates (-44.4%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	78	0	78
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	78	7	85

Merged error: 0b

Counts

85 → 7

regimes240.0ms

Accuracy

86.9% (1.0b remaining)

Error of 1.0b against oracle of 0.0b and baseline of 7.3b

bsearch54.0ms

Steps

Iters	Range		Point
7	1.7383060327733943e+38	3.52140879505582e+40	1.788785241486663e+38
6	-4.118006844412053e+132	-5.7236728794631755e+131	-5.802351686505956e+131

simplify2.0ms

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	16	32
1	22	25
done	22	25

end0.0ms

sample1.8s

Algorithm

intervals

Results

826.0ms

22256×

body

valid

Details

sample67.0ms

simplify4.8s

prune4.0ms

localize6.0ms

rewrite17.0ms

series55.0ms

simplify3.3min

prune122.0ms

localize6.0ms

rewrite12.0ms

series48.0ms

simplify2.0min

prune86.0ms

localize7.0ms

rewrite15.0ms

series42.0ms

simplify2.2min

prune106.0ms

localize8.0ms

rewrite28.0ms

series41.0ms

simplify2.7min

prune78.0ms

regimes240.0ms

bsearch54.0ms

simplify2.0ms

end0.0ms

sample1.8s

Profiling