Details

sample164.0ms

Algorithm

intervals

Results

86.0ms	165×	body	1280	valid
30.0ms	102×	body	640	valid
13.0ms	60×	body	320	valid
9.0ms	141×	body	80	valid
4.0ms	30×	body	160	valid

simplify3.4s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	10	11
1	18	11
2	39	11
3	75	11
4	110	11
5	261	11
6	394	11
7	566	11
8	1081	11
9	1586	11
10	1622	11
11	1743	11
12	1762	11
done	1762	11

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

Counts

2 → 1

localize10.0ms

Local error

Found 2 expressions with local error:

0.0b	(* (* 0.5 (sin re)) (- (exp (neg im)) (exp im)))
4.7b	(- (exp (neg im)) (exp im))

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 40

Calls

2 calls:

12.0ms	(* (* 0.5 (sin re)) (- (exp (neg im)) (exp im)))
7.0ms	(- (exp (neg im)) (exp im))

series24.0ms

Counts

2 → 6

Calls

2 calls:

18.0ms	(* (* 0.5 (sin re)) (- (exp (neg im)) (exp im)))
6.0ms	(- (exp (neg im)) (exp im))

simplify1.2min

Counts

46 → 46

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	7	8
1	11	7
2	15	7
3	18	7
4	20	7
5	24	7
6	28	7
7	44	7
8	48	7
9	56	7
10	65	7
11	83	7
12	104	7
13	121	7
14	124	7
done	124	7
0	6	7
1	10	7
2	13	7
done	13	7
0	6	7
1	13	7
2	18	7
3	20	7
4	24	7
5	28	7
6	44	7
7	48	7
8	56	7
9	65	7
10	83	7
11	104	7
12	122	7
13	125	7
done	125	7
0	7	15
1	11	15
2	14	15
done	14	15
0	6	7
1	10	7
2	13	7
done	13	7
0	7	20
1	12	20
2	29	8
3	80	8
4	234	8
5	823	8
6	2909	8
done	5000	8
0	6	7
1	10	7
2	13	7
done	13	7
0	6	7
1	10	7
2	13	7
done	13	7
0	8	10
1	25	10
2	63	10
3	131	10
4	277	10
5	713	9
6	3009	9
done	5000	9
0	9	20
1	24	16
2	48	12
3	66	11
4	108	11
5	159	11
6	320	11
7	771	11
8	2056	11
done	5000	11
0	3	3
done	3	3
0	7	13
1	18	11
2	36	10
3	66	9
4	129	9
5	270	9
6	584	9
7	1355	9
8	4977	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	12	6
done	12	6
0	3	3
done	3	3
0	10	11
1	18	11
2	39	11
3	75	11
4	110	11
5	261	11
6	394	11
7	566	11
8	1081	11
9	1586	11
10	1622	11
11	1743	11
12	1762	11
done	1762	11
0	10	11
1	18	11
2	39	11
3	75	11
4	110	11
5	261	11
6	394	11
7	566	11
8	1081	11
9	1586	11
10	1622	11
11	1743	11
12	1762	11
done	1762	11
0	13	14
1	21	14
2	30	14
done	30	14
0	12	13
1	21	13
2	29	13
3	33	13
done	33	13
0	11	12
1	22	12
2	50	12
3	96	12
4	129	12
5	281	12
6	438	12
7	645	12
8	1162	12
9	1648	12
10	1749	12
11	1981	12
12	2099	12
done	2099	12
0	11	12
1	21	12
2	53	12
3	123	12
4	245	12
5	652	12
6	1680	12
done	5001	12
0	16	35
1	33	35
2	119	17
3	556	17
4	3192	15
done	5000	15
0	14	35
1	35	35
2	123	15
3	583	15
4	3264	13
done	5000	13
0	12	25
1	20	25
2	41	25
3	77	25
4	110	25
5	261	25
6	386	25
7	556	25
8	1072	25
9	1600	25
10	1636	25
11	1757	25
12	1775	25
done	1775	25
0	11	12
1	19	12
2	40	12
3	76	12
4	113	12
5	262	12
6	386	12
7	560	12
8	1075	12
9	1566	12
10	1602	12
11	1716	12
12	1734	12
done	1734	12
0	12	35
1	30	35
2	133	13
3	722	13
4	3907	13
done	5000	13
0	11	12
1	19	12
2	40	12
3	76	12
4	113	12
5	262	12
6	386	12
7	560	12
8	1075	12
9	1566	12
10	1602	12
11	1716	12
12	1734	12
done	1734	12
0	11	12
1	19	12
2	40	12
3	76	12
4	113	12
5	262	12
6	386	12
7	560	12
8	1075	12
9	1566	12
10	1602	12
11	1716	12
12	1734	12
done	1734	12
0	8	8
1	15	8
2	29	8
3	45	7
4	104	7
5	110	7
done	110	7
0	8	8
1	14	8
2	28	8
3	43	8
4	51	8
done	51	8
0	8	8
1	15	8
2	29	8
3	45	7
4	104	7
5	110	7
done	110	7
0	8	8
1	14	8
2	28	8
3	43	8
4	51	8
done	51	8
0	8	8
1	15	8
2	29	8
3	46	7
4	89	7
5	101	7
done	101	7
0	8	8
1	14	8
2	28	8
3	43	8
4	51	8
done	51	8
0	8	8
1	15	8
2	29	8
3	46	7
4	89	7
5	101	7
done	101	7
0	8	8
1	14	8
2	28	8
3	43	8
4	51	8
done	51	8
0	12	20
1	22	20
2	38	20
3	50	20
done	50	20
0	11	12
1	19	12
2	28	12
done	28	12
0	6	6
1	12	4
2	24	4
3	32	4
done	32	4
0	12	13
1	25	13
2	54	13
3	58	13
done	58	13
0	6	6
1	12	4
2	24	4
3	32	4
done	32	4
0	8	9
1	13	9
2	22	9
3	31	9
4	39	9
5	77	9
6	122	9
7	175	9
8	289	9
9	354	9
10	364	9
11	398	9
12	405	9
done	405	9
0	13	15
1	34	15
2	90	15
3	284	15
4	924	15
5	3493	14
done	5000	14
0	12	18
1	27	16
2	69	15
3	200	14
4	553	14
5	1310	14
6	3043	14
done	5000	14
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	5	5
1	9	5
2	15	5
done	15	5
0	10	11
1	18	11
2	39	11
3	75	11
4	110	11
5	261	11
6	388	11
7	558	11
8	1073	11
9	1571	11
10	1607	11
11	1718	11
12	1736	11
done	1736	11
0	11	12
1	21	11
2	47	11
3	100	11
4	202	11
5	564	11
6	1530	11
7	4672	11
done	5001	11

prune77.0ms

Filtered

33 candidates to 46 candidates (-39.4%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	43	3	46
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	44	3	47

Merged error: 0.1b

Counts

47 → 3

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))
0.0b	(* 1/60 (pow im 5))
0.1b	(* 1/3 (pow im 3))
0.1b	(* (* 0.5 (sin re)) (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))

rewrite46.0ms

Algorithm

rewrite-expression-head

Rules

24×	`add-sqr-sqrt`
22×	`associate-r`
19×	`add-exp-log`
13×	`add-cbrt-cube`
12×	`add-cube-cbrt` `*-un-lft-identity`
9×	`pow1` `prod-exp`
8×	`unpow-prod-down`
7×	`associate-l` `unswap-sqr`
6×	`add-log-exp`
5×	`cbrt-unprod`
4×	`cube-prod` `sqr-pow`
3×	`pow-prod-down` `*-commutative`
2×	`distribute-rgt-in` `pow-to-exp` `sub-neg` `distribute-lft-in` `associate-*r/` `pow-exp`
1×	`+-commutative` `cube-mult` `flip3--` `flip3-+` `unpow3` `sum-log` `flip--` `flip-+`

Counts

4 → 91

Calls

4 calls:

6.0ms	(+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))
6.0ms	(* 1/60 (pow im 5))
8.0ms	(* 1/3 (pow im 3))
23.0ms	(* (* 0.5 (sin re)) (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))

series69.0ms

Counts

4 → 12

Calls

4 calls:

13.0ms	(+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))
5.0ms	(* 1/60 (pow im 5))
4.0ms	(* 1/3 (pow im 3))
47.0ms	(* (* 0.5 (sin re)) (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))

simplify6.2min

Counts

103 → 103

Iterations

Useful iterations: 1 (2.0ms)

Iter	Nodes	Cost
0	18	20
1	42	20
2	97	20
3	257	20
4	854	20
5	3471	20
done	5000	20
0	18	20
1	42	20
2	97	20
3	257	20
4	854	20
5	3471	20
done	5000	20
0	21	23
1	45	23
2	88	23
3	181	23
4	421	23
5	1179	23
6	4622	23
done	5000	23
0	20	22
1	45	22
2	87	22
3	179	22
4	417	22
5	1180	22
6	4605	22
done	5001	22
0	19	21
1	46	21
2	108	21
3	284	21
4	887	21
5	3352	21
done	5000	21
0	19	21
1	45	21
2	110	21
3	322	21
4	1149	21
5	4626	21
done	5000	21
0	24	62
1	57	62
2	176	26
3	796	26
done	5000	26
0	22	62
1	59	62
2	180	24
3	816	24
done	5000	24
0	20	43
1	44	43
2	99	43
3	262	43
4	862	43
5	3475	43
done	5000	43
0	19	21
1	43	21
2	98	21
3	258	21
4	856	21
5	3345	21
done	5000	21
0	20	62
1	54	62
2	190	22
3	976	22
done	5000	22
0	19	21
1	43	21
2	98	21
3	258	21
4	856	21
5	3345	21
done	5000	21
0	19	21
1	43	21
2	98	21
3	258	21
4	856	21
5	3345	21
done	5000	21
0	8	8
1	15	8
2	34	8
3	55	8
4	58	8
done	58	8
0	16	17
1	40	17
2	118	16
3	390	16
4	1565	16
done	5001	16
0	8	8
1	15	8
2	34	8
3	55	8
4	58	8
done	58	8
0	16	17
1	40	17
2	118	16
3	390	16
4	1565	16
done	5001	16
0	8	8
1	15	8
2	34	8
3	55	8
4	60	8
done	60	8
0	16	17
1	40	17
2	104	16
3	279	16
4	1068	16
5	4271	16
done	5000	16
0	8	8
1	15	8
2	34	8
3	55	8
4	60	8
done	60	8
0	16	17
1	40	17
2	104	16
3	279	16
4	1068	16
5	4271	16
done	5000	16
0	20	38
1	46	38
2	96	38
3	194	38
4	436	38
5	1202	38
6	4673	38
done	5000	38
0	19	21
1	43	21
2	86	21
3	174	21
4	417	21
5	1170	21
6	4597	21
done	5000	21
0	6	6
1	12	4
2	24	4
3	32	4
done	32	4
0	16	18
1	37	18
2	80	18
3	201	18
4	575	18
5	1963	18
done	5001	18
0	20	24
1	55	24
2	163	24
3	633	24
4	3314	24
done	5000	24
0	20	36
1	58	34
2	168	34
3	698	34
4	3704	34
done	5000	34
0	7	7
1	9	7
done	9	7
0	7	7
1	9	7
done	9	7
0	7	7
1	18	7
2	30	7
3	57	7
4	111	7
5	257	7
6	736	7
7	2804	7
done	5000	7
0	6	6
1	18	6
2	44	6
3	92	6
4	181	6
5	434	6
6	1321	6
done	5001	6
0	6	6
1	17	6
2	40	6
3	94	5
4	232	5
5	701	5
6	2755	5
done	5000	5
0	9	17
1	29	9
2	87	7
3	358	7
4	1597	7
done	5000	7
0	7	13
1	16	13
2	34	13
3	58	13
4	102	13
5	244	13
6	769	13
7	3060	13
done	5001	13
0	6	6
1	15	6
2	33	6
3	56	6
4	103	6
5	241	6
6	766	6
7	3067	6
done	5000	6
0	7	17
1	27	15
2	107	7
3	511	7
4	2469	7
done	5000	7
0	6	6
1	15	6
2	33	6
3	56	6
4	103	6
5	241	6
6	766	6
7	3067	6
done	5000	6
0	6	6
1	15	6
2	33	6
3	56	6
4	103	6
5	241	6
6	766	6
7	3067	6
done	5000	6
0	7	7
1	16	7
2	34	7
3	52	7
4	100	7
5	246	7
6	764	7
7	3053	7
done	5000	7
0	7	7
1	16	7
2	34	7
3	52	7
4	100	7
5	246	7
6	764	7
7	3053	7
done	5000	7
0	7	7
1	16	7
2	34	7
3	52	7
4	100	7
5	246	7
6	764	7
7	3053	7
done	5000	7
0	7	7
1	16	7
2	34	7
3	52	7
4	100	7
5	246	7
6	764	7
7	3053	7
done	5000	7
0	7	7
1	16	7
2	23	7
3	33	7
4	54	7
5	114	7
6	316	7
7	1251	7
done	5000	7
0	7	7
1	16	7
2	23	7
3	33	7
4	54	7
5	114	7
6	316	7
7	1251	7
done	5000	7
0	8	8
1	14	6
2	24	6
3	44	6
4	88	6
5	230	6
6	750	6
7	3051	6
done	5000	6
0	8	8
1	14	6
2	24	6
3	44	6
4	88	6
5	230	6
6	750	6
7	3051	6
done	5000	6
0	7	9
1	18	9
2	55	5
3	111	5
4	166	5
5	320	5
6	852	5
7	3190	5
done	5000	5
0	6	6
1	15	6
2	33	6
3	57	6
4	101	6
5	246	6
6	775	6
7	3072	6
done	5000	6
0	5	5
1	16	1
2	20	1
done	20	1
0	4	5
1	7	5
2	9	5
done	9	5
0	7	11
1	17	5
2	25	5
3	35	5
4	56	5
5	116	5
6	325	5
7	1246	5
done	5000	5
0	7	9
1	18	9
2	55	5
3	111	5
4	166	5
5	320	5
6	852	5
7	3190	5
done	5000	5
0	6	6
1	15	6
2	33	6
3	57	6
4	101	6
5	246	6
6	775	6
7	3072	6
done	5000	6
0	5	5
1	16	1
2	20	1
done	20	1
0	3	3
1	4	3
done	4	3
0	6	6
1	15	6
2	22	6
3	32	6
4	53	6
5	114	6
6	324	6
7	1259	6
done	5000	6
0	3	3
1	6	1
done	6	1
0	7	7
1	13	5
2	23	5
3	41	5
4	87	5
5	227	5
6	762	5
7	3059	5
done	5001	5
0	6	6
1	15	6
2	33	6
3	61	6
4	107	6
5	252	6
6	785	6
7	3076	6
done	5001	6
0	6	6
1	15	6
2	33	6
3	61	6
4	107	6
5	252	6
6	785	6
7	3076	6
done	5001	6
0	5	5
1	14	5
2	32	5
3	54	5
4	101	5
5	244	5
6	773	5
7	3060	5
done	5001	5
0	7	7
1	9	7
done	9	7
0	7	7
1	9	7
done	9	7
0	7	7
1	15	7
2	24	7
3	42	7
4	91	7
5	241	7
6	737	7
7	2752	7
done	5000	7
0	6	6
1	15	6
2	30	6
3	60	6
4	144	6
5	405	6
6	1301	6
7	4933	6
done	5000	6
0	6	6
1	14	6
2	29	6
3	63	6
4	165	6
5	543	6
6	2400	6
done	5001	6
0	9	17
1	26	9
2	62	7
3	173	7
4	656	7
5	2869	7
done	5000	7
0	7	13
1	13	13
2	23	13
3	41	13
4	89	13
5	228	13
6	758	13
7	3065	13
done	5001	13
0	6	6
1	12	6
2	22	6
3	40	6
4	85	6
5	232	6
6	761	6
7	3051	6
done	5001	6
0	7	17
1	24	15
2	74	7
3	249	7
4	962	7
5	4036	7
done	5001	7
0	6	6
1	12	6
2	22	6
3	40	6
4	85	6
5	232	6
6	761	6
7	3051	6
done	5001	6
0	6	6
1	12	6
2	22	6
3	40	6
4	85	6
5	232	6
6	761	6
7	3051	6
done	5001	6
0	7	7
1	13	7
2	23	7
3	41	7
4	88	7
5	233	7
6	762	7
7	3059	7
done	5000	7
0	7	7
1	13	7
2	23	7
3	41	7
4	88	7
5	233	7
6	762	7
7	3059	7
done	5000	7
0	7	7
1	13	7
2	20	7
3	30	7
4	52	7
5	116	7
6	331	7
7	1268	7
done	5001	7
0	7	7
1	13	7
2	20	7
3	30	7
4	52	7
5	116	7
6	331	7
7	1268	7
done	5001	7
0	8	8
1	14	6
2	24	6
3	44	6
4	89	6
5	233	6
6	758	6
7	3055	6
done	5001	6
0	8	8
1	14	6
2	24	6
3	44	6
4	89	6
5	233	6
6	758	6
7	3055	6
done	5001	6
0	7	9
1	13	9
2	23	9
3	41	9
4	88	9
5	233	9
6	764	9
7	3068	9
done	5001	9
0	6	6
1	12	6
2	22	6
3	42	6
4	88	6
5	238	6
6	769	6
7	3058	6
done	5001	6
0	5	5
1	13	1
done	13	1
0	7	11
1	15	11
2	23	11
3	33	11
4	55	11
5	117	11
6	326	11
7	1255	11
done	5001	11
0	6	6
1	12	6
2	19	6
3	29	6
4	51	6
5	115	6
6	328	6
7	1249	6
done	5000	6
0	3	3
1	6	1
done	6	1
0	7	7
1	13	5
2	23	5
3	41	5
4	88	5
5	230	5
6	762	5
7	3072	5
done	5000	5
0	6	6
1	12	6
2	22	6
3	42	6
4	88	6
5	238	6
6	767	6
7	3058	6
done	5000	6
0	6	6
1	12	6
2	22	6
3	42	6
4	88	6
5	238	6
6	767	6
7	3058	6
done	5000	6
0	5	5
1	11	5
2	21	5
3	39	5
4	87	5
5	230	5
6	754	5
7	3051	5
done	5001	5
0	12	13
1	33	12
2	72	12
3	173	12
4	487	12
5	1949	12
done	5000	12
0	11	12
1	26	12
2	54	12
3	95	12
4	185	12
5	476	12
6	1514	12
done	5000	12
0	11	12
1	29	12
2	66	12
3	141	12
4	372	12
5	1394	12
done	5001	12
0	12	25
1	27	25
2	55	25
3	95	25
4	188	25
5	476	25
6	1518	25
done	5000	25
0	11	12
1	26	12
2	54	12
3	95	12
4	185	12
5	476	12
6	1514	12
done	5000	12
0	12	35
1	40	35
2	131	13
3	670	13
4	4453	13
done	5000	13
0	11	12
1	26	12
2	54	12
3	95	12
4	185	12
5	476	12
6	1514	12
done	5000	12
0	11	12
1	26	12
2	54	12
3	95	12
4	185	12
5	476	12
6	1514	12
done	5000	12
0	12	15
1	45	15
2	138	15
3	561	15
4	2594	15
done	5001	15
0	14	35
1	56	27
2	201	21
3	871	21
4	4032	21
done	5000	21
0	12	23
1	47	19
2	155	11
3	536	11
4	1899	11
done	5000	11
0	10	11
1	26	11
2	62	11
3	113	11
4	260	11
5	747	11
6	2667	11
done	5000	11
0	5	5
1	9	5
2	15	5
done	15	5
0	19	25
1	50	25
2	126	25
3	339	22
4	975	19
5	2881	19
done	5000	19
0	19	25
1	50	25
2	126	25
3	339	22
4	975	19
5	2881	19
done	5000	19
0	5	5
1	14	5
2	32	5
3	54	5
4	101	5
5	244	5
6	773	5
7	3060	5
done	5001	5
0	5	5
1	14	5
2	32	5
3	54	5
4	101	5
5	244	5
6	773	5
7	3060	5
done	5001	5
0	5	5
1	14	5
2	32	5
3	54	5
4	101	5
5	244	5
6	773	5
7	3060	5
done	5001	5
0	5	5
1	11	5
2	21	5
3	39	5
4	87	5
5	230	5
6	754	5
7	3051	5
done	5001	5
0	5	5
1	11	5
2	21	5
3	39	5
4	87	5
5	230	5
6	754	5
7	3051	5
done	5001	5
0	5	5
1	11	5
2	21	5
3	39	5
4	87	5
5	230	5
6	754	5
7	3051	5
done	5001	5
0	10	11
1	25	11
2	53	11
3	95	11
4	188	11
5	479	11
6	1512	11
done	5001	11
0	10	11
1	25	11
2	53	11
3	95	11
4	188	11
5	479	11
6	1512	11
done	5001	11
0	10	11
1	25	11
2	53	11
3	95	11
4	188	11
5	479	11
6	1512	11
done	5001	11

prune250.0ms

Filtered

75 candidates to 103 candidates (-37.3%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	98	5	103
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	98	8	106

Merged error: 0.1b

Counts

106 → 8

localize26.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt (* (* 0.5 (sin re)) (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))) (cbrt (* (* 0.5 (sin re)) (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))))
16.5b	(cbrt (* (* 0.5 (sin re)) (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))))
16.5b	(cbrt (* (* 0.5 (sin re)) (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))))
16.5b	(cbrt (* (* 0.5 (sin re)) (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))))

rewrite46.0ms

Algorithm

rewrite-expression-head

Rules

20×	`associate-*r/`
18×	`cbrt-div`
11×	`pow1`
10×	`add-sqr-sqrt`
9×	`flip3--` `pow1/3` `flip--`
8×	`add-cube-cbrt` `*-un-lft-identity`
7×	`cbrt-prod`
6×	`add-exp-log`
4×	`frac-times` `swap-sqr` `associate-r` `associate-l` `add-cbrt-cube` `add-log-exp`
2×	`pow-prod-down` `associate-*l/` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`

Counts

4 → 72

Calls

4 calls:

10.0ms	(* (cbrt (* (* 0.5 (sin re)) (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))) (cbrt (* (* 0.5 (sin re)) (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))))
11.0ms	(cbrt (* (* 0.5 (sin re)) (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))))
11.0ms	(cbrt (* (* 0.5 (sin re)) (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))))
10.0ms	(cbrt (* (* 0.5 (sin re)) (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))))

series407.0ms

Counts

4 → 12

Calls

4 calls:

131.0ms	(* (cbrt (* (* 0.5 (sin re)) (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))) (cbrt (* (* 0.5 (sin re)) (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))))
92.0ms	(cbrt (* (* 0.5 (sin re)) (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))))
91.0ms	(cbrt (* (* 0.5 (sin re)) (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))))
94.0ms	(cbrt (* (* 0.5 (sin re)) (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))))

simplify3.4min

Counts

84 → 84

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	20	22
1	44	22
2	99	22
3	262	22
4	862	22
5	3475	22
done	5000	22
0	20	22
1	44	22
2	99	22
3	262	22
4	862	22
5	3475	22
done	5000	22
0	5	5
1	6	5
done	6	5
0	14	16
1	34	16
2	71	16
3	160	16
4	403	16
5	1133	16
6	4508	16
done	5000	16
0	21	25
1	56	25
2	164	25
3	629	25
4	3290	25
done	5000	25
0	18	48
1	62	34
2	195	34
3	714	34
4	2896	34
done	5000	34
0	21	37
1	59	35
2	169	35
3	704	35
4	3737	35
done	5001	35
0	14	16
1	33	16
2	67	16
3	112	16
4	207	16
5	499	16
6	1532	16
done	5000	16
0	21	45
1	45	45
2	100	45
3	264	45
4	865	45
5	3354	45
done	5000	45
0	20	22
1	44	22
2	99	22
3	262	22
4	862	22
5	3475	22
done	5000	22
0	21	65
1	46	65
2	102	23
3	268	20
4	868	20
5	3274	20
done	5001	20
0	20	22
1	44	22
2	99	22
3	262	22
4	862	22
5	3475	22
done	5000	22
0	20	22
1	44	22
2	99	22
3	262	22
4	862	22
5	3475	22
done	5000	22
0	20	22
1	44	22
2	99	22
3	262	22
4	862	22
5	3475	22
done	5000	22
0	20	22
1	44	22
2	99	22
3	262	22
4	862	22
5	3475	22
done	5000	22
0	5	5
1	6	5
done	6	5
0	14	16
1	34	16
2	71	16
3	160	16
4	403	16
5	1133	16
6	4508	16
done	5000	16
0	21	25
1	56	25
2	164	25
3	629	25
4	3290	25
done	5000	25
0	18	48
1	62	34
2	195	34
3	714	34
4	2896	34
done	5000	34
0	21	37
1	59	35
2	169	35
3	704	35
4	3737	35
done	5001	35
0	14	16
1	33	16
2	67	16
3	112	16
4	207	16
5	499	16
6	1532	16
done	5000	16
0	21	45
1	45	45
2	100	45
3	264	45
4	865	45
5	3354	45
done	5000	45
0	20	22
1	44	22
2	99	22
3	262	22
4	862	22
5	3475	22
done	5000	22
0	21	65
1	46	65
2	102	23
3	268	20
4	868	20
5	3274	20
done	5001	20
0	20	22
1	44	22
2	99	22
3	262	22
4	862	22
5	3475	22
done	5000	22
0	20	22
1	44	22
2	99	22
3	262	22
4	862	22
5	3475	22
done	5000	22
0	20	22
1	44	22
2	99	22
3	262	22
4	862	22
5	3475	22
done	5000	22
0	20	22
1	44	22
2	99	22
3	262	22
4	862	22
5	3475	22
done	5000	22
0	5	5
1	6	5
done	6	5
0	14	16
1	34	16
2	71	16
3	160	16
4	403	16
5	1133	16
6	4508	16
done	5000	16
0	21	25
1	56	25
2	164	25
3	629	25
4	3290	25
done	5000	25
0	18	48
1	62	34
2	195	34
3	714	34
4	2896	34
done	5000	34
0	21	37
1	59	35
2	169	35
3	704	35
4	3737	35
done	5001	35
0	14	16
1	33	16
2	67	16
3	112	16
4	207	16
5	499	16
6	1532	16
done	5000	16
0	21	45
1	45	45
2	100	45
3	264	45
4	865	45
5	3354	45
done	5000	45
0	20	22
1	44	22
2	99	22
3	262	22
4	862	22
5	3475	22
done	5000	22
0	21	65
1	46	65
2	102	23
3	268	20
4	868	20
5	3274	20
done	5001	20
0	20	22
1	44	22
2	99	22
3	262	22
4	862	22
5	3475	22
done	5000	22
0	20	22
1	44	22
2	99	22
3	262	22
4	862	22
5	3475	22
done	5000	22
0	2	3
1	5	1
done	5	1
0	2	3
1	6	1
done	6	1
0	19	41
1	50	41
2	156	41
3	612	41
4	3529	41
done	5000	41
0	20	43
1	44	43
2	99	43
3	262	43
4	862	43
5	3475	43
done	5000	43
0	2	3
1	6	1
done	6	1
0	21	45
1	46	24
2	102	24
3	267	24
4	869	24
5	3253	24
done	5001	24
0	21	44
1	47	44
2	103	24
3	268	24
4	875	24
5	3312	24
done	5001	24
0	21	44
1	47	44
2	105	44
3	274	44
4	894	44
5	3447	44
done	5000	44
0	19	41
1	50	41
2	156	41
3	612	41
4	3529	41
done	5000	41
0	22	89
1	46	89
2	101	89
3	265	89
4	863	89
5	3310	89
done	5001	89
0	21	44
1	45	44
2	100	44
3	264	44
4	865	44
5	3354	44
done	5000	44
0	22	131
1	54	131
2	115	45
3	288	23
4	1048	23
done	5000	23
0	21	44
1	46	22
2	101	22
3	265	22
4	866	22
5	3367	22
done	5000	22
0	21	44
1	46	22
2	101	22
3	265	22
4	866	22
5	3367	22
done	5000	22
0	22	51
1	57	51
2	165	51
3	629	51
4	3299	51
done	5001	51
0	19	97
1	63	69
2	196	69
3	716	69
4	2921	69
done	5000	69
0	27	63
1	82	61
2	265	61
3	1170	61
done	5000	61
0	21	65
1	68	51
2	206	51
3	740	51
4	2934	51
done	5000	51
0	27	63
1	82	61
2	265	61
3	1182	61
done	5001	61
0	21	65
1	68	51
2	206	51
3	731	51
4	2958	51
done	5001	51
0	22	75
1	60	71
2	170	71
3	701	71
4	3696	71
done	5000	71
0	15	33
1	34	33
2	68	33
3	116	33
4	210	33
5	502	33
6	1548	33
done	5000	33
0	6	11
1	7	11
done	7	11
0	15	33
1	35	33
2	72	33
3	161	33
4	403	33
5	1128	33
6	4505	33
done	5000	33
0	22	91
1	50	91
2	106	47
3	274	24
4	893	24
5	3528	24
done	5000	24
0	21	45
1	45	45
2	100	45
3	264	45
4	865	45
5	3354	45
done	5000	45
0	21	45
1	45	21
2	101	21
3	265	21
4	867	21
5	3422	21
done	5000	21
0	21	45
1	45	21
2	101	21
3	265	21
4	867	21
5	3422	21
done	5000	21
0	2	3
1	4	1
done	4	1
0	20	43
1	44	43
2	99	43
3	262	43
4	862	43
5	3475	43
done	5000	43
0	21	45
1	45	21
2	101	21
3	265	21
4	867	21
5	3422	21
done	5000	21
0	21	45
1	45	21
2	101	21
3	265	21
4	867	21
5	3422	21
done	5000	21
0	3	3
1	5	1
done	5	1
0	3	3
1	6	1
done	6	1
0	21	27
1	46	27
2	101	27
3	265	27
4	863	27
5	3310	27
done	5001	27
0	22	67
1	49	67
2	106	67
3	266	67
4	872	67
5	3282	67
done	5001	67
0	21	44
1	46	44
2	101	44
3	265	44
4	863	44
5	3310	44
done	5001	44
0	21	23
1	48	21
2	106	21
3	266	21
4	873	21
5	3311	21
done	5000	21
0	21	38
1	46	38
2	101	38
3	263	38
4	862	38
5	3357	38
done	5000	38
0	21	44
1	46	44
2	101	44
3	265	44
4	863	44
5	3310	44
done	5001	44
0	21	44
1	46	44
2	101	44
3	265	44
4	863	44
5	3310	44
done	5001	44
0	20	43
1	44	43
2	99	43
3	262	43
4	862	43
5	3475	43
done	5000	43
0	25	47
1	68	47
2	202	47
3	776	47
4	3945	47
done	5001	47
0	25	59
1	70	57
2	206	57
3	909	57
4	4989	57
done	5000	57
0	25	47
1	68	47
2	202	47
3	777	47
4	3916	47
done	5000	47
0	25	59
1	70	57
2	206	57
3	913	57
done	5000	57
0	24	56
1	64	56
2	187	54
3	555	37
4	2201	22
done	5000	22
0	24	43
1	51	41
2	122	41
3	378	37
4	1507	20
done	5000	20
0	24	43
1	49	43
2	119	43
3	290	41
4	810	22
5	2935	22
done	5000	22
0	24	56
1	64	56
2	187	54
3	555	37
4	2201	22
done	5000	22
0	24	43
1	51	41
2	122	41
3	378	37
4	1507	20
done	5000	20
0	24	43
1	49	43
2	119	43
3	290	41
4	810	22
5	2935	22
done	5000	22
0	24	56
1	64	56
2	187	54
3	555	37
4	2201	22
done	5000	22
0	24	43
1	51	41
2	122	41
3	378	37
4	1507	20
done	5000	20
0	24	43
1	49	43
2	119	43
3	290	41
4	810	22
5	2935	22
done	5000	22
0	29	74
1	76	68
2	263	68
3	856	45
4	4453	30
done	5000	30
0	26	51
1	59	49
2	169	49
3	672	45
4	3956	24
done	5001	24
0	26	51
1	57	51
2	164	51
3	453	49
4	1832	26
done	5000	26

prune531.0ms

Filtered

69 candidates to 84 candidates (-21.7%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	82	2	84
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	82	10	92

Merged error: 0.0b

Counts

92 → 10

localize24.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt (* 0.5 (sin re)))
0.7b	(cbrt (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))
16.5b	(cbrt (* (* 0.5 (sin re)) (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))))
16.5b	(cbrt (* (* 0.5 (sin re)) (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))))

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

6×	`cbrt-prod` `cbrt-div`
5×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
4×	`pow1` `add-exp-log` `pow1/3` `associate-*r/` `add-cbrt-cube` `add-log-exp`
3×	`flip3--` `flip--`

Counts

4 → 44

Calls

4 calls:

3.0ms	(cbrt (* 0.5 (sin re)))
7.0ms	(cbrt (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))
11.0ms	(cbrt (* (* 0.5 (sin re)) (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))))
11.0ms	(cbrt (* (* 0.5 (sin re)) (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))))

series232.0ms

Counts

4 → 12

Calls

4 calls:

26.0ms	(cbrt (* 0.5 (sin re)))
22.0ms	(cbrt (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))
94.0ms	(cbrt (* (* 0.5 (sin re)) (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))))
90.0ms	(cbrt (* (* 0.5 (sin re)) (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))))

simplify2.6min

Counts

56 → 56

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	20	22
1	44	22
2	99	22
3	262	22
4	862	22
5	3475	22
done	5000	22
0	20	22
1	44	22
2	99	22
3	262	22
4	862	22
5	3475	22
done	5000	22
0	5	5
1	6	5
done	6	5
0	14	16
1	34	16
2	71	16
3	160	16
4	403	16
5	1133	16
6	4508	16
done	5000	16
0	21	25
1	56	25
2	164	25
3	629	25
4	3290	25
done	5000	25
0	18	48
1	62	34
2	195	34
3	714	34
4	2896	34
done	5000	34
0	21	37
1	59	35
2	169	35
3	704	35
4	3737	35
done	5001	35
0	14	16
1	33	16
2	67	16
3	112	16
4	207	16
5	499	16
6	1532	16
done	5000	16
0	21	45
1	45	45
2	100	45
3	264	45
4	865	45
5	3354	45
done	5000	45
0	20	22
1	44	22
2	99	22
3	262	22
4	862	22
5	3475	22
done	5000	22
0	21	65
1	46	65
2	102	23
3	268	20
4	868	20
5	3274	20
done	5001	20
0	20	22
1	44	22
2	99	22
3	262	22
4	862	22
5	3475	22
done	5000	22
0	20	22
1	44	22
2	99	22
3	262	22
4	862	22
5	3475	22
done	5000	22
0	20	22
1	44	22
2	99	22
3	262	22
4	862	22
5	3475	22
done	5000	22
0	20	22
1	44	22
2	99	22
3	262	22
4	862	22
5	3475	22
done	5000	22
0	5	5
1	6	5
done	6	5
0	14	16
1	34	16
2	71	16
3	160	16
4	403	16
5	1133	16
6	4508	16
done	5000	16
0	21	25
1	56	25
2	164	25
3	629	25
4	3290	25
done	5000	25
0	18	48
1	62	34
2	195	34
3	714	34
4	2896	34
done	5000	34
0	21	37
1	59	35
2	169	35
3	704	35
4	3737	35
done	5001	35
0	14	16
1	33	16
2	67	16
3	112	16
4	207	16
5	499	16
6	1532	16
done	5000	16
0	21	45
1	45	45
2	100	45
3	264	45
4	865	45
5	3354	45
done	5000	45
0	20	22
1	44	22
2	99	22
3	262	22
4	862	22
5	3475	22
done	5000	22
0	21	65
1	46	65
2	102	23
3	268	20
4	868	20
5	3274	20
done	5001	20
0	20	22
1	44	22
2	99	22
3	262	22
4	862	22
5	3475	22
done	5000	22
0	20	22
1	44	22
2	99	22
3	262	22
4	862	22
5	3475	22
done	5000	22
0	15	17
1	35	17
2	72	17
3	161	17
4	403	17
5	1128	17
6	4505	17
done	5000	17
0	15	17
1	35	17
2	72	17
3	161	17
4	403	17
5	1128	17
6	4505	17
done	5000	17
0	16	34
1	36	34
2	73	34
3	162	34
4	409	34
5	1133	34
6	4498	34
done	5001	34
0	15	17
1	35	17
2	72	17
3	161	17
4	403	17
5	1128	17
6	4505	17
done	5000	17
0	15	17
1	35	17
2	72	17
3	161	17
4	403	17
5	1128	17
6	4505	17
done	5000	17
0	15	17
1	35	17
2	72	17
3	161	17
4	403	17
5	1128	17
6	4505	17
done	5000	17
0	2	2
1	4	1
done	4	1
0	14	16
1	34	16
2	71	16
3	160	16
4	403	16
5	1133	16
6	4508	16
done	5000	16
0	16	20
1	47	20
2	137	20
3	432	20
4	2043	20
done	5000	20
0	18	48
1	62	34
2	195	34
3	714	34
4	2896	34
done	5000	34
0	16	32
1	50	30
2	136	30
3	492	30
4	2436	30
done	5000	30
0	14	16
1	33	16
2	67	16
3	112	16
4	207	16
5	499	16
6	1532	16
done	5000	16
0	16	35
1	36	35
2	73	35
3	162	35
4	409	35
5	1133	35
6	4498	35
done	5001	35
0	15	17
1	35	17
2	72	17
3	161	17
4	403	17
5	1128	17
6	4505	17
done	5000	17
0	16	50
1	37	50
2	75	18
3	171	15
4	420	15
5	1172	15
6	4571	15
done	5000	15
0	15	17
1	35	17
2	72	17
3	161	17
4	403	17
5	1128	17
6	4505	17
done	5000	17
0	15	17
1	35	17
2	72	17
3	161	17
4	403	17
5	1128	17
6	4505	17
done	5000	17
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	2	2
done	2	2
0	3	3
done	3	3
0	7	13
1	8	13
done	8	13
0	6	6
1	7	6
done	7	6
0	7	17
1	9	17
2	11	7
3	16	4
4	22	4
5	32	4
6	53	4
7	113	4
8	334	4
9	1261	4
done	5000	4
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	24	56
1	64	56
2	187	54
3	555	37
4	2201	22
done	5000	22
0	24	43
1	51	41
2	122	41
3	378	37
4	1507	20
done	5000	20
0	24	43
1	49	43
2	119	43
3	290	41
4	810	22
5	2935	22
done	5000	22
0	24	56
1	64	56
2	187	54
3	555	37
4	2201	22
done	5000	22
0	24	43
1	51	41
2	122	41
3	378	37
4	1507	20
done	5000	20
0	24	43
1	49	43
2	119	43
3	290	41
4	810	22
5	2935	22
done	5000	22
0	24	47
1	60	47
2	164	47
3	538	33
4	2630	22
done	5000	22
0	27	59
1	62	56
2	181	56
3	772	37
done	5000	37
0	24	50
1	52	50
2	134	50
3	322	35
4	1075	29
5	4852	22
done	5000	22
0	23	47
1	60	44
2	161	29
3	656	23
4	4028	19
done	5001	19
0	7	7
1	14	6
2	24	6
3	42	6
4	87	6
5	233	6
6	761	6
7	3060	6
done	5000	6
0	7	7
1	14	6
2	24	6
3	42	6
4	87	6
5	233	6
6	761	6
7	3060	6
done	5000	6

prune315.0ms

Filtered

49 candidates to 56 candidates (-14.3%)

Pruning

10 alts after pruning (7 fresh and 3 done)

	Pruned	Kept	Total
New	56	0	56
Fresh	0	7	7
Picked	0	1	1
Done	0	2	2
Total	56	10	66

Merged error: 0.0b

Counts

66 → 10

regimes357.0ms

Accuracy

0% (0.7b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	20
1	24	20
done	24	20

end0.0ms

sample4.7s

Algorithm

intervals

Results

2.3s	4816×	body	1280	valid
1.1s	3736×	body	640	valid
376.0ms	1823×	body	320	valid
290.0ms	4477×	body	80	valid
121.0ms	933×	body	160	valid

Details

sample164.0ms

simplify3.4s

prune4.0ms

localize10.0ms

rewrite20.0ms

series24.0ms

simplify1.2min

prune77.0ms

localize16.0ms

rewrite46.0ms

series69.0ms

simplify6.2min

prune250.0ms

localize26.0ms

rewrite46.0ms

series407.0ms

simplify3.4min

prune531.0ms

localize24.0ms

rewrite32.0ms

series232.0ms

simplify2.6min

prune315.0ms

regimes357.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample4.7s

Profiling