Complex division, imag part

Time bar (total: 1.3s)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze23.0ms (1.7%)

Memory
0.1MiB 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 (1.7%)

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

explain929.0ms (69.4%)

Memory
6.7MiB live, 745.8MiB allocated
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
952(-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/o330
↳(+.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
-2159
Precision
0.9787234042553191
Recall
0.968421052631579
Confusion?
Predicted +Predicted MaybePredicted -
+9203
-20159
Precision?
0.9787234042553191
Recall?
0.968421052631579
2:
4:
8:
16:
32:
64:
128:
256:
512:
1024:
2048:
Freqs
test
numberfreq
0162
193
21
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Total Time
6.571533203125
Average Time
0.02567005157470703
Samples
208.0ms3 072×0valid
Compiler

Compiled 1 824 to 552 computations (69.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 113.0ms
ival-mult: 71.0ms (62.6% of total)
ival-div: 16.0ms (14.1% of total)
ival-sub: 12.0ms (10.6% of total)
ival-add: 11.0ms (9.7% of total)
ival-true: 2.0ms (1.8% of total)
adjust: 1.0ms (0.9% of total)
ival-assert: 1.0ms (0.9% of total)

preprocess335.0ms (25%)

Memory
-1.2MiB live, 9.6MiB 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)

simplify24.0ms (1.8%)

Memory
2.8MiB 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
-5.6MiB live, 2.2MiB allocated
Compiler

Compiled 134 to 86 computations (35.8% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...