Details

Time bar (total: 1.6s)

analyze157.0ms (9.7%)

Algorithm
search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
50%50%0.1%2
50%50%0.1%3
74.9%25%0.1%4
81.2%18.7%0.1%5
81.2%15.6%3.2%6
81.2%15.6%3.2%7
81.2%14%4.8%8
81.2%14%4.8%9
81.2%13.3%5.6%10
81.2%13.3%5.6%11
81.2%12.9%6%12
81.2%12.9%6%13
81.2%12.7%6.1%14
Compiler

Compiled 6 to 6 computations (0% saved)

sample50.0ms (3.1%)

Algorithm
intervals
Results
18.0ms55×body1024valid
10.0ms168×body128valid
4.0ms20×body512valid
3.0ms12×body1024invalid
2.0ms30×body128invalid
1.0ms13×body256valid
1.0msbody256invalid
0.0msbody512invalid
Compiler

Compiled 11 to 13 computations (-18.2% saved)

prune2.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
0.0b
Counts
2 → 1
Compiler

Compiled 5 to 5 computations (0% saved)

localize5.0ms (0.3%)

Local error

Found 2 expressions with local error:

0.0b
(*.f64 (exp.f64 re) (sin.f64 im))
0.0b
(*.f64 (exp.f64 re) (sin.f64 im))

rewrite1.0ms (0.1%)

Algorithm
rewrite-expression-head
Rules
Counts
1 → 0
Calls

2 calls:

1.0ms
(*.f64 (exp.f64 re) (sin.f64 im))
0.0ms
(*.f64 (exp.f64 re) (sin.f64 im))

prune1.0ms (0.1%)

Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New000
Fresh000
Picked000
Done011
Total011
Error
0.0b
Counts
1 → 1
Compiler

Compiled 5 to 5 computations (0% saved)

sample1.4s (86.7%)

Algorithm
intervals
Results
395.0ms1354×body1024valid
306.0ms5643×body128valid
138.0ms640×body1024invalid
108.0ms675×body512valid
56.0ms874×body128invalid
43.0ms292×body512invalid
35.0ms324×body256valid
17.0ms162×body256invalid
2.0msbody2048valid
Compiler

Compiled 16 to 18 computations (-12.5% saved)

Pareto

0

Profiling

Loading profile data...