Kahan p9 Example

Time bar (total: 511.0ms)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze5.0ms (1%)

Memory
1.8MiB live, 1.8MiB allocated
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%18.7%81.3%0%0%0%0
0%0%18.7%81.3%0%0%0%1
0%0%18.7%81.3%0%0%0%2
50%9.4%9.4%81.3%0%0%0%3
50%9.4%9.4%81.3%0%0%0%4
87.5%16.4%2.3%81.3%0%0%0%5
87.5%16.4%2.3%81.3%0%0%0%6
96.9%18.1%0.6%81.3%0%0%0%7
96.9%18.1%0.6%81.3%0%0%0%8
99.2%18.6%0.1%81.3%0%0%0%9
99.2%18.6%0.1%81.3%0%0%0%10
99.8%18.7%0%81.3%0%0%0%11
99.8%18.7%0%81.3%0%0%0%12
Compiler

Compiled 27 to 17 computations (37% saved)

sample25.0ms (4.9%)

Memory
1.5MiB live, 10.2MiB allocated
Samples
17.0ms260×0valid
Precisions
Click to see histograms. Total time spent on operations: 12.0ms
ival-mult: 5.0ms (41.9% of total)
ival-add: 2.0ms (16.8% of total)
ival-<: 2.0ms (16.8% of total)
ival-div: 1.0ms (8.4% of total)
ival-sub: 1.0ms (8.4% of total)
adjust: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)
ival-and: 0.0ms (0% of total)
exact: 0.0ms (0% of total)
Bogosity

explain26.0ms (5.1%)

Memory
3.4MiB live, 10.9MiB allocated
Confusion
Predicted +Predicted -
+082
-0174
Precision
0/0
Recall
0.0
Samples
15.0ms256×0valid
Compiler

Compiled 47 to 29 computations (38.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.0ms
ival-mult: 4.0ms (42.9% of total)
ival-add: 2.0ms (21.4% of total)
ival-sub: 1.0ms (10.7% of total)
ival-div: 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)

preprocess412.0ms (80.6%)

Memory
3.1MiB live, 39.3MiB allocated
Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02583
19483
230175
379975
4223975
5487675
6551275
7594775
8628275
9635575
10688375
0915
01615
12915
25515
312015
424515
553215
6127815
7298915
8519315
9673615
10728915
11752015
12761615
13762515
14762515
15768315
16768715
17768715
18768715
19794615
0800614
Stop Event
1×iter limit
1×node limit
1×iter limit
1×node limit
Calls
Call 1
Inputs
(/.f64 (*.f64 (-.f64 x y) (+.f64 x y)) (+.f64 (*.f64 x x) (*.f64 y y)))
Outputs
(/.f64 (*.f64 (-.f64 x y) (+.f64 x y)) (+.f64 (*.f64 x x) (*.f64 y y)))
(/.f64 (fma.f64 (neg.f64 y) y (*.f64 x x)) (fma.f64 y y (*.f64 x x)))
Symmetry

(abs y)

(abs x)

Compiler

Compiled 15 to 9 computations (40% saved)

eval0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated
Compiler

Compiled 0 to 2 computations (-∞% saved)

prune1.0ms (0.1%)

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

Compiled 30 to 18 computations (40% saved)

simplify36.0ms (7%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
0915
11415
21915
32115
42215
Stop Event
1×saturated
Calls
Call 1
Inputs
(/.f64 (*.f64 (-.f64 x y) (+.f64 x y)) (+.f64 (*.f64 x x) (*.f64 y y)))
Outputs
(/.f64 (*.f64 (-.f64 x y) (+.f64 x y)) (+.f64 (*.f64 x x) (*.f64 y y)))
(/.f64 (*.f64 (+.f64 y x) (-.f64 x y)) (+.f64 (*.f64 y y) (*.f64 x x)))

soundness0.0ms (0%)

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

Compiled 15 to 9 computations (40% saved)

preprocess6.0ms (1.3%)

Memory
4.8MiB live, 4.8MiB allocated
Remove

(abs x)

(abs y)

Compiler

Compiled 264 to 152 computations (42.4% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...