math.log/1 on complex, imaginary part

Time bar (total: 7.1min)

analyze15.0ms (0%)

Memory
4.4MiB live, 4.4MiB allocated
Algorithm
1×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 11 to 9 computations (18.2% saved)

sample7.1min (100%)

Memory
-19.4MiB live, 219 850.9MiB allocated
Samples
553.0ms8 256×0valid-sollya
314.0ms8 256×0valid-rival
290.0ms8 256×0valid-baseline
Bogosity

preprocess35.0ms (0%)

Memory
3.7MiB live, 19.2MiB allocated
Algorithm
1×egg-herbie
Rules
12×sub-neg
8×fma-define
8×+-commutative
4×*-commutative
4×associate--r+
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
016115
126115
234115
339115
456115
569115
680115
Stop Event
1×saturated
Calls
Call 1
Inputs
(atan2.f64 im re)
(atan2.f64 im re)
(atan2.f64 im (neg.f64 re))
(atan2.f64 (neg.f64 im) re)
(neg.f64 (atan2.f64 im (neg.f64 re)))
(neg.f64 (atan2.f64 (neg.f64 im) re))
(atan2.f64 re im)
Outputs
(atan2.f64 im re)
(atan2.f64 im re)
(atan2.f64 im (neg.f64 re))
(atan2.f64 (neg.f64 im) re)
(neg.f64 (atan2.f64 im (neg.f64 re)))
(neg.f64 (atan2.f64 (neg.f64 im) re))
(atan2.f64 re im)
Compiler

Compiled 5 to 3 computations (40% saved)

eval0.0ms (0%)

Memory
0.2MiB live, 0.2MiB allocated
Compiler

Compiled 2 to 2 computations (0% saved)

prune1.0ms (0%)

Memory
0.9MiB live, 0.9MiB allocated
Alt Table
Click to see full alt table
StatusAccuracyProgram
100.0%
(atan2.f64 im re)
Compiler

Compiled 10 to 6 computations (40% saved)

simplify1.0ms (0%)

Memory
0.3MiB live, 0.3MiB allocated
Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0813
Stop Event
1×saturated
Calls
Call 1
Inputs
(atan2.f64 im re)
Outputs
(atan2.f64 im re)

soundness0.0ms (0%)

Memory
0.4MiB live, 0.4MiB allocated
Stop Event
1×fuel
Compiler

Compiled 5 to 3 computations (40% saved)

preprocess18.0ms (0%)

Memory
-6.5MiB live, 24.7MiB allocated
Compiler

Compiled 20 to 12 computations (40% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...