Details

sample115.0ms

Algorithm

intervals

Results

43.0ms	98×	body	1280	valid
23.0ms	85×	body	640	valid
18.0ms	259×	body	80	valid
7.0ms	37×	body	320	valid
2.0ms	19×	body	160	valid

simplify3.9s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	11	12
1	26	12
2	60	12
3	94	12
4	153	12
5	227	12
6	369	12
7	452	12
8	753	12
9	1433	12
10	1684	12
11	1720	12
12	1836	12
13	1853	12
done	1853	12

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

Counts

2 → 1

localize11.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ (exp (- 0.0 im)) (exp im))
0.0b	(* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

7×	`pow1` `add-exp-log` `*-un-lft-identity` `add-cbrt-cube`
4×	`associate-r` `add-log-exp`
3×	`add-sqr-sqrt` `add-cube-cbrt` `pow-prod-down` `prod-exp` `cbrt-unprod`
2×	`flip3-+` `associate-*r/` `flip-+` `distribute-lft-out`
1×	`+-commutative` `distribute-rgt-in` `distribute-lft-in` `associate-l` `sum-log` `*-commutative`

Counts

2 → 35

Calls

2 calls:

8.0ms	(+ (exp (- 0.0 im)) (exp im))
20.0ms	(* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))

series34.0ms

Counts

2 → 6

Calls

2 calls:

5.0ms	(+ (exp (- 0.0 im)) (exp im))
29.0ms	(* (* 0.5 (sin re)) (+ (exp (- 0.0 im)) (exp im)))

simplify1.3min

Counts

41 → 41

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	11	12
1	26	12
2	60	12
3	94	12
4	153	12
5	227	12
6	369	12
7	452	12
8	753	12
9	1433	12
10	1684	12
11	1720	12
12	1836	12
13	1853	12
done	1853	12
0	11	12
1	26	12
2	60	12
3	94	12
4	153	12
5	227	12
6	369	12
7	452	12
8	753	12
9	1433	12
10	1684	12
11	1720	12
12	1836	12
13	1853	12
done	1853	12
0	14	15
1	23	15
2	32	15
3	37	15
4	43	15
5	47	15
6	63	15
7	67	15
8	72	15
9	79	15
10	98	15
11	119	15
12	138	15
13	144	15
14	156	15
15	181	15
done	181	15
0	13	14
1	23	14
2	31	14
3	38	14
4	44	14
5	48	14
6	64	14
7	68	14
8	73	14
9	80	14
10	99	14
11	120	14
12	135	14
13	141	14
14	153	14
15	178	14
done	178	14
0	12	13
1	30	13
2	71	13
3	119	13
4	178	13
5	252	13
6	400	13
7	515	13
8	841	13
9	1524	13
10	1800	13
11	1901	13
12	2128	13
13	2248	13
done	2248	13
0	12	13
1	29	13
2	77	13
3	156	13
4	326	13
5	883	13
6	3015	13
done	5000	13
0	17	38
1	47	38
2	179	18
3	920	18
done	5000	18
0	15	38
1	49	38
2	183	16
3	949	16
done	5000	16
0	13	27
1	28	27
2	62	27
3	98	27
4	157	27
5	231	27
6	372	27
7	470	27
8	766	27
9	1429	27
10	1673	27
11	1709	27
12	1831	27
13	1850	27
done	1850	27
0	12	13
1	27	13
2	61	13
3	93	13
4	150	13
5	224	13
6	369	13
7	462	13
8	762	13
9	1459	13
10	1715	13
11	1751	13
12	1862	13
13	1880	13
done	1880	13
0	13	38
1	38	38
2	178	14
3	969	14
done	5000	14
0	12	13
1	27	13
2	61	13
3	93	13
4	150	13
5	224	13
6	369	13
7	462	13
8	762	13
9	1459	13
10	1715	13
11	1751	13
12	1862	13
13	1880	13
done	1880	13
0	12	13
1	27	13
2	61	13
3	93	13
4	150	13
5	224	13
6	369	13
7	462	13
8	762	13
9	1459	13
10	1715	13
11	1751	13
12	1862	13
13	1880	13
done	1880	13
0	9	9
1	18	9
2	33	9
3	61	9
4	119	9
5	194	9
6	311	9
7	353	9
8	496	9
9	732	9
10	1022	9
11	1105	9
done	1105	9
0	7	7
1	11	7
2	17	7
done	17	7
0	9	9
1	18	9
2	33	9
3	62	9
4	117	9
5	191	9
6	308	9
7	347	9
8	491	9
9	721	9
10	1020	9
11	1099	9
done	1099	9
0	7	7
1	11	7
2	17	7
done	17	7
0	13	22
1	24	22
2	40	22
3	53	22
4	59	22
5	63	22
6	79	22
7	83	22
8	88	22
9	95	22
10	114	22
11	135	22
12	149	22
13	153	22
done	153	22
0	12	13
1	21	13
2	30	13
3	33	13
4	39	13
5	43	13
6	59	13
7	65	13
8	70	13
9	77	13
10	96	13
11	117	13
12	131	13
13	135	13
done	135	13
0	6	6
1	12	4
2	24	4
3	32	4
done	32	4
0	6	6
1	12	4
2	24	4
3	32	4
done	32	4
0	9	10
1	21	10
2	29	10
3	39	10
4	56	10
5	74	10
6	134	10
7	172	10
8	279	10
9	419	10
10	437	10
11	447	10
12	481	10
13	489	10
done	489	10
0	14	16
1	42	16
2	119	16
3	366	16
4	1284	16
done	5000	16
0	13	20
1	30	18
2	78	16
3	248	16
4	747	16
5	2047	16
done	5000	16
0	8	9
1	15	8
2	19	8
3	24	8
4	36	8
5	54	8
6	120	8
7	243	8
8	614	8
9	1901	8
done	5001	8
0	7	8
1	12	8
2	15	8
3	18	8
4	24	8
5	28	8
6	44	8
7	50	8
8	55	8
9	62	8
10	80	8
11	101	8
12	116	8
13	122	8
14	125	8
done	125	8
0	7	8
1	15	8
2	19	8
3	24	8
4	36	8
5	54	8
6	120	8
7	245	8
8	612	8
9	1898	8
done	5000	8
0	8	17
1	13	17
2	16	17
3	19	17
4	25	17
5	29	17
6	45	17
7	49	17
8	54	17
9	61	17
10	79	17
11	100	17
12	118	17
13	122	17
done	122	17
0	7	8
1	12	8
2	15	8
3	18	8
4	24	8
5	28	8
6	44	8
7	50	8
8	55	8
9	62	8
10	80	8
11	101	8
12	116	8
13	120	8
done	120	8
0	8	23
1	26	23
2	69	9
3	209	9
4	714	9
5	2363	9
done	5000	9
0	7	8
1	12	8
2	15	8
3	18	8
4	24	8
5	28	8
6	44	8
7	50	8
8	55	8
9	62	8
10	80	8
11	101	8
12	116	8
13	120	8
done	120	8
0	7	8
1	12	8
2	15	8
3	18	8
4	24	8
5	28	8
6	44	8
7	50	8
8	55	8
9	62	8
10	80	8
11	101	8
12	116	8
13	120	8
done	120	8
0	9	11
1	27	11
2	53	11
3	138	11
4	425	11
5	1412	11
done	5000	11
0	10	23
1	28	19
2	69	17
3	171	16
4	377	14
5	1369	14
done	5001	14
0	8	15
1	21	13
2	45	11
3	114	11
4	249	11
5	535	11
6	1098	11
7	3548	11
done	5000	11
0	6	7
1	12	7
2	16	7
3	19	7
4	25	7
5	29	7
6	45	7
7	50	7
8	55	7
9	62	7
10	80	7
11	101	7
12	121	7
13	138	7
14	152	7
15	153	7
done	153	7
0	6	7
1	11	7
2	14	7
3	17	7
4	23	7
5	27	7
6	43	7
7	47	7
8	52	7
9	59	7
10	78	7
11	99	7
12	112	7
13	116	7
done	116	7
0	15	17
1	38	17
2	95	17
3	183	15
4	369	15
5	774	15
6	2323	15
done	5000	15
0	10	11
1	23	11
2	50	11
3	79	11
4	139	11
5	232	11
6	298	11
7	540	11
8	667	11
9	703	11
10	830	11
11	849	11
done	849	11
0	11	12
1	26	11
2	54	11
3	98	11
4	180	11
5	499	11
6	1412	11
7	4300	11
done	5000	11
0	9	11
1	22	11
2	54	11
3	81	11
4	105	11
5	143	11
6	227	11
7	476	11
8	1252	11
9	4919	11
done	5000	11
0	5	6
1	8	6
2	10	6
done	10	6
0	6	7
1	11	6
2	18	6
3	29	6
4	53	6
5	102	6
6	229	6
7	667	6
8	2294	6
done	5000	6

prune83.0ms

Filtered

34 candidates to 41 candidates (-20.6%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	39	2	41
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	39	3	42

Merged error: 0.0b

Counts

42 → 3

localize12.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (* (* 0.5 (sin re)) (exp (- 0.0 im))) (* (* 0.5 (sin re)) (exp im)))
0.0b	(* (* 0.5 (sin re)) (exp im))
0.0b	(* (* 0.5 (sin re)) (exp (- 0.0 im)))

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

13×	`pow1` `add-cbrt-cube`
9×	`add-exp-log`
8×	`associate-r`
6×	`pow-prod-down` `prod-exp` `cbrt-unprod`
5×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `add-log-exp`
2×	`associate-l` `exp-sum` `*-commutative`
1×	`+-commutative` `sub-neg` `flip3-+` `exp-diff` `associate-*r/` `sum-log` `flip-+` `distribute-lft-out`

Counts

3 → 51

Calls

3 calls:

12.0ms	(+ (* (* 0.5 (sin re)) (exp (- 0.0 im))) (* (* 0.5 (sin re)) (exp im)))
8.0ms	(* (* 0.5 (sin re)) (exp im))
12.0ms	(* (* 0.5 (sin re)) (exp (- 0.0 im)))

series52.0ms

Counts

3 → 9

Calls

3 calls:

23.0ms	(+ (* (* 0.5 (sin re)) (exp (- 0.0 im))) (* (* 0.5 (sin re)) (exp im)))
18.0ms	(* (* 0.5 (sin re)) (exp im))
12.0ms	(* (* 0.5 (sin re)) (exp (- 0.0 im)))

simplify1.8min

Counts

60 → 60

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	9	9
1	18	9
2	33	9
3	61	9
4	119	9
5	194	9
6	311	9
7	353	9
8	496	9
9	732	9
10	1022	9
11	1105	9
done	1105	9
0	9	9
1	18	9
2	33	9
3	61	9
4	119	9
5	194	9
6	311	9
7	353	9
8	496	9
9	732	9
10	1022	9
11	1105	9
done	1105	9
0	10	10
1	18	10
2	37	10
3	76	10
4	107	10
5	160	10
6	281	10
7	375	10
8	516	10
9	598	10
10	603	10
done	603	10
0	9	9
1	18	9
2	32	9
3	68	9
4	104	9
5	151	9
6	270	9
7	358	9
8	496	9
9	593	9
10	596	9
done	596	9
0	10	10
1	22	10
2	47	9
3	110	9
4	242	9
5	410	9
6	705	9
7	1052	9
8	1508	9
9	1929	9
10	2361	9
11	2556	9
done	2556	9
0	10	10
1	21	10
2	47	10
3	103	10
4	250	10
5	603	10
6	1614	10
done	5000	10
0	15	29
1	35	28
2	126	15
3	532	15
4	2947	13
done	5000	13
0	13	29
1	37	28
2	130	13
3	563	13
4	3166	11
done	5000	11
0	11	21
1	20	21
2	35	21
3	63	21
4	119	21
5	194	21
6	311	21
7	355	21
8	501	21
9	736	21
10	1039	21
11	1119	21
done	1119	21
0	10	10
1	19	10
2	34	10
3	62	10
4	118	10
5	193	10
6	310	10
7	354	10
8	500	10
9	734	10
10	1031	10
11	1111	10
done	1111	10
0	11	29
1	30	29
2	121	11
3	655	11
4	3814	11
done	5000	11
0	10	10
1	19	10
2	34	10
3	62	10
4	118	10
5	193	10
6	310	10
7	354	10
8	500	10
9	734	10
10	1031	10
11	1111	10
done	1111	10
0	10	10
1	19	10
2	34	10
3	62	10
4	118	10
5	193	10
6	310	10
7	354	10
8	500	10
9	734	10
10	1031	10
11	1111	10
done	1111	10
0	7	7
1	11	7
2	17	7
done	17	7
0	7	7
1	11	7
2	17	7
done	17	7
0	11	16
1	22	16
2	38	16
3	51	16
4	57	16
5	61	16
6	77	16
7	81	16
8	86	16
9	93	16
10	111	16
11	132	16
12	149	16
13	152	16
done	152	16
0	10	10
1	19	10
2	28	10
3	33	10
4	39	10
5	43	10
6	59	10
7	65	10
8	70	10
9	77	10
10	96	10
11	117	10
12	129	10
13	132	10
done	132	10
0	6	6
1	12	4
2	24	4
3	32	4
done	32	4
0	7	7
1	13	7
2	20	7
3	30	7
4	47	7
5	65	7
6	113	7
7	133	7
8	180	7
9	246	7
10	321	7
11	324	7
done	324	7
0	7	7
1	11	7
2	17	7
done	17	7
0	7	7
1	11	7
2	17	7
done	17	7
0	7	7
1	11	7
2	17	7
done	17	7
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	8	8
1	15	8
2	28	7
3	40	7
4	42	7
done	42	7
0	8	8
1	14	8
2	31	8
3	53	8
4	109	8
5	250	8
6	593	8
7	1561	8
done	5001	8
0	13	23
1	28	22
2	99	13
3	349	13
4	1106	11
5	3113	11
done	5001	11
0	11	23
1	30	22
2	103	11
3	384	11
4	1159	9
5	2283	9
done	5000	9
0	9	17
1	13	17
2	19	17
done	19	17
0	8	8
1	12	8
2	18	8
done	18	8
0	9	23
1	23	23
2	95	9
3	432	9
4	1144	9
5	1588	9
6	3353	9
done	5000	9
0	8	8
1	12	8
2	18	8
done	18	8
0	8	8
1	12	8
2	18	8
done	18	8
0	9	12
1	15	12
2	28	12
3	40	12
done	40	12
0	8	8
1	12	8
2	18	8
3	20	8
done	20	8
0	6	6
1	12	4
2	24	4
3	32	4
done	32	4
0	5	5
1	6	5
done	6	5
0	14	19
1	31	18
2	74	13
3	171	13
4	479	13
5	1764	13
done	5000	13
0	13	18
1	27	13
2	61	13
3	110	13
4	178	13
5	253	13
6	407	13
7	516	13
8	844	13
9	1496	13
10	1779	13
11	1880	13
12	2120	13
13	2240	13
done	2240	13
0	13	18
1	30	13
2	73	13
3	153	13
4	380	13
5	1292	13
done	5000	13
0	14	37
1	28	27
2	59	27
3	97	27
4	155	27
5	230	27
6	379	27
7	464	27
8	759	27
9	1429	27
10	1648	27
11	1684	27
12	1804	27
13	1823	27
done	1823	27
0	13	18
1	27	13
2	58	13
3	98	13
4	156	13
5	231	13
6	380	13
7	468	13
8	767	13
9	1438	13
10	1650	13
11	1686	13
12	1803	13
13	1822	13
done	1822	13
0	14	53
1	41	38
2	163	14
3	1050	14
done	5000	14
0	13	18
1	27	13
2	58	13
3	98	13
4	156	13
5	231	13
6	380	13
7	468	13
8	767	13
9	1438	13
10	1650	13
11	1686	13
12	1803	13
13	1822	13
done	1822	13
0	13	18
1	27	13
2	58	13
3	98	13
4	156	13
5	231	13
6	380	13
7	468	13
8	767	13
9	1438	13
10	1650	13
11	1686	13
12	1803	13
13	1822	13
done	1822	13
0	15	21
1	45	21
2	163	18
3	819	18
4	4512	18
done	5000	18
0	16	53
1	51	45
2	215	39
3	1005	32
4	4061	26
done	5001	26
0	14	35
1	43	35
2	173	23
3	759	21
4	2622	21
done	5001	21
0	12	17
1	27	12
2	67	12
3	135	12
4	207	12
5	282	12
6	457	12
7	612	12
8	996	12
9	1956	12
10	2605	12
11	2641	12
12	2749	12
13	2768	12
done	2768	12
0	6	7
1	11	7
2	14	7
3	17	7
4	23	7
5	27	7
6	43	7
7	47	7
8	52	7
9	59	7
10	78	7
11	99	7
12	112	7
13	116	7
done	116	7
0	12	15
1	30	15
2	65	13
3	154	13
4	360	13
5	801	13
6	2881	13
done	5001	13
0	8	8
1	15	8
2	29	8
3	44	7
4	94	7
5	100	7
done	100	7
0	9	9
1	17	8
2	31	8
3	68	8
4	156	7
5	409	7
6	1327	7
7	4284	7
done	5001	7
0	12	15
1	32	13
2	74	13
3	151	13
4	337	13
5	751	13
6	2194	13
done	5000	13
0	7	7
1	11	7
2	17	7
done	17	7
0	7	7
1	11	7
2	17	7
done	17	7
0	15	17
1	38	17
2	95	17
3	183	15
4	369	15
5	774	15
6	2323	15
done	5000	15
0	12	16
1	24	14
2	50	11
3	76	11
4	163	11
5	216	11
6	282	11
7	522	11
8	642	11
9	678	11
10	786	11
11	805	11
done	805	11
0	13	17
1	28	14
2	49	11
3	93	11
4	184	11
5	461	11
6	1432	11
7	4410	11
done	5000	11

prune98.0ms

Filtered

47 candidates to 60 candidates (-27.7%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	59	1	60
Fresh	0	1	1
Picked	0	1	1
Done	1	0	1
Total	60	3	63

Merged error: 0b

Counts

63 → 3

localize11.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (* (/ (sin re) (exp im)) 0.5) (* (* 0.5 (sin re)) (exp im)))
0.0b	(* (* 0.5 (sin re)) (exp im))
0.0b	(/ (sin re) (exp im))

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

12×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
10×	`add-cbrt-cube`
9×	`times-frac`
8×	`pow1`
7×	`add-exp-log`
5×	`add-log-exp`
3×	`associate-r` `pow-prod-down` `prod-exp` `associate-/r` `cbrt-unprod` `associate-/l`
1×	`cbrt-undiv` `+-commutative` `frac-2neg` `flip3-+` `div-exp` `associate-l` `clear-num` `sum-log` `*-commutative` `flip-+` `div-inv`

Counts

3 → 56

Calls

3 calls:

10.0ms	(+ (* (/ (sin re) (exp im)) 0.5) (* (* 0.5 (sin re)) (exp im)))
8.0ms	(* (* 0.5 (sin re)) (exp im))
6.0ms	(/ (sin re) (exp im))

series50.0ms

Counts

3 → 9

Calls

3 calls:

24.0ms	(+ (* (/ (sin re) (exp im)) 0.5) (* (* 0.5 (sin re)) (exp im)))
16.0ms	(* (* 0.5 (sin re)) (exp im))
10.0ms	(/ (sin re) (exp im))

simplify57.0s

Counts

65 → 65

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	5	5
1	7	5
2	8	5
done	8	5
0	6	6
1	9	6
2	11	5
3	12	5
done	12	5
0	6	6
done	6	6
0	9	17
1	20	16
2	58	9
3	130	7
4	217	7
5	395	7
6	1243	7
done	5001	7
0	7	13
done	7	13
0	6	6
done	6	6
0	7	17
1	14	17
2	30	7
3	68	7
4	135	7
5	204	7
6	338	7
7	839	7
8	3674	7
done	5001	7
0	6	6
done	6	6
0	6	6
done	6	6
0	3	3
done	3	3
0	3	3
done	3	3
0	9	15
1	15	15
2	24	15
3	30	15
done	30	15
0	7	7
done	7	7
0	8	11
1	10	11
2	12	11
3	13	11
done	13	11
0	7	7
done	7	7
0	6	9
1	10	7
2	16	7
3	21	7
done	21	7
0	6	6
done	6	6
0	8	11
1	10	11
done	10	11
0	7	7
done	7	7
0	7	7
done	7	7
0	7	7
done	7	7
0	5	5
1	7	3
2	9	3
done	9	3
0	6	6
done	6	6
0	6	9
1	10	9
done	10	9
0	6	6
done	6	6
0	5	5
1	7	5
done	7	5
0	6	6
done	6	6
0	2	3
1	4	1
done	4	1
0	5	5
done	5	5
0	4	4
1	8	3
done	8	3
0	5	5
done	5	5
0	7	10
1	9	10
done	9	10
0	6	6
done	6	6
0	4	4
1	6	2
2	8	2
done	8	2
0	6	6
done	6	6
0	6	6
done	6	6
0	5	5
done	5	5
0	7	7
1	11	7
2	17	7
done	17	7
0	7	7
1	11	7
2	17	7
done	17	7
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	8	8
1	15	8
2	28	7
3	40	7
4	42	7
done	42	7
0	8	8
1	14	8
2	31	8
3	53	8
4	109	8
5	250	8
6	593	8
7	1561	8
done	5001	8
0	13	23
1	28	22
2	99	13
3	349	13
4	1106	11
5	3113	11
done	5001	11
0	11	23
1	30	22
2	103	11
3	384	11
4	1159	9
5	2283	9
done	5000	9
0	9	17
1	13	17
2	19	17
done	19	17
0	8	8
1	12	8
2	18	8
done	18	8
0	9	23
1	23	23
2	95	9
3	432	9
4	1144	9
5	1588	9
6	3353	9
done	5000	9
0	8	8
1	12	8
2	18	8
done	18	8
0	8	8
1	12	8
2	18	8
done	18	8
0	9	12
1	15	12
2	28	12
3	40	12
done	40	12
0	8	8
1	12	8
2	18	8
3	20	8
done	20	8
0	6	6
1	12	4
2	24	4
3	32	4
done	32	4
0	5	5
1	6	5
done	6	5
0	12	17
1	25	16
2	53	14
3	99	14
4	274	13
5	975	13
6	4584	13
done	5000	13
0	11	16
1	18	16
2	32	14
3	39	14
4	45	13
5	50	13
6	51	13
done	51	13
0	11	16
1	21	16
2	45	14
3	74	14
4	180	13
5	558	13
6	2232	13
done	5000	13
0	12	33
1	19	33
2	33	29
3	37	29
4	42	27
5	44	27
done	44	27
0	11	16
1	18	16
2	32	14
3	36	14
4	41	13
5	43	13
done	43	13
0	12	47
1	32	47
2	120	15
3	593	15
4	2728	14
done	5000	14
0	11	16
1	18	16
2	32	14
3	36	14
4	41	13
5	43	13
done	43	13
0	11	16
1	18	16
2	32	14
3	36	14
4	41	13
5	43	13
done	43	13
0	13	19
1	39	19
2	141	19
3	647	19
4	2782	19
done	5000	19
0	14	47
1	46	39
2	178	37
3	629	35
4	1818	33
5	3486	28
done	5000	28
0	12	31
1	37	31
2	136	27
3	479	26
4	1332	25
5	2244	22
6	3826	22
done	5000	22
0	10	15
1	18	15
2	41	13
3	72	13
4	90	12
5	93	12
done	93	12
0	9	11
1	24	11
2	51	11
3	115	11
4	279	11
5	707	11
6	2671	11
done	5000	11
0	5	5
done	5	5
0	5	5
done	5	5
0	12	15
1	32	13
2	74	13
3	151	13
4	337	13
5	751	13
6	2194	13
done	5000	13
0	7	7
1	11	7
2	17	7
done	17	7
0	7	7
1	11	7
2	17	7
done	17	7
0	15	17
1	38	17
2	95	17
3	183	15
4	369	15
5	774	15
6	2323	15
done	5000	15
0	10	15
1	19	13
2	29	13
3	33	13
4	38	12
5	40	12
done	40	12
0	10	15
1	19	13
2	29	13
3	33	13
4	38	12
5	40	12
done	40	12

prune80.0ms

Filtered

50 candidates to 65 candidates (-30.0%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	65	0	65
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	65	3	68

Merged error: 0b

Counts

68 → 3

localize18.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (* (* 0.5 (sin re)) (- (exp (* 2 (- 0.0 im))) (exp (+ im im)))) (- (exp (- 0.0 im)) (exp im)))
0.0b	(* (* 0.5 (sin re)) (- (exp (* 2 (- 0.0 im))) (exp (+ im im))))
4.7b	(- (exp (* 2 (- 0.0 im))) (exp (+ im im)))
4.7b	(- (exp (- 0.0 im)) (exp im))

rewrite59.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 87

Calls

4 calls:

23.0ms	(/ (* (* 0.5 (sin re)) (- (exp (* 2 (- 0.0 im))) (exp (+ im im)))) (- (exp (- 0.0 im)) (exp im)))
15.0ms	(* (* 0.5 (sin re)) (- (exp (* 2 (- 0.0 im))) (exp (+ im im))))
9.0ms	(- (exp (* 2 (- 0.0 im))) (exp (+ im im)))
9.0ms	(- (exp (- 0.0 im)) (exp im))

series80.0ms

Counts

4 → 12

Calls

4 calls:

41.0ms	(/ (* (* 0.5 (sin re)) (- (exp (* 2 (- 0.0 im))) (exp (+ im im)))) (- (exp (- 0.0 im)) (exp im)))
21.0ms	(* (* 0.5 (sin re)) (- (exp (* 2 (- 0.0 im))) (exp (+ im im))))
11.0ms	(- (exp (* 2 (- 0.0 im))) (exp (+ im im)))
6.0ms	(- (exp (- 0.0 im)) (exp im))

simplify3.5min

Counts

99 → 99

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	8	9
1	14	8
2	19	8
3	27	8
4	41	8
5	65	8
6	155	8
7	404	8
8	1022	8
9	3143	8
done	5000	8
0	7	8
1	13	8
2	17	8
3	20	8
4	26	8
5	30	8
6	46	8
7	51	8
8	56	8
9	63	8
10	81	8
11	102	8
12	121	8
13	140	8
14	157	8
15	158	8
done	158	8
0	7	8
1	16	8
2	22	8
3	29	8
4	45	8
5	73	8
6	202	8
7	440	8
8	1073	8
9	3187	8
done	5001	8
0	8	17
1	14	17
2	18	17
3	21	17
4	27	17
5	31	17
6	47	17
7	52	17
8	57	17
9	64	17
10	83	17
11	104	17
12	123	17
13	140	17
14	154	17
15	155	17
done	155	17
0	7	8
1	13	8
2	17	8
3	20	8
4	26	8
5	30	8
6	46	8
7	51	8
8	56	8
9	63	8
10	81	8
11	102	8
12	121	8
13	138	8
14	152	8
15	153	8
done	153	8
0	8	23
1	15	23
2	33	9
3	93	9
4	316	9
5	1188	9
6	4149	9
done	5000	9
0	7	8
1	13	8
2	17	8
3	20	8
4	26	8
5	30	8
6	46	8
7	51	8
8	56	8
9	63	8
10	81	8
11	102	8
12	121	8
13	138	8
14	152	8
15	153	8
done	153	8
0	7	8
1	13	8
2	17	8
3	20	8
4	26	8
5	30	8
6	46	8
7	51	8
8	56	8
9	63	8
10	81	8
11	102	8
12	121	8
13	138	8
14	152	8
15	153	8
done	153	8
0	9	11
1	28	11
2	67	11
3	169	11
4	501	11
5	1712	11
done	5001	11
0	10	23
1	27	19
2	61	17
3	139	16
4	259	14
5	693	14
6	2584	14
done	5000	14
0	3	3
done	3	3
0	8	15
1	21	13
2	45	11
3	114	11
4	249	11
5	535	11
6	1098	11
7	3548	11
done	5000	11
0	6	7
1	11	7
2	14	7
3	17	7
4	23	7
5	27	7
6	43	7
7	47	7
8	52	7
9	59	7
10	78	7
11	99	7
12	112	7
13	116	7
done	116	7
0	8	9
1	13	9
2	16	9
3	19	9
4	25	9
5	29	9
6	45	9
7	49	9
8	54	9
9	61	9
10	80	9
11	101	9
12	113	9
13	116	9
done	116	9
0	8	9
1	14	9
2	18	9
3	21	9
4	27	9
5	31	9
6	47	9
7	51	9
8	56	9
9	63	9
10	82	9
11	103	9
12	116	9
13	119	9
done	119	9
0	6	7
1	12	7
2	16	7
3	19	7
4	25	7
5	29	7
6	45	7
7	50	7
8	55	7
9	62	7
10	80	7
11	101	7
12	121	7
13	138	7
14	152	7
15	153	7
done	153	7
0	3	3
done	3	3
0	11	13
1	21	12
2	40	12
3	86	12
4	215	12
5	588	12
6	1960	12
done	5001	12
0	10	12
1	20	12
2	39	12
3	72	12
4	173	12
5	426	12
6	1197	12
done	5000	12
0	10	12
1	23	12
2	46	12
3	91	12
4	227	12
5	643	12
6	2311	12
done	5000	12
0	11	25
1	21	25
2	40	25
3	73	25
4	168	25
5	412	25
6	1178	25
done	5000	25
0	10	12
1	20	12
2	39	12
3	72	12
4	167	12
5	412	12
6	1182	12
done	5000	12
0	11	35
1	22	35
2	55	13
3	166	13
4	781	13
done	5002	13
0	10	12
1	20	12
2	39	12
3	72	12
4	167	12
5	412	12
6	1182	12
done	5000	12
0	10	12
1	20	12
2	39	12
3	72	12
4	167	12
5	412	12
6	1182	12
done	5000	12
0	12	15
1	34	15
2	88	15
3	255	13
4	818	11
5	3617	11
done	5000	11
0	13	35
1	34	29
2	85	20
3	213	20
4	735	18
5	2877	16
done	5000	16
0	4	5
1	8	5
2	14	5
3	18	5
4	30	5
5	65	5
6	144	5
7	361	5
8	1135	5
9	4387	5
done	5000	5
0	11	23
1	28	21
2	67	11
3	184	11
4	620	11
5	2764	11
done	5001	11
0	9	11
1	18	11
2	33	11
3	60	11
4	134	11
5	316	11
6	881	11
7	3590	11
done	5001	11
0	9	10
1	15	10
2	28	10
3	57	8
4	126	8
5	286	8
6	715	8
7	2458	7
done	5000	7
0	9	10
1	16	10
2	30	10
3	59	8
4	128	8
5	286	8
6	716	8
7	2460	7
done	5001	7
0	11	13
1	20	13
2	36	11
3	65	9
4	141	9
5	324	9
6	892	9
7	3586	8
done	5000	8
0	11	13
1	21	13
2	38	11
3	67	9
4	143	9
5	326	9
6	894	9
7	3593	8
done	5001	8
0	9	11
1	19	11
2	38	11
3	71	11
4	166	11
5	407	11
6	1165	11
done	5001	11
0	4	5
1	8	5
2	14	5
3	18	5
4	30	5
5	65	5
6	144	5
7	361	5
8	1135	5
9	4387	5
done	5000	5
0	14	16
1	28	16
2	65	16
3	156	16
4	439	16
5	1255	16
6	4512	16
done	5000	16
0	14	16
1	28	16
2	65	16
3	156	16
4	439	16
5	1255	16
6	4512	16
done	5000	16
0	17	19
1	31	19
2	56	19
3	91	19
4	192	19
5	457	19
6	1298	19
done	5000	19
0	16	18
1	31	18
2	55	18
3	92	18
4	193	18
5	458	18
6	1291	18
done	5000	18
0	15	17
1	32	17
2	76	17
3	181	17
4	476	17
5	1362	17
6	4756	17
done	5000	17
0	15	17
1	31	17
2	78	17
3	203	17
4	608	17
5	1997	17
done	5000	17
0	20	50
1	43	50
2	145	22
3	659	22
4	4665	20
done	5000	20
0	18	50
1	45	50
2	149	20
3	679	20
4	4714	18
done	5000	18
0	16	35
1	30	35
2	67	35
3	158	35
4	435	35
5	1257	35
6	4512	35
done	5000	35
0	15	17
1	29	17
2	66	17
3	157	17
4	434	17
5	1256	17
6	4495	17
done	5000	17
0	16	50
1	40	50
2	159	18
3	837	18
done	5001	18
0	15	17
1	29	17
2	66	17
3	157	17
4	434	17
5	1256	17
6	4495	17
done	5000	17
0	15	17
1	29	17
2	66	17
3	157	17
4	434	17
5	1256	17
6	4495	17
done	5000	17
0	11	11
1	20	11
2	39	11
3	91	11
4	291	11
5	858	11
6	2711	11
done	5000	11
0	9	10
1	19	10
2	41	10
3	94	10
4	160	10
5	328	10
6	770	10
7	2308	10
done	5000	10
0	11	11
1	20	11
2	39	11
3	91	11
4	291	11
5	858	11
6	2711	11
done	5000	11
0	9	10
1	19	10
2	41	10
3	94	10
4	160	10
5	328	10
6	770	10
7	2308	10
done	5000	10
0	11	11
1	20	11
2	39	11
3	91	11
4	291	11
5	854	11
6	2723	11
done	5000	11
0	9	10
1	19	10
2	41	10
3	92	10
4	166	10
5	328	10
6	773	10
7	2343	10
done	5000	10
0	11	11
1	20	11
2	39	11
3	91	11
4	291	11
5	854	11
6	2723	11
done	5000	11
0	9	10
1	19	10
2	41	10
3	92	10
4	166	10
5	328	10
6	773	10
7	2343	10
done	5000	10
0	16	30
1	32	30
2	64	30
3	107	30
4	202	30
5	441	30
6	1205	30
done	5002	30
0	15	17
1	29	17
2	54	17
3	87	17
4	182	17
5	427	17
6	1194	17
done	5000	17
0	6	6
1	12	4
2	24	4
3	32	4
done	32	4
0	14	15
1	30	15
2	70	15
3	107	13
4	176	13
5	340	13
6	772	13
7	2510	12
done	5000	12
0	16	18
1	35	18
2	78	16
3	113	14
4	189	14
5	375	14
6	933	14
7	3622	13
done	5000	13
0	6	6
1	12	4
2	24	4
3	32	4
done	32	4
0	12	14
1	23	14
2	48	14
3	102	14
4	256	14
5	662	14
6	2155	14
done	5000	14
0	17	20
1	43	20
2	115	20
3	392	18
4	1747	16
done	5000	16
0	16	28
1	37	26
2	100	16
3	306	16
4	1303	16
done	5000	16
0	22	28
1	43	28
2	84	28
3	162	28
4	311	28
5	729	28
6	2170	17
done	5000	17
0	21	27
1	43	27
2	77	27
3	150	27
4	306	27
5	718	27
6	2141	16
done	5001	16
0	20	26
1	42	26
2	92	26
3	220	26
4	621	26
5	1757	26
done	5001	26
0	19	25
1	41	25
2	103	25
3	281	25
4	944	25
5	3560	15
done	5000	15
0	19	25
1	38	25
2	89	25
3	238	25
4	838	25
5	3361	15
done	5000	15
0	26	74
1	60	74
2	260	32
3	1761	32
done	5000	32
0	24	74
1	62	74
2	257	30
3	1788	30
done	5001	30
0	22	74
1	57	74
2	270	28
3	2113	26
done	5001	26
0	20	51
1	39	51
2	90	51
3	237	51
4	813	51
5	3224	31
done	5000	31
0	19	25
1	38	25
2	89	25
3	236	25
4	816	25
5	3215	15
done	5000	15
0	20	74
1	46	74
2	140	26
3	719	26
done	5000	26
0	19	25
1	38	25
2	89	25
3	236	25
4	816	25
5	3215	15
done	5000	15
0	19	25
1	38	25
2	89	25
3	236	25
4	816	25
5	3215	15
done	5000	15
0	15	17
1	33	17
2	94	17
3	286	17
4	915	16
5	2957	16
done	5000	16
0	7	8
1	13	8
2	20	8
3	30	8
4	44	7
5	56	7
6	100	7
7	126	7
8	142	7
9	157	7
10	212	7
11	324	7
12	547	7
13	607	7
14	611	7
done	611	7
0	13	22
1	27	22
2	45	22
3	61	22
4	71	22
5	75	22
6	91	22
7	98	22
8	103	22
9	110	22
10	129	22
11	150	22
12	174	22
13	191	22
14	205	22
15	206	22
done	206	22
0	14	20
1	30	20
2	54	20
3	102	20
4	266	20
5	697	20
6	2260	20
done	5000	20
0	12	13
1	21	13
2	29	13
3	35	13
4	42	13
5	46	13
6	62	13
7	67	13
8	72	13
9	79	13
10	98	13
11	119	13
12	143	13
13	160	13
14	174	13
15	175	13
done	175	13
0	14	20
1	30	20
2	54	20
3	102	20
4	266	20
5	697	20
6	2260	20
done	5000	20
0	6	6
1	11	4
2	19	4
3	28	4
4	33	4
done	33	4
0	13	19
1	29	19
2	53	19
3	104	19
4	282	19
5	803	9
6	3042	7
done	5000	7
0	13	14
1	21	14
2	28	14
3	34	14
4	41	14
5	45	14
6	61	14
7	67	14
8	72	14
9	79	14
10	98	14
11	119	14
12	131	14
13	134	14
done	134	14
0	15	21
1	31	21
2	56	21
3	108	21
4	273	21
5	741	21
6	2499	21
done	5000	21
0	6	6
1	11	4
2	19	4
3	28	4
4	33	4
done	33	4
0	13	19
1	29	19
2	53	19
3	104	19
4	282	19
5	803	9
6	3042	7
done	5000	7
0	8	9
1	16	9
2	20	9
3	22	9
4	26	9
5	30	9
6	46	9
7	51	9
8	56	9
9	63	9
10	81	9
11	102	9
12	125	9
13	142	9
14	157	9
15	158	9
done	158	9
0	18	24
1	40	24
2	102	24
3	295	24
4	921	24
5	3385	24
done	5000	24
0	20	34
1	44	34
2	114	34
3	314	34
4	1164	34
5	4990	34
done	5000	34
0	19	25
1	38	25
2	86	25
3	215	25
4	703	25
5	2602	25
done	5000	25
0	16	18
1	34	16
2	85	16
3	226	16
4	650	16
5	2500	16
done	5000	16
0	20	26
1	38	26
2	86	26
3	214	26
4	694	26
5	2497	26
done	5000	26
0	16	18
1	34	16
2	85	16
3	226	16
4	650	16
5	2500	16
done	5000	16
0	13	19
1	29	19
2	53	19
3	99	19
4	275	19
5	867	19
6	3884	9
done	5001	9
0	21	28
1	51	28
2	137	28
3	427	28
4	2215	28
done	5000	28
0	20	32
1	43	30
2	120	28
3	457	28
4	2563	6
done	5001	6
0	17	43
1	48	37
2	140	28
3	475	28
4	2071	26
done	5000	26
0	13	19
1	32	19
2	72	19
3	200	19
4	678	19
5	2144	19
done	5000	19
0	14	16
1	35	16
2	84	15
3	187	15
4	437	15
5	1144	15
6	3846	15
done	5000	15
0	5	6
1	9	6
2	12	6
done	12	6
0	6	7
1	12	6
2	20	6
3	31	6
4	55	6
5	104	6
6	225	6
7	660	6
8	2284	6
done	5001	6
0	14	16
1	36	16
2	85	15
3	185	15
4	434	15
5	1125	15
6	3836	15
done	5001	15
0	8	9
1	16	9
2	26	9
3	56	9
4	128	9
5	298	9
6	891	9
7	4084	9
done	5001	9
0	8	9
1	16	9
2	26	9
3	56	9
4	128	9
5	298	9
6	891	9
7	4084	9
done	5001	9
0	5	5
1	9	5
2	15	5
done	15	5
0	13	14
1	25	14
2	53	14
3	117	14
4	338	14
5	1016	14
6	3883	14
done	5000	14
0	13	14
1	25	14
2	53	14
3	117	14
4	338	14
5	1016	14
6	3883	14
done	5000	14
0	15	17
1	38	17
2	95	17
3	183	15
4	369	15
5	774	15
6	2323	15
done	5000	15
0	18	21
1	36	21
2	71	21
3	172	21
4	548	21
5	2240	21
done	5000	21
0	19	22
1	39	21
2	77	21
3	188	21
4	641	21
5	3175	21
done	5000	21

prune192.0ms

Filtered

79 candidates to 99 candidates (-25.3%)

Pruning

3 alts after pruning (0 fresh and 3 done)

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

Merged error: 0b

Counts

102 → 3

regimes216.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	15
1	14	15
done	14	15

end0.0ms

sample3.5s

Algorithm

intervals

Results

1.3s	2997×	body	1280	valid
678.0ms	2436×	body	640	valid
573.0ms	8524×	body	80	valid
243.0ms	1228×	body	320	valid
78.0ms	600×	body	160	valid

Details

sample115.0ms

simplify3.9s

prune4.0ms

localize11.0ms

rewrite30.0ms

series34.0ms

simplify1.3min

prune83.0ms

localize12.0ms

rewrite34.0ms

series52.0ms

simplify1.8min

prune98.0ms

localize11.0ms

rewrite25.0ms

series50.0ms

simplify57.0s

prune80.0ms

localize18.0ms

rewrite59.0ms

series80.0ms

simplify3.5min

prune192.0ms

regimes216.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample3.5s

Profiling