Rust f64::asinh

Time bar (total: 632.0ms)

start0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated; 0ms collecting garbage

analyze0.0ms (0%)

Memory
0.5MiB live, 0.5MiB allocated; 0ms collecting garbage
Algorithm
search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%100%0%0%0%0%0
100%100%0%0%0%0%0%1
Compiler

Compiled 4 to 4 computations (0% saved)

sample415.0ms (65.8%)

Memory
30.2MiB live, 543.9MiB allocated; 100ms collecting garbage
Samples
245.0ms8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 93.0ms
ival-asinh: 89.0ms (95.3% of total)
ival-assert: 3.0ms (3.2% of total)
adjust: 2.0ms (2.1% of total)
Bogosity

explain210.0ms (33.2%)

Memory
-19.5MiB live, 268.8MiB allocated; 36ms collecting garbage
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
1410-0-(log.f64 (+.f64 (fabs.f64 x) (sqrt.f64 (+.f64 (*.f64 x x) #s(literal 1 binary64)))))
560-0-(sqrt.f64 (+.f64 (*.f64 x x) #s(literal 1 binary64)))
00-0-#s(literal 1 binary64)
00-0-(fabs.f64 x)
00-0-(copysign.f64 (log.f64 (+.f64 (fabs.f64 x) (sqrt.f64 (+.f64 (*.f64 x x) #s(literal 1 binary64))))) x)
00-0-(*.f64 x x)
00-0-(+.f64 (*.f64 x x) #s(literal 1 binary64))
00-0-(+.f64 (fabs.f64 x) (sqrt.f64 (+.f64 (*.f64 x x) #s(literal 1 binary64))))
00-0-x
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
log.f64(log.f64 (+.f64 (fabs.f64 x) (sqrt.f64 (+.f64 (*.f64 x x) #s(literal 1 binary64)))))sensitivity1410
sqrt.f64(sqrt.f64 (+.f64 (*.f64 x x) #s(literal 1 binary64)))oflow-rescue560
(*.f64 x x)overflow56
(+.f64 (*.f64 x x) #s(literal 1 binary64))overflow56
Confusion
Predicted +Predicted -
+1970
-059
Precision
1.0
Recall
1.0
Confusion?
Predicted +Predicted MaybePredicted -
+19700
-0059
Precision?
1.0
Recall?
1.0
Freqs
test
numberfreq
059
1197
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Samples
59.0ms106×2valid
40.0ms170×1valid
22.0ms236×0valid
Compiler

Compiled 114 to 31 computations (72.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 97.0ms
ival-log: 40.0ms (41.3% of total)
ival-hypot: 20.0ms (20.6% of total)
adjust: 12.0ms (12.4% of total)
ival-add: 10.0ms (10.3% of total)
ival-copysign: 7.0ms (7.2% of total)
ival-mult: 4.0ms (4.1% of total)
ival-fabs: 3.0ms (3.1% of total)
ival-true: 1.0ms (1% of total)
ival-assert: 0.0ms (0% of total)
exact: 0.0ms (0% of total)

preprocess6.0ms (1%)

Memory
8.3MiB live, 8.3MiB allocated; 0ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
059
Stop Event
saturated

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated; 0ms collecting garbage

Profiling

Loading profile data...