Rust f32::acosh

Time bar (total: 1.0s)

analyze0.0ms (0%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%25%75%0%0%0%0
100%25%0%75%0%0%0%1
Compiler

Compiled 6 to 4 computations (33.3% saved)

sample971.0ms (95.3%)

Results
961.0ms8256×body256valid
Bogosity

preprocess13.0ms (1.3%)

Algorithm
1×egg-herbie
Rules
6×sub-neg
4×fma-def
4×+-commutative
2×*-commutative
2×associate--r+
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0614
11114
21314
31514
42014
52414
62914
Stop Event
1×saturated
Calls
Call 1
Inputs
(acosh.f32 x)
(acosh.f32 (neg.f32 x))
Outputs
(acosh.f32 x)
(acosh.f32 (neg.f32 x))
Compiler

Compiled 4 to 3 computations (25% saved)

simplify3.0ms (0.3%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
045
Stop Event
1×saturated
Counts
1 → 1
Calls
Call 1
Inputs
(acosh.f32 x)
Outputs
(acosh.f32 x)

eval0.0ms (0%)

Compiler

Compiled 3 to 2 computations (33.3% saved)

prune4.0ms (0.4%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Accurracy
99.2%
Counts
2 → 1
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶99.2%
(acosh.f32 x)
Compiler

Compiled 3 to 2 computations (33.3% saved)

localize27.0ms (2.7%)

Local Accuracy

Found 1 expressions with local accuracy:

NewAccuracyProgram
✓99.2%
(acosh.f32 x)
Compiler

Compiled 5 to 3 computations (40% saved)

series0.0ms (0%)

end0.0ms (0%)

Calls

1 calls:

TimeVariablePointExpression
0.0ms
x
@0
(acosh.f32 x)

Profiling

Loading profile data...