Linear.Projection:perspective from linear-1.19.1.3, B

Time bar (total: 244.0ms)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze12.0ms (4.9%)

Memory
4.5MiB live, 4.5MiB allocated
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
0%0%99.9%0.1%0%0%0%1
0%0%99.9%0.1%0%0%0%2
50%50%50%0.1%0%0%0%3
50%50%50%0.1%0%0%0%4
75%74.9%25%0.1%0%0%0%5
75%74.9%25%0.1%0%0%0%6
87.5%87.4%12.5%0.1%0%0%0%7
87.5%87.4%12.5%0.1%0%0%0%8
93.8%93.7%6.2%0.1%0%0%0%9
93.8%93.7%6.2%0.1%0%0%0%10
96.9%96.8%3.1%0.1%0%0%0%11
96.9%96.8%3.1%0.1%0%0%0%12
Compiler

Compiled 11 to 9 computations (18.2% saved)

sample19.0ms (7.8%)

Memory
-2.4MiB live, 6.6MiB allocated
Samples
12.0ms260×0valid
Precisions
Click to see histograms. Total time spent on operations: 7.0ms
ival-mult: 3.0ms (44.1% of total)
ival-div: 2.0ms (29.4% of total)
ival-sub: 1.0ms (14.7% of total)
ival-true: 0.0ms (0% of total)
adjust: 0.0ms (0% of total)
exact: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)
Bogosity

explain22.0ms (8.9%)

Memory
0.0MiB live, 7.6MiB allocated
Confusion
Predicted +Predicted -
+2839
-0189
Precision
1.0
Recall
0.417910447761194
Samples
12.0ms256×0valid
Compiler

Compiled 29 to 23 computations (20.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 6.0ms
ival-mult: 3.0ms (47.8% of total)
ival-sub: 1.0ms (15.9% of total)
ival-div: 1.0ms (15.9% of total)
ival-true: 0.0ms (0% of total)
adjust: 0.0ms (0% of total)
exact: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

preprocess163.0ms (66.9%)

Memory
0.7MiB live, 8.2MiB allocated
Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01953
16245
221245
377545
4269945
5337845
6356445
7357845
8359345
9359845
10359845
11380245
12389845
13389845
14400245
15462145
079
0119
1199
2409
3649
4849
51489
63109
76829
815329
923759
1023939
1124079
1224199
1324199
024199
Stop Event
1×iter limit
1×saturated
1×iter limit
1×saturated
Calls
Call 1
Inputs
(/.f64 (*.f64 (*.f64 x #s(literal 2 binary64)) y) (-.f64 x y))
Outputs
(/.f64 (*.f64 (*.f64 x #s(literal 2 binary64)) y) (-.f64 x y))
(*.f64 (*.f64 #s(literal -2 binary64) x) (/.f64 y (-.f64 y x)))
Compiler

Compiled 9 to 7 computations (22.2% saved)

eval0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated
Compiler

Compiled 0 to 2 computations (-∞% saved)

prune1.0ms (0.2%)

Memory
0.4MiB live, 0.4MiB allocated
Alt Table
Click to see full alt table
StatusAccuracyProgram
76.0%
(/.f64 (*.f64 (*.f64 x #s(literal 2 binary64)) y) (-.f64 x y))
Compiler

Compiled 18 to 14 computations (22.2% saved)

simplify24.0ms (10%)

Memory
1.6MiB live, 18.5MiB allocated
Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
079
1119
2169
3189
4199
Stop Event
1×saturated
Calls
Call 1
Inputs
(/.f64 (*.f64 (*.f64 x #s(literal 2 binary64)) y) (-.f64 x y))
Outputs
(/.f64 (*.f64 (*.f64 x #s(literal 2 binary64)) y) (-.f64 x y))
(/.f64 (*.f64 y (*.f64 #s(literal 2 binary64) x)) (-.f64 x y))

soundness0.0ms (0.1%)

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

Compiled 9 to 7 computations (22.2% saved)

preprocess3.0ms (1.1%)

Memory
1.8MiB live, 1.8MiB allocated
Compiler

Compiled 106 to 60 computations (43.4% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...