Details

sample60.0ms

Algorithm

intervals

Results

16.0ms	51×	body	1280	valid
13.0ms	38×	body	640	valid
11.0ms	232×	body	80	valid
3.0ms	21×	body	320	valid
1.0ms	12×	body	160	valid

simplify2.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	5	5
1	6	5
done	6	5

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	(* (exp re) (sin im))

rewrite6.0ms

Algorithm

rewrite-expression-head

Rules

5×	`add-sqr-sqrt`
3×	`pow1` `add-cube-cbrt` `-un-lft-identity` `associate-r` `associate-l*` `add-cbrt-cube`
2×	`add-exp-log`
1×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `add-log-exp` `unswap-sqr`

Counts

1 → 18

Calls

1 calls:

6.0ms

(* (exp re) (sin im))

series11.0ms

Counts

1 → 3

Calls

1 calls:

11.0ms

(* (exp re) (sin im))

simplify14.4s

Counts

21 → 21

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	6	6
1	10	6
2	11	5
done	11	5
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	2720	6
done	5000	6
0	9	17
1	18	16
2	49	9
3	94	9
4	161	7
5	331	7
6	1065	7
7	4610	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	49	7
3	92	7
4	115	7
5	168	7
6	364	7
7	1104	7
8	4694	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	10
1	10	10
2	12	10
done	12	10
0	6	6
1	7	6
done	7	6
0	4	4
1	7	2
2	10	2
done	10	2
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	10	13
1	26	13
2	63	11
3	101	11
4	125	11
5	144	11
6	179	11
7	253	11
8	499	11
9	1455	11
done	5000	11
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5

prune22.0ms

Filtered

15 candidates to 21 candidates (-40.0%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	20	1	21
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	20	2	22

Merged error: 0b

Counts

22 → 2

localize14.0ms

Local error

Found 2 expressions with local error:

0.2b	(log (sin im))
1.2b	(exp (+ re (log (sin im))))

rewrite8.0ms

Algorithm

rewrite-expression-head

Rules

7×	`*-un-lft-identity`
5×	`exp-prod`
4×	`pow1` `add-sqr-sqrt` `add-cube-cbrt` `add-log-exp`
3×	`add-exp-log` `log-prod`
2×	`log-pow` `add-cbrt-cube` `rem-exp-log` `distribute-lft-out`
1×	`rem-log-exp` `exp-sum` `sum-log`

Counts

2 → 27

Calls

2 calls:

2.0ms	(log (sin im))
6.0ms	(exp (+ re (log (sin im))))

series22.0ms

Counts

2 → 6

Calls

2 calls:

12.0ms	(log (sin im))
10.0ms	(exp (+ re (log (sin im))))

simplify17.8s

Counts

33 → 33

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	8	14
1	11	14
2	15	14
3	20	14
4	38	14
5	78	14
6	184	14
7	570	14
8	2247	14
done	5001	14
0	7	7
1	8	7
done	8	7
0	2	2
1	5	1
done	5	1
0	2	2
1	5	1
done	5	1
0	2	2
1	5	1
done	5	1
0	2	2
done	2	2
0	4	4
done	4	2
0	7	7
1	11	5
2	14	5
3	15	5
done	15	5
0	7	7
1	11	7
2	14	6
3	20	6
4	28	6
5	51	6
6	107	6
7	252	6
8	712	6
9	2751	6
done	5000	6
0	8	15
1	12	15
2	13	13
done	13	13
0	7	7
1	11	7
2	12	6
done	12	6
0	8	20
1	15	19
2	43	7
3	130	7
4	250	7
5	353	7
6	573	7
7	1455	7
done	5000	7
0	7	7
1	11	7
2	12	6
done	12	6
0	7	7
1	11	7
2	12	6
done	12	6
0	5	8
1	7	8
2	9	6
3	10	6
done	10	6
0	4	4
done	4	4
0	4	4
done	4	4
0	4	4
done	4	4
0	2	2
1	4	1
done	4	1
0	3	3
done	3	3
0	3	3
done	3	3
0	4	4
done	4	4
0	4	4
done	4	2
0	5	9
done	5	9
0	4	4
done	4	4
0	5	11
1	6	11
2	8	5
3	13	5
4	19	5
5	29	5
6	50	5
7	108	5
8	311	5
9	1229	5
done	5000	5
0	4	4
done	4	4
0	4	4
done	4	4
0	10	13
1	26	13
2	63	11
3	101	11
4	125	11
5	144	11
6	179	11
7	253	11
8	499	11
9	1455	11
done	5000	11
0	6	6
1	10	6
2	11	5
done	11	5
0	6	6
1	10	6
2	11	5
done	11	5
0	15	17
1	34	16
2	88	14
3	250	14
4	786	14
5	2162	14
done	5001	14
0	3	3
done	3	3
0	3	3
done	3	3

prune32.0ms

Filtered

21 candidates to 33 candidates (-57.1%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Merged error: 0b

Counts

35 → 2

regimes186.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	5	5
1	6	5
done	6	5

end0.0ms

sample1.5s

Algorithm

intervals

Results

458.0ms	1431×	body	1280	valid
322.0ms	6926×	body	80	valid
246.0ms	1242×	body	640	valid
81.0ms	630×	body	320	valid
30.0ms	327×	body	160	valid

Details

sample60.0ms

simplify2.0ms

prune3.0ms

localize6.0ms

rewrite6.0ms

series11.0ms

simplify14.4s

prune22.0ms

localize14.0ms

rewrite8.0ms

series22.0ms

simplify17.8s

prune32.0ms

regimes186.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.5s

Profiling