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.2MiB 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.8%)

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

explain918.0ms (70.2%)

Memory
5.6MiB live, 745.1MiB allocated
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
1161(-1.2908805873177333e+57 -4.6475552959873615e-250 2.9437577713935968e+169 -4.122125177512732e-42)1(-4.289146008988361e-191 -1.835497240231953e-33 -1.390586850777989e-242 -4.285783192141318e-157)(/.f64 (-.f64 (*.f64 b c) (*.f64 a d)) (+.f64 (*.f64 c c) (*.f64 d d)))
40-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/o610
↳(*.f64 b c)overflow40
↳(-.f64 (*.f64 b c) (*.f64 a d))overflow68
↳(*.f64 a d)overflow35
↳(+.f64 (*.f64 c c) (*.f64 d d))overflow122
↳(*.f64 c c)overflow75
↳(*.f64 d d)overflow67
/.f64(/.f64 (-.f64 (*.f64 b c) (*.f64 a d)) (+.f64 (*.f64 c c) (*.f64 d d)))n/o370
↳(+.f64 (*.f64 c c) (*.f64 d d))overflow122
↳(*.f64 c c)overflow75
↳(*.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)overflow40
↳(-.f64 (*.f64 b c) (*.f64 a d))overflow68
↳(*.f64 a d)overflow35
/.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))underflow13
↳(*.f64 c c)underflow56
↳(*.f64 d d)underflow57
-.f64(-.f64 (*.f64 b c) (*.f64 a d))nan-rescue40
↳(*.f64 b c)overflow40
↳(*.f64 a d)overflow35
/.f64(/.f64 (-.f64 (*.f64 b c) (*.f64 a d)) (+.f64 (*.f64 c c) (*.f64 d d)))u/u30
↳(*.f64 b c)underflow29
↳(-.f64 (*.f64 b c) (*.f64 a d))underflow6
↳(*.f64 a d)underflow32
↳(+.f64 (*.f64 c c) (*.f64 d d))underflow13
↳(*.f64 c c)underflow56
↳(*.f64 d d)underflow57
/.f64(/.f64 (-.f64 (*.f64 b c) (*.f64 a d)) (+.f64 (*.f64 c c) (*.f64 d d)))u/n30
↳(*.f64 b c)underflow29
↳(-.f64 (*.f64 b c) (*.f64 a d))underflow6
↳(*.f64 a d)underflow32
Confusion
Predicted +Predicted -
+1151
-1139
Precision
0.9913793103448276
Recall
0.9913793103448276
Confusion?
Predicted +Predicted MaybePredicted -
+11501
-10139
Precision?
0.9913793103448276
Recall?
0.9913793103448276
2:
4:
8:
16:
32:
64:
128:
256:
512:
1024:
2048:
Freqs
test
numberfreq
0140
1112
24
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Total Time
6.626708984375
Average Time
0.025885581970214844
Samples
211.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.7% 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)
ival-assert: 1.0ms (0.9% of total)

preprocess319.0ms (24.4%)

Memory
-0.9MiB 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
57.3%
(/.f64 (-.f64 (*.f64 b c) (*.f64 a d)) (+.f64 (*.f64 c c) (*.f64 d d)))
Compiler

Compiled 30 to 22 computations (26.7% saved)

simplify21.0ms (1.6%)

Memory
2.7MiB 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...