Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.2, G

Time bar (total: 2.4s)

analyze120.0ms (5%)

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
0%0%99.9%0.1%0%0%0%3
25%25%74.9%0.1%0%0%0%4
25%25%74.9%0.1%0%0%0%5
37.5%37.4%62.4%0.1%0%0%0%6
43.8%43.7%56.2%0.1%0%0%0%7
43.8%43.7%56.2%0.1%0%0%0%8
53.1%53%46.8%0.1%0%0%0%9
60.7%57.7%37.4%0.1%0%4.7%0%10
60.7%57.7%37.4%0.1%0%4.7%0%11
69.2%63.2%28.1%0.1%0%8.6%0%12
Compiler

Compiled 17 to 11 computations (35.3% saved)

sample2.1s (87.9%)

Results
1.0s5855×body256valid
364.0ms832×body1024valid
207.0ms1680×body256invalid
154.0ms534×body512valid
144.0ms638×body256infinite
142.0ms231×body512infinite
67.0ms163×body1024infinite
2.0ms3×body2048valid
Bogosity

preprocess172.0ms (7.1%)

Algorithm
1×egg-herbie
Rules
1686×fma-def
1032×div-sub
532×exp-sum
490×sub-neg
454×unsub-neg
Iterations

Useful iterations: 5 (0.0ms)

IterNodesCost
056476
1114404
2210404
3456401
41374393
54329391
Stop Event
1×node limit
Calls
Call 1
Inputs
(+.f64 x (/.f64 (exp.f64 (*.f64 y (log.f64 (/.f64 y (+.f64 z y))))) y))
(+.f64 x (/.f64 (exp.f64 (*.f64 y (log.f64 (/.f64 y (+.f64 z y))))) y))
(+.f64 (neg.f64 x) (/.f64 (exp.f64 (*.f64 y (log.f64 (/.f64 y (+.f64 z y))))) y))
(+.f64 x (/.f64 (exp.f64 (*.f64 (neg.f64 y) (log.f64 (/.f64 (neg.f64 y) (+.f64 z (neg.f64 y)))))) (neg.f64 y)))
(+.f64 x (/.f64 (exp.f64 (*.f64 y (log.f64 (/.f64 y (+.f64 (neg.f64 z) y))))) y))
(+.f64 y (/.f64 (exp.f64 (*.f64 x (log.f64 (/.f64 x (+.f64 z x))))) x))
(+.f64 z (/.f64 (exp.f64 (*.f64 y (log.f64 (/.f64 y (+.f64 x y))))) y))
(+.f64 x (/.f64 (exp.f64 (*.f64 z (log.f64 (/.f64 z (+.f64 y z))))) z))
Outputs
(+.f64 x (/.f64 (exp.f64 (*.f64 y (log.f64 (/.f64 y (+.f64 z y))))) y))
(+.f64 x (/.f64 (pow.f64 (exp.f64 y) (log.f64 (/.f64 y (+.f64 y z)))) y))
(+.f64 x (/.f64 (pow.f64 (/.f64 y (+.f64 y z)) y) y))
(+.f64 x (/.f64 (exp.f64 (*.f64 y (log.f64 (/.f64 y (+.f64 z y))))) y))
(+.f64 x (/.f64 (pow.f64 (exp.f64 y) (log.f64 (/.f64 y (+.f64 y z)))) y))
(+.f64 x (/.f64 (pow.f64 (/.f64 y (+.f64 y z)) y) y))
(+.f64 (neg.f64 x) (/.f64 (exp.f64 (*.f64 y (log.f64 (/.f64 y (+.f64 z y))))) y))
(+.f64 (/.f64 (pow.f64 (exp.f64 y) (log.f64 (/.f64 y (+.f64 y z)))) y) (neg.f64 x))
(-.f64 (/.f64 (pow.f64 (/.f64 y (+.f64 y z)) y) y) x)
(+.f64 x (/.f64 (exp.f64 (*.f64 (neg.f64 y) (log.f64 (/.f64 (neg.f64 y) (+.f64 z (neg.f64 y)))))) (neg.f64 y)))
(+.f64 x (/.f64 (pow.f64 (exp.f64 (neg.f64 y)) (log.f64 (/.f64 (neg.f64 y) (-.f64 z y)))) (neg.f64 y)))
(+.f64 x (/.f64 (pow.f64 (/.f64 (neg.f64 y) (-.f64 z y)) (neg.f64 y)) (neg.f64 y)))
(+.f64 x (/.f64 (/.f64 -1 (pow.f64 (/.f64 -1 (+.f64 (/.f64 z y) -1)) y)) y))
(+.f64 x (/.f64 (pow.f64 (-.f64 1 (/.f64 z y)) y) (neg.f64 y)))
(fma.f64 -1 (/.f64 (pow.f64 (-.f64 1 (/.f64 z y)) y) y) x)
(+.f64 x (/.f64 (exp.f64 (*.f64 y (log.f64 (/.f64 y (+.f64 (neg.f64 z) y))))) y))
(+.f64 x (/.f64 (pow.f64 (exp.f64 y) (log.f64 (/.f64 y (+.f64 y (neg.f64 z))))) y))
(+.f64 x (/.f64 (pow.f64 (/.f64 y (-.f64 y z)) y) y))
(+.f64 y (/.f64 (exp.f64 (*.f64 x (log.f64 (/.f64 x (+.f64 z x))))) x))
(+.f64 y (/.f64 (exp.f64 (*.f64 x (log.f64 (/.f64 x (+.f64 x z))))) x))
(+.f64 y (/.f64 (pow.f64 (/.f64 x (+.f64 x z)) x) x))
(+.f64 z (/.f64 (exp.f64 (*.f64 y (log.f64 (/.f64 y (+.f64 x y))))) y))
(+.f64 z (/.f64 (pow.f64 (exp.f64 y) (log.f64 (/.f64 y (+.f64 x y)))) y))
(+.f64 z (/.f64 (pow.f64 (/.f64 y (+.f64 x y)) y) y))
(+.f64 x (/.f64 (exp.f64 (*.f64 z (log.f64 (/.f64 z (+.f64 y z))))) z))
(+.f64 x (/.f64 (pow.f64 (exp.f64 z) (log.f64 (/.f64 z (+.f64 y z)))) z))
(+.f64 x (/.f64 (pow.f64 (/.f64 z (+.f64 y z)) z) z))
Compiler

Compiled 124 to 22 computations (82.3% saved)

end0.0ms (0%)

Profiling

Loading profile data...