Details

sample111.0ms

Algorithm

intervals

Results

39.0ms	100×	body	1280	valid
22.0ms	91×	body	640	valid
21.0ms	283×	body	80	valid
6.0ms	36×	body	320	valid
2.0ms	17×	body	160	valid

simplify2.3s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	10	11
1	23	11
2	56	11
3	86	11
4	191	11
5	304	11
6	451	11
7	792	11
8	1107	11
9	1262	11
10	1566	11
11	1719	11
12	1904	11
13	2037	11
14	2221	11
15	2356	11
16	2541	11
17	2674	11
18	2861	11
19	2994	11
20	3179	11
21	3315	11
22	3499	11
23	3632	11
24	3818	11
25	3951	11
26	4136	11
27	4271	11
28	4456	11
29	4589	11
30	4776	11
31	4909	11
done	5000	11

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

localize10.0ms

Local error

Found 2 expressions with local error:

0.0b	(* (* 0.5 (cos re)) (+ (exp (neg im)) (exp im)))
0.0b	(+ (exp (neg im)) (exp im))

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

7×	`pow1` `add-exp-log` `*-un-lft-identity` `add-cbrt-cube`
4×	`associate-r` `add-log-exp`
3×	`add-sqr-sqrt` `add-cube-cbrt` `pow-prod-down` `prod-exp` `cbrt-unprod`
2×	`flip3-+` `associate-*r/` `flip-+` `distribute-lft-out`
1×	`+-commutative` `distribute-rgt-in` `distribute-lft-in` `associate-l` `sum-log` `*-commutative`

Counts

2 → 35

Calls

2 calls:

16.0ms	(* (* 0.5 (cos re)) (+ (exp (neg im)) (exp im)))
6.0ms	(+ (exp (neg im)) (exp im))

series19.0ms

Counts

2 → 6

Calls

2 calls:

15.0ms	(* (* 0.5 (cos re)) (+ (exp (neg im)) (exp im)))
4.0ms	(+ (exp (neg im)) (exp im))

simplify1.2s

Counts

41 → 41

Iterations

Useful iterations: 3 (438.0ms)

Iter	Nodes	Cost
0	87	548
1	253	530
2	924	441
3	4606	437
done	5000	437

prune51.0ms

Filtered

27 candidates to 41 candidates (-51.9%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	40	1	41
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	41	1	42

Merged error: 0b

Counts

42 → 1

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (* (/ (cos re) (exp im)) 0.5) (* (exp im) (* 0.5 (cos re))))
0.0b	(/ (cos re) (exp im))
0.0b	(* (exp im) (* 0.5 (cos re)))

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

12×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
10×	`add-cbrt-cube`
9×	`times-frac`
8×	`pow1`
7×	`add-exp-log`
5×	`add-log-exp`
3×	`associate-l` `pow-prod-down` `prod-exp` `associate-/r` `cbrt-unprod` `associate-/l`
1×	`cbrt-undiv` `+-commutative` `frac-2neg` `flip3-+` `div-exp` `associate-r` `clear-num` `sum-log` `*-commutative` `flip-+` `div-inv`

Counts

3 → 56

Calls

3 calls:

9.0ms	(+ (* (/ (cos re) (exp im)) 0.5) (* (exp im) (* 0.5 (cos re))))
5.0ms	(/ (cos re) (exp im))
7.0ms	(* (exp im) (* 0.5 (cos re)))

series45.0ms

Counts

3 → 9

Calls

3 calls:

25.0ms	(+ (* (/ (cos re) (exp im)) 0.5) (* (exp im) (* 0.5 (cos re))))
9.0ms	(/ (cos re) (exp im))
10.0ms	(* (exp im) (* 0.5 (cos re)))

simplify1.1s

Counts

65 → 65

Iterations

Useful iterations: 3 (384.0ms)

Iter	Nodes	Cost
0	117	824
1	301	760
2	1010	680
3	3922	672
done	5001	672

prune68.0ms

Filtered

47 candidates to 65 candidates (-38.3%)

Pruning

1 alts after pruning (0 fresh and 1 done)

	Pruned	Kept	Total
New	65	0	65
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	65	1	66

Merged error: 0b

Counts

66 → 1

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	15
1	14	15
done	14	15

end0.0ms

sample3.2s

Algorithm

intervals

Results

1.2s	3053×	body	1280	valid
643.0ms	2567×	body	640	valid
488.0ms	8502×	body	80	valid
213.0ms	1261×	body	320	valid
73.0ms	644×	body	160	valid

Details

sample111.0ms

simplify2.3s

prune3.0ms

localize10.0ms

rewrite23.0ms

series19.0ms

simplify1.2s

prune51.0ms

localize10.0ms

rewrite23.0ms

series45.0ms

simplify1.1s

prune68.0ms

simplify1.0ms

end0.0ms

sample3.2s

Profiling