Details

sample146.0ms

Algorithm

intervals

Results

38.0ms	77×	body	1280	valid
29.0ms	89×	body	640	valid
20.0ms	275×	body	80	valid
11.0ms	48×	body	320	valid
4.0ms	25×	body	160	valid

simplify16.6s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	14	15
1	23	15
2	41	15
3	72	15
4	121	15
5	184	15
6	260	15
7	367	15
8	499	15
9	915	15
10	2264	15
11	2952	15
12	3305	15
13	4244	15
14	4529	15
done	4529	15

prune5.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: 18.4b

Counts

2 → 1

localize15.0ms

Local error

Found 3 expressions with local error:

0.0b	(* J (- (exp l) (exp (neg l))))
0.0b	(* (* J (- (exp l) (exp (neg l)))) (cos (/ K 2.0)))
5.7b	(- (exp l) (exp (neg l)))

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 60

Calls

3 calls:

9.0ms	(* J (- (exp l) (exp (neg l))))
11.0ms	(* (* J (- (exp l) (exp (neg l)))) (cos (/ K 2.0)))
6.0ms	(- (exp l) (exp (neg l)))

series52.0ms

Counts

3 → 9

Calls

3 calls:

19.0ms	(* J (- (exp l) (exp (neg l))))
26.0ms	(* (* J (- (exp l) (exp (neg l)))) (cos (/ K 2.0)))
7.0ms	(- (exp l) (exp (neg l)))

simplify1.8min

Counts

69 → 69

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	7	8
1	11	7
2	15	7
3	21	7
4	23	7
5	27	7
6	31	7
7	47	7
8	51	7
9	56	7
10	63	7
11	81	7
12	102	7
13	114	7
14	119	7
done	119	7
0	6	7
1	10	7
2	16	7
done	16	7
0	6	7
1	13	7
2	21	7
3	23	7
4	27	7
5	31	7
6	47	7
7	53	7
8	58	7
9	65	7
10	84	7
11	105	7
12	117	7
13	122	7
done	122	7
0	7	15
1	11	15
2	17	15
done	17	15
0	6	7
1	10	7
2	16	7
done	16	7
0	7	20
1	12	20
2	32	8
3	83	8
4	245	8
5	792	8
6	3270	8
done	5000	8
0	6	7
1	10	7
2	16	7
done	16	7
0	6	7
1	10	7
2	16	7
done	16	7
0	8	10
1	25	10
2	63	10
3	147	10
4	334	10
5	887	9
6	3788	9
done	5000	9
0	9	20
1	24	15
2	51	12
3	71	11
4	127	11
5	200	11
6	358	11
7	777	11
8	2083	11
done	5000	11
0	4	4
1	7	4
2	12	4
done	12	4
0	7	13
1	18	11
2	36	10
3	75	9
4	151	9
5	309	9
6	708	9
7	1676	9
done	5000	9
0	5	6
1	8	6
2	10	6
done	10	6
0	7	8
1	10	8
2	12	8
done	12	8
0	7	8
1	11	8
2	14	8
done	14	8
0	5	6
1	9	6
2	15	6
done	15	6
0	4	4
1	7	4
2	12	4
done	12	4
0	12	13
1	20	13
2	38	13
3	69	13
4	110	13
5	169	13
6	239	13
7	335	13
8	419	13
9	634	13
10	1353	13
11	1471	13
12	1507	13
13	1626	13
14	1644	13
done	1644	13
0	12	13
1	20	13
2	38	13
3	69	13
4	110	13
5	169	13
6	239	13
7	335	13
8	419	13
9	634	13
10	1353	13
11	1471	13
12	1507	13
13	1626	13
14	1644	13
done	1644	13
0	15	16
1	23	16
2	35	16
done	35	16
0	14	15
1	23	15
2	40	15
3	53	15
4	65	15
5	83	15
6	97	15
7	114	15
8	120	15
9	128	15
10	136	15
done	136	15
0	13	14
1	24	14
2	49	14
3	92	14
4	133	14
5	192	14
6	264	14
7	365	14
8	473	14
9	722	14
10	1440	14
11	1545	14
12	1646	14
13	1889	14
14	2005	14
done	2005	14
0	13	14
1	23	14
2	52	14
3	114	14
4	230	14
5	486	14
6	1143	14
7	4008	14
done	5001	14
0	18	41
1	35	41
2	124	19
3	548	19
4	2541	17
done	5001	17
0	16	41
1	37	41
2	134	17
3	629	17
4	2808	15
done	5001	15
0	14	29
1	22	29
2	40	29
3	71	29
4	112	29
5	171	29
6	243	29
7	339	29
8	420	29
9	635	29
10	1343	29
11	1479	29
12	1515	29
13	1636	29
14	1653	29
done	1653	29
0	13	14
1	21	14
2	39	14
3	70	14
4	111	14
5	170	14
6	244	14
7	340	14
8	420	14
9	635	14
10	1355	14
11	1459	14
12	1495	14
13	1607	14
14	1626	14
done	1626	14
0	14	41
1	32	41
2	114	15
3	593	15
4	2885	15
done	5000	15
0	13	14
1	21	14
2	39	14
3	70	14
4	111	14
5	170	14
6	244	14
7	340	14
8	420	14
9	635	14
10	1355	14
11	1459	14
12	1495	14
13	1607	14
14	1626	14
done	1626	14
0	13	14
1	21	14
2	39	14
3	70	14
4	111	14
5	170	14
6	244	14
7	340	14
8	420	14
9	635	14
10	1355	14
11	1459	14
12	1495	14
13	1607	14
14	1626	14
done	1626	14
0	14	20
1	24	20
2	49	20
3	98	20
4	178	20
5	294	20
6	490	20
7	779	20
8	938	20
9	1428	20
10	3513	20
11	3797	20
12	3878	20
13	4138	20
14	4176	20
done	4176	20
0	13	14
1	21	14
2	39	14
3	70	14
4	111	14
5	170	14
6	244	14
7	339	14
8	410	14
9	625	14
10	1340	14
11	1470	14
12	1506	14
13	1621	14
14	1638	14
done	1638	14
0	9	10
1	18	8
2	40	8
3	79	8
4	117	8
5	159	8
6	256	8
7	309	8
8	373	8
9	383	8
done	383	8
0	10	11
1	15	11
2	27	11
3	36	11
4	48	11
5	66	11
6	119	11
7	151	11
8	204	11
9	331	11
10	367	11
11	377	11
12	411	11
13	419	11
done	419	11
0	15	17
1	36	17
2	86	17
3	245	17
4	830	17
5	3114	16
done	5000	16
0	14	20
1	29	18
2	65	17
3	179	16
4	526	16
5	1376	16
6	3749	16
done	5001	16
0	7	8
1	12	8
2	24	8
3	33	8
4	45	8
5	63	8
6	75	8
7	92	8
8	99	8
9	107	8
10	115	8
done	115	8
0	9	10
1	14	10
2	20	10
done	20	10
0	8	9
1	16	9
2	29	9
3	38	9
4	50	9
5	68	9
6	80	9
7	97	9
8	103	9
9	111	9
10	119	9
done	119	9
0	8	9
1	15	9
2	33	9
3	62	9
4	112	9
5	237	9
6	521	9
7	1570	9
done	5001	9
0	11	26
1	22	26
2	71	12
3	259	12
4	1008	10
5	4050	10
done	5001	10
0	9	19
1	14	19
2	26	19
3	35	19
4	47	19
5	65	19
6	79	19
7	96	19
8	103	19
9	111	19
10	119	19
done	119	19
0	8	9
1	13	9
2	25	9
3	34	9
4	46	9
5	64	9
6	76	9
7	93	9
8	100	9
9	108	9
10	116	9
done	116	9
0	9	26
1	24	26
2	83	10
3	292	10
4	1009	10
5	3583	10
done	5000	10
0	8	9
1	13	9
2	25	9
3	34	9
4	46	9
5	64	9
6	76	9
7	93	9
8	100	9
9	108	9
10	116	9
done	116	9
0	8	9
1	13	9
2	25	9
3	34	9
4	46	9
5	64	9
6	76	9
7	93	9
8	100	9
9	108	9
10	116	9
done	116	9
0	9	10
1	14	10
2	20	10
done	20	10
0	9	10
1	14	10
2	20	10
done	20	10
0	4	4
1	5	4
done	5	4
0	6	6
1	12	6
2	22	6
3	34	5
4	41	5
5	66	5
6	73	5
7	77	5
8	79	5
done	79	5
0	4	4
1	5	4
done	5	4
0	6	6
1	12	6
2	22	6
3	34	5
4	41	5
5	66	5
6	73	5
7	77	5
8	79	5
done	79	5
0	4	4
1	5	4
done	5	4
0	6	6
1	12	6
2	22	6
3	34	5
4	40	5
5	65	5
6	92	5
7	95	5
done	95	5
0	4	4
1	5	4
done	5	4
0	6	6
1	12	6
2	22	6
3	34	5
4	40	5
5	65	5
6	92	5
7	95	5
done	95	5
0	9	17
1	16	17
2	24	17
done	24	17
0	8	9
1	13	9
2	19	9
done	19	9
0	3	3
1	6	1
done	6	1
0	9	10
1	19	10
2	22	10
done	22	10
0	3	3
1	6	1
done	6	1
0	8	9
1	13	9
2	25	9
3	34	9
4	46	9
5	64	9
6	117	9
7	147	9
8	200	9
9	328	9
10	354	9
11	364	9
12	398	9
13	405	9
done	405	9
0	8	9
1	13	9
2	25	9
3	34	9
4	46	9
5	64	9
6	117	9
7	147	9
8	200	9
9	328	9
10	354	9
11	364	9
12	398	9
13	405	9
done	405	9
0	7	8
1	12	8
2	24	8
3	33	8
4	45	8
5	63	8
6	75	8
7	92	8
8	99	8
9	107	8
10	115	8
done	115	8
0	10	12
1	28	12
2	72	12
3	201	12
4	551	12
5	1680	11
done	5001	11
0	9	15
1	21	13
2	49	12
3	119	11
4	292	11
5	673	11
6	1544	11
7	4460	11
done	5001	11
0	13	15
1	31	15
2	65	15
3	109	15
4	203	15
5	493	15
6	1533	15
done	5001	15
0	5	6
1	9	6
2	15	6
done	15	6
0	6	7
1	12	6
2	20	6
3	36	6
4	70	6
5	147	6
6	378	6
7	1201	6
8	4523	6
done	5000	6
0	5	5
1	9	5
2	15	5
done	15	5
0	12	13
1	21	13
2	39	13
3	72	13
4	114	13
5	194	13
6	411	13
7	510	13
8	671	13
9	1318	13
10	1560	13
11	1596	13
12	1720	13
13	1739	13
done	1739	13
0	13	14
1	24	13
2	50	13
3	96	13
4	208	13
5	577	13
6	2011	13
done	5001	13
0	5	5
1	9	5
2	15	5
done	15	5
0	7	8
1	12	8
2	24	8
3	33	8
4	45	8
5	63	8
6	75	8
7	92	8
8	99	8
9	107	8
10	115	8
done	115	8
0	8	9
1	15	8
2	29	8
3	50	8
4	110	8
5	275	8
6	815	8
7	2960	8
done	5000	8

prune135.0ms

Filtered

51 candidates to 69 candidates (-35.3%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	64	5	69
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	65	5	70

Merged error: 0.1b

Counts

70 → 5

localize11.0ms

Local error

Found 2 expressions with local error:

0.0b	(* 2 (* J l))
0.1b	(* (* 2 (* J l)) (cos (/ K 2.0)))

rewrite16.0ms

Algorithm

rewrite-expression-head

Rules

16×	`pow1` `add-exp-log` `add-cbrt-cube`
9×	`pow-prod-down` `prod-exp` `cbrt-unprod`
4×	`add-sqr-sqrt` `add-cube-cbrt` `-un-lft-identity` `associate-r` `associate-l*`
2×	`*-commutative` `add-log-exp`

Counts

2 → 39

Calls

2 calls:

6.0ms	(* 2 (* J l))
9.0ms	(* (* 2 (* J l)) (cos (/ K 2.0)))

series18.0ms

Counts

2 → 6

Calls

2 calls:

4.0ms	(* 2 (* J l))
14.0ms	(* (* 2 (* J l)) (cos (/ K 2.0)))

simplify39.2s

Counts

45 → 45

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	10	10
1	17	10
2	36	10
3	64	10
4	71	10
done	71	10
0	10	10
1	17	10
2	36	10
3	64	10
4	71	10
done	71	10
0	10	10
1	17	10
2	36	10
3	64	10
4	71	10
done	71	10
0	14	14
1	21	14
2	40	14
3	69	14
4	71	14
done	71	14
0	13	13
1	21	13
2	34	13
3	62	13
4	75	13
done	75	13
0	12	12
1	20	12
2	37	12
3	64	12
4	92	12
done	92	12
0	11	11
1	21	11
2	50	11
3	109	11
4	171	11
5	173	11
done	173	11
0	11	11
1	20	11
2	52	11
3	126	11
4	262	11
5	576	11
6	1746	11
done	5001	11
0	18	32
1	39	28
2	135	16
3	665	16
4	3499	14
done	5000	14
0	16	32
1	41	28
2	137	14
3	698	14
4	3666	14
done	5000	14
0	14	32
1	35	30
2	144	14
3	858	14
done	5000	14
0	12	23
1	19	23
2	38	23
3	66	23
4	69	23
done	69	23
0	11	11
1	18	11
2	37	11
3	66	11
4	74	11
done	74	11
0	12	32
1	29	32
2	126	12
3	819	12
done	5000	12
0	11	11
1	18	11
2	37	11
3	66	11
4	74	11
done	74	11
0	11	11
1	18	11
2	37	11
3	66	11
4	74	11
done	74	11
0	12	17
1	21	17
2	49	17
3	112	17
4	144	17
done	144	17
0	11	11
1	18	11
2	37	11
3	63	11
4	65	11
done	65	11
0	7	7
1	16	5
2	41	5
3	68	5
done	68	5
0	8	8
1	12	8
2	18	8
3	20	8
done	20	8
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	8	8
1	12	8
2	18	8
3	20	8
done	20	8
0	7	7
1	12	7
2	17	7
3	21	7
done	21	7
0	6	6
1	13	6
2	26	6
3	38	6
4	40	6
done	40	6
0	6	6
1	12	6
2	26	6
3	55	6
4	118	6
5	272	6
6	646	6
7	2360	6
done	5001	6
0	11	17
1	26	13
2	82	9
3	260	9
4	789	7
5	2116	7
done	5001	7
0	9	17
1	28	13
2	86	7
3	301	7
4	782	7
5	1548	7
6	2517	7
done	5000	7
0	7	13
1	11	13
2	17	13
done	17	13
0	6	6
1	10	6
2	16	6
done	16	6
0	7	17
1	22	15
2	91	7
3	399	7
4	1140	7
5	1492	7
6	2279	7
done	5000	7
0	6	6
1	10	6
2	16	6
done	16	6
0	6	6
1	10	6
2	16	6
done	16	6
0	3	3
1	4	3
done	4	3
0	6	6
1	10	6
2	16	6
3	18	6
done	18	6
0	6	6
1	10	6
2	16	6
3	18	6
done	18	6
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	10	10
1	18	10
2	38	10
3	64	10
4	70	10
done	70	10
0	10	10
1	18	10
2	38	10
3	64	10
4	70	10
done	70	10
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5

prune120.0ms

Filtered

34 candidates to 45 candidates (-32.4%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	40	5	45
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	40	10	50

Merged error: 0.0b

Counts

50 → 10

localize15.0ms

Local error

Found 3 expressions with local error:

0.0b	(* 2 (* J (* (cos (* 0.5 K)) l)))
0.1b	(* J (* (cos (* 0.5 K)) l))
0.1b	(* (cos (* 0.5 K)) l)

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

19×	`pow1` `add-exp-log` `add-cbrt-cube`
10×	`pow-prod-down` `prod-exp` `cbrt-unprod`
9×	`add-sqr-sqrt` `associate-l`
7×	`add-cube-cbrt` `*-un-lft-identity`
5×	`associate-r`
3×	`*-commutative` `add-log-exp`
1×	`unswap-sqr`

Counts

3 → 57

Calls

3 calls:

9.0ms	(* 2 (* J (* (cos (* 0.5 K)) l)))
7.0ms	(* J (* (cos (* 0.5 K)) l))
5.0ms	(* (cos (* 0.5 K)) l)

series38.0ms

Counts

3 → 9

Calls

3 calls:

15.0ms	(* 2 (* J (* (cos (* 0.5 K)) l)))
13.0ms	(* J (* (cos (* 0.5 K)) l))
9.0ms	(* (cos (* 0.5 K)) l)

simplify52.3s

Counts

66 → 66

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	6	6
1	8	6
done	8	6
0	8	8
1	10	8
done	10	8
0	7	7
1	12	7
2	13	7
done	13	7
0	7	7
1	11	7
2	17	7
3	25	7
4	48	7
5	104	7
6	250	7
7	711	7
8	2455	7
done	5001	7
0	10	20
1	18	20
2	43	10
3	82	10
4	140	8
5	270	8
6	674	8
7	2453	8
done	5000	8
0	8	15
1	10	15
done	10	15
0	7	7
1	9	7
done	9	7
0	8	20
1	20	20
2	49	8
3	93	8
4	109	8
5	155	8
6	295	8
7	748	8
8	2722	8
done	5000	8
0	7	7
1	9	7
done	9	7
0	7	7
1	9	7
done	9	7
0	8	8
1	10	8
done	10	8
0	8	8
1	10	8
done	10	8
0	8	10
1	12	10
2	14	10
done	14	10
0	7	7
1	9	7
done	9	7
0	6	6
1	10	4
2	13	4
done	13	4
0	7	7
1	9	7
done	9	7
0	7	7
1	9	7
done	9	7
0	6	6
1	8	6
done	8	6
0	8	8
1	13	8
2	19	8
done	19	8
0	8	8
1	13	8
2	19	8
done	19	8
0	11	11
1	16	11
2	22	11
done	22	11
0	10	10
1	16	10
2	21	10
3	25	10
done	25	10
0	9	9
1	17	9
2	30	9
3	42	9
done	42	9
0	9	9
1	16	9
2	30	9
3	55	9
4	112	9
5	251	9
6	613	9
7	1799	9
done	5001	9
0	14	26
1	28	26
2	94	14
3	330	14
4	1050	12
5	3012	12
done	5000	12
0	12	26
1	30	26
2	98	12
3	380	12
4	1120	10
5	2187	10
done	5000	10
0	10	19
1	15	19
2	21	19
done	21	19
0	9	9
1	14	9
2	20	9
3	22	9
done	22	9
0	10	26
1	25	26
2	96	10
3	418	10
4	1117	10
5	1572	10
6	3035	10
done	5001	10
0	9	9
1	14	9
2	20	9
3	22	9
done	22	9
0	9	9
1	14	9
2	20	9
3	22	9
done	22	9
0	6	6
1	8	6
done	8	6
0	9	9
1	14	9
2	20	9
done	20	9
0	9	9
1	14	9
2	20	9
done	20	9
0	8	8
1	13	8
2	19	8
done	19	8
0	10	10
1	18	10
2	38	10
3	64	10
4	70	10
done	70	10
0	10	10
1	18	10
2	38	10
3	64	10
4	70	10
done	70	10
0	10	10
1	18	10
2	38	10
3	64	10
4	70	10
done	70	10
0	14	14
1	22	14
2	42	14
3	70	14
4	76	14
done	76	14
0	13	13
1	22	13
2	35	13
3	61	13
4	70	13
done	70	13
0	12	12
1	21	12
2	38	12
3	67	12
4	96	12
done	96	12
0	11	11
1	22	11
2	52	11
3	111	11
4	162	11
5	166	11
done	166	11
0	11	11
1	21	11
2	49	11
3	125	11
4	275	11
5	767	11
6	2116	11
done	5000	11
0	18	32
1	40	28
2	141	16
3	692	16
4	3390	14
done	5000	14
0	16	32
1	42	28
2	143	14
3	724	14
4	3746	12
done	5000	12
0	14	32
1	37	28
2	139	12
3	780	12
4	3956	12
done	5000	12
0	12	23
1	20	23
2	40	23
3	65	23
4	66	23
done	66	23
0	11	11
1	19	11
2	39	11
3	67	11
4	73	11
done	73	11
0	12	32
1	31	30
2	127	12
3	794	12
done	5000	12
0	11	11
1	19	11
2	39	11
3	67	11
4	73	11
done	73	11
0	11	11
1	19	11
2	39	11
3	67	11
4	73	11
done	73	11
0	3	3
1	4	3
done	4	3
0	11	11
1	19	11
2	39	11
3	63	11
4	64	11
done	64	11
0	11	11
1	19	11
2	39	11
3	63	11
4	64	11
done	64	11
0	10	10
1	18	10
2	38	10
3	64	10
4	70	10
done	70	10
0	8	9
1	19	9
2	56	9
3	121	9
4	185	9
5	205	9
6	228	9
7	290	9
8	503	9
9	1422	9
done	5000	9
0	6	6
1	8	6
done	8	6
0	6	6
1	8	6
done	8	6
0	1	1
done	1	1
0	8	8
1	13	8
2	19	8
done	19	8
0	8	8
1	13	8
2	19	8
done	19	8
0	1	1
done	1	1
0	10	10
1	18	10
2	38	10
3	64	10
4	70	10
done	70	10
0	10	10
1	18	10
2	38	10
3	64	10
4	70	10
done	70	10

prune147.0ms

Filtered

47 candidates to 66 candidates (-40.4%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	63	3	66
Fresh	2	6	8
Picked	0	1	1
Done	0	1	1
Total	65	11	76

Merged error: 0b

Counts

76 → 11

localize11.0ms

Local error

Found 3 expressions with local error:

0.0b	(* 2 (* (* J (cos (* 0.5 K))) l))
0.1b	(* J (cos (* 0.5 K)))
0.1b	(* (* J (cos (* 0.5 K))) l)

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

19×	`pow1` `add-exp-log` `add-cbrt-cube`
10×	`pow-prod-down` `prod-exp` `cbrt-unprod`
9×	`add-sqr-sqrt`
7×	`add-cube-cbrt` `-un-lft-identity` `associate-r` `associate-l*`
3×	`*-commutative` `add-log-exp`
1×	`unswap-sqr`

Counts

3 → 57

Calls

3 calls:

9.0ms	(* 2 (* (* J (cos (* 0.5 K))) l))
10.0ms	(* J (cos (* 0.5 K)))
7.0ms	(* (* J (cos (* 0.5 K))) l)

series38.0ms

Counts

3 → 9

Calls

3 calls:

17.0ms	(* 2 (* (* J (cos (* 0.5 K))) l))
8.0ms	(* J (cos (* 0.5 K)))
13.0ms	(* (* J (cos (* 0.5 K))) l)

simplify49.6s

Counts

66 → 66

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	8	8
1	13	8
2	19	8
done	19	8
0	8	8
1	13	8
2	19	8
done	19	8
0	11	11
1	16	11
2	22	11
done	22	11
0	10	10
1	16	10
2	21	10
3	25	10
done	25	10
0	9	9
1	17	9
2	30	9
3	42	9
4	44	9
done	44	9
0	9	9
1	16	9
2	33	9
3	55	9
4	111	9
5	250	9
6	593	9
7	1566	9
done	5000	9
0	14	26
1	28	26
2	93	14
3	342	14
4	1089	12
5	3022	12
done	5001	12
0	12	26
1	30	26
2	97	12
3	373	12
4	1105	10
5	2124	10
done	5001	10
0	10	19
1	15	19
2	21	19
done	21	19
0	9	9
1	14	9
2	20	9
3	22	9
done	22	9
0	10	26
1	25	26
2	95	10
3	436	10
4	1193	10
5	1719	10
6	3293	10
done	5001	10
0	9	9
1	14	9
2	20	9
3	22	9
done	22	9
0	9	9
1	14	9
2	20	9
3	22	9
done	22	9
0	10	12
1	17	12
2	30	12
3	40	12
done	40	12
0	9	9
1	14	9
2	20	9
done	20	9
0	8	8
1	15	6
2	27	6
3	35	6
done	35	6
0	6	6
1	8	6
done	8	6
0	6	6
1	8	6
done	8	6
0	8	8
1	10	8
done	10	8
0	7	7
1	12	7
2	13	7
done	13	7
0	7	7
1	11	7
2	17	7
3	25	7
4	48	7
5	104	7
6	250	7
7	711	7
8	2723	7
done	5000	7
0	10	20
1	18	20
2	43	10
3	83	10
4	141	8
5	276	8
6	682	8
7	2466	8
done	5000	8
0	8	15
1	10	15
done	10	15
0	7	7
1	9	7
done	9	7
0	8	20
1	20	20
2	49	8
3	93	8
4	109	8
5	155	8
6	295	8
7	748	8
8	2705	8
done	5001	8
0	7	7
1	9	7
done	9	7
0	7	7
1	9	7
done	9	7
0	8	8
1	10	8
done	10	8
0	8	8
1	10	8
done	10	8
0	8	13
1	12	13
2	14	13
done	14	13
0	7	7
1	9	7
done	9	7
0	3	3
1	6	1
done	6	1
0	7	7
1	9	7
done	9	7
0	7	7
1	9	7
done	9	7
0	6	6
1	8	6
done	8	6
0	10	10
1	18	10
2	37	10
3	65	10
4	73	10
done	73	10
0	10	10
1	18	10
2	37	10
3	65	10
4	73	10
done	73	10
0	10	10
1	18	10
2	37	10
3	65	10
4	73	10
done	73	10
0	14	14
1	22	14
2	41	14
3	69	14
4	72	14
done	72	14
0	13	13
1	22	13
2	35	13
3	63	13
4	78	13
done	78	13
0	12	12
1	21	12
2	38	12
3	67	12
4	95	12
done	95	12
0	11	11
1	22	11
2	51	11
3	113	11
4	175	11
5	177	11
done	177	11
0	11	11
1	21	11
2	48	11
3	127	11
4	277	11
5	769	11
6	2106	11
done	5000	11
0	18	32
1	40	28
2	140	16
3	690	16
4	3430	14
done	5000	14
0	16	32
1	42	28
2	142	14
3	733	14
4	3597	12
done	5000	12
0	14	32
1	37	28
2	138	12
3	785	12
4	3947	12
done	5000	12
0	12	23
1	20	23
2	39	23
3	65	23
4	73	23
done	73	23
0	11	11
1	19	11
2	38	11
3	68	11
4	71	11
done	71	11
0	12	32
1	31	30
2	126	12
3	777	12
done	5001	12
0	11	11
1	19	11
2	38	11
3	68	11
4	71	11
done	71	11
0	11	11
1	19	11
2	38	11
3	68	11
4	71	11
done	71	11
0	8	8
1	13	8
2	19	8
done	19	8
0	11	11
1	19	11
2	38	11
3	65	11
4	67	11
done	67	11
0	11	11
1	19	11
2	38	11
3	65	11
4	67	11
done	67	11
0	10	10
1	18	10
2	37	10
3	65	10
4	73	10
done	73	10
0	1	1
done	1	1
0	8	8
1	13	8
2	19	8
done	19	8
0	8	8
1	13	8
2	19	8
done	19	8
0	1	1
done	1	1
0	6	6
1	8	6
done	8	6
0	6	6
1	8	6
done	8	6
0	1	1
done	1	1
0	10	10
1	18	10
2	38	10
3	64	10
4	70	10
done	70	10
0	10	10
1	18	10
2	38	10
3	64	10
4	70	10
done	70	10

prune94.0ms

Filtered

46 candidates to 66 candidates (-43.5%)

Pruning

11 alts after pruning (8 fresh and 3 done)

	Pruned	Kept	Total
New	66	0	66
Fresh	0	8	8
Picked	0	1	1
Done	0	2	2
Total	66	11	77

Merged error: 0b

Counts

77 → 11

regimes818.0ms

Accuracy

0% (0.6b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	12
1	16	12
done	16	12

end0.0ms

sample4.2s

Algorithm

intervals

Results

1.3s	2696×	body	1280	valid
873.0ms	2697×	body	640	valid
653.0ms	8444×	body	80	valid
324.0ms	1458×	body	320	valid
121.0ms	783×	body	160	valid

Details

sample146.0ms

simplify16.6s

prune5.0ms

localize15.0ms

rewrite29.0ms

series52.0ms

simplify1.8min

prune135.0ms

localize11.0ms

rewrite16.0ms

series18.0ms

simplify39.2s

prune120.0ms

localize15.0ms

rewrite24.0ms

series38.0ms

simplify52.3s

prune147.0ms

localize11.0ms

rewrite28.0ms

series38.0ms

simplify49.6s

prune94.0ms

regimes818.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample4.2s

Profiling