powComplex, real part

Time bar (total: 3.3s)

start3.0ms (0.1%)

Memory
-42.3MiB live, 0.1MiB allocated; 6ms collecting garbage

analyze589.0ms (17.6%)

Memory
49.0MiB live, 418.3MiB allocated; 604ms collecting garbage
Algorithm
search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.8%0.2%0%0%0%0
0%0%99.8%0.2%0%0%0%1
0%0%99.8%0.2%0%0%0%2
0%0%99.8%0.2%0%0%0%3
0%0%99.8%0.2%0%0%0%4
0%0%99.8%0.2%0%0%0%5
0%0%99.8%0.2%0%0%0%6
18.8%18.7%81.1%0.2%0%0%0%7
18.8%18.7%81.1%0.2%0%0%0%8
18.8%18.7%81.1%0.2%0%0%0%9
34.4%34.3%65.5%0.2%0%0%0%10
54.7%54.6%45.2%0.2%0%0%0%11
54.7%54.6%45.2%0.2%0%0%0%12
Compiler

Compiled 39 to 18 computations (53.8% saved)

sample2.2s (65.7%)

Memory
63.6MiB live, 2 475.9MiB allocated; 446ms collecting garbage
Samples
1.1s2 974×1valid
636.0ms5 282×0valid
Precisions
Click to see histograms. Total time spent on operations: 1.4s
ival-mult: 376.0ms (26.5% of total)
ival-hypot: 234.0ms (16.5% of total)
ival-log: 193.0ms (13.6% of total)
adjust: 173.0ms (12.2% of total)
ival-cos: 152.0ms (10.7% of total)
ival-atan2: 106.0ms (7.5% of total)
ival-exp: 83.0ms (5.9% of total)
ival-add: 51.0ms (3.6% of total)
ival-sub: 47.0ms (3.3% of total)
ival-assert: 3.0ms (0.2% of total)
Bogosity

explain513.0ms (15.3%)

Memory
-61.7MiB live, 581.1MiB allocated; 158ms collecting garbage
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
1890-0-(cos.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.im) (*.f64 (atan2.f64 x.im x.re) y.re)))
1370-3(7.902644897344555e-161 5.172519465252072e-211 5.437682202249719e-70 6.337668457914236e+60)(sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))
80-0-(*.f64 (atan2.f64 x.im x.re) y.im)
40-0-(*.f64 (atan2.f64 x.im x.re) y.re)
00-0-(*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.im)
00-0-(log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im))))
00-0-(atan2.f64 x.im x.re)
00-0-(*.f64 x.re x.re)
00-0-(-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.re) (*.f64 (atan2.f64 x.im x.re) y.im))
00-0-x.re
00-0-x.im
00-0-(+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.im) (*.f64 (atan2.f64 x.im x.re) y.re))
00-0-(*.f64 x.im x.im)
00-0-(*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.re)
00-0-(exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.re) (*.f64 (atan2.f64 x.im x.re) y.im)))
00-0-y.re
00-0-y.im
00-0-(*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.re) (*.f64 (atan2.f64 x.im x.re) y.im))) (cos.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.im) (*.f64 (atan2.f64 x.im x.re) y.re))))
00-0-(+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im))
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
cos.f64(cos.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.im) (*.f64 (atan2.f64 x.im x.re) y.re)))sensitivity1870
sqrt.f64(sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))oflow-rescue1190
(*.f64 x.re x.re)overflow73
(+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im))overflow119
(*.f64 x.im x.im)overflow62
cos.f64(cos.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.im) (*.f64 (atan2.f64 x.im x.re) y.re)))oflow-rescue20
(+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.im) (*.f64 (atan2.f64 x.im x.re) y.re))overflow2
(*.f64 x.re x.re)overflow73
(+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im))overflow119
(*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.im)overflow2
(*.f64 x.im x.im)overflow62
sqrt.f64(sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))uflow-rescue20
(*.f64 x.re x.re)underflow60
(+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im))underflow15
(*.f64 x.im x.im)underflow73
*.f64(*.f64 (atan2.f64 x.im x.re) y.im)n*u10
Confusion
Predicted +Predicted -
+1582
-6531
Precision
0.7085201793721974
Recall
0.9875
Confusion?
Predicted +Predicted MaybePredicted -
+15802
-65031
Precision?
0.7085201793721974
Recall?
0.9875
Freqs
test
numberfreq
033
1136
286
31
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Samples
215.0ms378×1valid
20.0ms134×0valid
Compiler

Compiled 393 to 61 computations (84.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 200.0ms
ival-atan2: 58.0ms (29% of total)
ival-mult: 34.0ms (17% of total)
adjust: 24.0ms (12% of total)
ival-hypot: 24.0ms (12% of total)
ival-cos: 20.0ms (10% of total)
ival-log: 17.0ms (8.5% of total)
ival-add: 11.0ms (5.5% of total)
ival-sub: 7.0ms (3.5% of total)
ival-exp: 5.0ms (2.5% of total)
ival-assert: 0.0ms (0% of total)
ival-true: 0.0ms (0% of total)

preprocess42.0ms (1.2%)

Memory
-11.8MiB live, 36.2MiB allocated; 8ms collecting garbage
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0141575
1437556
21292554
33522552
Stop Event
node limit

end0.0ms (0%)

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

Profiling

Loading profile data...