Numeric.SpecFunctions:logGammaCorrection from math-functions-0.1.5.2

Time bar (total: 3.3s)

analyze1.0ms (0%)

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

Compiled 9 to 7 computations (22.2% saved)

sample2.9s (87.6%)

Results
912.0ms2094×body2048valid
828.0ms2604×body256valid
589.0ms2064×body256infinite
396.0ms1022×body1024valid
142.0ms472×body512valid
Bogosity

preprocess120.0ms (3.6%)

Algorithm
1×egg-herbie
Rules
200×fma-def
38×associate-*r*
34×distribute-lft-neg-in
24×associate-*l*
22×distribute-lft-in
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01330
13330
27030
314830
423430
532430
634930
735430
835730
Stop Event
1×saturated
Calls
Call 1
Inputs
(-.f64 (*.f64 (*.f64 x x) 2) 1)
(-.f64 (*.f64 (*.f64 (neg.f64 x) (neg.f64 x)) 2) 1)
Outputs
(-.f64 (*.f64 (*.f64 x x) 2) 1)
(fma.f64 (*.f64 x x) 2 -1)
(fma.f64 x (*.f64 x 2) -1)
(-.f64 (*.f64 (*.f64 (neg.f64 x) (neg.f64 x)) 2) 1)
(fma.f64 (*.f64 x x) 2 -1)
(fma.f64 x (*.f64 x 2) -1)
Symmetry

(abs x)

Compiler

Compiled 9 to 7 computations (22.2% saved)

simplify6.0ms (0.2%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
0815
11915
22515
32615
Stop Event
1×saturated
Counts
1 → 3
Calls
Call 1
Inputs
(-.f64 (*.f64 (*.f64 x x) 2) 1)
Outputs
(-.f64 (*.f64 (*.f64 x x) 2) 1)
(fma.f64 (*.f64 x x) 2 -1)
(fma.f64 x (*.f64 x 2) -1)

eval1.0ms (0%)

Compiler

Compiled 20 to 13 computations (35% saved)

prune2.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New213
Fresh011
Picked000
Done000
Total224
Accurracy
100.0%
Counts
4 → 1
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶100.0%
(-.f64 (*.f64 (*.f64 x x) 2) 1)
▶100.0%
(-.f64 (*.f64 (*.f64 x x) 2) 1)
Compiler

Compiled 16 to 12 computations (25% saved)

localize216.0ms (6.6%)

Compiler

Compiled 20 to 11 computations (45% saved)

eval0.0ms (0%)

Compiler

Compiled 1 to 1 computations (0% saved)

prune1.0ms (0%)

Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New000
Fresh000
Picked011
Done000
Total011
Accurracy
100.0%
Counts
1 → 1
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(-.f64 (*.f64 (*.f64 x x) 2) 1)
Compiler

Compiled 16 to 12 computations (25% saved)

simplify41.0ms (1.2%)

Algorithm
1×egg-herbie
Rules
4×unsub-neg
4×sub-neg
4×neg-mul-1
4×+-commutative
4×*-commutative
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0819
11419
21819
32119
42419
52719
Stop Event
1×done
1×saturated
Calls
Call 1
Inputs
(-.f64 (*.f64 (*.f64 x x) 2) 1)
Outputs
(-.f64 (*.f64 (*.f64 x x) 2) 1)
(+.f64 (*.f64 (*.f64 x x) 2) -1)
Compiler

Compiled 8 to 6 computations (25% saved)

soundness0.0ms (0%)

end0.0ms (0%)

preprocess20.0ms (0.6%)

Remove

(abs x)

Compiler

Compiled 48 to 36 computations (25% saved)

Profiling

Loading profile data...