Details

sample81.0ms

Algorithm

intervals

Results

27.0ms	256×	body	80	valid
25.0ms	237×	body	80	nan

simplify48.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	18	28
1	27	28
2	44	28
3	56	28
4	74	28
5	80	28
done	80	28

prune5.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: 31.8b

Counts

2 → 1

localize21.0ms

Local error

Found 4 expressions with local error:

0.3b	(/ (- (* (atan2 im re) (log base)) (* (log (sqrt (+ (* re re) (* im im)))) 0.0)) (+ (* (log base) (log base)) (* 0.0 0.0)))
0.4b	(* (atan2 im re) (log base))
0.5b	(* (log base) (log base))
29.7b	(sqrt (+ (* re re) (* im im)))

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

28×	`add-sqr-sqrt`
25×	`*-un-lft-identity`
23×	`add-cube-cbrt`
21×	`pow1`
12×	`log-prod`
10×	`add-exp-log` `add-cbrt-cube`
9×	`times-frac`
8×	`associate-r`
7×	`associate-l` `log-pow`
6×	`distribute-rgt-in` `distribute-lft-in` `swap-sqr`
4×	`add-log-exp`
3×	`associate-/r` `sqrt-prod` `associate-/l`
2×	`flip3-+` `sqrt-div` `pow-prod-down` `prod-exp` `associate-/r/` `*-commutative` `cbrt-unprod` `flip-+` `associate-/l/` `unswap-sqr`
1×	`cbrt-undiv` `pow2` `rem-sqrt-square` `flip3--` `frac-2neg` `sqrt-pow1` `pow-plus` `pow1/2` `div-sub` `div-exp` `clear-num` `pow-sqr` `pow-prod-up` `flip--` `div-inv`

Counts

4 → 108

Calls

4 calls:

14.0ms	(/ (- (* (atan2 im re) (log base)) (* (log (sqrt (+ (* re re) (* im im)))) 0.0)) (+ (* (log base) (log base)) (* 0.0 0.0)))
5.0ms	(* (atan2 im re) (log base))
6.0ms	(* (log base) (log base))
5.0ms	(sqrt (+ (* re re) (* im im)))

series50.0ms

Counts

4 → 12

Calls

4 calls:

13.0ms	(/ (- (* (atan2 im re) (log base)) (* (log (sqrt (+ (* re re) (* im im)))) 0.0)) (+ (* (log base) (log base)) (* 0.0 0.0)))
11.0ms	(* (atan2 im re) (log base))
19.0ms	(* (log base) (log base))
8.0ms	(sqrt (+ (* re re) (* im im)))

simplify1.3min

Counts

120 → 120

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
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	2	3
1	6	1
done	6	1
0	3	5
done	3	5
0	2	3
1	6	1
done	6	1
0	4	7
1	6	5
2	7	5
done	7	5
0	4	6
1	6	6
2	8	5
3	9	5
done	9	5
0	4	6
1	7	4
2	13	4
3	18	4
4	36	4
5	76	4
6	184	4
7	565	4
8	2216	4
done	5001	4
0	5	17
1	12	17
2	21	9
3	34	4
4	67	4
5	147	4
6	370	4
7	1337	4
done	5000	4
0	5	13
done	5	13
0	4	6
done	4	6
0	5	17
1	13	17
2	20	7
3	34	4
4	68	4
5	153	4
6	379	4
7	1358	4
done	5000	4
0	4	6
1	5	3
done	5	3
0	4	6
1	5	3
done	5	3
0	2	3
1	4	1
done	4	1
0	3	5
done	3	5
0	2	3
1	4	1
done	4	1
0	3	5
done	3	5
0	5	15
1	9	15
2	11	9
3	20	5
4	35	5
5	61	5
6	131	5
7	348	5
8	1255	5
done	5001	5
0	4	7
done	4	7
0	4	7
done	4	2
0	4	7
done	4	2
0	2	3
1	4	1
done	4	1
0	3	5
done	3	5
0	2	3
1	4	1
done	4	1
0	3	5
done	3	5
0	4	7
done	4	2
0	4	7
done	4	2
0	3	3
1	6	1
done	6	1
0	6	9
1	9	9
2	15	8
3	21	8
4	25	8
done	25	8
0	5	6
1	6	6
done	6	6
0	5	6
1	6	6
done	6	6
0	5	6
1	6	6
done	6	6
0	5	5
1	8	4
done	8	1
0	3	5
done	3	5
0	6	9
1	9	9
2	15	8
3	21	8
4	25	8
done	25	8
0	5	6
1	6	6
done	6	6
0	5	6
1	6	6
done	6	6
0	5	6
1	6	6
done	6	6
0	5	5
1	8	4
done	8	1
0	3	5
done	3	5
0	4	4
1	7	2
2	10	2
done	10	2
0	5	10
1	8	10
2	10	10
done	10	10
0	4	6
1	5	6
done	5	6
0	4	4
1	7	2
2	10	2
done	10	2
0	3	5
done	3	5
0	4	6
1	5	6
done	5	6
0	4	6
1	5	6
done	5	6
0	3	5
done	3	5
0	6	6
1	7	6
done	7	6
0	8	8
1	9	8
done	9	8
0	7	7
1	11	7
2	12	7
done	12	7
0	7	7
1	10	7
2	17	5
3	27	5
4	50	5
5	106	5
6	253	5
7	710	5
8	2714	5
done	5000	5
0	10	20
1	17	20
2	42	10
3	84	10
4	139	8
5	260	8
6	673	8
7	2462	8
done	5001	8
0	8	15
1	9	15
done	9	15
0	7	7
1	8	7
done	8	7
0	8	20
1	19	20
2	48	8
3	91	8
4	107	8
5	153	8
6	295	8
7	753	8
8	2735	8
done	5000	8
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	8	8
1	9	8
done	9	8
0	8	8
1	9	8
done	9	8
0	8	10
1	11	10
2	17	9
3	23	9
4	27	9
done	27	9
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	6	6
1	9	5
done	9	1
0	6	6
1	7	6
done	7	6
0	8	10
1	11	10
2	17	9
3	23	9
4	27	9
done	27	9
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	6	6
1	9	5
done	9	1
0	6	6
1	7	6
done	7	6
0	5	5
1	8	3
2	11	3
done	11	3
0	8	11
1	11	11
2	13	11
done	13	11
0	7	7
1	8	7
done	8	7
0	5	5
1	8	3
2	11	3
done	11	3
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	6	6
1	7	6
done	7	6
0	20	30
1	28	30
2	36	30
done	36	30
0	19	29
1	31	29
2	50	29
3	63	29
4	81	29
5	87	29
done	87	29
0	19	29
1	28	29
2	48	29
3	62	29
4	91	29
5	132	29
6	234	29
7	855	29
8	4991	29
done	5000	29
0	22	86
1	49	86
2	153	32
3	492	30
4	1643	30
done	5000	30
0	20	59
1	29	59
2	46	59
3	58	59
4	76	59
5	82	59
done	82	59
0	19	29
1	28	29
2	45	29
3	57	29
4	75	29
5	81	29
done	81	29
0	20	86
1	36	86
2	81	30
3	265	30
4	1116	30
done	5002	30
0	19	29
1	28	29
2	45	29
3	57	29
4	75	29
5	81	29
done	81	29
0	19	29
1	28	29
2	45	29
3	57	29
4	75	29
5	81	29
done	81	29
0	15	19
1	20	19
2	30	19
3	46	19
4	57	18
done	57	18
0	7	10
1	11	10
2	19	10
3	20	10
done	20	10
0	11	16
1	15	16
2	19	16
3	22	16
4	23	16
done	23	16
0	15	21
1	20	21
2	24	21
3	27	21
4	28	21
done	28	21
0	22	61
1	34	61
2	50	61
3	56	61
done	56	61
0	20	30
1	26	30
2	33	30
done	33	30
0	21	50
1	29	50
2	38	50
3	39	50
done	39	50
0	20	30
1	26	30
2	33	30
done	33	30
0	18	41
1	27	39
2	40	39
3	45	39
done	45	39
0	19	29
1	25	29
2	32	29
done	32	29
0	21	41
1	29	41
2	36	41
done	36	41
0	20	30
1	26	30
2	33	30
done	33	30
0	20	30
1	26	30
2	33	30
done	33	30
0	20	30
1	26	30
2	33	30
done	33	30
0	17	21
1	24	19
2	33	19
done	33	19
0	19	29
1	25	29
2	32	29
done	32	29
0	10	23
1	15	23
done	15	23
0	19	29
1	28	29
2	45	29
3	57	29
4	75	29
5	81	29
done	81	29
0	9	12
1	12	12
done	12	12
0	19	29
1	28	29
2	45	29
3	57	29
4	75	29
5	81	29
done	81	29
0	2	3
1	4	1
done	4	1
0	18	28
1	27	28
2	44	28
3	56	28
4	74	28
5	80	28
done	80	28
0	8	11
1	11	11
done	11	11
0	18	28
1	24	28
2	31	28
done	31	28
0	20	40
1	31	40
2	61	40
3	110	40
4	165	40
5	191	40
6	199	40
done	199	40
0	19	29
1	28	29
2	45	29
3	57	29
4	75	29
5	81	29
done	81	29
0	16	20
1	26	18
2	45	18
3	64	18
4	100	18
5	110	18
6	117	18
done	117	18
0	19	29
1	25	29
2	32	29
done	32	29
0	19	29
1	25	29
2	32	29
done	32	29
0	18	28
1	24	28
2	31	28
done	31	28
0	21	32
1	47	32
2	101	27
3	168	27
4	328	27
5	774	27
6	2383	27
done	5000	27
0	20	38
1	41	38
2	96	32
3	233	27
4	689	27
5	1911	27
6	4645	27
done	5000	27
0	22	66
1	56	54
2	170	54
3	542	54
4	1490	54
5	2920	54
6	4255	54
done	5001	54
0	18	28
1	30	28
2	71	28
3	165	28
4	241	28
5	280	28
6	311	28
7	350	28
8	441	28
9	721	28
10	1763	28
done	5000	28
0	1	1
done	1	1
0	1	1
done	1	1
0	3	3
1	5	2
done	5	2
0	7	7
1	14	6
2	28	4
3	48	4
4	70	4
5	150	4
6	433	4
7	1524	4
done	5000	4
0	8	9
1	19	7
2	35	4
3	73	4
4	106	4
5	223	4
6	782	4
7	3802	4
done	5000	4
0	8	9
1	17	9
2	36	9
3	97	6
4	281	4
5	869	4
done	5000	4
0	9	9
1	13	8
2	21	6
3	27	6
done	27	6
0	10	11
1	18	9
2	28	6
3	47	6
4	55	6
5	72	6
6	109	6
done	109	6
0	10	11
1	15	11
2	26	11
3	45	8
4	69	6
5	190	6
6	967	6
7	2254	6
done	5000	6
0	9	9
1	12	8
done	12	6
0	10	11
1	17	9
2	21	6
3	33	6
4	34	6
done	34	6
0	10	11
1	14	11
2	19	11
3	27	8
4	34	6
5	110	6
6	598	6
7	1348	6
8	3395	6
done	5000	6

prune243.0ms

Filtered

82 candidates to 120 candidates (-46.3%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	110	10	120
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	111	10	121

Merged error: 0.1b

Counts

121 → 10

localize6.0ms

Local error

Found 1 expressions with local error:

0.3b	(/ (atan2 im re) (log base))

rewrite5.0ms

Algorithm

rewrite-expression-head

Rules

12×	`times-frac`
10×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
5×	`pow1`
4×	`associate-/r*` `log-pow`
3×	`add-exp-log` `add-cbrt-cube` `associate-/l*`
1×	`cbrt-undiv` `frac-2neg` `div-exp` `clear-num` `div-inv` `add-log-exp`

Counts

1 → 31

Calls

1 calls:

4.0ms

(/ (atan2 im re) (log base))

series13.0ms

Counts

1 → 3

Calls

1 calls:

13.0ms

(/ (atan2 im re) (log base))

simplify12.2s

Counts

34 → 34

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	8	8
1	10	8
2	11	8
done	11	8
0	7	7
1	10	7
2	12	7
3	13	7
done	13	7
0	7	7
done	7	7
0	10	20
1	19	20
2	51	10
3	118	8
4	197	8
5	315	8
6	778	8
7	3372	8
done	5000	8
0	8	15
done	8	15
0	7	7
done	7	7
0	8	20
1	15	20
2	31	8
3	69	8
4	136	8
5	200	8
6	328	8
7	829	8
8	3549	8
done	5000	8
0	7	7
done	7	7
0	7	7
done	7	7
0	4	4
done	4	4
0	3	3
done	3	3
0	7	11
1	11	9
2	17	9
3	22	9
done	22	9
0	7	7
done	7	7
0	10	17
1	16	17
2	25	17
3	31	17
done	31	17
0	8	8
done	8	8
0	9	13
1	11	13
2	13	13
3	14	13
done	14	13
0	8	8
done	8	8
0	7	11
1	11	9
2	17	9
3	22	9
done	22	9
0	7	7
done	7	7
0	6	6
1	8	4
2	10	4
done	10	4
0	7	7
done	7	7
0	9	12
1	11	12
done	11	12
0	8	8
done	8	8
0	8	8
done	8	8
0	8	8
done	8	8
0	6	6
1	8	4
2	10	4
done	10	4
0	7	7
done	7	7
0	2	3
1	4	1
done	4	1
0	6	6
done	6	6
0	6	9
1	10	9
done	10	9
0	7	7
done	7	7
0	5	5
1	7	5
done	7	5
0	7	7
done	7	7
0	2	3
1	4	1
done	4	1
0	6	6
done	6	6
0	4	4
1	6	4
done	6	4
0	6	6
done	6	6
0	5	5
1	7	3
2	9	3
done	9	3
0	8	11
1	10	11
done	10	11
0	7	7
done	7	7
0	5	5
1	7	3
2	9	3
done	9	3
0	7	7
done	7	7
0	7	7
done	7	7
0	6	6
done	6	6
0	9	9
1	12	8
done	12	6
0	10	11
1	17	9
2	21	6
3	33	6
4	34	6
done	34	6
0	10	11
1	14	11
2	19	11
3	27	8
4	34	6
5	110	6
6	598	6
7	1348	6
8	3395	6
done	5000	6

prune84.0ms

Filtered

23 candidates to 34 candidates (-47.8%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	24	10	34
Fresh	7	2	9
Picked	1	0	1
Done	0	0	0
Total	32	12	44

Merged error: 0.0b

Counts

44 → 12

localize8.0ms

Local error

Found 2 expressions with local error:

0.3b	(/ 1 (log base))
0.3b	(* (atan2 im re) (/ 1 (log base)))

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

27×	`add-sqr-sqrt`
26×	`times-frac`
21×	`*-un-lft-identity`
20×	`add-cube-cbrt`
16×	`associate-r`
15×	`add-exp-log`
12×	`pow1`
9×	`add-cbrt-cube`
7×	`log-pow`
4×	`div-exp` `prod-exp` `associate-/r*`
3×	`associate-l` `associate-/l*` `unswap-sqr`
2×	`cbrt-undiv` `rec-exp` `1-exp` `cbrt-unprod` `div-inv` `add-log-exp`
1×	`pow-flip` `frac-2neg` `associate-r/` `pow-prod-down` `clear-num` `un-div-inv` `-commutative` `inv-pow`

Counts

2 → 74

Calls

2 calls:

4.0ms	(/ 1 (log base))
9.0ms	(* (atan2 im re) (/ 1 (log base)))

series33.0ms

Counts

2 → 6

Calls

2 calls:

20.0ms	(/ 1 (log base))
12.0ms	(* (atan2 im re) (/ 1 (log base)))

simplify40.5s

Counts

80 → 80

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	8	8
1	13	8
2	16	6
3	31	6
4	32	6
done	32	6
0	9	9
1	11	8
done	11	8
0	10	10
1	15	9
2	25	8
3	34	8
4	52	8
5	78	8
6	81	8
7	90	8
8	106	8
done	106	8
0	11	11
1	18	10
2	25	8
3	42	8
4	60	8
5	85	8
6	90	8
7	99	8
8	113	8
done	113	8
0	10	10
1	17	9
2	23	8
3	34	8
4	46	8
5	78	8
6	99	8
7	106	8
8	116	8
done	116	8
0	9	9
1	17	9
2	26	7
3	47	7
4	66	7
5	81	7
6	114	7
7	118	7
8	127	7
done	127	7
0	9	9
1	16	9
2	25	7
3	53	7
4	97	7
5	200	7
6	474	7
7	1486	7
done	5000	7
0	14	26
1	30	22
2	76	10
3	254	10
4	605	10
5	1086	8
6	2759	8
done	5000	8
0	12	26
1	27	26
2	76	12
3	204	12
4	479	8
5	949	8
6	2088	8
done	5000	8
0	10	19
1	15	19
2	18	15
3	33	15
4	36	15
done	36	15
0	9	9
1	14	9
2	17	7
3	32	7
4	33	7
done	33	7
0	10	26
1	25	26
2	79	8
3	231	8
4	441	8
5	603	8
6	1114	8
7	2907	8
done	5000	8
0	9	9
1	14	9
2	17	7
3	32	7
4	33	7
done	33	7
0	9	9
1	14	9
2	17	7
3	32	7
4	33	7
done	33	7
0	10	10
1	13	10
done	13	10
0	10	10
1	13	10
done	13	10
0	11	11
1	16	10
2	19	10
3	23	8
4	34	8
done	34	8
0	11	11
1	16	10
2	19	10
3	23	8
4	34	8
done	34	8
0	10	10
1	15	10
2	18	8
3	33	8
4	36	8
done	36	8
0	10	10
1	15	10
2	18	8
3	33	8
4	36	8
done	36	8
0	10	15
1	15	15
2	17	15
done	17	15
0	9	9
1	12	9
done	12	9
0	8	11
1	15	7
2	30	5
3	34	3
4	38	3
done	38	3
0	12	17
1	23	15
2	52	13
3	86	11
4	97	11
done	97	11
0	11	13
1	18	11
2	28	9
3	41	7
4	43	7
done	43	7
0	8	11
1	15	7
2	30	5
3	34	3
4	38	3
done	38	3
0	7	8
1	12	5
2	17	3
3	21	3
done	21	3
0	11	14
1	18	13
2	29	13
3	43	11
4	80	11
5	87	11
done	87	11
0	10	10
1	15	9
2	18	9
3	22	7
4	33	7
5	34	7
done	34	7
0	7	8
1	12	5
2	17	3
3	21	3
done	21	3
0	6	7
1	11	5
2	16	3
3	20	3
done	20	3
0	10	13
1	17	13
2	27	11
3	57	11
4	78	11
5	80	11
done	80	11
0	9	9
1	14	9
2	17	7
3	32	7
4	35	7
done	35	7
0	6	7
1	11	5
2	16	3
3	20	3
done	20	3
0	5	5
1	8	3
2	11	3
done	11	3
0	5	5
1	8	3
2	11	3
done	11	3
0	9	9
1	14	9
2	17	7
3	32	7
4	35	7
done	35	7
0	9	9
1	14	9
2	17	7
3	32	7
4	35	7
done	35	7
0	8	8
1	13	8
2	16	6
3	31	6
4	32	6
done	32	6
0	5	5
1	8	3
2	11	3
done	11	3
0	2	2
1	5	1
done	5	1
0	4	4
done	4	4
0	5	5
1	7	4
2	11	4
3	13	4
4	19	4
5	24	4
done	24	4
0	6	6
1	10	5
2	11	4
3	17	4
4	23	4
5	28	4
done	28	4
0	5	5
1	11	4
2	12	4
3	16	4
4	18	4
5	24	4
6	29	4
done	29	4
0	5	5
1	7	5
done	7	5
0	8	14
1	18	10
2	30	6
3	53	6
4	80	6
5	106	6
6	177	6
7	393	6
8	1321	6
done	5000	6
0	6	11
1	8	11
done	8	11
0	5	5
1	7	5
done	7	5
0	6	14
1	15	14
2	31	6
3	68	6
4	84	6
5	114	6
6	177	6
7	338	6
8	826	6
9	2851	6
done	5000	6
0	5	5
1	7	5
done	7	5
0	5	5
1	7	5
done	7	5
0	2	2
1	5	1
done	5	1
0	3	3
done	3	3
0	4	7
1	8	3
2	12	1
done	12	1
0	5	5
1	7	4
done	7	4
0	8	13
1	16	11
2	25	9
3	31	9
done	31	9
0	6	6
1	8	5
done	8	5
0	7	9
1	11	7
2	13	5
3	14	5
done	14	5
0	6	6
1	8	5
done	8	5
0	4	7
1	8	3
2	12	1
done	12	1
0	5	5
1	7	4
done	7	4
0	3	4
1	5	1
done	5	1
0	5	5
1	7	4
done	7	4
0	7	10
1	11	9
done	11	9
0	6	6
1	8	5
done	8	5
0	6	6
1	8	5
done	8	5
0	6	6
1	8	5
done	8	5
0	3	4
1	5	1
done	5	1
0	5	5
1	7	4
done	7	4
0	2	3
1	4	1
done	4	1
0	4	4
1	6	4
done	6	4
0	6	9
1	10	9
done	10	9
0	5	5
1	7	5
done	7	5
0	5	5
1	7	5
done	7	5
0	5	5
1	7	5
done	7	5
0	2	3
1	4	1
done	4	1
0	4	4
1	6	4
done	6	4
0	4	4
1	6	4
done	6	4
0	4	4
1	6	2
2	8	2
done	8	2
0	2	3
1	4	1
done	4	1
0	6	9
1	10	9
done	10	9
0	5	5
1	7	5
done	7	5
0	2	3
1	4	1
done	4	1
0	5	5
1	7	4
done	7	4
0	5	5
1	7	4
done	7	4
0	4	4
1	6	2
2	8	2
done	8	2
0	9	9
1	12	8
done	12	6
0	10	11
1	17	9
2	21	6
3	33	6
4	34	6
done	34	6
0	10	11
1	14	11
2	19	11
3	27	8
4	34	6
5	110	6
6	598	6
7	1348	6
8	3395	6
done	5000	6
0	6	7
1	9	6
done	9	4
0	7	9
1	14	7
2	18	4
3	30	4
4	31	4
done	31	4
0	8	9
1	14	9
2	19	9
3	26	6
4	33	4
5	107	4
6	592	4
7	1279	4
8	3382	4
done	5000	4

prune106.0ms

Filtered

38 candidates to 80 candidates (-110.5%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	78	2	80
Fresh	1	10	11
Picked	0	1	1
Done	0	0	0
Total	79	13	92

Merged error: 0.0b

Counts

92 → 13

localize8.0ms

Local error

Found 2 expressions with local error:

0.3b	(/ 1 (/ (log base) (atan2 im re)))
0.3b	(/ (log base) (atan2 im re))

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

108×	`times-frac`
60×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
19×	`pow1` `associate-/r*`
16×	`log-pow`
15×	`add-exp-log`
9×	`add-cbrt-cube`
8×	`div-exp`
7×	`associate-/l*`
6×	`div-inv`
4×	`cbrt-undiv`
2×	`rec-exp` `frac-2neg` `1-exp` `clear-num` `add-log-exp`
1×	`pow-flip` `associate-/r/` `inv-pow`

Counts

2 → 119

Calls

2 calls:

7.0ms	(/ 1 (/ (log base) (atan2 im re)))
4.0ms	(/ (log base) (atan2 im re))

series29.0ms

Counts

2 → 6

Calls

2 calls:

15.0ms	(/ 1 (/ (log base) (atan2 im re)))
14.0ms	(/ (log base) (atan2 im re))

simplify38.2s

Counts

125 → 125

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	8	8
1	10	8
2	11	8
done	11	8
0	7	7
1	10	7
2	12	7
3	13	7
done	13	7
0	7	7
done	7	7
0	10	20
1	19	20
2	51	10
3	118	8
4	197	8
5	316	8
6	779	8
7	3361	8
done	5000	8
0	8	15
done	8	15
0	7	7
done	7	7
0	8	20
1	15	20
2	31	8
3	69	8
4	136	8
5	200	8
6	328	8
7	829	8
8	3552	8
done	5001	8
0	7	7
done	7	7
0	7	7
done	7	7
0	3	3
done	3	3
0	4	4
done	4	4
0	7	11
1	11	11
done	11	11
0	7	7
done	7	7
0	6	6
1	8	6
done	8	6
0	7	7
done	7	7
0	2	3
1	4	1
done	4	1
0	6	6
done	6	6
0	10	17
1	16	17
2	25	17
3	31	17
done	31	17
0	8	8
done	8	8
0	9	12
1	11	12
2	13	12
3	14	12
done	14	12
0	8	8
done	8	8
0	6	9
1	10	7
2	16	7
3	21	7
done	21	7
0	7	7
done	7	7
0	9	13
1	11	13
done	11	13
0	8	8
done	8	8
0	8	8
done	8	8
0	8	8
done	8	8
0	5	5
1	7	3
2	9	3
done	9	3
0	7	7
done	7	7
0	7	11
1	11	11
done	11	11
0	7	7
done	7	7
0	6	6
1	8	6
done	8	6
0	7	7
done	7	7
0	2	3
1	4	1
done	4	1
0	6	6
done	6	6
0	5	5
1	7	5
done	7	5
0	6	6
done	6	6
0	8	12
1	10	12
done	10	12
0	7	7
done	7	7
0	4	4
1	6	2
2	8	2
done	8	2
0	6	6
done	6	6
0	7	7
done	7	7
0	7	7
done	7	7
0	6	6
done	6	6
0	2	2
1	5	1
done	5	1
0	9	9
1	11	9
2	15	9
3	17	9
4	18	8
done	18	8
0	8	8
1	11	8
2	13	8
3	17	8
4	19	8
5	20	8
done	20	8
0	10	10
1	16	9
2	29	9
3	48	8
4	78	8
5	105	8
6	114	8
7	130	8
done	130	8
0	9	9
1	14	8
2	22	8
3	35	8
4	61	8
5	91	8
6	98	8
7	104	8
8	120	8
done	120	8
0	11	11
1	19	10
2	27	9
3	52	8
4	81	8
5	107	8
6	116	8
7	130	8
done	130	8
0	10	10
1	17	9
2	22	8
3	39	8
4	65	8
5	95	8
6	102	8
7	108	8
8	124	8
done	124	8
0	9	9
1	17	8
2	26	8
3	40	7
4	69	7
5	102	7
6	120	7
7	124	7
8	133	7
done	133	7
0	9	9
1	13	9
2	18	9
3	25	7
4	53	7
5	98	7
6	199	7
7	512	7
8	1629	7
done	5000	7
0	14	26
1	30	22
2	86	12
3	283	10
4	708	10
5	1189	8
6	2872	8
done	5000	8
0	12	26
1	28	22
2	64	10
3	192	10
4	427	10
5	636	8
6	1033	8
7	2718	8
done	5000	8
0	10	19
1	14	19
2	17	19
3	18	15
4	31	15
5	36	15
done	36	15
0	9	9
1	13	9
2	16	9
3	17	7
4	30	7
5	35	7
done	35	7
0	10	26
1	21	26
2	59	10
3	242	8
4	529	8
5	703	8
6	1252	8
7	3241	8
done	5000	8
0	9	9
1	13	9
2	16	9
3	17	7
4	30	7
5	35	7
done	35	7
0	9	9
1	13	9
2	16	9
3	17	7
4	30	7
5	35	7
done	35	7
0	2	2
1	5	1
done	5	1
0	7	7
1	9	7
done	9	7
0	12	21
1	20	19
2	29	17
3	35	17
done	35	17
0	10	10
1	12	9
done	12	9
0	11	13
1	15	11
2	17	9
3	18	9
done	18	9
0	10	10
1	12	9
done	12	9
0	10	17
1	18	15
2	33	11
3	49	9
4	57	9
5	58	9
done	58	9
0	10	10
1	14	9
2	17	9
3	18	7
4	31	7
5	38	7
done	38	7
0	9	12
1	15	10
2	24	6
3	31	4
done	31	4
0	10	10
1	14	9
2	17	9
3	18	7
4	31	7
5	38	7
done	38	7
0	5	9
1	11	1
done	11	1
0	9	9
1	13	8
2	16	8
3	17	6
4	30	6
5	35	6
done	35	6
0	14	23
1	26	21
2	62	19
3	134	17
4	190	17
done	190	17
0	11	11
1	15	10
2	18	10
3	19	8
4	32	8
5	37	8
done	37	8
0	13	18
1	21	16
2	39	14
3	72	12
4	95	12
done	95	12
0	11	11
1	15	10
2	18	10
3	19	8
4	32	8
5	37	8
done	37	8
0	9	15
1	17	9
2	31	9
3	40	9
done	40	9
0	10	10
1	14	9
2	17	9
3	18	7
4	31	7
5	38	7
done	38	7
0	13	19
1	21	17
2	36	15
3	56	13
4	60	13
done	60	13
0	11	11
1	15	10
2	18	10
3	19	8
4	32	8
5	37	8
done	37	8
0	12	14
1	18	12
2	27	10
3	35	8
4	36	8
done	36	8
0	11	11
1	15	10
2	18	10
3	19	8
4	32	8
5	37	8
done	37	8
0	8	11
1	14	5
2	19	5
done	19	5
0	10	10
1	14	9
2	17	9
3	18	7
4	31	7
5	38	7
done	38	7
0	10	17
1	18	15
2	33	11
3	49	9
4	57	9
5	58	9
done	58	9
0	10	10
1	14	9
2	17	9
3	18	7
4	31	7
5	38	7
done	38	7
0	9	12
1	15	10
2	24	6
3	31	4
done	31	4
0	10	10
1	14	9
2	17	9
3	18	7
4	31	7
5	38	7
done	38	7
0	5	9
1	11	1
done	11	1
0	9	9
1	13	8
2	16	8
3	17	6
4	30	6
5	35	6
done	35	6
0	4	7
1	8	3
2	12	1
done	12	1
0	9	9
1	13	8
2	16	8
3	17	6
4	30	6
5	35	6
done	35	6
0	6	8
1	10	6
2	12	4
3	13	4
done	13	4
0	7	8
1	11	7
2	14	5
3	19	3
4	23	3
done	23	3
0	11	18
1	15	17
done	15	17
0	10	10
1	12	9
done	12	9
0	10	10
1	12	9
done	12	9
0	10	10
1	12	9
done	12	9
0	9	14
1	15	13
2	22	11
3	31	9
4	44	9
5	46	9
done	46	9
0	10	10
1	14	9
2	17	9
3	18	7
4	31	7
5	38	7
done	38	7
0	8	9
1	12	8
2	15	6
3	20	4
4	24	4
done	24	4
0	10	10
1	14	9
2	17	9
3	18	7
4	31	7
5	38	7
done	38	7
0	4	6
1	8	1
done	8	1
0	9	9
1	13	8
2	16	8
3	17	6
4	30	6
5	35	6
done	35	6
0	13	20
1	23	19
2	44	19
3	75	17
4	135	17
5	195	17
done	195	17
0	11	11
1	15	10
2	18	10
3	19	8
4	32	8
5	37	8
done	37	8
0	12	15
1	18	14
2	26	14
3	39	12
4	66	12
5	97	12
done	97	12
0	11	11
1	15	10
2	18	10
3	19	8
4	32	8
5	37	8
done	37	8
0	8	12
1	14	9
2	25	9
3	34	9
done	34	9
0	10	10
1	14	9
2	17	9
3	18	7
4	31	7
5	38	7
done	38	7
0	12	16
1	18	15
2	25	15
3	33	13
4	57	13
5	72	13
done	72	13
0	11	11
1	15	10
2	18	10
3	19	8
4	32	8
5	37	8
done	37	8
0	11	11
1	15	10
2	18	10
3	19	8
4	32	8
5	37	8
done	37	8
0	11	11
1	15	10
2	18	10
3	19	8
4	32	8
5	37	8
done	37	8
0	7	8
1	11	5
2	16	5
done	16	5
0	10	10
1	14	9
2	17	9
3	18	7
4	31	7
5	38	7
done	38	7
0	9	14
1	15	13
2	22	11
3	31	9
4	44	9
5	46	9
done	46	9
0	10	10
1	14	9
2	17	9
3	18	7
4	31	7
5	38	7
done	38	7
0	8	9
1	12	8
2	15	6
3	20	4
4	24	4
done	24	4
0	10	10
1	14	9
2	17	9
3	18	7
4	31	7
5	38	7
done	38	7
0	4	6
1	8	1
done	8	1
0	9	9
1	13	8
2	16	8
3	17	6
4	30	6
5	35	6
done	35	6
0	3	4
1	5	1
done	5	1
0	9	9
1	13	8
2	16	8
3	17	6
4	30	6
5	35	6
done	35	6
0	5	5
1	7	4
done	7	4
0	7	8
1	11	7
2	14	5
3	19	3
4	23	3
done	23	3
0	10	17
1	14	17
done	14	17
0	9	9
1	11	9
done	11	9
0	9	9
1	11	9
done	11	9
0	9	9
1	11	9
done	11	9
0	8	13
1	14	9
2	23	9
3	36	9
4	45	9
5	46	9
done	46	9
0	9	9
1	13	9
2	16	9
3	17	7
4	30	7
5	35	7
done	35	7
0	7	8
1	11	4
2	16	4
3	18	4
4	19	4
done	19	4
0	9	9
1	13	9
2	16	9
3	17	7
4	30	7
5	35	7
done	35	7
0	3	5
1	6	1
done	6	1
0	8	8
1	12	8
2	15	8
3	16	6
4	29	6
5	36	6
done	36	6
0	12	19
1	22	19
2	43	19
3	72	17
4	132	17
5	200	17
done	200	17
0	10	10
1	14	10
2	17	10
3	18	8
4	31	8
5	38	8
done	38	8
0	11	14
1	17	14
2	25	14
3	38	12
4	65	12
5	97	12
done	97	12
0	10	10
1	14	10
2	17	10
3	18	8
4	31	8
5	38	8
done	38	8
0	7	11
1	13	9
2	24	9
3	33	9
done	33	9
0	9	9
1	13	9
2	16	9
3	17	7
4	30	7
5	35	7
done	35	7
0	11	15
1	17	15
2	24	15
3	32	13
4	56	13
5	71	13
done	71	13
0	10	10
1	14	10
2	17	10
3	18	8
4	31	8
5	38	8
done	38	8
0	10	10
1	14	10
2	17	10
3	18	8
4	31	8
5	38	8
done	38	8
0	10	10
1	14	10
2	17	10
3	18	8
4	31	8
5	38	8
done	38	8
0	6	7
1	10	5
2	15	5
done	15	5
0	9	9
1	13	9
2	16	9
3	17	7
4	30	7
5	35	7
done	35	7
0	8	13
1	14	9
2	23	9
3	36	9
4	45	9
5	46	9
done	46	9
0	9	9
1	13	9
2	16	9
3	17	7
4	30	7
5	35	7
done	35	7
0	7	8
1	11	4
2	16	4
3	18	4
4	19	4
done	19	4
0	9	9
1	13	9
2	16	9
3	17	7
4	30	7
5	35	7
done	35	7
0	3	5
1	6	1
done	6	1
0	8	8
1	12	8
2	15	8
3	16	6
4	29	6
5	36	6
done	36	6
0	2	3
1	4	1
done	4	1
0	8	8
1	12	8
2	15	8
3	16	6
4	29	6
5	36	6
done	36	6
0	4	4
1	6	4
done	6	4
0	6	7
1	10	3
2	15	3
3	17	3
4	18	3
done	18	3
0	8	8
1	12	8
2	15	8
3	16	6
4	29	6
5	36	6
done	36	6
0	8	8
1	12	6
2	19	6
3	21	6
done	21	6
0	10	17
1	14	17
done	14	17
0	9	9
1	11	9
done	11	9
0	8	13
1	14	9
2	23	9
3	36	9
4	45	9
5	46	9
done	46	9
0	7	8
1	11	4
2	16	4
3	18	4
4	19	4
done	19	4
0	3	5
1	6	1
done	6	1
0	12	19
1	22	19
2	43	19
3	72	17
4	132	17
5	200	17
done	200	17
0	11	14
1	17	14
2	25	14
3	38	12
4	65	12
5	97	12
done	97	12
0	7	11
1	13	9
2	24	9
3	33	9
done	33	9
0	11	15
1	17	15
2	24	15
3	32	13
4	56	13
5	71	13
done	71	13
0	10	10
1	14	10
2	17	10
3	18	8
4	31	8
5	38	8
done	38	8
0	6	7
1	10	5
2	15	5
done	15	5
0	8	13
1	14	9
2	23	9
3	36	9
4	45	9
5	46	9
done	46	9
0	7	8
1	11	4
2	16	4
3	18	4
4	19	4
done	19	4
0	3	5
1	6	1
done	6	1
0	2	3
1	4	1
done	4	1
0	4	4
1	6	4
done	6	4
0	9	9
1	13	8
2	16	8
done	16	6
0	9	9
1	13	8
2	16	8
done	16	6
0	8	8
1	12	6
2	19	6
3	21	6
done	21	6
0	4	4
1	6	4
done	6	4
0	9	9
1	12	8
done	12	6
0	10	11
1	20	9
2	29	6
3	46	6
4	49	6
5	50	6
done	50	6
0	10	11
1	17	11
2	26	11
3	40	8
4	57	6
5	176	6
6	846	6
7	2387	6
done	5000	6
0	9	9
1	12	8
done	12	6
0	10	11
1	17	9
2	21	6
3	33	6
4	34	6
done	34	6
0	10	11
1	14	11
2	19	11
3	27	8
4	34	6
5	110	6
6	598	6
7	1348	6
8	3395	6
done	5000	6

prune65.0ms

Filtered

57 candidates to 125 candidates (-119.3%)

Pruning

15 alts after pruning (14 fresh and 1 done)

	Pruned	Kept	Total
New	120	5	125
Fresh	2	9	11
Picked	1	0	1
Done	0	1	1
Total	123	15	138

Merged error: 0.0b

Counts

138 → 15

regimes414.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	8
1	11	8
done	11	8

end0.0ms

sample2.4s

Algorithm

intervals

Results

868.0ms	8000×	body	80	valid
820.0ms	7915×	body	80	nan

Details

sample81.0ms

simplify48.0ms

prune5.0ms

localize21.0ms

rewrite33.0ms

series50.0ms

simplify1.3min

prune243.0ms

localize6.0ms

rewrite5.0ms

series13.0ms

simplify12.2s

prune84.0ms

localize8.0ms

rewrite15.0ms

series33.0ms

simplify40.5s

prune106.0ms

localize8.0ms

rewrite18.0ms

series29.0ms

simplify38.2s

prune65.0ms

regimes414.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample2.4s

Profiling