Details

sample29.0ms

Algorithm

intervals

Results

9.0ms

334×

body

valid

simplify3.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	7	7
1	10	7
done	10	7

prune3.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

localize6.0ms

Local error

Found 1 expressions with local error:

0.0b	(+ (* x.re y.im) (* x.im y.re))

rewrite5.0ms

Algorithm

rewrite-expression-head

Rules

3×	`add-log-exp`
1×	`pow1` `add-exp-log` `+-commutative` `add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `flip3-+` `sum-log` `add-cbrt-cube` `flip-+`

Counts

1 → 11

Calls

1 calls:

4.0ms

(+ (* x.re y.im) (* x.im y.re))

series11.0ms

Counts

1 → 3

Calls

1 calls:

11.0ms

(+ (* x.re y.im) (* x.im y.re))

simplify17.6s

Counts

14 → 14

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	9	9
1	18	8
2	30	8
3	58	8
4	175	8
5	619	8
6	2814	8
done	5000	8
0	8	8
1	11	8
done	11	8
0	8	8
1	14	8
2	23	8
3	36	8
4	88	8
5	282	8
6	1033	8
done	5001	8
0	9	17
1	12	17
done	12	17
0	8	8
1	11	8
done	11	8
0	9	23
1	25	23
2	89	9
3	330	9
4	988	9
5	2567	9
done	5000	9
0	8	8
1	11	8
done	11	8
0	8	8
1	11	8
done	11	8
0	10	11
1	32	11
2	99	11
3	244	11
4	477	11
5	1224	11
6	4678	11
done	5000	11
0	11	23
1	39	19
2	109	19
3	233	19
4	424	19
5	554	19
6	721	19
7	842	19
8	1136	19
9	1729	19
done	1729	19
0	9	15
1	30	15
2	71	15
3	129	15
4	194	15
5	325	15
6	521	15
7	887	15
8	2712	15
done	5000	15
0	7	7
1	11	7
2	18	7
done	18	7
0	1	1
done	1	1
0	7	7
1	10	7
done	10	7
0	7	7
1	10	7
done	10	7

prune30.0ms

Filtered

12 candidates to 14 candidates (-16.7%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	11	3	14
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	11	4	15

Merged error: 0.0b

Counts

15 → 4

localize11.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt (+ (* x.re y.im) (* x.im y.re))) (cbrt (+ (* x.re y.im) (* x.im y.re))))
2.2b	(cbrt (+ (* x.re y.im) (* x.im y.re)))
2.2b	(cbrt (+ (* x.re y.im) (* x.im y.re)))
2.2b	(cbrt (+ (* x.re y.im) (* x.im y.re)))

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 87

Calls

4 calls:

15.0ms	(* (cbrt (+ (* x.re y.im) (* x.im y.re))) (cbrt (+ (* x.re y.im) (* x.im y.re))))
4.0ms	(cbrt (+ (* x.re y.im) (* x.im y.re)))
4.0ms	(cbrt (+ (* x.re y.im) (* x.im y.re)))
4.0ms	(cbrt (+ (* x.re y.im) (* x.im y.re)))

series185.0ms

Counts

4 → 12

Calls

4 calls:

55.0ms	(* (cbrt (+ (* x.re y.im) (* x.im y.re))) (cbrt (+ (* x.re y.im) (* x.im y.re))))
45.0ms	(cbrt (+ (* x.re y.im) (* x.im y.re)))
42.0ms	(cbrt (+ (* x.re y.im) (* x.im y.re)))
43.0ms	(cbrt (+ (* x.re y.im) (* x.im y.re)))

simplify1.8min

Counts

99 → 99

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	9	9
1	12	9
done	12	9
0	9	9
1	12	9
done	12	9
0	10	18
1	13	18
done	13	18
0	9	9
1	12	9
done	12	9
0	9	9
1	12	9
done	12	9
0	9	9
1	12	9
done	12	9
0	2	2
1	4	1
done	4	1
0	8	8
1	11	8
done	11	8
0	11	12
1	33	12
2	100	12
3	249	12
4	468	12
5	1241	12
6	4725	12
done	5000	12
0	12	24
1	40	20
2	110	20
3	235	20
4	428	20
5	557	20
6	724	20
7	845	20
8	1135	20
9	1725	20
done	1725	20
0	10	16
1	31	16
2	72	16
3	131	16
4	196	16
5	331	16
6	527	16
7	891	16
8	2729	16
done	5000	16
0	8	8
1	12	8
2	19	8
done	19	8
0	10	19
1	13	19
done	13	19
0	9	9
1	12	9
done	12	9
0	10	26
1	14	26
2	16	10
3	21	7
4	27	7
5	37	7
6	60	7
7	121	7
8	335	7
9	1267	7
done	5001	7
0	9	9
1	12	9
done	12	9
0	9	9
1	12	9
done	12	9
0	9	9
1	12	9
done	12	9
0	9	9
1	12	9
done	12	9
0	10	18
1	13	18
done	13	18
0	9	9
1	12	9
done	12	9
0	9	9
1	12	9
done	12	9
0	9	9
1	12	9
done	12	9
0	2	2
1	4	1
done	4	1
0	8	8
1	11	8
done	11	8
0	11	12
1	33	12
2	100	12
3	249	12
4	468	12
5	1241	12
6	4725	12
done	5000	12
0	12	24
1	40	20
2	110	20
3	235	20
4	428	20
5	557	20
6	724	20
7	845	20
8	1135	20
9	1725	20
done	1725	20
0	10	16
1	31	16
2	72	16
3	131	16
4	196	16
5	331	16
6	527	16
7	891	16
8	2729	16
done	5000	16
0	8	8
1	12	8
2	19	8
done	19	8
0	10	19
1	13	19
done	13	19
0	9	9
1	12	9
done	12	9
0	10	26
1	14	26
2	16	10
3	21	7
4	27	7
5	37	7
6	60	7
7	121	7
8	335	7
9	1267	7
done	5001	7
0	9	9
1	12	9
done	12	9
0	9	9
1	12	9
done	12	9
0	9	9
1	12	9
done	12	9
0	9	9
1	12	9
done	12	9
0	10	18
1	13	18
done	13	18
0	9	9
1	12	9
done	12	9
0	9	9
1	12	9
done	12	9
0	9	9
1	12	9
done	12	9
0	2	2
1	4	1
done	4	1
0	8	8
1	11	8
done	11	8
0	11	12
1	33	12
2	100	12
3	249	12
4	468	12
5	1241	12
6	4725	12
done	5000	12
0	12	24
1	40	20
2	110	20
3	235	20
4	428	20
5	557	20
6	724	20
7	845	20
8	1135	20
9	1725	20
done	1725	20
0	10	16
1	31	16
2	72	16
3	131	16
4	196	16
5	331	16
6	527	16
7	891	16
8	2729	16
done	5000	16
0	8	8
1	12	8
2	19	8
done	19	8
0	10	19
1	13	19
done	13	19
0	9	9
1	12	9
done	12	9
0	10	26
1	14	26
2	16	10
3	21	7
4	27	7
5	37	7
6	60	7
7	121	7
8	335	7
9	1267	7
done	5001	7
0	9	9
1	12	9
done	12	9
0	9	9
1	12	9
done	12	9
0	2	3
1	5	1
done	5	1
0	2	3
1	6	1
done	6	1
0	8	15
1	17	15
2	46	15
3	118	15
4	204	15
5	278	15
6	405	15
7	501	15
done	501	15
0	9	17
1	12	17
done	12	17
0	2	3
1	6	1
done	6	1
0	10	19
1	15	11
2	16	11
done	16	11
0	10	18
1	15	18
2	17	11
3	18	11
done	18	11
0	10	18
1	15	18
2	19	18
3	24	18
4	42	18
5	84	18
6	193	18
7	576	18
8	2246	18
done	5000	18
0	8	15
1	17	15
2	46	15
3	118	15
4	204	15
5	278	15
6	405	15
7	501	15
done	501	15
0	11	37
1	14	37
done	14	37
0	10	18
1	13	18
done	13	18
0	11	53
1	22	53
2	29	19
3	43	10
4	101	10
5	267	10
6	749	10
7	2477	10
done	5000	10
0	10	18
1	14	9
done	14	9
0	10	18
1	14	9
done	14	9
0	12	25
1	34	25
2	101	25
3	253	25
4	477	25
5	1222	25
6	4747	25
done	5000	25
0	13	49
1	41	41
2	111	41
3	237	41
4	430	41
5	558	41
6	725	41
7	846	41
8	1136	41
9	1724	41
done	1724	41
0	16	29
1	56	29
2	158	29
3	347	29
4	618	29
5	1500	29
done	5001	29
0	15	33
1	46	29
2	121	29
3	245	29
4	434	29
5	565	29
6	732	29
7	853	29
8	1142	29
9	1731	29
done	1731	29
0	16	29
1	56	29
2	158	29
3	336	29
4	598	29
5	1482	29
done	5000	29
0	15	33
1	46	29
2	121	29
3	244	29
4	437	29
5	568	29
6	735	29
7	856	29
8	1151	29
9	1751	29
done	1751	29
0	11	33
1	32	33
2	73	33
3	131	33
4	196	33
5	331	33
6	529	33
7	897	33
8	2742	33
done	5000	33
0	9	17
1	13	17
2	20	17
done	20	17
0	11	37
1	14	37
done	14	37
0	10	19
1	13	19
done	13	19
0	10	19
1	13	19
done	13	19
0	10	19
1	13	19
done	13	19
0	3	5
1	5	3
done	5	1
0	9	17
1	12	17
done	12	17
0	11	39
1	18	39
2	20	21
3	29	11
4	44	11
5	70	11
6	139	11
7	351	11
8	1250	11
done	5000	11
0	10	19
1	13	19
done	13	19
0	10	19
1	13	8
2	14	8
done	14	8
0	10	19
1	13	8
2	14	8
done	14	8
0	2	3
1	4	1
done	4	1
0	9	17
1	12	17
done	12	17
0	10	19
1	13	19
done	13	19
0	10	19
1	13	19
done	13	19
0	12	19
1	16	19
done	16	19
0	12	19
1	16	19
done	16	19
0	12	19
1	16	19
done	16	19
0	12	19
1	16	19
done	16	19
0	10	19
1	13	8
2	14	8
done	14	8
0	10	19
1	13	8
2	14	8
done	14	8
0	3	3
1	5	1
done	5	1
0	3	3
1	6	1
done	6	1
0	11	27
1	15	27
done	15	27
0	11	18
1	15	18
done	15	18
0	11	11
1	17	10
done	17	10
0	11	28
1	17	28
2	19	28
done	19	28
0	10	18
1	14	18
done	14	18
0	10	10
1	16	8
2	19	8
done	19	8
0	10	18
1	14	18
done	14	18
0	11	18
1	15	18
done	15	18
0	9	17
1	12	17
done	12	17
0	10	18
1	14	18
done	14	18
0	10	18
1	14	18
done	14	18
0	9	17
1	12	17
done	12	17
0	14	21
1	38	21
2	105	21
3	256	21
4	477	21
5	1240	21
6	4812	21
done	5000	21
0	13	25
1	35	25
2	75	25
3	134	25
4	199	25
5	330	25
6	510	25
7	872	25
8	2672	25
done	5000	25
0	14	21
1	38	21
2	105	21
3	256	21
4	488	21
5	1233	21
6	4765	21
done	5000	21
0	13	25
1	35	25
2	75	25
3	133	25
4	200	25
5	333	25
6	525	25
7	897	25
8	2690	25
done	5001	25
0	24	33
1	58	29
2	128	25
3	338	22
4	797	17
5	2187	16
done	5000	16
0	13	15
1	29	12
2	70	10
3	184	7
4	308	4
5	553	4
6	1027	4
7	2475	4
done	5000	4
0	14	15
1	29	14
2	66	13
3	200	12
4	631	10
5	1739	8
6	3674	4
done	5000	4
0	24	33
1	58	29
2	128	25
3	338	22
4	797	17
5	2187	16
done	5000	16
0	13	15
1	29	12
2	70	10
3	184	7
4	308	4
5	553	4
6	1027	4
7	2475	4
done	5000	4
0	14	15
1	29	14
2	66	13
3	200	12
4	631	10
5	1739	8
6	3674	4
done	5000	4
0	24	33
1	58	29
2	128	25
3	338	22
4	797	17
5	2187	16
done	5000	16
0	13	15
1	29	12
2	70	10
3	184	7
4	308	4
5	553	4
6	1027	4
7	2475	4
done	5000	4
0	14	15
1	29	14
2	66	13
3	200	12
4	631	10
5	1739	8
6	3674	4
done	5000	4
0	25	33
1	57	31
2	130	28
3	296	24
4	659	20
5	1985	18
done	5000	18
0	16	19
1	36	14
2	80	11
3	227	8
4	643	8
5	1336	5
6	3594	5
done	5000	5
0	17	19
1	36	16
2	71	14
3	208	12
4	631	12
5	2192	9
done	5001	9

prune113.0ms

Filtered

79 candidates to 99 candidates (-25.3%)

Pruning

5 alts after pruning (3 fresh and 2 done)

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

Merged error: 0.0b

Counts

103 → 5

localize11.0ms

Local error

Found 4 expressions with local error:

0.3b	(* (cbrt (* (+ (* x.re y.im) (* x.im y.re)) (+ (* x.re y.im) (* x.im y.re)))) (cbrt (+ (* x.re y.im) (* x.im y.re))))
0.3b	(* (+ (* x.re y.im) (* x.im y.re)) (+ (* x.re y.im) (* x.im y.re)))
2.2b	(cbrt (+ (* x.re y.im) (* x.im y.re)))
24.9b	(cbrt (* (+ (* x.re y.im) (* x.im y.re)) (+ (* x.re y.im) (* x.im y.re))))

rewrite41.0ms

Algorithm

rewrite-expression-head

Rules

52×	`cbrt-div`
40×	`flip3-+` `flip-+`
36×	`frac-times`
20×	`add-sqr-sqrt`
18×	`associate-*l/`
13×	`pow1` `cbrt-prod`
12×	`add-cube-cbrt` `-un-lft-identity` `associate-r/`
9×	`associate-r`
8×	`add-exp-log`
7×	`associate-l`
6×	`add-cbrt-cube`
5×	`unswap-sqr`
4×	`pow1/3` `add-log-exp`
3×	`swap-sqr` `pow-prod-down`
2×	`prod-exp` `*-commutative` `cbrt-unprod`
1×	`pow2` `distribute-rgt-in` `distribute-lft-in` `pow-plus` `pow3` `pow-sqr` `pow-prod-up`

Counts

4 → 118

Calls

4 calls:

12.0ms	(* (cbrt (* (+ (* x.re y.im) (* x.im y.re)) (+ (* x.re y.im) (* x.im y.re)))) (cbrt (+ (* x.re y.im) (* x.im y.re))))
10.0ms	(* (+ (* x.re y.im) (* x.im y.re)) (+ (* x.re y.im) (* x.im y.re)))
5.0ms	(cbrt (+ (* x.re y.im) (* x.im y.re)))
8.0ms	(cbrt (* (+ (* x.re y.im) (* x.im y.re)) (+ (* x.re y.im) (* x.im y.re))))

series138.0ms

Counts

4 → 12

Calls

4 calls:

12.0ms	(* (cbrt (* (+ (* x.re y.im) (* x.im y.re)) (+ (* x.re y.im) (* x.im y.re)))) (cbrt (+ (* x.re y.im) (* x.im y.re))))
18.0ms	(* (+ (* x.re y.im) (* x.im y.re)) (+ (* x.re y.im) (* x.im y.re)))
51.0ms	(cbrt (+ (* x.re y.im) (* x.im y.re)))
58.0ms	(cbrt (* (+ (* x.re y.im) (* x.im y.re)) (+ (* x.re y.im) (* x.im y.re))))

simplify4.3min

Counts

130 → 130

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	10	17
1	19	17
2	48	17
3	122	17
4	201	17
5	267	17
6	394	17
7	484	17
done	484	17
0	10	17
1	19	17
2	48	17
3	122	17
4	201	17
5	267	17
6	394	17
7	484	17
done	484	17
0	8	8
1	11	8
done	11	8
0	8	8
1	11	8
done	11	8
0	12	24
1	40	24
2	152	24
3	739	24
done	5001	24
0	13	48
1	47	40
2	156	40
3	681	40
4	4004	40
done	5000	40
0	15	28
1	55	28
2	175	28
3	587	28
4	3156	28
done	5000	28
0	14	32
1	45	28
2	134	28
3	398	28
4	1497	28
5	4996	28
done	5000	28
0	15	28
1	61	28
2	226	28
3	1264	28
done	5000	28
0	14	32
1	51	28
2	171	28
3	648	28
4	2315	28
done	5000	28
0	11	32
1	32	32
2	86	32
3	271	32
4	1465	32
done	5000	32
0	9	16
1	13	16
2	26	16
3	67	16
4	196	16
5	431	16
6	732	16
7	1617	16
8	2773	16
9	4688	16
done	5000	16
0	13	20
1	43	20
2	167	20
3	770	20
4	3011	20
done	5000	20
0	12	24
1	40	20
2	110	20
3	235	20
4	428	20
5	557	20
6	724	20
7	845	20
8	1135	20
9	1725	20
done	1725	20
0	12	24
1	34	24
2	90	24
3	268	24
4	927	24
5	2363	24
done	5001	24
0	8	8
1	12	8
2	19	8
done	19	8
0	13	20
1	43	20
2	151	20
3	570	20
4	2765	20
done	5000	20
0	12	24
1	40	20
2	110	20
3	235	20
4	428	20
5	557	20
6	724	20
7	845	20
8	1135	20
9	1725	20
done	1725	20
0	12	24
1	40	24
2	125	24
3	476	24
4	1609	24
5	3791	24
done	5000	24
0	8	8
1	12	8
2	19	8
done	19	8
0	11	35
1	20	35
2	49	35
3	123	35
4	204	35
5	268	35
6	395	35
7	491	35
done	491	35
0	10	17
1	19	17
2	48	17
3	122	17
4	201	17
5	267	17
6	394	17
7	484	17
done	484	17
0	11	50
1	21	50
2	52	18
3	131	15
4	212	15
5	289	15
6	437	15
7	607	15
8	821	15
9	1751	15
done	5000	15
0	10	17
1	19	17
2	48	17
3	122	17
4	201	17
5	267	17
6	394	17
7	484	17
done	484	17
0	10	17
1	19	17
2	48	17
3	122	17
4	201	17
5	267	17
6	394	17
7	484	17
done	484	17
0	9	9
1	12	9
done	12	9
0	9	9
1	12	9
done	12	9
0	10	18
1	13	18
done	13	18
0	9	9
1	12	9
done	12	9
0	9	9
1	12	9
done	12	9
0	9	9
1	12	9
done	12	9
0	2	2
1	4	1
done	4	1
0	8	8
1	11	8
done	11	8
0	11	12
1	33	12
2	100	12
3	249	12
4	468	12
5	1241	12
6	4725	12
done	5000	12
0	12	24
1	40	20
2	110	20
3	235	20
4	428	20
5	557	20
6	724	20
7	845	20
8	1135	20
9	1725	20
done	1725	20
0	10	16
1	31	16
2	72	16
3	131	16
4	196	16
5	331	16
6	527	16
7	891	16
8	2729	16
done	5000	16
0	8	8
1	12	8
2	19	8
done	19	8
0	10	19
1	13	19
done	13	19
0	9	9
1	12	9
done	12	9
0	10	26
1	14	26
2	16	10
3	21	7
4	27	7
5	37	7
6	60	7
7	121	7
8	335	7
9	1267	7
done	5001	7
0	9	9
1	12	9
done	12	9
0	9	9
1	12	9
done	12	9
0	2	3
1	6	1
done	6	1
0	8	15
1	17	15
2	46	15
3	118	15
4	204	15
5	278	15
6	405	15
7	501	15
done	501	15
0	2	3
1	6	1
done	6	1
0	9	17
1	14	10
2	15	10
done	15	10
0	9	16
1	20	16
2	51	10
3	128	10
4	208	10
5	269	10
6	396	10
7	498	10
done	498	10
0	9	16
1	20	16
2	60	16
3	171	16
4	399	16
5	1069	16
done	5000	16
0	10	47
1	32	47
2	144	19
3	719	9
4	3925	9
done	5000	9
0	10	33
1	19	33
2	48	33
3	122	33
4	201	33
5	267	33
6	394	33
7	484	33
done	484	33
0	9	16
1	18	16
2	47	16
3	123	16
4	208	16
5	278	16
6	405	16
7	515	16
done	515	16
0	10	47
1	27	47
2	116	17
3	513	9
4	2648	9
done	5000	9
0	9	16
1	19	8
2	48	8
3	122	8
4	199	8
5	269	8
6	396	8
7	492	8
done	492	8
0	9	16
1	19	8
2	48	8
3	122	8
4	199	8
5	269	8
6	396	8
7	492	8
done	492	8
0	11	23
1	39	23
2	151	23
3	739	23
done	5000	23
0	12	47
1	46	39
2	155	39
3	676	39
4	4016	39
done	5001	39
0	14	27
1	54	27
2	174	27
3	585	27
4	3054	27
done	5001	27
0	13	31
1	44	27
2	133	27
3	395	27
4	1483	27
done	5000	27
0	14	27
1	60	27
2	225	27
3	1261	27
done	5000	27
0	13	31
1	50	27
2	170	27
3	644	27
4	2296	27
done	5001	27
0	10	31
1	31	31
2	85	31
3	271	31
4	1442	31
done	5001	31
0	8	15
1	12	15
2	25	15
3	66	15
4	197	15
5	424	15
6	710	15
7	1591	15
8	2723	15
9	4655	15
done	5001	15
0	10	35
1	17	35
2	19	19
3	28	10
4	51	10
5	93	10
6	173	10
7	395	10
8	1324	10
done	5000	10
0	9	17
1	12	17
done	12	17
0	9	17
1	12	7
2	13	7
done	13	7
0	9	17
1	12	7
2	13	7
done	13	7
0	2	3
1	4	1
done	4	1
0	8	15
1	17	15
2	46	15
3	118	15
4	204	15
5	278	15
6	405	15
7	501	15
done	501	15
0	9	17
1	12	7
2	13	7
done	13	7
0	9	17
1	12	7
2	13	7
done	13	7
0	3	3
1	6	1
done	6	1
0	8	11
1	14	11
2	27	11
3	65	11
4	98	11
5	110	11
done	110	11
0	8	11
1	14	11
2	27	11
3	65	11
4	99	11
5	113	11
done	113	11
0	8	11
1	19	11
2	58	11
3	90	11
4	104	11
done	104	11
0	8	11
1	19	11
2	58	11
3	94	11
4	108	11
done	108	11
0	10	25
1	16	25
2	26	25
3	54	25
4	78	25
5	90	25
done	90	25
0	9	16
1	13	16
2	21	16
3	37	16
4	39	16
done	39	16
0	9	9
1	15	7
2	26	7
3	50	7
4	70	7
done	70	7
0	9	16
1	19	16
2	36	16
3	38	16
done	38	16
0	9	16
1	19	16
2	36	16
3	38	16
done	38	16
0	8	15
1	17	15
2	46	15
3	118	15
4	204	15
5	278	15
6	405	15
7	501	15
done	501	15
0	12	19
1	42	19
2	166	19
3	764	19
4	2916	19
done	5000	19
0	11	23
1	33	23
2	89	23
3	269	23
4	930	23
5	2406	23
done	5000	23
0	12	19
1	42	19
2	150	19
3	566	19
4	2709	19
done	5001	19
0	11	23
1	39	23
2	124	23
3	476	23
4	1641	23
5	3815	23
done	5000	23
0	9	23
1	25	23
2	89	9
3	330	9
4	988	9
5	2567	9
done	5000	9
0	11	25
1	21	25
2	50	25
3	124	25
4	206	25
5	272	25
6	399	25
7	497	25
done	497	25
0	13	27
1	23	27
2	52	27
3	124	27
4	199	27
5	263	27
6	390	27
7	494	27
done	494	27
0	12	26
1	25	26
2	55	26
3	131	26
4	214	26
5	276	26
6	403	26
7	489	26
done	489	26
0	12	26
1	24	26
2	59	26
3	143	26
4	250	26
5	379	26
6	651	26
7	1201	26
8	3207	26
done	5000	26
0	9	23
1	25	23
2	89	9
3	330	9
4	988	9
5	2567	9
done	5000	9
0	13	53
1	23	53
2	52	53
3	124	53
4	199	53
5	263	53
6	390	53
7	494	53
done	494	53
0	12	26
1	22	26
2	51	26
3	127	26
4	208	26
5	276	26
6	403	26
7	505	26
done	505	26
0	13	77
1	33	77
2	91	27
3	209	27
4	316	23
5	646	9
6	2045	9
done	5000	9
0	12	26
1	22	26
2	51	26
3	127	26
4	208	26
5	276	26
6	403	26
7	505	26
done	505	26
0	12	26
1	22	26
2	51	26
3	127	26
4	208	26
5	276	26
6	403	26
7	505	26
done	505	26
0	14	37
1	43	37
2	155	37
3	757	37
done	5000	37
0	15	73
1	50	61
2	159	61
3	681	61
4	3968	61
done	5001	61
0	17	41
1	63	41
2	210	41
3	932	41
done	5001	41
0	16	57
1	53	49
2	167	49
3	684	49
4	4074	49
done	5001	49
0	17	41
1	58	41
2	178	41
3	593	41
4	3092	41
done	5000	41
0	16	57
1	48	49
2	137	49
3	398	49
4	1504	49
done	5000	49
0	17	45
1	58	45
2	178	45
3	593	45
4	3092	45
done	5000	45
0	16	41
1	48	37
2	137	37
3	398	37
4	1504	37
done	5000	37
0	17	41
1	64	41
2	229	41
3	1266	41
done	5000	41
0	16	57
1	54	49
2	174	49
3	656	49
4	2304	49
done	5000	49
0	17	45
1	64	45
2	229	45
3	1266	45
done	5000	45
0	16	41
1	54	37
2	174	37
3	656	37
4	2304	37
done	5000	37
0	17	45
1	57	45
2	172	45
3	483	45
4	1875	45
done	5000	45
0	16	41
1	47	37
2	128	37
3	280	37
4	540	37
5	841	37
6	1425	37
7	2560	37
8	3312	37
9	3782	37
done	3782	37
0	13	49
1	35	49
2	89	49
3	276	49
4	1458	49
done	5000	49
0	11	25
1	16	25
2	29	25
3	70	25
4	193	25
5	434	25
6	729	25
7	1610	25
8	2817	25
9	4805	25
done	5000	25
0	15	33
1	46	33
2	170	33
3	780	33
4	2912	33
done	5000	33
0	13	49
1	41	41
2	111	41
3	237	41
4	430	41
5	558	41
6	725	41
7	846	41
8	1136	41
9	1724	41
done	1724	41
0	18	37
1	65	37
2	223	37
3	911	37
4	3155	37
done	5001	37
0	15	33
1	46	29
2	121	29
3	245	29
4	434	29
5	565	29
6	732	29
7	853	29
8	1142	29
9	1731	29
done	1731	29
0	18	37
1	59	37
2	176	37
3	476	37
4	1302	37
5	3434	37
done	5001	37
0	15	33
1	46	29
2	121	29
3	244	29
4	437	29
5	568	29
6	735	29
7	856	29
8	1151	29
9	1751	29
done	1751	29
0	14	41
1	37	41
2	93	41
3	273	41
4	929	41
5	2349	41
done	5000	41
0	9	17
1	13	17
2	20	17
done	20	17
0	15	33
1	46	33
2	154	33
3	588	33
4	2733	33
done	5001	33
0	13	49
1	41	41
2	111	41
3	237	41
4	430	41
5	558	41
6	725	41
7	846	41
8	1136	41
9	1724	41
done	1724	41
0	18	37
1	65	37
2	207	37
3	728	37
4	2832	37
done	5001	37
0	15	33
1	46	29
2	121	29
3	245	29
4	434	29
5	565	29
6	732	29
7	853	29
8	1142	29
9	1731	29
done	1731	29
0	18	37
1	65	37
2	209	37
3	646	37
4	2000	37
done	5001	37
0	15	33
1	46	29
2	121	29
3	244	29
4	437	29
5	568	29
6	735	29
7	856	29
8	1151	29
9	1751	29
done	1751	29
0	14	41
1	43	41
2	128	41
3	481	41
4	1622	41
5	3824	41
done	5000	41
0	9	17
1	13	17
2	20	17
done	20	17
0	11	18
1	15	18
done	15	18
0	11	18
1	15	18
done	15	18
0	10	18
1	14	18
done	14	18
0	10	18
1	14	18
done	14	18
0	13	27
1	23	27
2	52	27
3	124	27
4	199	27
5	263	27
6	390	27
7	494	27
done	494	27
0	13	27
1	23	27
2	52	27
3	124	27
4	199	27
5	263	27
6	390	27
7	494	27
done	494	27
0	13	27
1	23	27
2	52	27
3	124	27
4	199	27
5	263	27
6	390	27
7	494	27
done	494	27
0	13	27
1	23	27
2	52	27
3	124	27
4	199	27
5	263	27
6	390	27
7	494	27
done	494	27
0	13	35
1	23	35
2	52	35
3	124	35
4	199	35
5	263	35
6	390	35
7	494	35
done	494	35
0	12	26
1	22	26
2	51	26
3	127	26
4	208	26
5	276	26
6	403	26
7	505	26
done	505	26
0	12	19
1	24	18
2	53	18
3	129	16
4	212	16
5	276	16
6	403	16
7	505	16
done	505	16
0	13	36
1	25	36
2	56	36
3	128	36
4	211	36
5	283	36
6	410	36
7	520	36
done	520	36
0	12	26
1	22	26
2	51	26
3	127	26
4	208	26
5	276	26
6	403	26
7	505	26
done	505	26
0	11	18
1	23	16
2	55	16
3	127	16
4	205	16
5	273	16
6	400	16
7	498	16
done	498	16
0	9	17
1	12	17
done	12	17
0	12	26
1	22	26
2	51	26
3	127	26
4	208	26
5	276	26
6	403	26
7	505	26
done	505	26
0	12	26
1	22	26
2	51	26
3	127	26
4	208	26
5	276	26
6	403	26
7	505	26
done	505	26
0	11	25
1	21	25
2	50	25
3	124	25
4	206	25
5	272	25
6	399	25
7	497	25
done	497	25
0	15	29
1	45	29
2	139	29
3	333	29
4	598	29
5	1404	29
done	5000	29
0	14	33
1	42	33
2	109	33
3	220	33
4	334	33
5	504	33
6	840	33
7	1688	33
done	5000	33
0	15	33
1	45	33
2	157	33
3	753	33
done	5001	33
0	18	37
1	59	37
2	178	37
3	591	37
4	3066	37
done	5000	37
0	18	37
1	65	37
2	229	37
3	1265	37
done	5001	37
0	14	41
1	36	41
2	89	41
3	275	41
4	1458	41
done	5000	41
0	15	29
1	46	29
2	170	29
3	780	29
4	2912	29
done	5000	29
0	14	33
1	37	33
2	93	33
3	273	33
4	929	33
5	2349	33
done	5000	33
0	15	29
1	46	29
2	154	29
3	588	29
4	2733	29
done	5001	29
0	14	33
1	43	33
2	128	33
3	481	33
4	1622	33
5	3824	33
done	5000	33
0	25	33
1	57	31
2	130	28
3	296	24
4	659	20
5	1985	18
done	5000	18
0	16	19
1	36	14
2	80	11
3	227	8
4	643	8
5	1336	5
6	3594	5
done	5000	5
0	17	19
1	36	16
2	71	14
3	208	12
4	631	12
5	2192	9
done	5001	9
0	24	33
1	58	29
2	128	25
3	338	22
4	797	17
5	2187	16
done	5000	16
0	13	15
1	29	12
2	70	10
3	184	7
4	308	4
5	553	4
6	1027	4
7	2475	4
done	5000	4
0	14	15
1	29	14
2	66	13
3	200	12
4	631	10
5	1739	8
6	3674	4
done	5000	4
0	1	1
done	1	1
0	17	25
1	47	25
2	166	25
3	287	25
4	408	21
5	459	21
6	545	21
7	777	21
8	1590	21
done	5000	21
0	17	25
1	47	25
2	166	25
3	287	25
4	408	21
5	459	21
6	545	21
7	777	21
8	1590	21
done	5000	21
0	1	1
done	1	1
0	7	7
1	10	7
done	10	7
0	7	7
1	10	7
done	10	7

prune188.0ms

Filtered

106 candidates to 130 candidates (-22.6%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	129	1	130
Fresh	1	1	2
Picked	0	1	1
Done	0	2	2
Total	130	5	135

Merged error: 0.0b

Counts

135 → 5

localize8.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (* x.re y.im) (* x.im y.re))
0.2b	(* (sqrt (+ (* x.re y.im) (* x.im y.re))) (sqrt (+ (* x.re y.im) (* x.im y.re))))
1.5b	(sqrt (+ (* x.re y.im) (* x.im y.re)))
1.5b	(sqrt (+ (* x.re y.im) (* x.im y.re)))

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

28×	`add-sqr-sqrt`
24×	`sqrt-prod`
21×	`pow1`
16×	`sqrt-div`
14×	`add-cube-cbrt` `*-un-lft-identity`
10×	`sqrt-pow1` `pow1/2`
9×	`flip3-+` `flip-+`
8×	`swap-sqr`
6×	`add-exp-log` `associate-r` `associate-l` `add-cbrt-cube` `add-log-exp`
5×	`pow-prod-up`
4×	`frac-times` `unswap-sqr`
3×	`pow-prod-down` `pow-sqr`
2×	`rem-sqrt-square` `associate-r/` `associate-l/`
1×	`+-commutative` `pow2` `pow-plus` `sqrt-unprod` `prod-exp` `sum-log` `rem-square-sqrt` `*-commutative` `cbrt-unprod`

Counts

4 → 98

Calls

4 calls:

4.0ms	(+ (* x.re y.im) (* x.im y.re))
12.0ms	(* (sqrt (+ (* x.re y.im) (* x.im y.re))) (sqrt (+ (* x.re y.im) (* x.im y.re))))
4.0ms	(sqrt (+ (* x.re y.im) (* x.im y.re)))
4.0ms	(sqrt (+ (* x.re y.im) (* x.im y.re)))

series77.0ms

Counts

4 → 12

Calls

4 calls:

12.0ms	(+ (* x.re y.im) (* x.im y.re))
13.0ms	(* (sqrt (+ (* x.re y.im) (* x.im y.re))) (sqrt (+ (* x.re y.im) (* x.im y.re))))
28.0ms	(sqrt (+ (* x.re y.im) (* x.im y.re)))
24.0ms	(sqrt (+ (* x.re y.im) (* x.im y.re)))

simplify1.6min

Counts

110 → 110

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	9	9
1	12	9
done	12	9
0	9	9
1	12	9
done	12	9
0	10	19
1	13	19
done	13	19
0	9	9
1	12	9
done	12	9
0	10	26
1	14	16
2	25	10
3	46	10
4	56	10
5	66	10
6	87	10
7	154	10
8	369	10
9	1314	10
done	5000	10
0	10	18
1	14	9
done	14	9
0	9	9
1	12	9
done	12	9
0	9	9
1	12	9
done	12	9
0	9	9
1	12	9
done	12	9
0	2	2
1	4	1
done	4	1
0	8	8
1	11	8
done	11	8
0	11	12
1	33	12
2	100	12
3	249	12
4	468	12
5	1241	12
6	4725	12
done	5000	12
0	12	24
1	40	20
2	110	20
3	235	20
4	428	20
5	557	20
6	724	20
7	845	20
8	1135	20
9	1725	20
done	1725	20
0	10	16
1	31	16
2	72	16
3	131	16
4	196	16
5	331	16
6	527	16
7	891	16
8	2729	16
done	5000	16
0	8	8
1	12	8
2	19	8
done	19	8
0	3	3
1	6	1
done	6	1
0	9	9
1	12	9
done	12	9
0	9	9
1	12	9
done	12	9
0	9	9
1	12	9
done	12	9
0	9	9
1	12	9
done	12	9
0	10	19
1	13	19
done	13	19
0	9	9
1	12	9
done	12	9
0	10	26
1	14	16
2	25	10
3	46	10
4	56	10
5	66	10
6	87	10
7	154	10
8	369	10
9	1314	10
done	5000	10
0	10	18
1	14	9
done	14	9
0	9	9
1	12	9
done	12	9
0	9	9
1	12	9
done	12	9
0	9	9
1	12	9
done	12	9
0	2	2
1	4	1
done	4	1
0	8	8
1	11	8
done	11	8
0	11	12
1	33	12
2	100	12
3	249	12
4	468	12
5	1241	12
6	4725	12
done	5000	12
0	12	24
1	40	20
2	110	20
3	235	20
4	428	20
5	557	20
6	724	20
7	845	20
8	1135	20
9	1725	20
done	1725	20
0	10	16
1	31	16
2	72	16
3	131	16
4	196	16
5	331	16
6	527	16
7	891	16
8	2729	16
done	5000	16
0	8	8
1	12	8
2	19	8
done	19	8
0	3	3
1	6	1
done	6	1
0	9	9
1	12	9
done	12	9
0	9	9
1	12	9
done	12	9
0	2	3
1	5	1
2	7	1
done	7	1
0	5	5
1	8	1
done	8	1
0	2	3
1	6	1
done	6	1
0	5	5
1	8	3
done	8	1
0	4	7
1	8	3
2	9	1
done	9	1
0	8	15
1	17	15
2	46	15
3	118	15
4	204	15
5	278	15
6	405	15
7	501	15
done	501	15
0	9	17
1	12	7
2	13	7
done	13	7
0	8	15
1	17	15
2	46	15
3	118	15
4	204	15
5	278	15
6	405	15
7	501	15
done	501	15
0	2	3
1	6	1
done	6	1
0	10	19
1	15	11
2	16	11
done	16	11
0	10	18
1	15	8
2	18	8
3	19	8
done	19	8
0	10	18
1	15	8
2	24	8
3	37	8
4	67	8
5	161	8
6	472	8
7	1612	8
done	5000	8
0	11	53
1	21	23
2	65	21
3	210	9
4	733	9
5	2097	9
done	5000	9
0	11	37
1	14	17
2	15	17
done	15	17
0	10	18
1	13	8
2	14	8
done	14	8
0	11	53
1	22	23
2	54	9
3	184	9
4	624	9
5	2005	9
done	5001	9
0	8	15
1	17	15
2	46	15
3	118	15
4	204	15
5	278	15
6	405	15
7	501	15
done	501	15
0	10	18
1	14	8
done	14	8
0	10	18
1	14	8
done	14	8
0	12	25
1	34	11
2	102	11
3	254	11
4	468	11
5	1204	11
6	4666	11
done	5000	11
0	13	49
1	41	19
2	112	19
3	238	19
4	429	19
5	558	19
6	725	19
7	846	19
8	1136	19
9	1727	19
10	1731	19
11	1737	19
done	1737	19
0	16	29
1	56	29
2	158	29
3	347	29
4	618	29
5	1500	29
done	5001	29
0	15	33
1	46	29
2	121	29
3	245	29
4	434	29
5	565	29
6	732	29
7	853	29
8	1142	29
9	1731	29
done	1731	29
0	16	29
1	56	29
2	158	29
3	336	29
4	598	29
5	1482	29
done	5000	29
0	15	33
1	46	29
2	121	29
3	244	29
4	437	29
5	568	29
6	735	29
7	856	29
8	1151	29
9	1751	29
done	1751	29
0	11	33
1	32	15
2	74	15
3	132	15
4	197	15
5	330	15
6	522	15
7	890	15
8	2678	15
done	5000	15
0	9	17
1	13	7
2	21	7
done	21	7
0	11	39
1	18	39
2	20	21
3	29	11
4	44	11
5	70	11
6	139	11
7	351	11
8	1250	11
done	5000	11
0	10	19
1	13	19
done	13	19
0	11	37
1	15	17
2	16	17
done	16	17
0	10	19
1	13	8
2	14	8
done	14	8
0	10	19
1	13	8
2	14	8
done	14	8
0	10	19
1	13	8
2	14	8
done	14	8
0	10	19
1	13	8
2	14	8
done	14	8
0	10	19
1	13	8
2	14	8
done	14	8
0	3	5
1	5	1
done	5	1
0	9	17
1	12	7
2	13	7
done	13	7
0	10	19
1	13	8
2	14	8
done	14	8
0	10	19
1	13	8
2	14	8
done	14	8
0	10	19
1	13	8
2	14	8
done	14	8
0	10	19
1	13	8
2	14	8
done	14	8
0	2	3
1	4	1
done	4	1
0	9	17
1	12	7
2	13	7
done	13	7
0	10	19
1	13	8
2	14	8
done	14	8
0	10	19
1	13	8
2	14	8
done	14	8
0	10	19
1	13	8
2	14	8
done	14	8
0	10	19
1	13	8
2	14	8
done	14	8
0	10	19
1	13	8
2	14	8
done	14	8
0	10	19
1	13	8
2	14	8
done	14	8
0	10	19
1	13	8
2	14	8
done	14	8
0	10	19
1	13	8
2	14	8
done	14	8
0	3	3
1	5	1
2	7	1
done	7	1
0	3	3
1	6	1
done	6	1
0	4	5
1	10	1
done	10	1
0	11	28
1	17	28
2	19	28
done	19	28
0	12	27
1	17	18
done	17	18
0	10	18
1	14	18
done	14	18
0	11	11
1	17	10
done	17	10
0	10	18
1	14	18
done	14	18
0	10	10
1	16	8
2	19	8
done	19	8
0	10	18
1	14	18
done	14	18
0	11	18
1	15	18
done	15	18
0	10	18
1	14	18
done	14	18
0	9	17
1	12	7
2	13	7
done	13	7
0	10	18
1	14	18
done	14	18
0	9	17
1	12	7
2	13	7
done	13	7
0	14	21
1	38	21
2	105	21
3	256	21
4	477	21
5	1240	21
6	4812	21
done	5000	21
0	13	25
1	35	25
2	75	25
3	134	25
4	199	25
5	330	25
6	510	25
7	872	25
8	2672	25
done	5000	25
0	14	21
1	38	21
2	105	21
3	256	21
4	488	21
5	1233	21
6	4765	21
done	5000	21
0	13	25
1	35	25
2	75	25
3	133	25
4	200	25
5	333	25
6	525	25
7	897	25
8	2690	25
done	5001	25
0	9	9
1	18	8
2	30	8
3	58	8
4	175	8
5	619	8
6	2814	8
done	5000	8
0	8	8
1	11	8
done	11	8
0	8	8
1	14	8
2	23	8
3	36	8
4	88	8
5	282	8
6	1033	8
done	5001	8
0	9	17
1	12	17
done	12	17
0	8	8
1	11	8
done	11	8
0	9	23
1	25	23
2	89	9
3	330	9
4	988	9
5	2567	9
done	5000	9
0	8	8
1	11	8
done	11	8
0	8	8
1	11	8
done	11	8
0	10	11
1	32	11
2	99	11
3	244	11
4	477	11
5	1224	11
6	4678	11
done	5000	11
0	11	23
1	39	19
2	109	19
3	233	19
4	424	19
5	554	19
6	721	19
7	842	19
8	1136	19
9	1729	19
done	1729	19
0	9	15
1	30	15
2	71	15
3	129	15
4	194	15
5	325	15
6	521	15
7	887	15
8	2712	15
done	5000	15
0	7	7
1	11	7
2	18	7
done	18	7
0	1	1
done	1	1
0	20	27
1	56	27
2	201	27
3	862	27
done	5000	27
0	20	27
1	56	27
2	195	27
3	800	27
4	4482	25
done	5000	25
0	1	1
done	1	1
0	20	27
1	56	27
2	201	27
3	862	27
done	5000	27
0	20	27
1	56	27
2	195	27
3	800	27
4	4482	25
done	5000	25
0	1	1
done	1	1
0	7	7
1	10	7
done	10	7
0	7	7
1	10	7
done	10	7
0	1	1
done	1	1
0	7	7
1	10	7
done	10	7
0	7	7
1	10	7
done	10	7

prune101.0ms

Filtered

73 candidates to 110 candidates (-50.7%)

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	110	0	110
Fresh	0	1	1
Picked	0	1	1
Done	0	3	3
Total	110	5	115

Merged error: 0.0b

Counts

115 → 5

regimes459.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	7	7
1	10	7
done	10	7

end0.0ms

sample848.0ms

Algorithm

intervals

Results

311.0ms

10501×

body

valid

Details

sample29.0ms

simplify3.0ms

prune3.0ms

localize6.0ms

rewrite5.0ms

series11.0ms

simplify17.6s

prune30.0ms

localize11.0ms

rewrite30.0ms

series185.0ms

simplify1.8min

prune113.0ms

localize11.0ms

rewrite41.0ms

series138.0ms

simplify4.3min

prune188.0ms

localize8.0ms

rewrite28.0ms

series77.0ms

simplify1.6min

prune101.0ms

regimes459.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample848.0ms

Profiling