math.arg on complex

Time bar (total: 675.0ms)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze1.0ms (0.2%)

Memory
1.9MiB live, 1.9MiB allocated
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)

sample569.0ms (84.2%)

Memory
-6.9MiB live, 636.8MiB allocated
Samples
342.0ms8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 105.0ms
ival-atan2: 95.0ms (90.7% of total)
ival-true: 6.0ms (5.7% of total)
ival-assert: 3.0ms (2.9% of total)
Bogosity

explain38.0ms (5.6%)

Memory
-12.2MiB live, 91.7MiB allocated
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: 5.0ms
ival-atan2: 5.0ms (96.7% of total)
ival-true: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

preprocess13.0ms (2%)

Memory
44.6MiB live, 44.6MiB allocated
Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0921
033
043
043
Stop Event
iter limit
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.2MiB live, 0.2MiB allocated
Compiler

Compiled 0 to 2 computations (-∞% saved)

prune4.0ms (0.5%)

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

Compiled 3 to 3 computations (0% saved)

simplify0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated

series2.0ms (0.3%)

Memory
6.1MiB live, 6.1MiB allocated
Counts
3 → 3
Calls
Call 1
Inputs
(atan2.f64 im re)
im
re
Outputs
(atan2 im re)
re
im
Calls

6 calls:

TimeVariablePointExpression
1.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)

simplify3.0ms (0.4%)

Memory
9.8MiB live, 9.8MiB allocated
Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
035
035
Stop Event
iter limit
saturated
Counts
3 → 1
Calls
Call 1
Inputs
(atan2 im re)
re
im
Outputs
(atan2 im re)
(atan2.f64 im re)
re
im

rewrite17.0ms (2.5%)

Memory
9.9MiB live, 54.2MiB allocated
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
035
045
045
Stop Event
iter limit
saturated
iter limit
Counts
3 → 3
Calls
Call 1
Inputs
(atan2.f64 im re)
im
re
Outputs
(atan2.f64 im re)
im
re

eval0.0ms (0.1%)

Memory
3.0MiB live, 3.0MiB allocated
Compiler

Compiled 16 to 5 computations (68.8% saved)

prune1.0ms (0.1%)

Memory
3.2MiB live, 3.2MiB allocated
Pruning

1 alts after pruning (0 fresh and 1 done)

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

Compiled 6 to 6 computations (0% saved)

simplify12.0ms (1.7%)

Memory
-13.9MiB live, 40.6MiB allocated
Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

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

soundness0.0ms (0%)

Memory
1.1MiB live, 1.1MiB allocated
Stop Event
done
Compiler

Compiled 3 to 3 computations (0% saved)

preprocess16.0ms (2.3%)

Memory
7.8MiB live, 52.4MiB allocated
Compiler

Compiled 12 to 12 computations (0% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...