Numeric.SpecFunctions:logGammaCorrection from math-functions-0.1.5.2

Time bar (total: 878.0ms)

analyze0.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)

sample682.0ms (77.6%)

Results
517.0ms6132×body256valid
153.0ms2124×body256infinite
Bogosity

preprocess52.0ms (5.9%)

Algorithm
1×egg-herbie
Rules
206×fma-def
38×distribute-lft-neg-in
36×associate-*r*
30×associate-*l*
26×distribute-rgt-neg-in
Problems
256×No Errors
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01688
13888
28788
318884
429784
537584
639084
739284
Stop Event
1×saturated
Calls
Call 1
Inputs
(-.f64 (*.f64 (*.f64 x x) 2) 1)
(-.f64 (*.f64 (*.f64 x x) 2) 1)
(-.f64 (*.f64 (*.f64 (neg.f64 x) (neg.f64 x)) 2) 1)
(neg.f64 (-.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 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)
(neg.f64 (-.f64 (*.f64 (*.f64 (neg.f64 x) (neg.f64 x)) 2) 1))
(neg.f64 (fma.f64 (*.f64 x x) 2 -1))
(neg.f64 (fma.f64 x (*.f64 x 2) -1))
(fma.f64 x (*.f64 x -2) 1)
Symmetry

(abs x)

Compiler

Compiled 28 to 17 computations (39.3% saved)

eval0.0ms (0.1%)

Compiler

Compiled 13 to 9 computations (30.8% saved)

prune94.0ms (10.7%)

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)

localize25.0ms (2.8%)

Compiler

Compiled 20 to 11 computations (45% saved)

eval0.0ms (0%)

Compiler

Compiled 1 to 1 computations (0% saved)

prune2.0ms (0.2%)

Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New000
Fresh000
Picked011
Done000
Total011
Accuracy
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)

simplify2.0ms (0.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
01025
11625
22025
32325
42625
52925
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%)

preprocess21.0ms (2.4%)

Remove

(abs x)

Compiler

Compiled 48 to 36 computations (25% saved)

Profiling

Loading profile data...