math.log/1 on complex, imaginary part

Time bar (total: 1.6s)

analyze2.0ms (0.1%)

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
Results
Compiler

Compiled 6 to 4 computations (33.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.0ms
Operation ival-atan2, time spent: 0.0ms, 0.0% of total-time
Operation const, time spent: 0.0ms, 0.0% of total-time

sample1.5s (88.5%)

Results
1.4s8256×256valid
Precisions
Click to see histograms. Total time spent on operations: 421.0ms
Operation ival-atan2, time spent: 407.0ms, 97.0% of total-time
Operation const, time spent: 14.0ms, 3.0% of total-time
Bogosity

preprocess142.0ms (8.6%)

Algorithm
1×egg-herbie
Rules
12×sub-neg
8×fma-define
8×+-commutative
4×*-commutative
4×associate--r+
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
00-0-im
00-0-(atan2.f64 im re)
00-0-re
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)
Results
Compiler

Compiled 21 to 11 computations (47.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 6.0ms
Operation ival-atan2, time spent: 6.0ms, 93.0% of total-time
Operation const, time spent: 1.0ms, 16.0% of total-time

eval0.0ms (0%)

Results
Compiler

Compiled 2 to 2 computations (0% saved)

Precisions
Click to see histograms. Total time spent on operations: 0ms

prune1.0ms (0%)

Alt Table
Click to see full alt table
StatusAccuracyProgram
▶100.0%
(atan2.f64 im re)
Results
Compiler

Compiled 5 to 3 computations (40% saved)

Precisions
Click to see histograms. Total time spent on operations: 0ms

localize21.0ms (1.3%)

Results
Compiler

Compiled 8 to 4 computations (50% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.0ms
Operation ival-atan2, time spent: 3.0ms, 93.0% of total-time
Operation const, time spent: 0.0ms, 0.0% of total-time

eval0.0ms (0%)

Results
Compiler

Compiled 2 to 2 computations (0% saved)

Precisions
Click to see histograms. Total time spent on operations: 0ms

prune1.0ms (0.1%)

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)
Results
Compiler

Compiled 10 to 6 computations (40% saved)

Precisions
Click to see histograms. Total time spent on operations: 0ms

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

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

Compiled 5 to 3 computations (40% saved)

Precisions
Click to see histograms. Total time spent on operations: 0ms

soundness0.0ms (0%)

end0.0ms (0%)

preprocess20.0ms (1.2%)

Compiler

Compiled 20 to 12 computations (40% saved)

Profiling

Loading profile data...