Details

sample30.0ms

Algorithm

intervals

Results

10.0ms

328×

body

valid

simplify5.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	7	7
1	11	7
2	18	7
done	18	7

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

localize6.0ms

Local error

Found 1 expressions with local error:

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

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

3×	`add-log-exp`
1×	`pow1` `add-exp-log` `add-sqr-sqrt` `add-cube-cbrt` `sub-neg` `flip3--` `*-un-lft-identity` `diff-log` `add-cbrt-cube` `flip--`

Counts

1 → 12

Calls

1 calls:

10.0ms

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

series13.0ms

Counts

1 → 3

Calls

1 calls:

13.0ms

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

simplify12.8s

Counts

15 → 15

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	9	9
1	17	8
2	30	8
3	61	8
4	160	8
5	606	8
6	3922	8
done	5000	8
0	8	8
1	12	8
2	19	8
done	19	8
0	8	8
1	15	8
2	32	8
3	54	8
4	120	8
5	454	8
6	2420	8
done	5001	8
0	9	17
1	13	17
2	20	17
done	20	17
0	8	8
1	12	8
2	19	8
done	19	8
0	9	23
1	14	23
2	35	9
3	126	9
4	513	9
5	1912	9
done	5000	9
0	8	8
1	12	8
2	19	8
done	19	8
0	8	8
1	12	8
2	19	8
done	19	8
0	10	11
1	33	11
2	117	11
3	382	11
4	897	11
5	2338	11
done	5000	11
0	11	23
1	38	19
2	95	19
3	140	19
4	150	19
5	152	19
done	152	19
0	4	4
1	9	4
2	11	4
done	11	4
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	10	7
done	10	7
0	4	4
1	9	4
2	11	4
done	11	4
0	1	1
done	1	1
0	7	7
1	11	7
2	18	7
done	18	7
0	7	7
1	11	7
2	18	7
done	18	7

prune26.0ms

Filtered

12 candidates to 15 candidates (-25.0%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	13	2	15
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	13	3	16

Merged error: 0.0b

Counts

16 → 3

localize15.0ms

Local error

Found 4 expressions with local error:

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

rewrite27.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:

12.0ms	(* (cbrt (- (* x.re y.re) (* x.im y.im))) (cbrt (- (* x.re y.re) (* x.im y.im))))
4.0ms	(cbrt (- (* x.re y.re) (* x.im y.im)))
4.0ms	(cbrt (- (* x.re y.re) (* x.im y.im)))
4.0ms	(cbrt (- (* x.re y.re) (* x.im y.im)))

series195.0ms

Counts

4 → 12

Calls

4 calls:

59.0ms	(* (cbrt (- (* x.re y.re) (* x.im y.im))) (cbrt (- (* x.re y.re) (* x.im y.im))))
43.0ms	(cbrt (- (* x.re y.re) (* x.im y.im)))
48.0ms	(cbrt (- (* x.re y.re) (* x.im y.im)))
44.0ms	(cbrt (- (* x.re y.re) (* x.im y.im)))

simplify1.9min

Counts

99 → 99

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	9	9
1	13	9
2	20	9
done	20	9
0	9	9
1	13	9
2	20	9
done	20	9
0	10	18
1	14	18
2	21	18
done	21	18
0	9	9
1	13	9
2	20	9
done	20	9
0	9	9
1	13	9
2	20	9
done	20	9
0	9	9
1	13	9
2	20	9
done	20	9
0	2	2
1	4	1
done	4	1
0	8	8
1	12	8
2	19	8
done	19	8
0	11	12
1	34	12
2	118	12
3	388	12
4	896	12
5	2367	12
done	5000	12
0	12	24
1	39	20
2	96	20
3	139	20
4	153	20
5	155	20
done	155	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	11	8
done	11	8
0	10	19
1	14	19
2	21	19
done	21	19
0	9	9
1	13	9
2	20	9
done	20	9
0	10	26
1	15	26
2	24	10
3	29	7
4	35	7
5	45	7
6	68	7
7	131	7
8	348	7
9	1266	7
done	5001	7
0	9	9
1	13	9
2	20	9
done	20	9
0	9	9
1	13	9
2	20	9
done	20	9
0	9	9
1	13	9
2	20	9
done	20	9
0	9	9
1	13	9
2	20	9
done	20	9
0	10	18
1	14	18
2	21	18
done	21	18
0	9	9
1	13	9
2	20	9
done	20	9
0	9	9
1	13	9
2	20	9
done	20	9
0	9	9
1	13	9
2	20	9
done	20	9
0	2	2
1	4	1
done	4	1
0	8	8
1	12	8
2	19	8
done	19	8
0	11	12
1	34	12
2	118	12
3	388	12
4	896	12
5	2367	12
done	5000	12
0	12	24
1	39	20
2	96	20
3	139	20
4	153	20
5	155	20
done	155	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	11	8
done	11	8
0	10	19
1	14	19
2	21	19
done	21	19
0	9	9
1	13	9
2	20	9
done	20	9
0	10	26
1	15	26
2	24	10
3	29	7
4	35	7
5	45	7
6	68	7
7	131	7
8	348	7
9	1266	7
done	5001	7
0	9	9
1	13	9
2	20	9
done	20	9
0	9	9
1	13	9
2	20	9
done	20	9
0	9	9
1	13	9
2	20	9
done	20	9
0	9	9
1	13	9
2	20	9
done	20	9
0	10	18
1	14	18
2	21	18
done	21	18
0	9	9
1	13	9
2	20	9
done	20	9
0	9	9
1	13	9
2	20	9
done	20	9
0	9	9
1	13	9
2	20	9
done	20	9
0	2	2
1	4	1
done	4	1
0	8	8
1	12	8
2	19	8
done	19	8
0	11	12
1	34	12
2	118	12
3	388	12
4	896	12
5	2367	12
done	5000	12
0	12	24
1	39	20
2	96	20
3	139	20
4	153	20
5	155	20
done	155	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	11	8
done	11	8
0	10	19
1	14	19
2	21	19
done	21	19
0	9	9
1	13	9
2	20	9
done	20	9
0	10	26
1	15	26
2	24	10
3	29	7
4	35	7
5	45	7
6	68	7
7	131	7
8	348	7
9	1266	7
done	5001	7
0	9	9
1	13	9
2	20	9
done	20	9
0	9	9
1	13	9
2	20	9
done	20	9
0	2	3
1	5	1
done	5	1
0	2	3
1	6	1
done	6	1
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	9	17
1	13	17
2	20	17
done	20	17
0	2	3
1	6	1
done	6	1
0	10	19
1	16	11
2	24	11
done	24	11
0	10	18
1	16	18
2	25	11
3	26	11
done	26	11
0	10	18
1	16	18
2	27	18
3	32	18
4	50	18
5	92	18
6	203	18
7	587	18
8	2266	18
done	5000	18
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	11	37
1	15	37
2	22	37
done	22	37
0	10	18
1	14	18
2	21	18
done	21	18
0	11	53
1	23	53
2	39	19
3	53	10
4	111	10
5	314	10
6	952	10
7	3188	10
done	5000	10
0	10	18
1	15	9
2	22	9
done	22	9
0	10	18
1	15	9
2	22	9
done	22	9
0	12	25
1	35	25
2	119	25
3	392	25
4	903	25
5	2372	25
done	5000	25
0	13	49
1	40	41
2	97	41
3	140	41
4	152	41
5	154	41
done	154	41
0	16	29
1	57	29
2	174	29
3	459	29
4	942	29
5	2519	29
done	5000	29
0	15	33
1	43	29
2	99	29
3	143	29
4	155	29
5	157	29
done	157	29
0	16	29
1	57	29
2	174	29
3	451	29
4	950	29
5	2537	29
done	5001	29
0	15	33
1	43	29
2	99	29
3	142	29
4	152	29
5	154	29
done	154	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	12	17
done	12	17
0	11	37
1	15	37
2	22	37
done	22	37
0	10	19
1	14	19
2	21	19
done	21	19
0	10	19
1	14	19
2	21	19
done	21	19
0	10	19
1	14	19
2	21	19
done	21	19
0	3	5
1	5	3
done	5	1
0	9	17
1	13	17
2	20	17
done	20	17
0	11	39
1	19	39
2	28	21
3	37	11
4	52	11
5	78	11
6	149	11
7	358	11
8	1253	11
done	5000	11
0	10	19
1	14	19
2	21	19
done	21	19
0	10	19
1	14	8
2	22	8
done	22	8
0	10	19
1	14	8
2	22	8
done	22	8
0	2	3
1	4	1
done	4	1
0	9	17
1	13	17
2	20	17
done	20	17
0	10	19
1	14	19
2	21	19
done	21	19
0	10	19
1	14	19
2	21	19
done	21	19
0	12	19
1	17	19
2	24	19
done	24	19
0	12	19
1	17	19
2	24	19
done	24	19
0	12	19
1	17	19
2	24	19
done	24	19
0	12	19
1	17	19
2	24	19
done	24	19
0	10	19
1	14	8
2	22	8
done	22	8
0	10	19
1	14	8
2	22	8
done	22	8
0	3	3
1	5	1
done	5	1
0	3	3
1	6	1
done	6	1
0	11	27
1	16	27
2	23	27
done	23	27
0	11	18
1	16	18
2	23	18
done	23	18
0	11	11
1	18	10
2	25	10
done	25	8
0	11	28
1	18	28
2	27	28
done	27	28
0	10	18
1	15	18
2	22	18
done	22	18
0	10	10
1	17	8
2	27	8
done	27	8
0	10	18
1	15	18
2	22	18
done	22	18
0	11	18
1	16	18
2	23	18
done	23	18
0	9	17
1	13	17
2	20	17
done	20	17
0	10	18
1	15	18
2	22	18
done	22	18
0	10	18
1	15	18
2	22	18
done	22	18
0	9	17
1	13	17
2	20	17
done	20	17
0	14	21
1	40	21
2	130	21
3	385	21
4	924	21
5	2381	21
done	5001	21
0	13	25
1	36	25
2	86	25
3	178	25
4	299	25
5	475	25
6	802	25
7	2415	25
done	5001	25
0	14	21
1	40	21
2	130	21
3	391	21
4	922	21
5	2367	21
done	5000	21
0	13	25
1	36	25
2	86	25
3	176	25
4	293	25
5	483	25
6	810	25
7	2439	25
done	5000	25
0	27	34
1	62	31
2	144	31
3	395	29
4	1063	21
5	3449	19
done	5001	19
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	27	34
1	62	31
2	144	31
3	395	29
4	1063	21
5	3449	19
done	5001	19
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	27	34
1	62	31
2	144	31
3	395	29
4	1063	21
5	3449	19
done	5001	19
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	58	31
2	143	28
3	381	24
4	985	20
5	3470	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

prune114.0ms

Filtered

78 candidates to 99 candidates (-26.9%)

Pruning

3 alts after pruning (2 fresh and 1 done)

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

Merged error: 0.0b

Counts

102 → 3

localize15.0ms

Local error

Found 4 expressions with local error:

2.2b	(cbrt (- (* x.re y.re) (* x.im y.im)))
2.2b	(cbrt (- (* x.re y.re) (* x.im y.im)))
2.2b	(cbrt (- (* x.re y.re) (* x.im y.im)))
2.2b	(cbrt (- (* x.re y.re) (* x.im y.im)))

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

12×	`cbrt-prod`
8×	`add-sqr-sqrt` `add-cube-cbrt` `cbrt-div` `*-un-lft-identity`
4×	`pow1` `add-exp-log` `flip3--` `pow1/3` `add-cbrt-cube` `flip--` `add-log-exp`

Counts

4 → 52

Calls

4 calls:

4.0ms	(cbrt (- (* x.re y.re) (* x.im y.im)))
4.0ms	(cbrt (- (* x.re y.re) (* x.im y.im)))
4.0ms	(cbrt (- (* x.re y.re) (* x.im y.im)))
4.0ms	(cbrt (- (* x.re y.re) (* x.im y.im)))

series182.0ms

Counts

4 → 12

Calls

4 calls:

47.0ms	(cbrt (- (* x.re y.re) (* x.im y.im)))
43.0ms	(cbrt (- (* x.re y.re) (* x.im y.im)))
44.0ms	(cbrt (- (* x.re y.re) (* x.im y.im)))
47.0ms	(cbrt (- (* x.re y.re) (* x.im y.im)))

simplify1.2min

Counts

64 → 64

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	9	9
1	13	9
2	20	9
done	20	9
0	9	9
1	13	9
2	20	9
done	20	9
0	10	18
1	14	18
2	21	18
done	21	18
0	9	9
1	13	9
2	20	9
done	20	9
0	9	9
1	13	9
2	20	9
done	20	9
0	9	9
1	13	9
2	20	9
done	20	9
0	2	2
1	4	1
done	4	1
0	8	8
1	12	8
2	19	8
done	19	8
0	11	12
1	34	12
2	118	12
3	388	12
4	896	12
5	2367	12
done	5000	12
0	12	24
1	39	20
2	96	20
3	139	20
4	153	20
5	155	20
done	155	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	11	8
done	11	8
0	10	19
1	14	19
2	21	19
done	21	19
0	9	9
1	13	9
2	20	9
done	20	9
0	10	26
1	15	26
2	24	10
3	29	7
4	35	7
5	45	7
6	68	7
7	131	7
8	348	7
9	1266	7
done	5001	7
0	9	9
1	13	9
2	20	9
done	20	9
0	9	9
1	13	9
2	20	9
done	20	9
0	9	9
1	13	9
2	20	9
done	20	9
0	9	9
1	13	9
2	20	9
done	20	9
0	10	18
1	14	18
2	21	18
done	21	18
0	9	9
1	13	9
2	20	9
done	20	9
0	9	9
1	13	9
2	20	9
done	20	9
0	9	9
1	13	9
2	20	9
done	20	9
0	2	2
1	4	1
done	4	1
0	8	8
1	12	8
2	19	8
done	19	8
0	11	12
1	34	12
2	118	12
3	388	12
4	896	12
5	2367	12
done	5000	12
0	12	24
1	39	20
2	96	20
3	139	20
4	153	20
5	155	20
done	155	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	11	8
done	11	8
0	10	19
1	14	19
2	21	19
done	21	19
0	9	9
1	13	9
2	20	9
done	20	9
0	10	26
1	15	26
2	24	10
3	29	7
4	35	7
5	45	7
6	68	7
7	131	7
8	348	7
9	1266	7
done	5001	7
0	9	9
1	13	9
2	20	9
done	20	9
0	9	9
1	13	9
2	20	9
done	20	9
0	9	9
1	13	9
2	20	9
done	20	9
0	9	9
1	13	9
2	20	9
done	20	9
0	10	18
1	14	18
2	21	18
done	21	18
0	9	9
1	13	9
2	20	9
done	20	9
0	9	9
1	13	9
2	20	9
done	20	9
0	9	9
1	13	9
2	20	9
done	20	9
0	2	2
1	4	1
done	4	1
0	8	8
1	12	8
2	19	8
done	19	8
0	11	12
1	34	12
2	118	12
3	388	12
4	896	12
5	2367	12
done	5000	12
0	12	24
1	39	20
2	96	20
3	139	20
4	153	20
5	155	20
done	155	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	11	8
done	11	8
0	10	19
1	14	19
2	21	19
done	21	19
0	9	9
1	13	9
2	20	9
done	20	9
0	10	26
1	15	26
2	24	10
3	29	7
4	35	7
5	45	7
6	68	7
7	131	7
8	348	7
9	1266	7
done	5001	7
0	9	9
1	13	9
2	20	9
done	20	9
0	9	9
1	13	9
2	20	9
done	20	9
0	9	9
1	13	9
2	20	9
done	20	9
0	9	9
1	13	9
2	20	9
done	20	9
0	10	18
1	14	18
2	21	18
done	21	18
0	9	9
1	13	9
2	20	9
done	20	9
0	9	9
1	13	9
2	20	9
done	20	9
0	9	9
1	13	9
2	20	9
done	20	9
0	2	2
1	4	1
done	4	1
0	8	8
1	12	8
2	19	8
done	19	8
0	11	12
1	34	12
2	118	12
3	388	12
4	896	12
5	2367	12
done	5000	12
0	12	24
1	39	20
2	96	20
3	139	20
4	153	20
5	155	20
done	155	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	11	8
done	11	8
0	10	19
1	14	19
2	21	19
done	21	19
0	9	9
1	13	9
2	20	9
done	20	9
0	10	26
1	15	26
2	24	10
3	29	7
4	35	7
5	45	7
6	68	7
7	131	7
8	348	7
9	1266	7
done	5001	7
0	9	9
1	13	9
2	20	9
done	20	9
0	9	9
1	13	9
2	20	9
done	20	9
0	27	34
1	62	31
2	144	31
3	395	29
4	1063	21
5	3449	19
done	5001	19
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	27	34
1	62	31
2	144	31
3	395	29
4	1063	21
5	3449	19
done	5001	19
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	27	34
1	62	31
2	144	31
3	395	29
4	1063	21
5	3449	19
done	5001	19
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	27	34
1	62	31
2	144	31
3	395	29
4	1063	21
5	3449	19
done	5001	19
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

prune88.0ms

Filtered

56 candidates to 64 candidates (-14.3%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	64	0	64
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	64	3	67

Merged error: 0.0b

Counts

67 → 3

localize15.0ms

Local error

Found 4 expressions with local error:

1.3b	(- (pow (* x.re y.re) 3) (pow (* x.im y.im) 3))
1.4b	(+ (* (* x.im y.im) (+ (* x.im y.im) (* x.re y.re))) (* (* x.re y.re) (* x.re y.re)))
3.2b	(* (* x.im y.im) (+ (* x.im y.im) (* x.re y.re)))
38.4b	(/ (- (pow (* x.re y.re) 3) (pow (* x.im y.im) 3)) (+ (* (* x.im y.im) (+ (* x.im y.im) (* x.re y.re))) (* (* x.re y.re) (* x.re y.re))))

rewrite55.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 109

Calls

4 calls:

8.0ms	(- (pow (* x.re y.re) 3) (pow (* x.im y.im) 3))
15.0ms	(+ (* (* x.im y.im) (+ (* x.im y.im) (* x.re y.re))) (* (* x.re y.re) (* x.re y.re)))
8.0ms	(* (* x.im y.im) (+ (* x.im y.im) (* x.re y.re)))
20.0ms	(/ (- (pow (* x.re y.re) 3) (pow (* x.im y.im) 3)) (+ (* (* x.im y.im) (+ (* x.im y.im) (* x.re y.re))) (* (* x.re y.re) (* x.re y.re))))

series161.0ms

Counts

4 → 12

Calls

4 calls:

54.0ms	(- (pow (* x.re y.re) 3) (pow (* x.im y.im) 3))
34.0ms	(+ (* (* x.im y.im) (+ (* x.im y.im) (* x.re y.re))) (* (* x.re y.re) (* x.re y.re)))
16.0ms	(* (* x.im y.im) (+ (* x.im y.im) (* x.re y.re)))
57.0ms	(/ (- (pow (* x.re y.re) 3) (pow (* x.im y.im) 3)) (+ (* (* x.im y.im) (+ (* x.im y.im) (* x.re y.re))) (* (* x.re y.re) (* x.re y.re))))

simplify4.7min

Counts

121 → 121

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	17	33
1	57	33
2	181	33
3	478	33
4	1043	33
5	2516	33
done	5000	33
0	16	32
1	60	32
2	203	32
3	632	32
4	1729	32
done	5001	32
0	16	32
1	57	32
2	201	32
3	635	32
4	1726	32
done	5000	32
0	19	95
1	78	95
2	347	35
3	1939	33
done	5001	33
0	17	65
1	58	65
2	199	65
3	636	65
4	1745	65
done	5001	65
0	16	32
1	57	32
2	198	32
3	630	32
4	1710	32
done	5001	32
0	17	95
1	65	95
2	233	33
3	971	33
done	5001	33
0	16	32
1	57	32
2	198	32
3	630	32
4	1710	32
done	5001	32
0	16	32
1	57	32
2	198	32
3	630	32
4	1710	32
done	5001	32
0	11	12
1	34	12
2	121	12
3	441	12
4	1417	11
5	4480	11
done	5000	11
0	11	20
1	33	20
2	117	20
3	304	20
4	551	20
5	674	20
6	754	20
7	1052	20
8	1538	20
9	1566	20
done	1566	20
0	13	25
1	42	25
2	136	25
3	330	25
4	644	25
5	1567	25
done	5000	25
0	13	25
1	42	25
2	127	25
3	318	25
4	652	25
5	1566	25
done	5000	25
0	19	67
1	63	67
2	195	67
3	504	67
4	1000	67
5	2465	67
done	5000	67
0	17	33
1	55	33
2	178	33
3	472	33
4	1033	33
5	2489	33
done	5000	33
0	18	46
1	58	46
2	183	46
3	478	46
4	1031	46
5	2480	46
done	5000	46
0	17	33
1	55	33
2	178	33
3	472	33
4	1033	33
5	2489	33
done	5000	33
0	14	27
1	41	25
2	131	25
3	396	25
4	911	25
5	2351	25
done	5000	25
0	16	32
1	54	32
2	177	32
3	473	32
4	1024	32
5	2471	32
done	5000	32
0	18	54
1	58	54
2	181	54
3	484	54
4	1042	54
5	2488	54
done	5000	54
0	17	33
1	55	33
2	178	33
3	472	33
4	1033	33
5	2489	33
done	5000	33
0	17	33
1	55	33
2	178	33
3	472	33
4	1033	33
5	2489	33
done	5000	33
0	17	33
1	55	33
2	178	33
3	472	33
4	1033	33
5	2489	33
done	5000	33
0	13	14
1	38	12
2	124	12
3	393	12
4	908	12
5	2339	12
done	5000	12
0	16	32
1	54	32
2	177	32
3	473	32
4	1024	32
5	2471	32
done	5000	32
0	17	65
1	49	61
2	110	61
3	147	61
4	157	61
5	159	61
done	159	61
0	13	28
1	37	28
2	108	28
3	165	28
4	202	28
5	210	28
done	210	28
0	16	44
1	46	40
2	107	40
3	143	40
4	157	40
5	159	40
done	159	40
0	13	28
1	37	28
2	108	28
3	165	28
4	202	28
5	210	28
done	210	28
0	13	25
1	42	19
2	101	19
3	145	19
4	155	19
5	157	19
done	157	19
0	12	27
1	36	27
2	107	27
3	174	27
4	215	27
5	223	27
done	223	27
0	14	43
1	37	43
2	91	43
3	137	43
4	150	43
5	152	43
done	152	43
0	16	32
1	57	32
2	198	32
3	630	32
4	1706	32
done	5000	32
0	13	22
1	34	22
2	88	22
3	145	22
4	164	22
5	166	22
done	166	22
0	16	32
1	57	32
2	198	32
3	630	32
4	1706	32
done	5000	32
0	2	3
1	4	1
done	4	1
0	15	31
1	56	31
2	197	31
3	632	31
4	1721	31
done	5000	31
0	19	55
1	58	55
2	166	55
3	359	55
4	607	55
5	1356	55
6	4860	55
done	5000	55
0	18	34
1	59	34
2	170	34
3	348	34
4	592	34
5	1346	34
6	4907	34
done	5000	34
0	18	34
1	55	34
2	163	34
3	349	34
4	582	34
5	1331	34
6	4903	34
done	5000	34
0	18	34
1	59	34
2	170	34
3	348	34
4	592	34
5	1346	34
6	4907	34
done	5000	34
0	14	15
1	38	13
2	109	13
3	268	13
4	502	13
5	1238	13
6	4805	13
done	5000	13
0	17	33
1	58	33
2	169	33
3	359	33
4	582	33
5	1325	33
6	4861	33
done	5000	33
0	20	56
1	54	54
2	145	54
3	258	54
4	396	54
5	842	54
6	2880	54
done	5001	54
0	19	35
1	55	33
2	154	33
3	282	33
4	482	33
5	1141	33
6	4145	33
done	5000	33
0	19	35
1	50	33
2	142	33
3	266	33
4	405	33
5	842	33
6	2797	33
done	5000	33
0	19	35
1	55	33
2	154	33
3	282	33
4	482	33
5	1141	33
6	4145	33
done	5000	33
0	15	16
1	33	12
2	75	12
3	152	12
4	275	12
5	708	12
6	2659	12
done	5000	12
0	18	34
1	54	32
2	153	32
3	293	32
4	489	32
5	1150	32
6	4138	32
done	5000	32
0	20	56
1	53	54
2	136	54
3	252	54
4	387	54
5	828	54
6	2798	54
done	5000	54
0	19	35
1	55	33
2	142	33
3	266	33
4	422	33
5	914	33
6	3170	33
done	5001	33
0	19	35
1	50	33
2	133	33
3	254	33
4	391	33
5	836	33
6	2836	33
done	5000	33
0	19	35
1	55	33
2	142	33
3	266	33
4	422	33
5	914	33
6	3170	33
done	5001	33
0	15	16
1	32	12
2	74	12
3	156	12
4	277	12
5	699	12
6	2634	12
done	5001	12
0	18	34
1	53	32
2	140	32
3	269	32
4	422	32
5	925	32
6	3153	32
done	5000	32
0	19	57
1	47	53
2	110	53
3	176	53
4	245	53
5	362	53
6	770	53
7	2628	53
done	5000	53
0	18	36
1	48	32
2	125	32
3	224	32
4	390	32
5	979	32
6	3988	32
done	5000	32
0	18	36
1	44	32
2	107	32
3	179	32
4	244	32
5	369	32
6	794	32
7	2623	32
done	5000	32
0	18	36
1	48	32
2	125	32
3	224	32
4	390	32
5	979	32
6	3988	32
done	5000	32
0	14	17
1	25	11
2	36	11
3	59	11
4	108	11
5	220	11
6	627	11
7	2471	11
done	5000	11
0	17	35
1	47	31
2	124	31
3	221	31
4	387	31
5	984	31
6	3985	31
done	5000	31
0	14	43
1	37	43
2	91	43
3	137	43
4	150	43
5	152	43
done	152	43
0	16	32
1	57	32
2	198	32
3	630	32
4	1706	32
done	5000	32
0	13	22
1	34	22
2	88	22
3	145	22
4	164	22
5	166	22
done	166	22
0	16	32
1	57	32
2	198	32
3	630	32
4	1706	32
done	5000	32
0	2	3
1	4	1
done	4	1
0	15	31
1	56	31
2	197	31
3	632	31
4	1721	31
done	5000	31
0	12	21
1	33	21
2	87	21
3	145	21
4	170	21
5	172	21
done	172	21
0	15	31
1	53	31
2	176	31
3	456	31
4	1026	31
5	2514	31
done	5000	31
0	17	53
1	60	53
2	224	53
3	860	53
4	3240	53
done	5000	53
0	16	32
1	57	32
2	198	32
3	630	32
4	1706	32
done	5000	32
0	12	13
1	40	11
2	144	11
3	560	11
4	1862	11
done	5001	11
0	16	32
1	54	32
2	177	32
3	459	32
4	1017	32
5	2469	32
done	5000	32
0	16	32
1	54	32
2	177	32
3	459	32
4	1017	32
5	2469	32
done	5000	32
0	12	27
1	33	27
2	94	27
3	146	27
4	169	27
5	171	27
done	171	27
0	15	31
1	53	31
2	176	31
3	456	31
4	1026	31
5	2514	31
done	5000	31
0	17	33
1	55	33
2	164	33
3	339	33
4	561	33
5	1318	33
6	4884	33
done	5000	33
0	18	34
1	50	32
2	145	32
3	273	32
4	435	32
5	932	32
6	3175	32
done	5000	32
0	18	34
1	50	32
2	133	32
3	257	32
4	409	32
5	834	32
6	2787	32
done	5000	32
0	17	35
1	45	31
2	115	31
3	197	31
4	305	31
5	654	31
6	2452	31
done	5001	31
0	15	31
1	53	31
2	176	31
3	456	31
4	1026	31
5	2514	31
done	5000	31
0	17	35
1	71	35
2	330	31
3	1811	31
done	5000	31
0	17	51
1	70	45
2	342	41
3	1793	41
done	5000	41
0	19	55
1	73	43
2	325	43
3	2521	43
done	5000	43
0	15	31
1	59	31
2	222	31
3	1131	31
done	5000	31
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	90	11
4	104	11
done	104	11
0	12	14
1	19	14
2	25	14
done	25	14
0	10	13
1	17	13
2	22	13
3	26	13
done	26	13
0	9	12
1	23	12
2	69	12
3	118	12
4	132	12
done	132	12
0	9	12
1	22	12
2	75	12
3	165	12
4	332	12
5	1049	12
6	3882	12
done	5000	12
0	15	35
1	43	35
2	194	17
3	1080	17
done	5000	17
0	12	35
1	43	35
2	194	15
3	1040	15
done	5001	15
0	10	25
1	21	25
2	60	25
3	101	25
4	111	25
done	111	25
0	9	12
1	20	12
2	59	12
3	98	12
4	112	12
done	112	12
0	10	35
1	30	35
2	158	13
3	938	13
done	5000	13
0	9	12
1	20	12
2	59	12
3	98	12
4	112	12
done	112	12
0	9	12
1	20	12
2	59	12
3	98	12
4	112	12
done	112	12
0	4	7
1	12	7
2	23	7
done	23	7
0	7	7
1	14	7
2	33	7
3	54	7
4	55	7
done	55	7
0	4	7
1	12	7
2	23	7
done	23	7
0	7	7
1	14	7
2	33	7
3	54	7
4	55	7
done	55	7
0	10	21
1	18	21
2	31	21
3	41	21
done	41	21
0	9	12
1	15	12
2	21	12
done	21	12
0	5	5
1	11	3
2	23	3
3	27	3
done	27	3
0	8	9
1	18	9
2	30	9
3	34	9
done	34	9
0	11	15
1	42	15
2	165	15
3	632	15
4	2037	15
done	5001	15
0	10	19
1	34	19
2	99	19
3	315	18
4	975	17
5	2080	17
6	3572	17
done	5000	17
0	12	21
1	37	20
2	116	20
3	272	20
4	709	20
5	3716	20
done	5001	20
0	11	20
1	30	20
2	84	20
3	137	20
4	160	20
5	162	20
done	162	20
0	11	20
1	33	20
2	105	20
3	233	20
4	534	20
5	2855	20
done	5000	20
0	12	41
1	31	41
2	85	41
3	135	41
4	152	41
5	154	41
done	154	41
0	11	20
1	30	20
2	84	20
3	137	20
4	160	20
5	162	20
done	162	20
0	12	59
1	44	59
2	200	21
3	1181	21
done	5001	21
0	11	20
1	30	20
2	84	20
3	137	20
4	160	20
5	162	20
done	162	20
0	11	20
1	30	20
2	84	20
3	137	20
4	160	20
5	162	20
done	162	20
0	13	23
1	50	23
2	222	19
3	1170	19
done	5000	19
0	14	59
1	54	51
2	285	49
3	1455	37
done	5001	37
0	12	39
1	45	39
2	207	33
3	896	29
4	3267	29
done	5001	29
0	10	19
1	30	19
2	100	19
3	207	19
4	238	19
5	255	19
6	342	19
7	637	19
8	1640	19
9	4885	19
done	5000	19
0	9	15
1	26	11
2	66	11
3	98	11
4	103	11
done	103	11
0	9	15
1	26	11
2	66	11
3	98	11
4	103	11
done	103	11
0	12	13
1	35	12
2	123	12
3	404	12
4	1244	12
5	4521	12
done	5000	12
0	11	12
1	34	12
2	118	12
3	391	12
4	903	12
5	2372	12
done	5000	12
0	11	12
1	37	12
2	139	12
3	503	12
4	1485	12
done	5000	12
0	12	25
1	35	25
2	119	25
3	392	25
4	903	25
5	2372	25
done	5000	25
0	11	12
1	34	12
2	118	12
3	388	12
4	896	12
5	2367	12
done	5000	12
0	12	35
1	36	35
2	133	13
3	599	13
4	4678	13
done	5000	13
0	11	12
1	34	12
2	118	12
3	388	12
4	896	12
5	2367	12
done	5000	12
0	11	12
1	34	12
2	118	12
3	388	12
4	896	12
5	2367	12
done	5000	12
0	11	23
1	38	19
2	95	19
3	140	19
4	150	19
5	152	19
done	152	19
0	7	7
1	11	7
2	18	7
done	18	7
0	12	15
1	45	15
2	231	15
3	1756	15
done	5000	15
0	14	35
1	46	23
2	214	23
3	1533	23
done	5000	23
0	6	6
1	18	6
2	66	6
3	243	6
4	634	6
5	1571	6
done	5000	6
0	12	23
1	42	11
2	168	11
3	993	11
done	5001	11
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	12	13
1	34	13
2	103	13
3	255	13
4	492	13
5	1225	13
6	4753	13
done	5000	13
0	12	13
1	35	13
2	105	13
3	260	13
4	495	13
5	1258	13
6	4724	13
done	5000	13
0	13	14
1	29	12
2	69	12
3	144	12
4	267	12
5	709	12
6	2706	12
done	5000	12
0	13	14
1	30	12
2	74	12
3	167	12
4	308	12
5	819	12
6	3024	12
done	5001	12
0	13	14
1	28	12
2	69	12
3	144	12
4	264	12
5	692	12
6	2719	12
done	5001	12
0	13	14
1	29	12
2	71	12
3	155	12
4	278	12
5	717	12
6	2654	12
done	5000	12
0	12	15
1	22	11
2	31	11
3	48	11
4	87	11
5	206	11
6	619	11
7	2445	11
done	5001	11
0	12	15
1	22	11
2	38	11
3	75	11
4	169	11
5	502	11
6	2260	11
done	5000	11
0	10	11
1	33	11
2	117	11
3	382	11
4	897	11
5	2338	11
done	5000	11
0	6	6
1	18	6
2	66	6
3	243	6
4	634	6
5	1571	6
done	5000	6
0	1	1
done	1	1
0	7	7
1	11	7
2	18	7
done	18	7
0	7	7
1	11	7
2	18	7
done	18	7
0	1	1
done	1	1
0	12	15
1	29	15
2	92	15
3	127	15
4	149	11
5	176	11
6	220	11
7	340	11
8	748	11
9	2578	11
done	5001	11
0	12	15
1	29	15
2	92	15
3	127	15
4	149	11
5	176	11
6	220	11
7	340	11
8	748	11
9	2578	11
done	5001	11
0	1	1
done	1	1
0	16	23
1	43	23
2	148	23
3	201	23
4	239	19
5	290	19
6	374	19
7	612	19
8	1448	19
done	5000	19
0	16	23
1	43	23
2	148	23
3	201	23
4	239	19
5	290	19
6	374	19
7	612	19
8	1448	19
done	5000	19
0	1	1
done	1	1
0	12	15
1	39	15
2	117	15
3	425	15
4	1586	15
done	5001	15
0	12	15
1	39	15
2	117	15
3	425	15
4	1586	15
done	5001	15

prune232.0ms

Filtered

101 candidates to 121 candidates (-19.8%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	120	1	121
Fresh	0	0	0
Picked	1	0	1
Done	0	2	2
Total	121	3	124

Merged error: 0b

Counts

124 → 3

regimes383.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	9	7
done	9	7

end0.0ms

sample895.0ms

Algorithm

intervals

Results

320.0ms

10508×

body

valid

Details

sample30.0ms

simplify5.0ms

prune4.0ms

localize6.0ms

rewrite11.0ms

series13.0ms

simplify12.8s

prune26.0ms

localize15.0ms

rewrite27.0ms

series195.0ms

simplify1.9min

prune114.0ms

localize15.0ms

rewrite18.0ms

series182.0ms

simplify1.2min

prune88.0ms

localize15.0ms

rewrite55.0ms

series161.0ms

simplify4.7min

prune232.0ms

regimes383.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample895.0ms

Profiling