Details

sample51.0ms

Algorithm

intervals

Results

15.0ms	51×	body	1280	valid
10.0ms	232×	body	80	valid
7.0ms	38×	body	640	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

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

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b	(cos im)
0.0b	(* (exp re) (cos im))

rewrite8.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 25

Calls

2 calls:

2.0ms	(cos im)
6.0ms	(* (exp re) (cos im))

series11.0ms

Counts

2 → 6

Calls

2 calls:

2.0ms	(cos im)
10.0ms	(* (exp re) (cos im))

simplify22.3s

Counts

31 → 31

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	3	3
done	3	3
0	3	3
done	3	3
0	4	7
done	4	7
0	3	3
done	3	3
0	4	8
1	5	8
2	7	4
3	12	4
4	18	4
5	28	4
6	49	4
7	108	4
8	316	4
9	1236	4
done	5000	4
0	3	3
done	3	3
0	3	3
done	3	3
0	8	9
1	19	9
2	38	9
3	61	9
4	111	9
5	260	9
6	799	9
7	3197	9
done	5000	9
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	12	13
1	28	13
2	73	13
3	186	13
4	545	13
5	1321	13
done	5000	13
0	2	2
done	2	2
0	2	2
done	2	2

prune39.0ms

Filtered

23 candidates to 31 candidates (-34.8%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	29	2	31
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	30	2	32

Merged error: 0.0b

Counts

32 → 2

localize8.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (sqrt (exp re)) (cos im))
0.0b	(* (sqrt (exp re)) (* (sqrt (exp re)) (cos im)))
0.0b	(sqrt (exp re))
0.0b	(sqrt (exp re))

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

19×	`add-sqr-sqrt`
13×	`pow1` `add-cube-cbrt` `*-un-lft-identity` `sqrt-prod`
12×	`associate-l`
11×	`add-exp-log` `add-cbrt-cube`
8×	`sqrt-pow1`
6×	`exp-prod`
4×	`associate-r` `pow-prod-down` `prod-exp` `cbrt-unprod` `add-log-exp`
2×	`rem-sqrt-square` `pow1/2` `*-commutative` `unswap-sqr`

Counts

4 → 75

Calls

4 calls:

11.0ms	(* (sqrt (exp re)) (cos im))
11.0ms	(* (sqrt (exp re)) (* (sqrt (exp re)) (cos im)))
2.0ms	(sqrt (exp re))
3.0ms	(sqrt (exp re))

series28.0ms

Counts

4 → 12

Calls

4 calls:

11.0ms	(* (sqrt (exp re)) (cos im))
10.0ms	(* (sqrt (exp re)) (* (sqrt (exp re)) (cos im)))
3.0ms	(sqrt (exp re))
3.0ms	(sqrt (exp re))

simplify55.1s

Counts

87 → 87

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	4	4
done	4	4
0	4	4
done	4	4
0	5	9
done	5	9
0	4	4
done	4	4
0	5	11
1	6	6
2	9	5
3	14	5
4	20	5
5	30	5
6	51	5
7	114	5
8	325	5
9	1252	5
done	5000	5
0	5	8
1	6	4
done	6	4
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
1	6	1
done	6	1
0	4	4
done	4	4
0	4	4
done	4	4
0	3	3
done	3	3
0	4	4
done	4	4
0	4	4
done	4	4
0	4	4
done	4	4
0	4	4
done	4	4
0	5	9
done	5	9
0	4	4
done	4	4
0	5	11
1	6	6
2	9	5
3	14	5
4	20	5
5	30	5
6	51	5
7	114	5
8	325	5
9	1252	5
done	5000	5
0	5	8
1	6	4
done	6	4
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
1	6	1
done	6	1
0	4	4
done	4	4
0	4	4
done	4	4
0	3	3
done	3	3
0	4	4
done	4	4
0	4	4
done	4	4
0	7	10
1	11	10
2	12	5
3	13	5
done	13	5
0	7	10
1	11	10
2	12	5
3	13	5
done	13	5
0	9	13
1	13	13
2	16	10
3	17	10
done	17	10
0	9	12
1	13	12
2	16	12
3	19	10
4	20	10
done	20	10
0	8	11
1	15	11
2	22	6
3	27	5
done	27	5
0	8	11
1	14	11
2	23	6
3	44	6
4	91	6
5	204	6
6	508	6
7	1548	6
done	5000	6
0	11	32
1	23	22
2	83	13
3	209	9
4	413	9
5	1171	7
6	4028	7
done	5000	7
0	11	32
1	27	22
2	94	14
3	255	14
4	427	7
5	1064	7
6	3223	7
done	5000	7
0	9	23
1	13	23
2	14	13
3	15	13
done	15	13
0	8	11
1	12	11
2	13	6
3	14	6
done	14	6
0	9	32
1	22	32
2	77	7
3	205	7
4	359	7
5	534	7
6	1359	7
7	4627	7
done	5000	7
0	8	11
1	12	11
2	13	6
3	14	6
done	14	6
0	8	11
1	12	11
2	13	6
3	14	6
done	14	6
0	4	7
done	4	2
0	8	11
1	12	11
2	18	11
3	20	11
done	20	11
0	9	11
1	13	11
2	19	11
done	19	11
0	8	11
1	12	11
2	18	11
3	20	11
done	20	11
0	7	10
1	11	10
2	12	5
3	13	5
done	13	5
0	8	11
1	12	11
2	18	11
3	20	11
done	20	11
0	7	10
1	11	10
2	12	5
3	13	5
done	13	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	16	7
3	24	7
4	47	7
5	103	7
6	241	7
7	700	7
8	2704	7
done	5001	7
0	10	20
1	17	15
2	43	10
3	85	10
4	138	8
5	263	8
6	672	8
7	2485	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	92	8
4	108	8
5	154	8
6	292	8
7	758	8
8	2745	8
done	5001	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	8
1	9	8
done	9	8
0	8	8
1	9	8
done	9	8
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	7	7
1	8	7
done	8	7
0	6	6
1	7	6
done	7	6
0	7	7
1	8	7
done	8	7
0	6	6
1	7	6
done	7	6
0	10	11
1	22	11
2	41	11
3	64	9
4	110	9
5	251	9
6	778	9
7	3141	9
done	5000	9
0	3	3
done	3	3
0	3	3
done	3	3
0	10	11
1	22	11
2	41	11
3	64	9
4	110	9
5	251	9
6	778	9
7	3141	9
done	5000	9
0	3	3
done	3	3
0	3	3
done	3	3
0	8	9
1	19	9
2	38	9
3	61	9
4	111	9
5	260	9
6	799	9
7	3197	9
done	5000	9
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	10	11
1	22	11
2	41	11
3	64	9
4	110	9
5	251	9
6	778	9
7	3141	9
done	5000	9
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6

prune82.0ms

Filtered

61 candidates to 87 candidates (-42.6%)

Pruning

2 alts after pruning (1 fresh and 1 done)

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

Merged error: 0.0b

Counts

89 → 2

localize7.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ re (log (cos im)))
0.0b	(cos im)
0.0b	(exp (+ re (log (cos im))))
1.2b	(log (cos im))

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

13×	`*-un-lft-identity`
7×	`pow1` `add-sqr-sqrt` `add-cube-cbrt` `add-log-exp`
6×	`log-prod`
5×	`add-exp-log` `exp-prod`
4×	`add-cbrt-cube` `distribute-lft-out`
3×	`associate-+r+` `log-pow`
2×	`sum-log` `rem-exp-log`
1×	`+-commutative` `flip3-+` `rem-log-exp` `exp-sum` `flip-+`

Counts

4 → 50

Calls

4 calls:

5.0ms	(+ re (log (cos im)))
2.0ms	(cos im)
5.0ms	(exp (+ re (log (cos im))))
2.0ms	(log (cos im))

series37.0ms

Counts

4 → 12

Calls

4 calls:

8.0ms	(+ re (log (cos im)))
2.0ms	(cos im)
13.0ms	(exp (+ re (log (cos im))))
13.0ms	(log (cos im))

simplify48.4s

Counts

62 → 62

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
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	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	3	3
done	3	3
0	3	3
done	3	3
0	4	7
done	4	7
0	3	3
done	3	3
0	4	8
1	5	8
2	7	4
3	12	4
4	18	4
5	28	4
6	49	4
7	108	4
8	316	4
9	1236	4
done	5000	4
0	3	3
done	3	3
0	3	3
done	3	3
0	5	5
1	6	5
done	6	5
0	6	6
1	7	6
done	7	6
0	6	6
1	10	6
2	11	5
done	11	5
0	7	13
1	8	13
done	8	13
0	6	6
1	7	6
done	7	6
0	7	17
1	21	17
2	53	7
3	118	7
4	277	7
5	844	7
6	1902	7
7	2768	7
8	3301	7
9	4357	7
done	5000	7
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	8	9
1	22	9
2	31	9
3	48	9
4	89	9
5	209	9
6	624	9
7	2446	9
done	5000	9
0	9	17
1	17	13
2	32	13
3	45	13
4	65	13
5	86	13
6	103	13
7	126	13
8	169	13
9	231	13
10	232	13
done	232	13
0	7	11
1	12	11
2	19	11
3	34	11
4	59	11
5	100	11
6	158	11
7	326	11
8	1649	11
done	5001	11
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	7	10
1	10	10
2	16	8
3	17	8
done	17	8
0	6	6
1	7	6
done	7	6
0	4	4
1	7	3
done	7	1
0	13	14
1	29	13
2	69	12
3	214	11
4	724	11
5	2141	11
done	5001	11
0	3	3
done	3	3
0	3	3
done	3	3
0	8	9
1	19	9
2	38	9
3	61	9
4	111	9
5	260	9
6	799	9
7	3197	9
done	5000	9
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	12	13
1	28	13
2	73	13
3	186	13
4	545	13
5	1321	13
done	5000	13
0	2	2
done	2	2
0	2	2
done	2	2
0	10	10
1	22	9
2	49	7
3	104	7
4	225	7
5	562	7
6	1823	7
done	5001	7
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5

prune67.0ms

Filtered

43 candidates to 62 candidates (-44.2%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Merged error: 0.0b

Counts

64 → 2

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

end0.0ms

sample1.4s

Algorithm

intervals

Results

432.0ms	1432×	body	1280	valid
281.0ms	6929×	body	80	valid
234.0ms	1241×	body	640	valid
81.0ms	628×	body	320	valid
33.0ms	326×	body	160	valid

Details

sample51.0ms

simplify2.0ms

prune9.0ms

localize5.0ms

rewrite8.0ms

series11.0ms

simplify22.3s

prune39.0ms

localize8.0ms

rewrite30.0ms

series28.0ms

simplify55.1s

prune82.0ms

localize7.0ms

rewrite15.0ms

series37.0ms

simplify48.4s

prune67.0ms

regimes138.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.4s

Profiling