Hyperbolic arc-cosine

Time bar (total: 834.0ms)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze58.0ms (7%)

Memory
2.9MiB live, 19.6MiB 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
0%0%100%0%0%0%0%3
16.7%12.5%62.5%0%0%25%0%4
30%18.7%43.7%0%0%37.5%0%5
38.9%21.9%34.4%0%0%43.7%0%6
44.1%23.4%29.7%0%0%46.9%0%7
47%24.2%27.3%0%0%48.4%0%8
48.5%24.6%26.2%0%0%49.2%0%9
49.2%24.8%25.6%0%0%49.6%0%10
49.6%24.9%25.3%0%0%49.8%0%11
49.8%24.9%25.1%0%0%49.9%0%12
Compiler

Compiled 11 to 9 computations (18.2% saved)

sample57.0ms (6.8%)

Memory
3.0MiB live, 18.6MiB allocated
Samples
29.0ms257×1invalid
13.0ms260×0valid
1.0ms10×0invalid
Precisions
Click to see histograms. Total time spent on operations: 32.0ms
adjust: 7.0ms (22% of total)
ival-sqrt: 6.0ms (18.9% of total)
ival-mult: 6.0ms (18.9% of total)
ival-log: 6.0ms (18.9% of total)
ival-sub: 3.0ms (9.4% of total)
ival-add: 3.0ms (9.4% of total)
ival-assert: 0.0ms (0% of total)
ival-true: 0.0ms (0% of total)
exact: 0.0ms (0% of total)
Bogosity

explain284.0ms (34%)

Memory
3.9MiB live, 103.6MiB allocated
Confusion
Predicted +Predicted -
+1260
-0130
Precision
1.0
Recall
1.0
2:
4:
8:
16:
32:
64:
128:
256:
512:
1024:
2048:
Samples
163.0ms3 072×0valid
Compiler

Compiled 348 to 276 computations (20.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 105.0ms
ival-log: 29.0ms (27.6% of total)
ival-mult: 24.0ms (22.8% of total)
ival-sqrt: 18.0ms (17.1% of total)
ival-add: 14.0ms (13.3% of total)
ival-sub: 14.0ms (13.3% of total)
ival-true: 2.0ms (1.9% of total)
exact: 2.0ms (1.9% of total)
adjust: 1.0ms (1% of total)
ival-assert: 1.0ms (1% of total)

preprocess414.0ms (49.6%)

Memory
3.9MiB live, 56.7MiB allocated
Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0921
12719
25919
313019
429519
557919
6108819
7167719
8302119
9411819
10505919
11548719
12572719
13579919
14588319
15647519
16756519
17762119
18771919
19775319
20776919
079
0129
1219
2259
3409
4719
51329
62929
75729
820459
931559
1044339
1151069
1254089
1355939
1456959
1560149
1665609
1776719
080918
Stop Event
1×iter limit
1×node limit
1×iter limit
1×node limit
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
52.3%
(log.f64 (+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) #s(literal 1 binary64)))))
Compiler

Compiled 18 to 14 computations (22.2% saved)

simplify20.0ms (2.4%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
079
1139
2179
3209
4239
5269
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 (*.f64 x x) #s(literal 1 binary64))) x))

soundness0.0ms (0%)

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

Compiled 9 to 7 computations (22.2% saved)

preprocess0.0ms (0.1%)

Memory
0.3MiB live, 0.3MiB allocated
Compiler

Compiled 36 to 28 computations (22.2% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...