Linear.Quaternion:$ccosh from linear-1.19.1.3

Time bar (total: 639.0ms)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze9.0ms (1.4%)

Memory
3.2MiB live, 3.2MiB 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
50%50%50%0.1%0%0%0%2
50%50%50%0.1%0%0%0%3
75%74.9%25%0.1%0%0%0%4
75%74.9%25%0.1%0%0%0%5
87.5%87.4%12.5%0.1%0%0%0%6
87.5%87.4%12.5%0.1%0%0%0%7
93.8%93.7%6.2%0.1%0%0%0%8
93.8%93.7%6.2%0.1%0%0%0%9
96.9%96.8%3.1%0.1%0%0%0%10
96.9%96.8%3.1%0.1%0%0%0%11
98.4%98.3%1.6%0.1%0%0%0%12
Compiler

Compiled 9 to 8 computations (11.1% saved)

sample22.0ms (3.4%)

Memory
-1.9MiB live, 7.0MiB allocated
Samples
15.0ms260×0valid
Precisions
Click to see histograms. Total time spent on operations: 10.0ms
ival-sin: 6.0ms (59% of total)
ival-div: 2.0ms (19.7% of total)
ival-mult: 2.0ms (19.7% of total)
ival-sinh: 1.0ms (9.8% of total)
ival-true: 0.0ms (0% of total)
adjust: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)
Bogosity

explain285.0ms (44.6%)

Memory
1.0MiB live, 86.3MiB allocated
Confusion
Predicted +Predicted -
+229
-117108
Precision
0.01680672268907563
Recall
0.06451612903225806
2:
4:
8:
16:
32:
64:
128:
256:
512:
1024:
2048:
Samples
189.0ms3 072×0valid
Compiler

Compiled 276 to 240 computations (13% saved)

Precisions
Click to see histograms. Total time spent on operations: 125.0ms
ival-sin: 70.0ms (56% of total)
ival-div: 20.0ms (16% of total)
ival-mult: 19.0ms (15.2% of total)
ival-sinh: 13.0ms (10.4% of total)
ival-true: 2.0ms (1.6% of total)
adjust: 1.0ms (0.8% of total)
ival-assert: 1.0ms (0.8% of total)

preprocess282.0ms (44.1%)

Memory
7.8MiB live, 15.3MiB allocated
Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01841
16041
219237
370837
4223137
5529237
6733437
067
0107
1197
2397
3787
41637
53437
68677
717697
830257
940487
1045407
1146177
1246177
1346177
1450377
1552217
1652217
1752217
1852217
1952597
2053457
2153457
2253457
053457
Stop Event
1×iter limit
1×saturated
1×iter limit
1×node limit
Calls
Call 1
Inputs
(/.f64 (*.f64 (sin.f64 x) (sinh.f64 y)) x)
Outputs
(/.f64 (*.f64 (sin.f64 x) (sinh.f64 y)) x)
(*.f64 (/.f64 (sin.f64 x) x) (sinh.f64 y))
Symmetry

(abs x)

(negabs y)

Compiler

Compiled 7 to 6 computations (14.3% saved)

eval0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated
Compiler

Compiled 0 to 2 computations (-∞% saved)

prune1.0ms (0.2%)

Memory
-7.2MiB live, 0.5MiB allocated
Alt Table
Click to see full alt table
StatusAccuracyProgram
89.8%
(/.f64 (*.f64 (sin.f64 x) (sinh.f64 y)) x)
Compiler

Compiled 14 to 12 computations (14.3% saved)

simplify27.0ms (4.2%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
067
177
Stop Event
1×saturated
Calls
Call 1
Inputs
(/.f64 (*.f64 (sin.f64 x) (sinh.f64 y)) x)
Outputs
(/.f64 (*.f64 (sin.f64 x) (sinh.f64 y)) x)
(/.f64 (*.f64 (sinh.f64 y) (sin.f64 x)) x)

soundness0.0ms (0%)

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

Compiled 7 to 6 computations (14.3% saved)

preprocess14.0ms (2.1%)

Memory
-1.6MiB live, 6.0MiB allocated
Remove

(negabs y)

(abs x)

Compiler

Compiled 98 to 84 computations (14.3% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...