math.log/1 on complex, imaginary part

Time bar (total: 551.0ms)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated; 0ms collecting garbage

analyze3.0ms (0.5%)

Memory
-43.6MiB live, 1.9MiB allocated; 3ms collecting garbage
Algorithm
search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
0%0%99.9%0.1%0%0%0%1
50%50%50%0.1%0%0%0%2
75%74.9%25%0.1%0%0%0%3
87.5%87.4%12.5%0.1%0%0%0%4
93.8%93.7%6.2%0.1%0%0%0%5
96.9%96.8%3.1%0.1%0%0%0%6
98.4%98.3%1.6%0.1%0%0%0%7
99.2%99.1%0.8%0.1%0%0%0%8
99.6%99.5%0.4%0.1%0%0%0%9
99.8%99.7%0.2%0.1%0%0%0%10
99.9%99.8%0.1%0.1%0%0%0%11
100%99.9%0%0.1%0%0%0%12
Compiler

Compiled 5 to 5 computations (0% saved)

sample471.0ms (85.5%)

Memory
28.6MiB live, 630.1MiB allocated; 103ms collecting garbage
Samples
266.0ms8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 77.0ms
ival-atan2: 73.0ms (94.3% of total)
ival-assert: 3.0ms (3.9% of total)
adjust: 2.0ms (2.6% of total)
Bogosity

explain36.0ms (6.5%)

Memory
-21.9MiB live, 51.8MiB allocated; 11ms collecting garbage
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
00-0-re
00-0-(atan2.f64 im re)
00-0-im
Confusion
Predicted +Predicted -
+00
-0256
Precision
0/0
Recall
0/0
Confusion?
Predicted +Predicted MaybePredicted -
+000
-00256
Precision?
0/0
Recall?
0/0
Freqs
test
numberfreq
0256
Total Confusion?
Predicted +Predicted MaybePredicted -
+000
-001
Precision?
0/0
Recall?
0/0
Samples
21.0ms512×0valid
Compiler

Compiled 17 to 13 computations (23.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 10.0ms
ival-atan2: 10.0ms (95.7% of total)
ival-true: 0.0ms (0% of total)
adjust: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

preprocess15.0ms (2.8%)

Memory
27.1MiB live, 27.1MiB allocated; 0ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01324
11524
063
0103
0103
Stop Event
saturated
saturated
iter limit
saturated
Calls
Call 1
Inputs
(atan2.f64 im re)
Outputs
(atan2.f64 im re)
Compiler

Compiled 3 to 3 computations (0% saved)

eval0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated; 0ms collecting garbage
Compiler

Compiled 0 to 2 computations (-∞% saved)

prune0.0ms (0.1%)

Memory
0.7MiB live, 0.7MiB allocated; 0ms collecting garbage
Alt Table
Click to see full alt table
StatusAccuracyProgram
100.0%
(atan2.f64 im re)
Compiler

Compiled 3 to 3 computations (0% saved)

series2.0ms (0.3%)

Memory
3.1MiB live, 3.1MiB allocated; 0ms collecting garbage
Counts
3 → 3
Calls
Call 1
Inputs
(atan2.f64 im re)
im
re
Outputs
#s(approx (atan2 im re) #s(hole binary64 (atan2 im re)))
#s(approx re #s(hole binary64 re))
#s(approx im #s(hole binary64 im))
Calls

6 calls:

TimeVariablePointExpression
0.0ms
re
@-inf
((atan2 im re) im re)
0.0ms
re
@inf
((atan2 im re) im re)
0.0ms
im
@-inf
((atan2 im re) im re)
0.0ms
im
@inf
((atan2 im re) im re)
0.0ms
re
@0
((atan2 im re) im re)

rewrite18.0ms (3.3%)

Memory
-19.7MiB live, 26.4MiB allocated; 5ms collecting garbage
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01320
12118
22118
02118
02118
Stop Event
saturated
saturated
saturated
Counts
6 → 0
Calls
Call 1
Inputs
(atan2.f64 im re)
im
re
#s(approx (atan2 im re) #s(hole binary64 (atan2 im re)))
#s(approx re #s(hole binary64 re))
#s(approx im #s(hole binary64 im))
Outputs

eval0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated; 0ms collecting garbage
Compiler

Compiled 0 to 2 computations (-∞% saved)

prune1.0ms (0.1%)

Memory
0.9MiB live, 0.9MiB allocated; 0ms collecting garbage
Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New000
Fresh000
Picked011
Done000
Total011
Accuracy
100.0%
Counts
1 → 1
Alt Table
Click to see full alt table
StatusAccuracyProgram
100.0%
(atan2.f64 im re)
Compiler

Compiled 6 to 6 computations (0% saved)

simplify5.0ms (1%)

Memory
8.8MiB live, 8.8MiB allocated; 0ms collecting garbage

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated; 0ms collecting garbage

Profiling

Loading profile data...