math.sqrt on complex, imaginary part, im greater than 0 branch

Time bar (total: 592.0ms)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze75.0ms (12.7%)

Memory
3.2MiB live, 27.8MiB allocated
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%50%50%0%0%0%0
0%0%50%50%0%0%0%1
50%25%25%50%0%0%0%2
50%25%25%50%0%0%0%3
62.5%31.2%18.7%50%0%0%0%4
62.5%31.2%18.7%50%0%0%0%5
68.8%34.3%15.6%50%0%0%0%6
68.8%34.3%15.6%50%0%0%0%7
71.9%35.9%14%50%0%0%0%8
71.9%35.9%14%50%0%0%0%9
73.4%36.7%13.3%50%0%0%0%10
73.4%36.7%13.3%50%0%0%0%11
74.2%37.1%12.9%50%0%0%0%12
Compiler

Compiled 19 to 12 computations (36.8% saved)

sample32.0ms (5.4%)

Memory
2.7MiB live, 10.9MiB allocated
Samples
11.0ms193×0valid
5.0ms17×3valid
4.0ms23×2valid
3.0ms27×1valid
Precisions
Click to see histograms. Total time spent on operations: 18.0ms
ival-hypot: 7.0ms (39.3% of total)
ival-mult: 4.0ms (22.4% of total)
adjust: 2.0ms (11.2% of total)
ival-sub: 2.0ms (11.2% of total)
ival-sqrt: 2.0ms (11.2% of total)
ival->: 1.0ms (5.6% of total)
ival-assert: 0.0ms (0% of total)
exact: 0.0ms (0% of total)
Bogosity

explain418.0ms (70.6%)

Memory
3.3MiB live, 148.2MiB allocated
Confusion
Predicted +Predicted -
+11534
-0107
Precision
1.0
Recall
0.7718120805369127
2:
4:
8:
16:
32:
64:
128:
256:
512:
1024:
2048:
Samples
138.0ms2 280×0valid
53.0ms204×3valid
51.0ms276×2valid
38.0ms312×1valid
Compiler

Compiled 564 to 420 computations (25.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 203.0ms
ival-hypot: 84.0ms (41.3% of total)
ival-mult: 44.0ms (21.6% of total)
ival-sqrt: 28.0ms (13.8% of total)
adjust: 21.0ms (10.3% of total)
ival-sub: 20.0ms (9.8% of total)
exact: 3.0ms (1.5% of total)
ival-true: 2.0ms (1% of total)
ival-assert: 1.0ms (0.5% of total)

preprocess44.0ms (7.4%)

Memory
-3.4MiB live, 7.1MiB allocated
Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03077
17175
215275
328575
442475
551575
663775
777575
883075
01215
02015
12515
23615
35215
47315
59815
615415
722715
831015
936015
1042015
1143415
1245015
1347015
1450015
1553115
1654315
1754515
054510
Stop Event
1×iter limit
1×saturated
1×iter limit
1×saturated
Calls
Call 1
Inputs
(*.f64 #s(literal 1/2 binary64) (sqrt.f64 (*.f64 #s(literal 2 binary64) (-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re))))
Outputs
(*.f64 #s(literal 1/2 binary64) (sqrt.f64 (*.f64 #s(literal 2 binary64) (-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re))))
(*.f64 (sqrt.f64 (*.f64 (-.f64 (hypot.f64 im re) re) #s(literal 2 binary64))) #s(literal 1/2 binary64))
Symmetry

(abs im)

Compiler

Compiled 15 to 12 computations (20% saved)

eval0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated
Compiler

Compiled 0 to 2 computations (-∞% saved)

prune1.0ms (0.1%)

Memory
0.5MiB live, 0.5MiB allocated
Alt Table
Click to see full alt table
StatusAccuracyProgram
45.0%
(*.f64 #s(literal 1/2 binary64) (sqrt.f64 (*.f64 #s(literal 2 binary64) (-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re))))
Compiler

Compiled 30 to 24 computations (20% saved)

simplify20.0ms (3.4%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
01215
11715
22215
32415
42515
Stop Event
1×saturated
Calls
Call 1
Inputs
(*.f64 #s(literal 1/2 binary64) (sqrt.f64 (*.f64 #s(literal 2 binary64) (-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re))))
Outputs
(*.f64 #s(literal 1/2 binary64) (sqrt.f64 (*.f64 #s(literal 2 binary64) (-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re))))
(*.f64 (sqrt.f64 (*.f64 (-.f64 (sqrt.f64 (+.f64 (*.f64 im im) (*.f64 re re))) re) #s(literal 2 binary64))) #s(literal 1/2 binary64))

soundness0.0ms (0.1%)

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

Compiled 15 to 12 computations (20% saved)

preprocess2.0ms (0.4%)

Memory
1.5MiB live, 1.5MiB allocated
Remove

(abs im)

Compiler

Compiled 120 to 96 computations (20% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...