Numeric.SpecFunctions:incompleteGamma from math-functions-0.1.5.2, B

Time bar (total: 1.2s)

analyze11.0ms (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
50%50%50%0.1%0%0%0%2
50%50%50%0.1%0%0%0%3
66.7%50%25%0.1%0%25%0%4
66.7%50%25%0.1%0%25%0%5
80%50%12.5%0.1%0%37.5%0%6
80%50%12.5%0.1%0%37.5%0%7
88.9%50%6.2%0.1%0%43.7%0%8
88.9%50%6.2%0.1%0%43.7%0%9
94.1%50%3.1%0.1%0%46.8%0%10
94.1%50%3.1%0.1%0%46.8%0%11
97%50%1.6%0.1%0%48.4%0%12
Compiler

Compiled 17 to 14 computations (17.6% saved)

sample1.0s (87.4%)

Results
935.0ms7726×body256valid
60.0ms530×body256infinite
17.0ms215×body256invalid
Bogosity

preprocess136.0ms (11.6%)

Algorithm
1×egg-herbie
Rules
527×fma-def
412×associate-*r*
379×associate-*r/
351×distribute-lft-in
330×associate-*l*
Problems
256×No Errors
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
039382
1102324
2353316
31292288
44019288
Stop Event
1×node limit
Calls
Call 1
Inputs
(*.f64 (*.f64 3 (sqrt.f64 x)) (-.f64 (+.f64 y (/.f64 1 (*.f64 x 9))) 1))
(*.f64 (*.f64 3 (sqrt.f64 x)) (-.f64 (+.f64 y (/.f64 1 (*.f64 x 9))) 1))
(*.f64 (*.f64 3 (sqrt.f64 (neg.f64 x))) (-.f64 (+.f64 y (/.f64 1 (*.f64 (neg.f64 x) 9))) 1))
(*.f64 (*.f64 3 (sqrt.f64 x)) (-.f64 (+.f64 (neg.f64 y) (/.f64 1 (*.f64 x 9))) 1))
(neg.f64 (*.f64 (*.f64 3 (sqrt.f64 (neg.f64 x))) (-.f64 (+.f64 y (/.f64 1 (*.f64 (neg.f64 x) 9))) 1)))
(neg.f64 (*.f64 (*.f64 3 (sqrt.f64 x)) (-.f64 (+.f64 (neg.f64 y) (/.f64 1 (*.f64 x 9))) 1)))
(*.f64 (*.f64 3 (sqrt.f64 y)) (-.f64 (+.f64 x (/.f64 1 (*.f64 y 9))) 1))
Outputs
(*.f64 (*.f64 3 (sqrt.f64 x)) (-.f64 (+.f64 y (/.f64 1 (*.f64 x 9))) 1))
(*.f64 (*.f64 3 (sqrt.f64 x)) (+.f64 y (-.f64 (/.f64 1 (*.f64 x 9)) 1)))
(*.f64 (*.f64 3 (sqrt.f64 x)) (+.f64 (/.f64 1/9 x) (+.f64 y -1)))
(*.f64 (*.f64 3 (sqrt.f64 x)) (+.f64 y (+.f64 (/.f64 1/9 x) -1)))
(*.f64 (sqrt.f64 x) (fma.f64 3 y (+.f64 -3 (/.f64 1/3 x))))
(*.f64 (*.f64 3 (sqrt.f64 x)) (-.f64 (+.f64 y (/.f64 1 (*.f64 x 9))) 1))
(*.f64 (*.f64 3 (sqrt.f64 x)) (+.f64 y (-.f64 (/.f64 1 (*.f64 x 9)) 1)))
(*.f64 (*.f64 3 (sqrt.f64 x)) (+.f64 (/.f64 1/9 x) (+.f64 y -1)))
(*.f64 (*.f64 3 (sqrt.f64 x)) (+.f64 y (+.f64 (/.f64 1/9 x) -1)))
(*.f64 (sqrt.f64 x) (fma.f64 3 y (+.f64 -3 (/.f64 1/3 x))))
(*.f64 (*.f64 3 (sqrt.f64 (neg.f64 x))) (-.f64 (+.f64 y (/.f64 1 (*.f64 (neg.f64 x) 9))) 1))
(*.f64 3 (*.f64 (sqrt.f64 (neg.f64 x)) (+.f64 (+.f64 y (/.f64 1 (neg.f64 (*.f64 x 9)))) -1)))
(*.f64 3 (*.f64 (sqrt.f64 (neg.f64 x)) (+.f64 (/.f64 1/9 (neg.f64 x)) (+.f64 y -1))))
(*.f64 (sqrt.f64 (neg.f64 x)) (+.f64 -3 (*.f64 (+.f64 y (/.f64 -1/9 x)) 3)))
(*.f64 (sqrt.f64 (neg.f64 x)) (fma.f64 3 y (+.f64 -3 (/.f64 -1/3 x))))
(*.f64 (sqrt.f64 (neg.f64 x)) (fma.f64 3 (+.f64 y (/.f64 -1/9 x)) -3))
(*.f64 (*.f64 3 (sqrt.f64 x)) (-.f64 (+.f64 (neg.f64 y) (/.f64 1 (*.f64 x 9))) 1))
(*.f64 (*.f64 3 (sqrt.f64 x)) (+.f64 (neg.f64 y) (-.f64 (/.f64 1 (*.f64 x 9)) 1)))
(*.f64 (sqrt.f64 x) (*.f64 3 (+.f64 (-.f64 (/.f64 1/9 x) y) -1)))
(*.f64 (*.f64 3 (sqrt.f64 x)) (+.f64 (-.f64 (/.f64 1/9 x) y) -1))
(*.f64 (sqrt.f64 x) (fma.f64 3 (-.f64 (/.f64 1/9 x) y) -3))
(neg.f64 (*.f64 (*.f64 3 (sqrt.f64 (neg.f64 x))) (-.f64 (+.f64 y (/.f64 1 (*.f64 (neg.f64 x) 9))) 1)))
(*.f64 (*.f64 3 (sqrt.f64 (neg.f64 x))) (neg.f64 (+.f64 (+.f64 y (/.f64 1 (neg.f64 (*.f64 x 9)))) -1)))
(*.f64 (+.f64 (/.f64 1/9 (neg.f64 x)) (+.f64 y -1)) (*.f64 (sqrt.f64 (neg.f64 x)) -3))
(*.f64 (*.f64 3 (sqrt.f64 (neg.f64 x))) (-.f64 1 (+.f64 y (/.f64 -1/9 x))))
(*.f64 (sqrt.f64 (neg.f64 x)) (fma.f64 3 (-.f64 (/.f64 1/9 x) y) 3))
(neg.f64 (*.f64 (*.f64 3 (sqrt.f64 x)) (-.f64 (+.f64 (neg.f64 y) (/.f64 1 (*.f64 x 9))) 1)))
(*.f64 (*.f64 3 (sqrt.f64 x)) (neg.f64 (+.f64 (neg.f64 y) (-.f64 (/.f64 1 (*.f64 x 9)) 1))))
(*.f64 (+.f64 (-.f64 (/.f64 1/9 x) y) -1) (*.f64 (sqrt.f64 x) -3))
(*.f64 3 (*.f64 (sqrt.f64 x) (-.f64 y (+.f64 (/.f64 1/9 x) -1))))
(*.f64 (sqrt.f64 x) (fma.f64 3 y (+.f64 (/.f64 -1/3 x) 3)))
(*.f64 (sqrt.f64 x) (fma.f64 3 (+.f64 y (/.f64 -1/9 x)) 3))
(*.f64 (*.f64 3 (sqrt.f64 y)) (-.f64 (+.f64 x (/.f64 1 (*.f64 y 9))) 1))
(*.f64 (*.f64 3 (sqrt.f64 y)) (+.f64 x (-.f64 (/.f64 1 (*.f64 y 9)) 1)))
(*.f64 (sqrt.f64 y) (*.f64 3 (+.f64 x (+.f64 (/.f64 1/9 y) -1))))
(*.f64 (sqrt.f64 y) (*.f64 3 (+.f64 (/.f64 1/9 y) (+.f64 x -1))))
(*.f64 (sqrt.f64 y) (fma.f64 3 (+.f64 x (/.f64 1/9 y)) -3))
Compiler

Compiled 52 to 37 computations (28.8% saved)

end0.0ms (0%)

Profiling

Loading profile data...