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

Time bar (total: 2.2s)

analyze59.0ms (2.7%)

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
0%0%99.9%0.1%0%0%0%4
6.7%6.2%87.4%0.1%0%6.2%0%5
27.6%25%65.6%0.1%0%9.4%0%6
43.6%37.5%48.4%0.1%0%14%0%7
56.1%46.8%36.7%0.1%0%16.4%0%8
67.6%54.6%26.1%0.1%0%19.1%0%9
75.7%60.1%19.3%0.1%0%20.5%0%10
82.6%64.4%13.6%0.1%0%22%0%11
87.2%67.3%9.9%0.1%0%22.7%0%12
Compiler

Compiled 14 to 9 computations (35.7% saved)

sample1.9s (87.9%)

Results
699.0ms1514×body1024valid
616.0ms4634×body256valid
223.0ms900×body512valid
115.0ms164×body2048valid
89.0ms666×body256infinite
60.0ms153×body1024infinite
56.0ms225×body512infinite
20.0ms230×body256invalid
Bogosity

preprocess205.0ms (9.4%)

Algorithm
1×egg-herbie
Rules
558×distribute-lft-in
476×distribute-rgt-in
431×distribute-lft-neg-in
360×associate-+r+
263×associate-/l*
Problems
153×(log.f64 (/.f64 x (+.f64 x y)))
60×No Errors
42×(*.f64 x (log.f64 (/.f64 x (+.f64 x y))))
1×(exp.f64 (*.f64 x (log.f64 (/.f64 x (+.f64 x y)))))
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
036376
180312
2164310
3400300
41218281
55083281
Stop Event
1×node limit
Calls
Call 1
Inputs
(/.f64 (exp.f64 (*.f64 x (log.f64 (/.f64 x (+.f64 x y))))) x)
(/.f64 (exp.f64 (*.f64 x (log.f64 (/.f64 x (+.f64 x y))))) x)
(/.f64 (exp.f64 (*.f64 (neg.f64 x) (log.f64 (/.f64 (neg.f64 x) (+.f64 (neg.f64 x) y))))) (neg.f64 x))
(/.f64 (exp.f64 (*.f64 x (log.f64 (/.f64 x (+.f64 x (neg.f64 y)))))) x)
(neg.f64 (/.f64 (exp.f64 (*.f64 (neg.f64 x) (log.f64 (/.f64 (neg.f64 x) (+.f64 (neg.f64 x) y))))) (neg.f64 x)))
(neg.f64 (/.f64 (exp.f64 (*.f64 x (log.f64 (/.f64 x (+.f64 x (neg.f64 y)))))) x))
(/.f64 (exp.f64 (*.f64 y (log.f64 (/.f64 y (+.f64 y x))))) y)
Outputs
(/.f64 (exp.f64 (*.f64 x (log.f64 (/.f64 x (+.f64 x y))))) x)
(/.f64 (pow.f64 (exp.f64 x) (log.f64 (/.f64 x (+.f64 x y)))) x)
(/.f64 (pow.f64 (/.f64 x (+.f64 x y)) x) x)
(/.f64 (exp.f64 (*.f64 x (log.f64 (/.f64 x (+.f64 x y))))) x)
(/.f64 (pow.f64 (exp.f64 x) (log.f64 (/.f64 x (+.f64 x y)))) x)
(/.f64 (pow.f64 (/.f64 x (+.f64 x y)) x) x)
(/.f64 (exp.f64 (*.f64 (neg.f64 x) (log.f64 (/.f64 (neg.f64 x) (+.f64 (neg.f64 x) y))))) (neg.f64 x))
(/.f64 (pow.f64 (exp.f64 (neg.f64 x)) (log.f64 (/.f64 (neg.f64 x) (+.f64 y (neg.f64 x))))) (neg.f64 x))
(/.f64 (pow.f64 (/.f64 (neg.f64 x) (-.f64 y x)) (neg.f64 x)) (neg.f64 x))
(/.f64 -1 (*.f64 x (pow.f64 (/.f64 -1 (+.f64 (/.f64 y x) -1)) x)))
(/.f64 (pow.f64 (-.f64 1 (/.f64 y x)) x) (neg.f64 x))
(/.f64 (exp.f64 (*.f64 x (log.f64 (/.f64 x (+.f64 x (neg.f64 y)))))) x)
(/.f64 (pow.f64 (exp.f64 x) (log.f64 (/.f64 x (-.f64 x y)))) x)
(/.f64 (pow.f64 (/.f64 x (-.f64 x y)) x) x)
(neg.f64 (/.f64 (exp.f64 (*.f64 (neg.f64 x) (log.f64 (/.f64 (neg.f64 x) (+.f64 (neg.f64 x) y))))) (neg.f64 x)))
(/.f64 (neg.f64 (pow.f64 (exp.f64 (neg.f64 x)) (log.f64 (/.f64 (neg.f64 x) (+.f64 y (neg.f64 x)))))) (neg.f64 x))
(neg.f64 (/.f64 (pow.f64 (/.f64 (neg.f64 x) (-.f64 y x)) (neg.f64 x)) (neg.f64 x)))
(/.f64 (/.f64 -1 (pow.f64 (/.f64 (neg.f64 x) (-.f64 y x)) x)) (neg.f64 x))
(/.f64 (pow.f64 (/.f64 -1 (+.f64 (/.f64 y x) -1)) (neg.f64 x)) x)
(/.f64 (pow.f64 (-.f64 1 (/.f64 y x)) x) x)
(neg.f64 (/.f64 (exp.f64 (*.f64 x (log.f64 (/.f64 x (+.f64 x (neg.f64 y)))))) x))
(/.f64 (neg.f64 (pow.f64 (exp.f64 x) (log.f64 (/.f64 x (-.f64 x y))))) x)
(/.f64 (neg.f64 (pow.f64 (/.f64 x (-.f64 x y)) x)) x)
(/.f64 (/.f64 -1 (pow.f64 (-.f64 1 (/.f64 y x)) x)) x)
(/.f64 (exp.f64 (*.f64 y (log.f64 (/.f64 y (+.f64 y x))))) y)
(/.f64 (pow.f64 (exp.f64 y) (log.f64 (/.f64 y (+.f64 x y)))) y)
(/.f64 (pow.f64 (/.f64 y (+.f64 x y)) y) y)
Compiler

Compiled 47 to 9 computations (80.9% saved)

end0.0ms (0%)

Profiling

Loading profile data...