Complex division, imag part

Time bar (total: 1.8s)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze23.0ms (1.3%)

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)

sample26.0ms (1.4%)

Memory
1.1MiB live, 8.7MiB allocated
Samples
17.0ms260×0valid
Precisions
Click to see histograms. Total time spent on operations: 10.0ms
ival-mult: 6.0ms (58.3% of total)
ival-sub: 1.0ms (9.7% of total)
ival-div: 1.0ms (9.7% of total)
ival-add: 1.0ms (9.7% of total)
ival-true: 0.0ms (0% of total)
adjust: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)
Bogosity

explain1.4s (76.4%)

Memory
7.5MiB live, 748.3MiB allocated
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
953(-1.1949061325181443e+276 -1.859632579874117e-244 1.412148841319666e+179 -8.595383790692513e-242)3(6.7199090824070476e-285 -6.145649091541756e+50 1.022957111153405e-296 3.388794650825675e-159)(/.f64 (-.f64 (*.f64 b c) (*.f64 a d)) (+.f64 (*.f64 c c) (*.f64 d d)))
10-0-(-.f64 (*.f64 b c) (*.f64 a d))
00-0-(+.f64 (*.f64 c c) (*.f64 d d))
00-0-a
00-0-d
00-0-(*.f64 d d)
00-0-(*.f64 c c)
00-0-(*.f64 b c)
00-0-c
00-0-(*.f64 a d)
00-0-b
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
/.f64(/.f64 (-.f64 (*.f64 b c) (*.f64 a d)) (+.f64 (*.f64 c c) (*.f64 d d)))o/o450
↳(*.f64 b c)overflow24
↳(-.f64 (*.f64 b c) (*.f64 a d))overflow52
↳(*.f64 a d)overflow31
↳(+.f64 (*.f64 c c) (*.f64 d d))overflow104
↳(*.f64 c c)overflow54
↳(*.f64 d d)overflow67
/.f64(/.f64 (-.f64 (*.f64 b c) (*.f64 a d)) (+.f64 (*.f64 c c) (*.f64 d d)))n/o340
↳(+.f64 (*.f64 c c) (*.f64 d d))overflow104
↳(*.f64 c c)overflow54
↳(*.f64 d d)overflow67
/.f64(/.f64 (-.f64 (*.f64 b c) (*.f64 a d)) (+.f64 (*.f64 c c) (*.f64 d d)))o/n70
↳(*.f64 b c)overflow24
↳(-.f64 (*.f64 b c) (*.f64 a d))overflow52
↳(*.f64 a d)overflow31
/.f64(/.f64 (-.f64 (*.f64 b c) (*.f64 a d)) (+.f64 (*.f64 c c) (*.f64 d d)))n/u50
↳(+.f64 (*.f64 c c) (*.f64 d d))underflow12
↳(*.f64 c c)underflow61
↳(*.f64 d d)underflow54
/.f64(/.f64 (-.f64 (*.f64 b c) (*.f64 a d)) (+.f64 (*.f64 c c) (*.f64 d d)))u/n30
↳(*.f64 b c)underflow34
↳(-.f64 (*.f64 b c) (*.f64 a d))underflow4
↳(*.f64 a d)underflow24
-.f64(-.f64 (*.f64 b c) (*.f64 a d))nan-rescue10
↳(*.f64 b c)overflow24
↳(*.f64 a d)overflow31
/.f64(/.f64 (-.f64 (*.f64 b c) (*.f64 a d)) (+.f64 (*.f64 c c) (*.f64 d d)))u/u10
↳(*.f64 b c)underflow34
↳(-.f64 (*.f64 b c) (*.f64 a d))underflow4
↳(*.f64 a d)underflow24
↳(+.f64 (*.f64 c c) (*.f64 d d))underflow12
↳(*.f64 c c)underflow61
↳(*.f64 d d)underflow54
Confusion
Predicted +Predicted -
+923
-3158
Precision
0.968421052631579
Recall
0.968421052631579
Confusion?
Predicted +Predicted MaybePredicted -
+9203
-30158
Precision?
0.968421052631579
Recall?
0.968421052631579
Freqs
test
numberfreq
0161
194
21
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Total Time
21.959716796875
Average Time
0.08578014373779297
Samples
462.0ms6 144×0valid
Compiler

Compiled 1 848 to 576 computations (68.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 246.0ms
ival-mult: 154.0ms (62.5% of total)
ival-div: 35.0ms (14.2% of total)
ival-add: 25.0ms (10.1% of total)
ival-sub: 24.0ms (9.7% of total)
ival-true: 5.0ms (2% of total)
adjust: 2.0ms (0.8% of total)
ival-assert: 2.0ms (0.8% of total)

preprocess333.0ms (18.8%)

Memory
1.9MiB 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 b c) (*.f64 a d)) (+.f64 (*.f64 c c) (*.f64 d d)))
Outputs
(/.f64 (-.f64 (*.f64 b c) (*.f64 a d)) (+.f64 (*.f64 c c) (*.f64 d d)))
(/.f64 (fma.f64 (neg.f64 a) d (*.f64 c b)) (fma.f64 d d (*.f64 c c)))
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
65.0%
(/.f64 (-.f64 (*.f64 b c) (*.f64 a d)) (+.f64 (*.f64 c c) (*.f64 d d)))
Compiler

Compiled 30 to 22 computations (26.7% saved)

simplify34.0ms (1.9%)

Memory
-6.5MiB live, 18.6MiB 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 b c) (*.f64 a d)) (+.f64 (*.f64 c c) (*.f64 d d)))
Outputs
(/.f64 (-.f64 (*.f64 b c) (*.f64 a d)) (+.f64 (*.f64 c c) (*.f64 d d)))
(/.f64 (-.f64 (*.f64 c b) (*.f64 d a)) (+.f64 (*.f64 d d) (*.f64 c c)))

soundness0.0ms (0%)

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

Compiled 15 to 11 computations (26.7% saved)

preprocess3.0ms (0.2%)

Memory
2.3MiB live, 2.3MiB allocated
Compiler

Compiled 134 to 86 computations (35.8% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...