Hyperbolic arcsine

Time bar (total: 776.0ms)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze56.0ms (7.2%)

Memory
2.1MiB live, 18.8MiB allocated
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%100%0%0%0%0%0
0%0%100%0%0%0%0%1
0%0%100%0%0%0%0%2
25%25%75%0%0%0%0%3
50%50%50%0%0%0%0%4
62.5%62.5%37.5%0%0%0%0%5
68.8%68.7%31.2%0%0%0%0%6
71.9%71.8%28.1%0%0%0%0%7
73.4%73.4%26.5%0%0%0%0%8
74.2%74.2%25.8%0%0%0%0%9
74.6%74.6%25.4%0%0%0%0%10
74.8%74.8%25.2%0%0%0%0%11
74.9%74.9%25.1%0%0%0%0%12
Compiler

Compiled 11 to 7 computations (36.4% saved)

sample49.0ms (6.3%)

Memory
2.1MiB live, 9.7MiB allocated
Samples
20.0ms153×1valid
18.0ms47×2valid
3.0ms60×0valid
Precisions
Click to see histograms. Total time spent on operations: 35.0ms
ival-log: 18.0ms (51.3% of total)
ival-hypot: 10.0ms (28.5% of total)
adjust: 4.0ms (11.4% of total)
ival-add: 2.0ms (5.7% of total)
ival-assert: 0.0ms (0% of total)
ival-true: 0.0ms (0% of total)
exact: 0.0ms (0% of total)
Bogosity

explain635.0ms (81.8%)

Memory
3.8MiB live, 135.5MiB allocated
Confusion
Predicted +Predicted -
+2240
-032
Precision
1.0
Recall
1.0
2:
4:
8:
16:
32:
64:
128:
256:
512:
1024:
2048:
Samples
245.0ms1 812×1valid
218.0ms552×2valid
38.0ms708×0valid
Compiler

Compiled 348 to 252 computations (27.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 419.0ms
ival-log: 216.0ms (51.5% of total)
ival-hypot: 122.0ms (29.1% of total)
adjust: 48.0ms (11.4% of total)
ival-add: 28.0ms (6.7% of total)
ival-true: 2.0ms (0.5% of total)
exact: 2.0ms (0.5% of total)
ival-assert: 1.0ms (0.2% of total)

preprocess14.0ms (1.8%)

Memory
-2.4MiB live, 5.2MiB allocated
Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0921
12319
24819
38819
413719
518419
621119
721419
079
0129
1169
0168
Stop Event
1×iter limit
1×saturated
1×iter limit
1×saturated
Calls
Call 1
Inputs
(log.f64 (+.f64 x (sqrt.f64 (+.f64 (*.f64 x x) #s(literal 1 binary64)))))
Outputs
(log.f64 (+.f64 x (sqrt.f64 (+.f64 (*.f64 x x) #s(literal 1 binary64)))))
(log.f64 (+.f64 (sqrt.f64 (fma.f64 x x #s(literal 1 binary64))) x))
Compiler

Compiled 9 to 7 computations (22.2% saved)

eval0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated
Compiler

Compiled 0 to 1 computations (-∞% saved)

prune1.0ms (0.1%)

Memory
0.5MiB live, 0.5MiB allocated
Alt Table
Click to see full alt table
StatusAccuracyProgram
17.0%
(log.f64 (+.f64 x (sqrt.f64 (+.f64 (*.f64 x x) #s(literal 1 binary64)))))
Compiler

Compiled 18 to 14 computations (22.2% saved)

simplify19.0ms (2.5%)

Memory
2.5MiB live, 18.4MiB allocated
Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
079
1129
Stop Event
1×saturated
Calls
Call 1
Inputs
(log.f64 (+.f64 x (sqrt.f64 (+.f64 (*.f64 x x) #s(literal 1 binary64)))))
Outputs
(log.f64 (+.f64 x (sqrt.f64 (+.f64 (*.f64 x x) #s(literal 1 binary64)))))
(log.f64 (+.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) (*.f64 x x))) x))

soundness0.0ms (0%)

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

Compiled 9 to 7 computations (22.2% saved)

preprocess2.0ms (0.3%)

Memory
1.6MiB live, 1.6MiB allocated
Compiler

Compiled 84 to 56 computations (33.3% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...