Details

sample192.0ms

Algorithm

intervals

Results

86.0ms	84×	body	1280	valid
31.0ms	251×	body	80	valid
25.0ms	45×	body	640	valid
8.0ms	20×	body	320	valid
2.0ms	1×	body	2560	valid
2.0ms	6×	body	160	valid

simplify1.6s

Counts

1 → 1

Iterations

Useful iterations: 2 (11.0ms)

Iter	Nodes	Cost
0	19	37
1	31	37
2	53	36
3	84	36
4	201	36
5	841	36
done	5001	36

prune16.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	1	0	1
Fresh	0	1	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Merged error: 32.9b

Counts

2 → 1

localize25.0ms

Local error

Found 4 expressions with local error:

2.1b	(* (atan2 x.im x.re) y.im)
29.3b	(sqrt (+ (* x.re x.re) (* x.im x.im)))
29.3b	(sqrt (+ (* x.re x.re) (* x.im x.im)))
33.3b	(sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

12×	`add-sqr-sqrt`
8×	`pow1` `add-cube-cbrt` `*-un-lft-identity`
6×	`add-exp-log` `sqrt-prod` `add-cbrt-cube`
4×	`sqrt-div` `add-log-exp`
3×	`associate-r` `associate-l`
2×	`rem-sqrt-square` `sqrt-pow1` `flip3-+` `pow1/2` `flip-+`
1×	`sin-sum` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`

Counts

4 → 56

Calls

4 calls:

4.0ms	(* (atan2 x.im x.re) y.im)
4.0ms	(sqrt (+ (* x.re x.re) (* x.im x.im)))
5.0ms	(sqrt (+ (* x.re x.re) (* x.im x.im)))
10.0ms	(sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))

series105.0ms

Counts

4 → 12

Calls

4 calls:

8.0ms	(* (atan2 x.im x.re) y.im)
6.0ms	(sqrt (+ (* x.re x.re) (* x.im x.im)))
7.0ms	(sqrt (+ (* x.re x.re) (* x.im x.im)))
84.0ms	(sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))

simplify43.8s

Counts

68 → 68

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	15	19
1	19	19
done	19	19
0	15	19
1	19	19
done	19	19
0	15	19
1	19	19
done	19	19
0	15	19
1	19	19
done	19	19
0	16	39
1	20	39
done	20	39
0	15	19
1	19	19
done	19	19
0	16	56
1	21	56
2	23	20
3	28	20
4	34	20
5	44	20
6	65	20
7	130	20
8	340	20
9	1280	20
done	5000	20
0	15	19
1	19	19
done	19	19
0	15	19
1	19	19
done	19	19
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	8	19
1	9	19
done	9	19
0	7	9
1	8	9
done	8	9
0	8	26
1	10	16
2	21	10
3	34	10
4	42	10
5	52	10
6	73	10
7	134	10
8	350	10
9	1295	10
done	5000	10
0	8	18
1	10	9
done	10	9
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	2	2
1	4	1
done	4	1
0	6	8
1	7	8
done	7	8
0	9	12
1	27	12
2	64	8
3	119	8
4	261	8
5	697	8
6	2312	8
done	5000	8
0	10	24
1	32	20
2	84	18
3	177	16
4	309	16
5	723	16
6	1972	16
done	5000	16
0	8	16
1	21	16
2	44	12
3	90	8
4	215	8
5	576	8
6	1483	8
done	5001	8
0	6	8
1	11	8
2	18	8
3	33	8
4	58	8
5	99	8
6	157	8
7	325	8
8	1570	8
done	5000	8
0	3	3
1	6	1
done	6	1
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	8	19
1	9	19
done	9	19
0	7	9
1	8	9
done	8	9
0	8	26
1	10	16
2	21	10
3	34	10
4	42	10
5	52	10
6	73	10
7	134	10
8	350	10
9	1295	10
done	5000	10
0	8	18
1	10	9
done	10	9
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	2	2
1	4	1
done	4	1
0	6	8
1	7	8
done	7	8
0	9	12
1	27	12
2	64	8
3	119	8
4	261	8
5	697	8
6	2312	8
done	5000	8
0	10	24
1	32	20
2	84	18
3	177	16
4	309	16
5	723	16
6	1972	16
done	5000	16
0	8	16
1	21	16
2	44	12
3	90	8
4	215	8
5	576	8
6	1483	8
done	5001	8
0	6	8
1	11	8
2	18	8
3	33	8
4	58	8
5	99	8
6	157	8
7	325	8
8	1570	8
done	5000	8
0	3	3
1	6	1
done	6	1
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	5	5
1	6	5
done	6	5
0	7	7
1	8	7
done	8	7
0	6	6
1	10	6
2	11	6
done	11	6
0	6	6
1	9	6
2	15	6
3	23	6
4	46	6
5	102	6
6	243	6
7	706	6
8	2456	6
done	5000	6
0	9	17
1	16	17
2	41	9
3	79	9
4	137	7
5	270	7
6	685	7
7	2486	7
done	5000	7
0	7	13
1	8	13
done	8	13
0	6	6
1	7	6
done	7	6
0	7	17
1	18	17
2	47	7
3	89	7
4	105	7
5	151	7
6	291	7
7	753	7
8	2707	7
done	5000	7
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	7	9
1	10	9
2	12	9
done	12	9
0	6	6
1	7	6
done	7	6
0	5	5
1	8	3
2	11	3
done	11	3
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	5	5
1	6	5
done	6	5
0	13	15
1	24	12
2	32	10
3	45	10
done	45	10
0	15	18
1	28	16
2	46	14
3	67	11
4	102	11
5	132	11
6	162	11
7	185	11
8	195	11
done	195	11
0	16	18
1	29	17
2	46	15
3	73	13
4	141	13
5	252	13
6	410	13
7	508	13
8	568	13
9	579	13
done	579	13
0	1	1
done	1	1
0	1	1
done	1	1
0	3	3
1	5	2
done	5	2
0	1	1
done	1	1
0	1	1
done	1	1
0	3	3
1	5	2
done	5	2
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5

prune183.0ms

Filtered

55 candidates to 68 candidates (-23.6%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	57	11	68
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	58	11	69

Merged error: 20.7b

Counts

69 → 11

localize30.0ms

Local error

Found 4 expressions with local error:

29.3b	(sqrt (+ (* x.re x.re) (* x.im x.im)))
29.3b	(sqrt (+ (* x.re x.re) (* x.im x.im)))
29.3b	(sqrt (+ (* x.re x.re) (* x.im x.im)))
33.3b	(sin (+ (* (log (* (* (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im))))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))))) y.im) (* (atan2 x.im x.re) y.re)))

rewrite46.0ms

Algorithm

rewrite-expression-head

Rules

10×	`add-sqr-sqrt`
9×	`sqrt-prod`
7×	`pow1` `add-cube-cbrt` `*-un-lft-identity`
6×	`sqrt-div`
4×	`add-exp-log` `add-cbrt-cube` `add-log-exp`
3×	`rem-sqrt-square` `sqrt-pow1` `flip3-+` `pow1/2` `flip-+`
1×	`sin-sum`

Counts

4 → 53

Calls

4 calls:

5.0ms	(sqrt (+ (* x.re x.re) (* x.im x.im)))
5.0ms	(sqrt (+ (* x.re x.re) (* x.im x.im)))
5.0ms	(sqrt (+ (* x.re x.re) (* x.im x.im)))
30.0ms	(sin (+ (* (log (* (* (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im))))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))))) y.im) (* (atan2 x.im x.re) y.re)))

series90.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(sqrt (+ (* x.re x.re) (* x.im x.im)))
11.0ms	(sqrt (+ (* x.re x.re) (* x.im x.im)))
7.0ms	(sqrt (+ (* x.re x.re) (* x.im x.im)))
65.0ms	(sin (+ (* (log (* (* (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im))))) (cbrt (sqrt (+ (* x.re x.re) (* x.im x.im)))))) y.im) (* (atan2 x.im x.re) y.re)))

simplify1.2min

Counts

65 → 65

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	18	40
1	26	40
2	36	22
3	45	19
4	66	19
5	97	19
6	150	19
7	310	19
8	801	19
9	2777	19
done	5001	19
0	18	40
1	26	40
2	36	22
3	45	19
4	66	19
5	97	19
6	150	19
7	310	19
8	801	19
9	2777	19
done	5001	19
0	18	40
1	26	40
2	36	22
3	49	19
4	77	19
5	109	19
6	166	19
7	333	19
8	850	19
9	2988	19
done	5000	19
0	18	40
1	26	40
2	36	22
3	49	19
4	77	19
5	109	19
6	166	19
7	333	19
8	850	19
9	2988	19
done	5000	19
0	19	81
1	27	81
2	37	45
3	50	39
4	78	39
5	110	39
6	167	39
7	333	39
8	850	39
9	2964	39
done	5000	39
0	18	40
1	26	40
2	36	22
3	49	19
4	77	19
5	109	19
6	166	19
7	333	19
8	850	19
9	2988	19
done	5000	19
0	19	119
1	28	119
2	39	23
3	54	20
4	85	20
5	123	20
6	196	20
7	416	20
8	1153	20
9	4175	20
done	5000	20
0	18	40
1	26	40
2	36	22
3	49	19
4	77	19
5	109	19
6	166	19
7	333	19
8	850	19
9	2988	19
done	5000	19
0	18	40
1	26	40
2	36	22
3	49	19
4	77	19
5	109	19
6	166	19
7	333	19
8	850	19
9	2988	19
done	5000	19
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	8	19
1	9	19
done	9	19
0	7	9
1	8	9
done	8	9
0	8	26
1	10	16
2	21	10
3	34	10
4	42	10
5	52	10
6	73	10
7	134	10
8	350	10
9	1295	10
done	5000	10
0	8	18
1	10	9
done	10	9
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	2	2
1	4	1
done	4	1
0	6	8
1	7	8
done	7	8
0	9	12
1	27	12
2	64	8
3	119	8
4	261	8
5	697	8
6	2312	8
done	5000	8
0	10	24
1	32	20
2	84	18
3	177	16
4	309	16
5	723	16
6	1972	16
done	5000	16
0	8	16
1	21	16
2	44	12
3	90	8
4	215	8
5	576	8
6	1483	8
done	5001	8
0	6	8
1	11	8
2	18	8
3	33	8
4	58	8
5	99	8
6	157	8
7	325	8
8	1570	8
done	5000	8
0	3	3
1	6	1
done	6	1
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	8	19
1	9	19
done	9	19
0	7	9
1	8	9
done	8	9
0	8	26
1	10	16
2	21	10
3	34	10
4	42	10
5	52	10
6	73	10
7	134	10
8	350	10
9	1295	10
done	5000	10
0	8	18
1	10	9
done	10	9
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	2	2
1	4	1
done	4	1
0	6	8
1	7	8
done	7	8
0	9	12
1	27	12
2	64	8
3	119	8
4	261	8
5	697	8
6	2312	8
done	5000	8
0	10	24
1	32	20
2	84	18
3	177	16
4	309	16
5	723	16
6	1972	16
done	5000	16
0	8	16
1	21	16
2	44	12
3	90	8
4	215	8
5	576	8
6	1483	8
done	5001	8
0	6	8
1	11	8
2	18	8
3	33	8
4	58	8
5	99	8
6	157	8
7	325	8
8	1570	8
done	5000	8
0	3	3
1	6	1
done	6	1
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	8	19
1	9	19
done	9	19
0	7	9
1	8	9
done	8	9
0	8	26
1	10	16
2	21	10
3	34	10
4	42	10
5	52	10
6	73	10
7	134	10
8	350	10
9	1295	10
done	5000	10
0	8	18
1	10	9
done	10	9
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	2	2
1	4	1
done	4	1
0	6	8
1	7	8
done	7	8
0	9	12
1	27	12
2	64	8
3	119	8
4	261	8
5	697	8
6	2312	8
done	5000	8
0	10	24
1	32	20
2	84	18
3	177	16
4	309	16
5	723	16
6	1972	16
done	5000	16
0	8	16
1	21	16
2	44	12
3	90	8
4	215	8
5	576	8
6	1483	8
done	5001	8
0	6	8
1	11	8
2	18	8
3	33	8
4	58	8
5	99	8
6	157	8
7	325	8
8	1570	8
done	5000	8
0	3	3
1	6	1
done	6	1
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	13	15
1	24	12
2	32	10
3	45	10
done	45	10
0	15	18
1	28	16
2	46	14
3	67	11
4	102	11
5	132	11
6	162	11
7	185	11
8	195	11
done	195	11
0	16	18
1	29	17
2	46	15
3	73	13
4	141	13
5	252	13
6	410	13
7	508	13
8	568	13
9	579	13
done	579	13
0	1	1
done	1	1
0	1	1
done	1	1
0	3	3
1	5	2
done	5	2
0	1	1
done	1	1
0	1	1
done	1	1
0	3	3
1	5	2
done	5	2
0	1	1
done	1	1
0	1	1
done	1	1
0	3	3
1	5	2
done	5	2

prune175.0ms

Filtered

50 candidates to 65 candidates (-30.0%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	64	1	65
Fresh	0	10	10
Picked	0	1	1
Done	0	0	0
Total	64	12	76

Merged error: 20.7b

Counts

76 → 12

localize35.0ms

Local error

Found 4 expressions with local error:

29.3b	(sqrt (+ (* x.re x.re) (* x.im x.im)))
33.3b	(sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))
33.3b	(sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))
33.3b	(sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

6×	`add-sqr-sqrt`
5×	`pow1` `add-cube-cbrt` `*-un-lft-identity`
4×	`add-exp-log` `add-cbrt-cube` `add-log-exp`
3×	`sin-sum` `sqrt-prod`
2×	`sqrt-div`
1×	`rem-sqrt-square` `sqrt-pow1` `flip3-+` `pow1/2` `flip-+`

Counts

4 → 39

Calls

4 calls:

5.0ms	(sqrt (+ (* x.re x.re) (* x.im x.im)))
8.0ms	(sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))
8.0ms	(sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))
8.0ms	(sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))

series214.0ms

Counts

4 → 12

Calls

4 calls:

8.0ms	(sqrt (+ (* x.re x.re) (* x.im x.im)))
70.0ms	(sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))
70.0ms	(sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))
66.0ms	(sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))

simplify26.8s

Counts

51 → 51

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	15	19
1	19	19
done	19	19
0	15	19
1	19	19
done	19	19
0	15	19
1	19	19
done	19	19
0	15	19
1	19	19
done	19	19
0	16	39
1	20	39
done	20	39
0	15	19
1	19	19
done	19	19
0	16	56
1	21	56
2	23	20
3	28	20
4	34	20
5	44	20
6	65	20
7	130	20
8	340	20
9	1280	20
done	5000	20
0	15	19
1	19	19
done	19	19
0	15	19
1	19	19
done	19	19
0	15	19
1	19	19
done	19	19
0	15	19
1	19	19
done	19	19
0	15	19
1	19	19
done	19	19
0	15	19
1	19	19
done	19	19
0	16	39
1	20	39
done	20	39
0	15	19
1	19	19
done	19	19
0	16	56
1	21	56
2	23	20
3	28	20
4	34	20
5	44	20
6	65	20
7	130	20
8	340	20
9	1280	20
done	5000	20
0	15	19
1	19	19
done	19	19
0	15	19
1	19	19
done	19	19
0	15	19
1	19	19
done	19	19
0	15	19
1	19	19
done	19	19
0	15	19
1	19	19
done	19	19
0	15	19
1	19	19
done	19	19
0	16	39
1	20	39
done	20	39
0	15	19
1	19	19
done	19	19
0	16	56
1	21	56
2	23	20
3	28	20
4	34	20
5	44	20
6	65	20
7	130	20
8	340	20
9	1280	20
done	5000	20
0	15	19
1	19	19
done	19	19
0	15	19
1	19	19
done	19	19
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	8	19
1	9	19
done	9	19
0	7	9
1	8	9
done	8	9
0	8	26
1	10	16
2	21	10
3	34	10
4	42	10
5	52	10
6	73	10
7	134	10
8	350	10
9	1295	10
done	5000	10
0	8	18
1	10	9
done	10	9
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	2	2
1	4	1
done	4	1
0	6	8
1	7	8
done	7	8
0	9	12
1	27	12
2	64	8
3	119	8
4	261	8
5	697	8
6	2312	8
done	5000	8
0	10	24
1	32	20
2	84	18
3	177	16
4	309	16
5	723	16
6	1972	16
done	5000	16
0	8	16
1	21	16
2	44	12
3	90	8
4	215	8
5	576	8
6	1483	8
done	5001	8
0	6	8
1	11	8
2	18	8
3	33	8
4	58	8
5	99	8
6	157	8
7	325	8
8	1570	8
done	5000	8
0	3	3
1	6	1
done	6	1
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	13	15
1	24	12
2	32	10
3	45	10
done	45	10
0	15	18
1	28	16
2	46	14
3	67	11
4	102	11
5	132	11
6	162	11
7	185	11
8	195	11
done	195	11
0	16	18
1	29	17
2	46	15
3	73	13
4	141	13
5	252	13
6	410	13
7	508	13
8	568	13
9	579	13
done	579	13
0	13	15
1	24	12
2	32	10
3	45	10
done	45	10
0	15	18
1	28	16
2	46	14
3	67	11
4	102	11
5	132	11
6	162	11
7	185	11
8	195	11
done	195	11
0	16	18
1	29	17
2	46	15
3	73	13
4	141	13
5	252	13
6	410	13
7	508	13
8	568	13
9	579	13
done	579	13
0	13	15
1	24	12
2	32	10
3	45	10
done	45	10
0	15	18
1	28	16
2	46	14
3	67	11
4	102	11
5	132	11
6	162	11
7	185	11
8	195	11
done	195	11
0	16	18
1	29	17
2	46	15
3	73	13
4	141	13
5	252	13
6	410	13
7	508	13
8	568	13
9	579	13
done	579	13
0	1	1
done	1	1
0	1	1
done	1	1
0	3	3
1	5	2
done	5	2

prune153.0ms

Filtered

48 candidates to 51 candidates (-6.3%)

Pruning

13 alts after pruning (11 fresh and 2 done)

	Pruned	Kept	Total
New	50	1	51
Fresh	0	10	10
Picked	0	1	1
Done	0	1	1
Total	50	13	63

Merged error: 20.7b

Counts

63 → 13

localize26.0ms

Local error

Found 4 expressions with local error:

9.8b	(cbrt (pow (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) 3))
29.3b	(sqrt (+ (* x.re x.re) (* x.im x.im)))
29.3b	(sqrt (+ (* x.re x.re) (* x.im x.im)))
33.3b	(sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

12×	`cbrt-prod`
11×	`add-sqr-sqrt`
9×	`add-cube-cbrt` `*-un-lft-identity`
6×	`pow1` `sqrt-prod`
4×	`add-exp-log` `sqrt-div` `add-cbrt-cube` `add-log-exp`
3×	`unpow-prod-down` `cube-prod`
2×	`rem-sqrt-square` `sqrt-pow1` `flip3-+` `pow1/2` `flip-+`
1×	`cube-mult` `sin-sum` `pow1/3` `unpow3` `rem-cbrt-cube` `sqr-pow`

Counts

4 → 59

Calls

4 calls:

6.0ms	(cbrt (pow (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) 3))
5.0ms	(sqrt (+ (* x.re x.re) (* x.im x.im)))
5.0ms	(sqrt (+ (* x.re x.re) (* x.im x.im)))
12.0ms	(sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))

series152.0ms

Counts

4 → 12

Calls

4 calls:

74.0ms	(cbrt (pow (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) 3))
7.0ms	(sqrt (+ (* x.re x.re) (* x.im x.im)))
7.0ms	(sqrt (+ (* x.re x.re) (* x.im x.im)))
65.0ms	(sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))

simplify1.8min

Counts

71 → 71

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	15	19
1	19	19
done	19	19
0	15	19
1	19	19
done	19	19
0	15	19
1	19	19
done	19	19
0	15	19
1	19	19
done	19	19
0	16	39
1	20	39
done	20	39
0	15	19
1	19	19
done	19	19
0	16	56
1	21	56
2	23	20
3	28	20
4	34	20
5	44	20
6	65	20
7	130	20
8	340	20
9	1280	20
done	5000	20
0	15	19
1	19	19
done	19	19
0	15	19
1	19	19
done	19	19
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	8	19
1	9	19
done	9	19
0	7	9
1	8	9
done	8	9
0	8	26
1	10	16
2	21	10
3	34	10
4	42	10
5	52	10
6	73	10
7	134	10
8	350	10
9	1295	10
done	5000	10
0	8	18
1	10	9
done	10	9
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	2	2
1	4	1
done	4	1
0	6	8
1	7	8
done	7	8
0	9	12
1	27	12
2	64	8
3	119	8
4	261	8
5	697	8
6	2312	8
done	5000	8
0	10	24
1	32	20
2	84	18
3	177	16
4	309	16
5	723	16
6	1972	16
done	5000	16
0	8	16
1	21	16
2	44	12
3	90	8
4	215	8
5	576	8
6	1483	8
done	5001	8
0	6	8
1	11	8
2	18	8
3	33	8
4	58	8
5	99	8
6	157	8
7	325	8
8	1570	8
done	5000	8
0	3	3
1	6	1
done	6	1
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	8	19
1	9	19
done	9	19
0	7	9
1	8	9
done	8	9
0	8	26
1	10	16
2	21	10
3	34	10
4	42	10
5	52	10
6	73	10
7	134	10
8	350	10
9	1295	10
done	5000	10
0	8	18
1	10	9
done	10	9
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	2	2
1	4	1
done	4	1
0	6	8
1	7	8
done	7	8
0	9	12
1	27	12
2	64	8
3	119	8
4	261	8
5	697	8
6	2312	8
done	5000	8
0	10	24
1	32	20
2	84	18
3	177	16
4	309	16
5	723	16
6	1972	16
done	5000	16
0	8	16
1	21	16
2	44	12
3	90	8
4	215	8
5	576	8
6	1483	8
done	5001	8
0	6	8
1	11	8
2	18	8
3	33	8
4	58	8
5	99	8
6	157	8
7	325	8
8	1570	8
done	5000	8
0	3	3
1	6	1
done	6	1
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	18	22
1	30	19
2	36	19
3	46	19
4	67	19
5	130	19
6	343	19
7	1266	19
done	5001	19
0	18	22
1	30	19
2	36	19
3	46	19
4	67	19
5	130	19
6	343	19
7	1266	19
done	5001	19
0	19	42
1	33	39
2	54	22
3	87	22
4	160	22
5	388	21
6	1227	21
done	5001	21
0	18	22
1	30	19
2	36	19
3	46	19
4	69	19
5	129	19
6	348	19
7	1288	19
done	5000	19
0	18	22
1	30	19
2	36	19
3	47	19
4	70	19
5	131	19
6	347	19
7	1279	19
done	5000	19
0	18	22
1	30	19
2	36	19
3	47	19
4	70	19
5	131	19
6	347	19
7	1279	19
done	5000	19
0	4	4
1	14	1
2	18	1
done	18	1
0	17	21
1	29	18
2	35	18
3	45	18
4	66	18
5	127	18
6	336	18
7	1266	18
done	5001	18
0	16	38
1	20	38
done	20	38
0	15	19
1	19	19
done	19	19
0	19	44
1	30	38
2	36	38
3	46	38
4	67	38
5	130	38
6	340	38
7	1266	38
done	5001	38
0	18	22
1	30	19
2	36	19
3	46	19
4	67	19
5	130	19
6	343	19
7	1266	19
done	5001	19
0	19	42
1	33	39
2	54	22
3	87	22
4	160	22
5	388	21
6	1227	21
done	5001	21
0	18	22
1	30	19
2	36	19
3	46	19
4	69	19
5	129	19
6	348	19
7	1288	19
done	5000	19
0	18	22
1	30	19
2	36	19
3	47	19
4	70	19
5	131	19
6	347	19
7	1279	19
done	5000	19
0	18	22
1	30	19
2	36	19
3	47	19
4	70	19
5	131	19
6	347	19
7	1279	19
done	5000	19
0	4	4
1	14	1
2	18	1
done	18	1
0	17	21
1	29	18
2	35	18
3	45	18
4	66	18
5	127	18
6	336	18
7	1266	18
done	5001	18
0	15	19
1	19	19
done	19	19
0	16	38
1	20	38
done	20	38
0	18	22
1	30	22
2	37	22
3	47	22
4	68	22
5	131	22
6	346	22
7	1269	22
done	5000	22
0	18	22
1	30	22
2	37	22
3	47	22
4	68	22
5	131	22
6	346	22
7	1269	22
done	5000	22
0	2	2
1	4	1
done	4	1
0	17	21
1	29	18
2	35	18
3	45	18
4	66	18
5	127	18
6	336	18
7	1266	18
done	5001	18
0	19	23
1	27	21
2	34	21
3	44	21
4	65	21
5	132	21
6	344	21
7	1279	21
done	5000	21
0	19	23
1	27	21
2	34	21
3	44	21
4	65	21
5	132	21
6	344	21
7	1279	21
done	5000	21
0	19	45
1	31	39
2	37	39
3	47	39
4	68	39
5	129	39
6	337	39
7	1261	39
done	5001	39
0	18	22
1	30	19
2	36	19
3	46	19
4	67	19
5	130	19
6	343	19
7	1266	19
done	5001	19
0	19	65
1	29	20
2	35	20
3	45	20
4	66	20
5	127	20
6	329	20
7	1243	20
done	5000	20
0	18	22
1	30	19
2	36	19
3	46	19
4	67	19
5	130	19
6	343	19
7	1266	19
done	5001	19
0	18	22
1	30	19
2	36	19
3	46	19
4	67	19
5	130	19
6	343	19
7	1266	19
done	5001	19
0	13	15
1	24	12
2	32	10
3	45	10
done	45	10
0	15	18
1	28	16
2	46	14
3	67	11
4	102	11
5	132	11
6	162	11
7	185	11
8	195	11
done	195	11
0	16	18
1	29	17
2	46	15
3	73	13
4	141	13
5	252	13
6	410	13
7	508	13
8	568	13
9	579	13
done	579	13
0	1	1
done	1	1
0	1	1
done	1	1
0	3	3
1	5	2
done	5	2
0	1	1
done	1	1
0	1	1
done	1	1
0	3	3
1	5	2
done	5	2
0	13	15
1	24	12
2	32	10
3	45	10
done	45	10
0	15	18
1	28	16
2	46	14
3	67	11
4	102	11
5	132	11
6	162	11
7	185	11
8	195	11
done	195	11
0	16	18
1	29	17
2	46	15
3	73	13
4	141	13
5	252	13
6	410	13
7	508	13
8	568	13
9	579	13
done	579	13

prune126.0ms

Filtered

53 candidates to 71 candidates (-34.0%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	70	1	71
Fresh	0	10	10
Picked	1	0	1
Done	1	1	2
Total	72	12	84

Merged error: 20.7b

Counts

84 → 12

regimes529.0ms

Accuracy

79.2% (3.0b remaining)

Error of 22.2b against oracle of 19.2b and baseline of 33.4b

bsearch97.0ms

Steps

Iters	Range		Point
8	-1.0251264239853405e-307	8.692857746054375e-307	3.3694900604169e-310

simplify3.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	30	65
1	39	65
done	39	65

end0.0ms

sample4.9s

Algorithm

intervals

Results

1.7s	2202×	body	1280	valid
1.0s	7947×	body	80	valid
994.0ms	1352×	body	640	valid
225.0ms	556×	body	320	valid
81.0ms	51×	body	2560	valid
64.0ms	246×	body	160	valid

Details

sample192.0ms

simplify1.6s

prune16.0ms

localize25.0ms

rewrite26.0ms

series105.0ms

simplify43.8s

prune183.0ms

localize30.0ms

rewrite46.0ms

series90.0ms

simplify1.2min

prune175.0ms

localize35.0ms

rewrite30.0ms

series214.0ms

simplify26.8s

prune153.0ms

localize26.0ms

rewrite29.0ms

series152.0ms

simplify1.8min

prune126.0ms

regimes529.0ms

bsearch97.0ms

simplify3.0ms

end0.0ms

sample4.9s

Profiling