Numeric.SpecFunctions:stirlingError from math-functions-0.1.5.2

Time bar (total: 1.2s)

analyze1.0ms (0.1%)

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
0%0%99.9%0.1%0%0%0%2
100%49.9%0%0.1%0%49.9%0%3
Compiler

Compiled 16 to 11 computations (31.3% saved)

sample1.1s (88%)

Results
1.0s8216×body256valid
5.0ms40×body256infinite
Bogosity

preprocess143.0ms (11.9%)

Algorithm
1×egg-herbie
Rules
787×associate-+l-
569×distribute-neg-in
470×+-commutative
434×associate--r-
425×fma-neg
Problems
256×No Errors
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
048594
1132570
2556518
32280518
46495518
Stop Event
1×node limit
Calls
Call 1
Inputs
(-.f64 (+.f64 (-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y))) y) z)
(-.f64 (+.f64 (-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y))) y) z)
(-.f64 (+.f64 (-.f64 (neg.f64 x) (*.f64 (+.f64 y 1/2) (log.f64 y))) y) z)
(-.f64 (+.f64 (-.f64 x (*.f64 (+.f64 (neg.f64 y) 1/2) (log.f64 (neg.f64 y)))) (neg.f64 y)) z)
(-.f64 (+.f64 (-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y))) y) (neg.f64 z))
(neg.f64 (-.f64 (+.f64 (-.f64 (neg.f64 x) (*.f64 (+.f64 y 1/2) (log.f64 y))) y) z))
(neg.f64 (-.f64 (+.f64 (-.f64 x (*.f64 (+.f64 (neg.f64 y) 1/2) (log.f64 (neg.f64 y)))) (neg.f64 y)) z))
(neg.f64 (-.f64 (+.f64 (-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y))) y) (neg.f64 z)))
(-.f64 (+.f64 (-.f64 y (*.f64 (+.f64 x 1/2) (log.f64 x))) x) z)
(-.f64 (+.f64 (-.f64 z (*.f64 (+.f64 y 1/2) (log.f64 y))) y) x)
(-.f64 (+.f64 (-.f64 x (*.f64 (+.f64 z 1/2) (log.f64 z))) z) y)
Outputs
(-.f64 (+.f64 (-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y))) y) z)
(+.f64 (-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y))) (-.f64 y z))
(-.f64 x (fma.f64 (+.f64 y 1/2) (log.f64 y) (-.f64 z y)))
(+.f64 x (fma.f64 (log.f64 y) (-.f64 -1/2 y) (-.f64 y z)))
(-.f64 (+.f64 (-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y))) y) z)
(+.f64 (-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y))) (-.f64 y z))
(-.f64 x (fma.f64 (+.f64 y 1/2) (log.f64 y) (-.f64 z y)))
(+.f64 x (fma.f64 (log.f64 y) (-.f64 -1/2 y) (-.f64 y z)))
(-.f64 (+.f64 (-.f64 (neg.f64 x) (*.f64 (+.f64 y 1/2) (log.f64 y))) y) z)
(+.f64 (-.f64 (neg.f64 x) (*.f64 (+.f64 y 1/2) (log.f64 y))) (-.f64 y z))
(-.f64 (-.f64 (-.f64 y x) (*.f64 (+.f64 y 1/2) (log.f64 y))) z)
(-.f64 (-.f64 (fma.f64 (log.f64 y) (-.f64 -1/2 y) y) x) z)
(-.f64 (-.f64 y (fma.f64 (+.f64 y 1/2) (log.f64 y) x)) z)
(-.f64 (+.f64 (-.f64 x (*.f64 (+.f64 (neg.f64 y) 1/2) (log.f64 (neg.f64 y)))) (neg.f64 y)) z)
(-.f64 (-.f64 (-.f64 x (*.f64 (+.f64 1/2 (neg.f64 y)) (log.f64 (neg.f64 y)))) y) z)
(-.f64 (-.f64 x (*.f64 (-.f64 1/2 y) (log.f64 (neg.f64 y)))) (+.f64 y z))
(-.f64 x (fma.f64 (-.f64 1/2 y) (log.f64 (neg.f64 y)) (+.f64 y z)))
(-.f64 (+.f64 (-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y))) y) (neg.f64 z))
(+.f64 (-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y))) (-.f64 y (neg.f64 z)))
(+.f64 y (+.f64 (-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y))) z))
(+.f64 x (fma.f64 (log.f64 y) (-.f64 -1/2 y) (+.f64 y z)))
(+.f64 x (+.f64 y (fma.f64 (log.f64 y) (-.f64 -1/2 y) z)))
(neg.f64 (-.f64 (+.f64 (-.f64 (neg.f64 x) (*.f64 (+.f64 y 1/2) (log.f64 y))) y) z))
(neg.f64 (+.f64 (-.f64 (neg.f64 x) (*.f64 (+.f64 y 1/2) (log.f64 y))) (-.f64 y z)))
(+.f64 (neg.f64 (-.f64 (-.f64 y x) (*.f64 (+.f64 y 1/2) (log.f64 y)))) z)
(-.f64 z (-.f64 (fma.f64 (log.f64 y) (-.f64 -1/2 y) y) x))
(+.f64 x (fma.f64 (+.f64 y 1/2) (log.f64 y) (-.f64 z y)))
(neg.f64 (-.f64 (+.f64 (-.f64 x (*.f64 (+.f64 (neg.f64 y) 1/2) (log.f64 (neg.f64 y)))) (neg.f64 y)) z))
(neg.f64 (-.f64 (-.f64 (-.f64 x (*.f64 (+.f64 1/2 (neg.f64 y)) (log.f64 (neg.f64 y)))) y) z))
(+.f64 (neg.f64 (-.f64 x (+.f64 (*.f64 (-.f64 1/2 y) (log.f64 (neg.f64 y))) y))) z)
(+.f64 z (-.f64 y (fma.f64 (log.f64 (neg.f64 y)) (+.f64 y -1/2) x)))
(+.f64 z (-.f64 (fma.f64 (-.f64 1/2 y) (log.f64 (neg.f64 y)) y) x))
(neg.f64 (-.f64 (+.f64 (-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y))) y) (neg.f64 z)))
(neg.f64 (+.f64 (-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y))) (-.f64 y (neg.f64 z))))
(neg.f64 (+.f64 y (+.f64 (-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y))) z)))
(-.f64 (neg.f64 x) (fma.f64 (log.f64 y) (-.f64 -1/2 y) (+.f64 y z)))
(-.f64 (neg.f64 x) (+.f64 y (fma.f64 (log.f64 y) (-.f64 -1/2 y) z)))
(-.f64 (+.f64 (-.f64 y (*.f64 (+.f64 x 1/2) (log.f64 x))) x) z)
(+.f64 (-.f64 y (*.f64 (+.f64 x 1/2) (log.f64 x))) (-.f64 x z))
(+.f64 x (-.f64 (-.f64 y (*.f64 (+.f64 x 1/2) (log.f64 x))) z))
(+.f64 x (-.f64 (fma.f64 (log.f64 x) (-.f64 -1/2 x) y) z))
(+.f64 (-.f64 y z) (fma.f64 (log.f64 x) (-.f64 -1/2 x) x))
(-.f64 (+.f64 (-.f64 z (*.f64 (+.f64 y 1/2) (log.f64 y))) y) x)
(+.f64 (-.f64 z (*.f64 (+.f64 y 1/2) (log.f64 y))) (-.f64 y x))
(+.f64 y (-.f64 (-.f64 z (*.f64 (+.f64 y 1/2) (log.f64 y))) x))
(+.f64 y (-.f64 (fma.f64 (log.f64 y) (-.f64 -1/2 y) z) x))
(-.f64 (+.f64 (-.f64 x (*.f64 (+.f64 z 1/2) (log.f64 z))) z) y)
(-.f64 (+.f64 z (-.f64 x (*.f64 (+.f64 1/2 z) (log.f64 z)))) y)
(+.f64 (-.f64 x (*.f64 (+.f64 1/2 z) (log.f64 z))) (-.f64 z y))
(+.f64 (fma.f64 (log.f64 z) (-.f64 -1/2 z) x) (-.f64 z y))
(+.f64 x (-.f64 (fma.f64 (log.f64 z) (-.f64 -1/2 z) z) y))
Compiler

Compiled 49 to 26 computations (46.9% saved)

end0.0ms (0%)

Profiling

Loading profile data...