Numeric.SpecFunctions:invIncompleteGamma from math-functions-0.1.5.2, A

Time bar (total: 806.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 11 to 9 computations (18.2% saved)

sample686.0ms (85.1%)

Results
473.0ms6210×body256valid
203.0ms2046×body256infinite
Bogosity

preprocess120.0ms (14.9%)

Algorithm
1×egg-herbie
Rules
484×fma-def
128×associate-*r*
120×associate-+r+
112×associate--r+
99×associate-+l-
Problems
256×No Errors
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
019136
160116
2187104
349292
4125492
5193492
6205492
7209492
8210192
Stop Event
1×saturated
Calls
Call 1
Inputs
(-.f64 1 (*.f64 x (+.f64 253/1000 (*.f64 x 3/25))))
(-.f64 1 (*.f64 x (+.f64 253/1000 (*.f64 x 3/25))))
(-.f64 1 (*.f64 (neg.f64 x) (+.f64 253/1000 (*.f64 (neg.f64 x) 3/25))))
(neg.f64 (-.f64 1 (*.f64 (neg.f64 x) (+.f64 253/1000 (*.f64 (neg.f64 x) 3/25)))))
Outputs
(-.f64 1 (*.f64 x (+.f64 253/1000 (*.f64 x 3/25))))
(-.f64 1 (*.f64 x (fma.f64 x 3/25 253/1000)))
(fma.f64 x (fma.f64 x -3/25 -253/1000) 1)
(-.f64 1 (*.f64 x (+.f64 253/1000 (*.f64 x 3/25))))
(-.f64 1 (*.f64 x (fma.f64 x 3/25 253/1000)))
(fma.f64 x (fma.f64 x -3/25 -253/1000) 1)
(-.f64 1 (*.f64 (neg.f64 x) (+.f64 253/1000 (*.f64 (neg.f64 x) 3/25))))
(+.f64 1 (*.f64 x (+.f64 253/1000 (*.f64 3/25 (neg.f64 x)))))
(+.f64 1 (*.f64 x (+.f64 253/1000 (*.f64 x -3/25))))
(fma.f64 x (fma.f64 x -3/25 253/1000) 1)
(neg.f64 (-.f64 1 (*.f64 (neg.f64 x) (+.f64 253/1000 (*.f64 (neg.f64 x) 3/25)))))
(neg.f64 (+.f64 1 (*.f64 x (+.f64 253/1000 (*.f64 3/25 (neg.f64 x))))))
(-.f64 -1 (*.f64 x (+.f64 253/1000 (*.f64 x -3/25))))
(-.f64 -1 (*.f64 x (fma.f64 x -3/25 253/1000)))
(fma.f64 x (fma.f64 x 3/25 -253/1000) -1)
Compiler

Compiled 30 to 23 computations (23.3% saved)

end0.0ms (0%)

Profiling

Loading profile data...