Numeric.SpecFunctions:logGammaCorrection from math-functions-0.1.5.2

Time bar (total: 720.0ms)

analyze0.0ms (0%)

Algorithm
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)

sample650.0ms (90.2%)

Results
493.0ms6201×body256valid
146.0ms2055×body256infinite
Bogosity

preprocess70.0ms (9.7%)

Algorithm
egg-herbie
Rules
96×fma-def
47×associate-*r*
34×*-commutative
31×associate-*l*
20×+-commutative
Problems
256×No Errors
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01688
14188
28388
320584
436084
544084
645584
745784
Stop Event
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))
(-.f64 1 (*.f64 2 (*.f64 x x)))
(fma.f64 x (*.f64 x -2) 1)
Symmetry

(abs x)

Compiler

Compiled 20 to 11 computations (45% saved)

end0.0ms (0%)

Profiling

Loading profile data...