Rust f64::asinh

Time bar (total: 716.0ms)

start0.0ms (0%)

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

analyze0.0ms (0%)

Memory
0.3MiB live, 0.3MiB 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)

sample410.0ms (57.3%)

Memory
-10.1MiB live, 510.7MiB allocated; 81ms collecting garbage
Samples
240.0ms8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 84.0ms
ival-asinh: 79.0ms (93.9% of total)
ival-assert: 3.0ms (3.6% of total)
adjust: 2.0ms (2.4% of total)
Bogosity

explain204.0ms (28.5%)

Memory
10.6MiB live, 242.4MiB allocated; 21ms collecting garbage
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
1420-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)))))sensitivity1420
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 -
+1980
-058
Precision
1.0
Recall
1.0
Confusion?
Predicted +Predicted MaybePredicted -
+19800
-0058
Precision?
1.0
Recall?
1.0
Freqs
test
numberfreq
058
1198
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Samples
55.0ms102×2valid
42.0ms182×1valid
23.0ms228×0valid
Compiler

Compiled 114 to 31 computations (72.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 99.0ms
ival-log: 44.0ms (44.4% of total)
ival-hypot: 19.0ms (19.2% of total)
adjust: 11.0ms (11.1% of total)
ival-copysign: 7.0ms (7.1% of total)
ival-add: 7.0ms (7.1% of total)
ival-fabs: 6.0ms (6.1% of total)
ival-mult: 4.0ms (4% of total)
ival-assert: 0.0ms (0% of total)
ival-true: 0.0ms (0% of total)
exact: 0.0ms (0% of total)

preprocess101.0ms (14.2%)

Memory
16.4MiB live, 61.5MiB allocated; 6ms collecting garbage
Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
059
0912
01612
12412
24512
38512
414412
535112
6240112
7591412
0815312
Stop Event
iter limit
node limit
iter limit
saturated

end0.0ms (0%)

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

Profiling

Loading profile data...