_divideComplex, imaginary part

Time bar (total: 5.0s)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze22.0ms (0.4%)

Memory
1.4MiB live, 9.2MiB allocated
Algorithm
1×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
75%74.9%25%0.2%0%0%0%5
75%74.9%25%0.2%0%0%0%6
75%74.9%25%0.2%0%0%0%7
87.5%87.3%12.5%0.2%0%0%0%8
93.8%93.6%6.2%0.2%0%0%0%9
93.8%93.6%6.2%0.2%0%0%0%10
93.8%93.6%6.2%0.2%0%0%0%11
96.9%96.7%3.1%0.2%0%0%0%12
Compiler

Compiled 17 to 13 computations (23.5% saved)

sample23.0ms (0.5%)

Memory
0.2MiB live, 8.5MiB allocated
Samples
16.0ms260×0valid
Precisions
Click to see histograms. Total time spent on operations: 10.0ms
ival-mult: 6.0ms (59.3% of total)
ival-sub: 1.0ms (9.9% of total)
ival-div: 1.0ms (9.9% of total)
ival-add: 1.0ms (9.9% of total)
ival-true: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)
Bogosity

explain4.7s (92.5%)

Memory
-100.4MiB live, 2 790.9MiB allocated
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
1070-1(7.542502396963379e-267 -2.1591945112330685e+123 4.796433496269647e-307 8.928471111056118e-160)(/.f64 (-.f64 (*.f64 x.im y.re) (*.f64 x.re y.im)) (+.f64 (*.f64 y.re y.re) (*.f64 y.im y.im)))
30-0-(-.f64 (*.f64 x.im y.re) (*.f64 x.re y.im))
00-0-(+.f64 (*.f64 y.re y.re) (*.f64 y.im y.im))
00-0-(*.f64 y.re y.re)
00-0-(*.f64 x.re y.im)
00-0-(*.f64 x.im y.re)
00-0-(*.f64 y.im y.im)
00-0-x.re
00-0-y.re
00-0-y.im
00-0-x.im
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
/.f64(/.f64 (-.f64 (*.f64 x.im y.re) (*.f64 x.re y.im)) (+.f64 (*.f64 y.re y.re) (*.f64 y.im y.im)))o/o560
↳(*.f64 x.re y.im)overflow43
↳(*.f64 x.im y.re)overflow30
↳(-.f64 (*.f64 x.im y.re) (*.f64 x.re y.im))overflow67
↳(*.f64 y.re y.re)overflow71
↳(*.f64 y.im y.im)overflow71
↳(+.f64 (*.f64 y.re y.re) (*.f64 y.im y.im))overflow121
/.f64(/.f64 (-.f64 (*.f64 x.im y.re) (*.f64 x.re y.im)) (+.f64 (*.f64 y.re y.re) (*.f64 y.im y.im)))n/o310
↳(*.f64 y.re y.re)overflow71
↳(*.f64 y.im y.im)overflow71
↳(+.f64 (*.f64 y.re y.re) (*.f64 y.im y.im))overflow121
/.f64(/.f64 (-.f64 (*.f64 x.im y.re) (*.f64 x.re y.im)) (+.f64 (*.f64 y.re y.re) (*.f64 y.im y.im)))o/n110
↳(*.f64 x.re y.im)overflow43
↳(*.f64 x.im y.re)overflow30
↳(-.f64 (*.f64 x.im y.re) (*.f64 x.re y.im))overflow67
/.f64(/.f64 (-.f64 (*.f64 x.im y.re) (*.f64 x.re y.im)) (+.f64 (*.f64 y.re y.re) (*.f64 y.im y.im)))u/n40
↳(*.f64 x.re y.im)underflow32
↳(*.f64 x.im y.re)underflow28
↳(-.f64 (*.f64 x.im y.re) (*.f64 x.re y.im))underflow4
/.f64(/.f64 (-.f64 (*.f64 x.im y.re) (*.f64 x.re y.im)) (+.f64 (*.f64 y.re y.re) (*.f64 y.im y.im)))n/u40
↳(*.f64 y.re y.re)underflow67
↳(*.f64 y.im y.im)underflow63
↳(+.f64 (*.f64 y.re y.re) (*.f64 y.im y.im))underflow14
-.f64(-.f64 (*.f64 x.im y.re) (*.f64 x.re y.im))nan-rescue30
↳(*.f64 x.im y.re)overflow30
↳(*.f64 x.re y.im)overflow43
Confusion
Predicted +Predicted -
+1061
-0149
Precision
1.0
Recall
0.9906542056074766
Confusion?
Predicted +Predicted MaybePredicted -
+10601
-00149
Precision?
1.0
Recall?
0.9906542056074766
Freqs
test
numberfreq
0150
1103
23
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Total Time
20.138427734375
Average Time
0.07866573333740234
Samples
1.6s23 040×0valid
Compiler

Compiled 6 930 to 2 160 computations (68.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 901.0ms
ival-mult: 559.0ms (62% of total)
ival-div: 131.0ms (14.5% of total)
ival-sub: 94.0ms (10.4% of total)
ival-add: 91.0ms (10.1% of total)
ival-true: 18.0ms (2% of total)
ival-assert: 9.0ms (1% of total)

preprocess312.0ms (6.2%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
060214
1202214
2402214
3976214
42796214
54580214
65390214
75495214
85515214
95531214
105531214
115995214
126203214
136203214
146203214
156299214
166299214
176371214
186403214
196403214
206403214
01115
01815
12915
25115
38115
414015
523915
638215
763015
8109215
9176615
10200715
11204715
12207515
13207515
0207514
Stop Event
1×iter limit
1×saturated
1×iter limit
1×saturated
Calls
Call 1
Inputs
(/.f64 (-.f64 (*.f64 x.im y.re) (*.f64 x.re y.im)) (+.f64 (*.f64 y.re y.re) (*.f64 y.im y.im)))
Outputs
(/.f64 (-.f64 (*.f64 x.im y.re) (*.f64 x.re y.im)) (+.f64 (*.f64 y.re y.re) (*.f64 y.im y.im)))
(/.f64 (fma.f64 (neg.f64 x.re) y.im (*.f64 y.re x.im)) (fma.f64 y.im y.im (*.f64 y.re y.re)))
Compiler

Compiled 15 to 11 computations (26.7% saved)

eval0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated
Compiler

Compiled 0 to 4 computations (-∞% saved)

prune1.0ms (0%)

Memory
0.5MiB live, 0.5MiB allocated
Alt Table
Click to see full alt table
StatusAccuracyProgram
59.3%
(/.f64 (-.f64 (*.f64 x.im y.re) (*.f64 x.re y.im)) (+.f64 (*.f64 y.re y.re) (*.f64 y.im y.im)))
Compiler

Compiled 30 to 22 computations (26.7% saved)

simplify20.0ms (0.4%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
01115
11915
23115
33715
44115
54215
Stop Event
1×saturated
Calls
Call 1
Inputs
(/.f64 (-.f64 (*.f64 x.im y.re) (*.f64 x.re y.im)) (+.f64 (*.f64 y.re y.re) (*.f64 y.im y.im)))
Outputs
(/.f64 (-.f64 (*.f64 x.im y.re) (*.f64 x.re y.im)) (+.f64 (*.f64 y.re y.re) (*.f64 y.im y.im)))
(/.f64 (-.f64 (*.f64 y.re x.im) (*.f64 y.im x.re)) (+.f64 (*.f64 y.im y.im) (*.f64 y.re y.re)))

soundness0.0ms (0%)

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

Compiled 15 to 11 computations (26.7% saved)

preprocess0.0ms (0%)

Memory
0.3MiB live, 0.3MiB allocated
Compiler

Compiled 60 to 44 computations (26.7% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...