Logistic regression 2

Time bar (total: 216.0ms)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze64.0ms (29.7%)

Memory
3.3MiB live, 20.0MiB allocated
Algorithm
search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
0%0%99.9%0.1%0%0%0%1
50%50%50%0.1%0%0%0%2
50%50%50%0.1%0%0%0%3
75%74.9%25%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
75%74.9%25%0.1%0%0%0%7
75%74.9%25%0.1%0%0%0%8
75%74.9%25%0.1%0%0%0%9
75%74.9%25%0.1%0%0%0%10
75%74.9%25%0.1%0%0%0%11
75%74.9%25%0.1%0%0%0%12
Compiler

Compiled 11 to 8 computations (27.3% saved)

sample73.0ms (33.9%)

Memory
-1.5MiB live, 14.4MiB allocated
Samples
45.0ms89×5exit
14.0ms260×0valid
Precisions
Click to see histograms. Total time spent on operations: 48.0ms
ival-log1p: 27.0ms (56.1% of total)
adjust: 10.0ms (20.8% of total)
ival-exp: 4.0ms (8.3% of total)
ival-mult: 3.0ms (6.2% of total)
ival-sub: 3.0ms (6.2% of total)
ival-assert: 0.0ms (0% of total)
ival-true: 0.0ms (0% of total)
Bogosity

explain25.0ms (11.5%)

Memory
0.9MiB live, 8.4MiB allocated
Confusion
Predicted +Predicted -
+10
-19236
Precision
0.05
Recall
1.0
Samples
14.0ms256×0valid
Compiler

Compiled 29 to 24 computations (17.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.0ms
ival-exp: 2.0ms (25.6% of total)
ival-log1p: 2.0ms (25.6% of total)
ival-mult: 2.0ms (25.6% of total)
ival-sub: 1.0ms (12.8% of total)
ival-true: 0.0ms (0% of total)
adjust: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

preprocess29.0ms (13.4%)

Memory
-1.3MiB live, 6.3MiB allocated
Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02251
15849
211349
322749
431149
542949
648349
751549
851849
089
0139
1229
2339
3459
4609
5849
61239
71609
82059
92319
102559
112649
02647
Stop Event
iter limit
saturated
iter limit
saturated
Calls
Call 1
Inputs
(-.f64 (log.f64 (+.f64 #s(literal 1 binary64) (exp.f64 x))) (*.f64 x y))
Outputs
(-.f64 (log.f64 (+.f64 #s(literal 1 binary64) (exp.f64 x))) (*.f64 x y))
(fma.f64 (neg.f64 y) x (log1p.f64 (exp.f64 x)))
Compiler

Compiled 9 to 8 computations (11.1% saved)

eval0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated
Compiler

Compiled 0 to 2 computations (-∞% saved)

prune1.0ms (0.3%)

Memory
0.4MiB live, 0.4MiB allocated
Alt Table
Click to see full alt table
StatusAccuracyProgram
99.9%
(-.f64 (log.f64 (+.f64 #s(literal 1 binary64) (exp.f64 x))) (*.f64 x y))
Compiler

Compiled 18 to 16 computations (11.1% saved)

simplify21.0ms (9.8%)

Memory
1.2MiB live, 18.1MiB allocated
Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
089
1189
2299
3359
4399
5409
Stop Event
saturated
Calls
Call 1
Inputs
(-.f64 (log.f64 (+.f64 #s(literal 1 binary64) (exp.f64 x))) (*.f64 x y))
Outputs
(-.f64 (log.f64 (+.f64 #s(literal 1 binary64) (exp.f64 x))) (*.f64 x y))
(-.f64 (log.f64 (+.f64 (exp.f64 x) #s(literal 1 binary64))) (*.f64 y x))

soundness0.0ms (0.1%)

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

Compiled 9 to 8 computations (11.1% saved)

preprocess3.0ms (1.2%)

Memory
1.9MiB live, 1.9MiB allocated
Compiler

Compiled 88 to 68 computations (22.7% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...