math.arg on complex

Time bar (total: 1.1s)

analyze1.0ms (0.1%)

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 6 to 4 computations (33.3% saved)

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

sample852.0ms (79.7%)

Results
556.0ms8255×256valid
0.0ms256valid
Precisions
Click to see histograms. Total time spent on operations: 105.0ms
Operation ival-atan2, time spent: 97.0ms, 93.0% of total-time
Operation const, time spent: 8.0ms, 8.0% of total-time
Bogosity

preprocess94.0ms (8.8%)

Algorithm
egg-herbie
Rules
12×sub-neg
fma-define
+-commutative
*-commutative
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
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
35.0ms511×256valid
0.0ms256valid
Compiler

Compiled 21 to 11 computations (47.6% saved)

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

eval0.0ms (0%)

Compiler

Compiled 2 to 2 computations (0% saved)

prune1.0ms (0.1%)

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

Compiled 5 to 3 computations (40% saved)

localize21.0ms (2%)

Results
16.0ms255×256valid
0.0ms256valid
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, 92.0% of total-time
Operation const, time spent: 0.0ms, 0.0% of total-time

eval0.0ms (0%)

Compiler

Compiled 2 to 2 computations (0% saved)

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

Compiled 10 to 6 computations (40% saved)

simplify78.0ms (7.3%)

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

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

Compiled 5 to 3 computations (40% saved)

soundness0.0ms (0%)

end0.0ms (0%)

preprocess20.0ms (1.9%)

Compiler

Compiled 20 to 12 computations (40% saved)

Profiling

Loading profile data...