Numeric.SpecFunctions:choose from math-functions-0.1.5.2

Time bar (total: 471.0ms)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze31.0ms (6.6%)

Memory
3.9MiB live, 12.8MiB 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
0%0%99.9%0.1%0%0%0%3
50%49.9%49.9%0.1%0%0%0%4
50%49.9%49.9%0.1%0%0%0%5
50%49.9%49.9%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
87.5%87.4%12.5%0.1%0%0%0%10
87.5%87.4%12.5%0.1%0%0%0%11
87.5%87.4%12.5%0.1%0%0%0%12
Compiler

Compiled 9 to 8 computations (11.1% saved)

sample17.0ms (3.5%)

Memory
-1.7MiB live, 6.0MiB allocated
Samples
10.0ms260×0valid
Precisions
Click to see histograms. Total time spent on operations: 5.0ms
ival-div: 2.0ms (41.5% of total)
ival-mult: 2.0ms (41.5% of total)
ival-add: 1.0ms (20.7% of total)
ival-true: 0.0ms (0% of total)
adjust: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)
Bogosity

explain218.0ms (46.2%)

Memory
2.2MiB live, 79.4MiB allocated
Confusion
Predicted +Predicted -
+2611
-40179
Precision
0.3939393939393939
Recall
0.7027027027027027
2:
4:
8:
16:
32:
64:
128:
256:
512:
1024:
2048:
Samples
126.0ms3 072×0valid
Compiler

Compiled 276 to 240 computations (13% saved)

Precisions
Click to see histograms. Total time spent on operations: 59.0ms
ival-div: 19.0ms (32.2% of total)
ival-mult: 19.0ms (32.2% of total)
ival-add: 17.0ms (28.8% of total)
ival-true: 2.0ms (3.4% of total)
adjust: 1.0ms (1.7% of total)
ival-assert: 1.0ms (1.7% of total)

preprocess173.0ms (36.8%)

Memory
3.0MiB live, 24.2MiB allocated
Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02772
110666
228164
393464
4266963
5501063
6576063
7586163
8595763
9608663
10622163
067
097
1197
2247
3257
4337
5357
6397
7467
8517
91607
105537
1123707
1237737
1339257
1440107
1541117
1642467
1744067
1860217
1970467
080416
Stop Event
1×iter limit
1×node limit
1×iter limit
1×node limit
Calls
Call 1
Inputs
(/.f64 (*.f64 x (+.f64 y z)) z)
Outputs
(/.f64 (*.f64 x (+.f64 y z)) z)
(fma.f64 y (/.f64 x z) x)
Symmetry

(negabs x)

Compiler

Compiled 7 to 6 computations (14.3% saved)

eval0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated
Compiler

Compiled 0 to 3 computations (-∞% saved)

prune1.0ms (0.1%)

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

Compiled 14 to 12 computations (14.3% saved)

simplify26.0ms (5.6%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
067
187
Stop Event
1×saturated
Calls
Call 1
Inputs
(/.f64 (*.f64 x (+.f64 y z)) z)
Outputs
(/.f64 (*.f64 x (+.f64 y z)) z)
(/.f64 (*.f64 (+.f64 z y) x) z)

soundness0.0ms (0%)

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

Compiled 7 to 6 computations (14.3% saved)

preprocess5.0ms (1.1%)

Memory
-5.2MiB live, 2.5MiB allocated
Remove

(negabs x)

Compiler

Compiled 70 to 60 computations (14.3% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...