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

Time bar (total: 1.2s)

analyze0.0ms (0%)

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
100%50%0%0.1%0%50%0%2
Compiler

Compiled 17 to 14 computations (17.6% saved)

sample983.0ms (80.6%)

Results
916.0ms7767×body256valid
55.0ms489×body256infinite
Bogosity

preprocess236.0ms (19.3%)

Algorithm
1×egg-herbie
Rules
457×fma-def
414×associate-/r*
391×associate--r+
365×*-commutative
350×associate-*r/
Problems
256×No Errors
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
038382
194324
2249300
3742288
41753288
53851288
65451288
76852288
Stop Event
1×node limit
Calls
Call 1
Inputs
(-.f64 (-.f64 1 (/.f64 1 (*.f64 x 9))) (/.f64 y (*.f64 3 (sqrt.f64 x))))
(-.f64 (-.f64 1 (/.f64 1 (*.f64 x 9))) (/.f64 y (*.f64 3 (sqrt.f64 x))))
(-.f64 (-.f64 1 (/.f64 1 (*.f64 (neg.f64 x) 9))) (/.f64 y (*.f64 3 (sqrt.f64 (neg.f64 x)))))
(-.f64 (-.f64 1 (/.f64 1 (*.f64 x 9))) (/.f64 (neg.f64 y) (*.f64 3 (sqrt.f64 x))))
(neg.f64 (-.f64 (-.f64 1 (/.f64 1 (*.f64 (neg.f64 x) 9))) (/.f64 y (*.f64 3 (sqrt.f64 (neg.f64 x))))))
(neg.f64 (-.f64 (-.f64 1 (/.f64 1 (*.f64 x 9))) (/.f64 (neg.f64 y) (*.f64 3 (sqrt.f64 x)))))
(-.f64 (-.f64 1 (/.f64 1 (*.f64 y 9))) (/.f64 x (*.f64 3 (sqrt.f64 y))))
Outputs
(-.f64 (-.f64 1 (/.f64 1 (*.f64 x 9))) (/.f64 y (*.f64 3 (sqrt.f64 x))))
(+.f64 (-.f64 1 (/.f64 1/9 x)) (*.f64 -1/3 (/.f64 y (sqrt.f64 x))))
(fma.f64 -1/3 (/.f64 y (sqrt.f64 x)) (+.f64 1 (/.f64 -1/9 x)))
(-.f64 1 (fma.f64 1/3 (/.f64 y (sqrt.f64 x)) (/.f64 1/9 x)))
(-.f64 1 (fma.f64 (/.f64 y (sqrt.f64 x)) 1/3 (/.f64 1/9 x)))
(-.f64 (-.f64 1 (/.f64 1 (*.f64 x 9))) (/.f64 y (*.f64 3 (sqrt.f64 x))))
(+.f64 (-.f64 1 (/.f64 1/9 x)) (*.f64 -1/3 (/.f64 y (sqrt.f64 x))))
(fma.f64 -1/3 (/.f64 y (sqrt.f64 x)) (+.f64 1 (/.f64 -1/9 x)))
(-.f64 1 (fma.f64 1/3 (/.f64 y (sqrt.f64 x)) (/.f64 1/9 x)))
(-.f64 1 (fma.f64 (/.f64 y (sqrt.f64 x)) 1/3 (/.f64 1/9 x)))
(-.f64 (-.f64 1 (/.f64 1 (*.f64 (neg.f64 x) 9))) (/.f64 y (*.f64 3 (sqrt.f64 (neg.f64 x)))))
(-.f64 (-.f64 1 (/.f64 1 (*.f64 9 (neg.f64 x)))) (/.f64 y (*.f64 3 (sqrt.f64 (neg.f64 x)))))
(-.f64 (-.f64 1 (/.f64 1/9 (neg.f64 x))) (/.f64 y (*.f64 3 (sqrt.f64 (neg.f64 x)))))
(+.f64 (/.f64 1/9 x) (+.f64 1 (/.f64 (*.f64 -1/3 y) (sqrt.f64 (neg.f64 x)))))
(+.f64 (/.f64 1/9 x) (fma.f64 (/.f64 y (sqrt.f64 (neg.f64 x))) -1/3 1))
(+.f64 1 (fma.f64 (/.f64 y (sqrt.f64 (neg.f64 x))) -1/3 (/.f64 1/9 x)))
(-.f64 (-.f64 1 (/.f64 1 (*.f64 x 9))) (/.f64 (neg.f64 y) (*.f64 3 (sqrt.f64 x))))
(-.f64 1 (+.f64 (/.f64 1 (*.f64 x 9)) (/.f64 (/.f64 (neg.f64 y) 3) (sqrt.f64 x))))
(+.f64 (-.f64 1 (/.f64 1/9 x)) (/.f64 y (*.f64 3 (sqrt.f64 x))))
(-.f64 1 (fma.f64 -1/3 (/.f64 y (sqrt.f64 x)) (/.f64 1/9 x)))
(+.f64 1 (fma.f64 1/3 (/.f64 y (sqrt.f64 x)) (/.f64 -1/9 x)))
(+.f64 1 (fma.f64 (/.f64 y (sqrt.f64 x)) 1/3 (/.f64 -1/9 x)))
(neg.f64 (-.f64 (-.f64 1 (/.f64 1 (*.f64 (neg.f64 x) 9))) (/.f64 y (*.f64 3 (sqrt.f64 (neg.f64 x))))))
(neg.f64 (-.f64 (-.f64 1 (/.f64 1 (*.f64 9 (neg.f64 x)))) (/.f64 y (*.f64 3 (sqrt.f64 (neg.f64 x))))))
(+.f64 -1 (+.f64 (/.f64 1/9 (neg.f64 x)) (/.f64 y (*.f64 3 (sqrt.f64 (neg.f64 x))))))
(+.f64 (/.f64 y (*.f64 3 (sqrt.f64 (neg.f64 x)))) (+.f64 (/.f64 -1/9 x) -1))
(-.f64 (/.f64 -1/9 x) (fma.f64 (/.f64 y (sqrt.f64 (neg.f64 x))) -1/3 1))
(fma.f64 (/.f64 y (sqrt.f64 (neg.f64 x))) 1/3 (+.f64 (/.f64 -1/9 x) -1))
(neg.f64 (-.f64 (-.f64 1 (/.f64 1 (*.f64 x 9))) (/.f64 (neg.f64 y) (*.f64 3 (sqrt.f64 x)))))
(neg.f64 (-.f64 1 (+.f64 (/.f64 1 (*.f64 x 9)) (/.f64 (/.f64 (neg.f64 y) 3) (sqrt.f64 x)))))
(+.f64 -1 (+.f64 (/.f64 1/9 x) (*.f64 -1/3 (/.f64 y (sqrt.f64 x)))))
(+.f64 (fma.f64 -1/3 (/.f64 y (sqrt.f64 x)) (/.f64 1/9 x)) -1)
(+.f64 (fma.f64 (/.f64 y (sqrt.f64 x)) -1/3 (/.f64 1/9 x)) -1)
(-.f64 -1 (fma.f64 (/.f64 y (sqrt.f64 x)) 1/3 (/.f64 -1/9 x)))
(-.f64 (-.f64 1 (/.f64 1 (*.f64 y 9))) (/.f64 x (*.f64 3 (sqrt.f64 y))))
(-.f64 (-.f64 1 (/.f64 1 (*.f64 9 y))) (/.f64 x (*.f64 3 (sqrt.f64 y))))
(-.f64 (-.f64 1 (/.f64 1/9 y)) (/.f64 x (*.f64 3 (sqrt.f64 y))))
(+.f64 (/.f64 -1/9 y) (-.f64 1 (/.f64 x (*.f64 3 (sqrt.f64 y)))))
(fma.f64 (/.f64 x (sqrt.f64 y)) -1/3 (-.f64 1 (/.f64 1/9 y)))
(+.f64 1 (fma.f64 -1/3 (/.f64 x (sqrt.f64 y)) (/.f64 -1/9 y)))
Compiler

Compiled 49 to 34 computations (30.6% saved)

end0.0ms (0%)

Profiling

Loading profile data...