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

Time bar (total: 1.3s)

analyze32.0ms (2.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
25%25%74.9%0.1%0%0%0%3
37.5%37.5%62.4%0.1%0%0%0%4
56.3%56.2%43.7%0.1%0%0%0%5
62.5%62.4%37.5%0.1%0%0%0%6
71.9%71.8%28.1%0.1%0%0%0%7
76.6%76.5%23.4%0.1%0%0%0%8
83.6%83.5%16.4%0.1%0%0%0%9
87.1%87%12.9%0.1%0%0%0%10
91.2%91.1%8.8%0.1%0%0%0%11
93.3%93.2%6.7%0.1%0%0%0%12
Compiler

Compiled 20 to 10 computations (50% saved)

sample809.0ms (64.1%)

Results
799.0ms8256×body256valid
Bogosity

preprocess422.0ms (33.4%)

Algorithm
1×egg-herbie
Rules
543×associate-/r/
481×*-commutative
416×associate-/l/
315×associate-/l*
264×associate-+r-
Problems
168×No Errors
88×(/.f64 (*.f64 x y) (*.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (+.f64 (+.f64 x y) 1)))
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
037559
1167519
2668491
33978491
Stop Event
1×node limit
Calls
Call 1
Inputs
(/.f64 (*.f64 x y) (*.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (+.f64 (+.f64 x y) 1)))
(/.f64 (*.f64 x y) (*.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (+.f64 (+.f64 x y) 1)))
(/.f64 (*.f64 (neg.f64 x) y) (*.f64 (*.f64 (+.f64 (neg.f64 x) y) (+.f64 (neg.f64 x) y)) (+.f64 (+.f64 (neg.f64 x) y) 1)))
(/.f64 (*.f64 x (neg.f64 y)) (*.f64 (*.f64 (+.f64 x (neg.f64 y)) (+.f64 x (neg.f64 y))) (+.f64 (+.f64 x (neg.f64 y)) 1)))
(neg.f64 (/.f64 (*.f64 (neg.f64 x) y) (*.f64 (*.f64 (+.f64 (neg.f64 x) y) (+.f64 (neg.f64 x) y)) (+.f64 (+.f64 (neg.f64 x) y) 1))))
(neg.f64 (/.f64 (*.f64 x (neg.f64 y)) (*.f64 (*.f64 (+.f64 x (neg.f64 y)) (+.f64 x (neg.f64 y))) (+.f64 (+.f64 x (neg.f64 y)) 1))))
(/.f64 (*.f64 y x) (*.f64 (*.f64 (+.f64 y x) (+.f64 y x)) (+.f64 (+.f64 y x) 1)))
Outputs
(/.f64 (*.f64 x y) (*.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (+.f64 (+.f64 x y) 1)))
(*.f64 (/.f64 x (*.f64 (+.f64 x y) (+.f64 x y))) (/.f64 y (+.f64 x (+.f64 y 1))))
(*.f64 x (/.f64 y (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3))))
(/.f64 x (/.f64 (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3)) y))
(/.f64 (*.f64 x y) (*.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (+.f64 (+.f64 x y) 1)))
(*.f64 (/.f64 x (*.f64 (+.f64 x y) (+.f64 x y))) (/.f64 y (+.f64 x (+.f64 y 1))))
(*.f64 x (/.f64 y (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3))))
(/.f64 x (/.f64 (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3)) y))
(/.f64 (*.f64 (neg.f64 x) y) (*.f64 (*.f64 (+.f64 (neg.f64 x) y) (+.f64 (neg.f64 x) y)) (+.f64 (+.f64 (neg.f64 x) y) 1)))
(*.f64 (/.f64 (neg.f64 x) (*.f64 (+.f64 y (neg.f64 x)) (+.f64 y (neg.f64 x)))) (/.f64 y (+.f64 1 (+.f64 y (neg.f64 x)))))
(*.f64 (/.f64 (neg.f64 x) (*.f64 (-.f64 y x) (-.f64 y x))) (/.f64 y (+.f64 1 (-.f64 y x))))
(/.f64 (*.f64 x (neg.f64 y)) (fma.f64 (-.f64 y x) (-.f64 y x) (pow.f64 (-.f64 y x) 3)))
(*.f64 (neg.f64 x) (/.f64 y (fma.f64 (-.f64 y x) (-.f64 y x) (pow.f64 (-.f64 y x) 3))))
(/.f64 (*.f64 x (neg.f64 y)) (*.f64 (*.f64 (+.f64 x (neg.f64 y)) (+.f64 x (neg.f64 y))) (+.f64 (+.f64 x (neg.f64 y)) 1)))
(/.f64 (*.f64 x (neg.f64 y)) (*.f64 (-.f64 x y) (*.f64 (-.f64 x y) (+.f64 1 (-.f64 x y)))))
(*.f64 (/.f64 x (*.f64 (-.f64 x y) (-.f64 x y))) (/.f64 (neg.f64 y) (+.f64 1 (-.f64 x y))))
(*.f64 (/.f64 y (fma.f64 (-.f64 x y) (-.f64 x y) (pow.f64 (-.f64 x y) 3))) (neg.f64 x))
(*.f64 y (/.f64 (neg.f64 x) (fma.f64 (-.f64 x y) (-.f64 x y) (pow.f64 (-.f64 x y) 3))))
(neg.f64 (/.f64 (*.f64 (neg.f64 x) y) (*.f64 (*.f64 (+.f64 (neg.f64 x) y) (+.f64 (neg.f64 x) y)) (+.f64 (+.f64 (neg.f64 x) y) 1))))
(/.f64 (neg.f64 (*.f64 x (neg.f64 y))) (*.f64 (*.f64 (+.f64 y (neg.f64 x)) (+.f64 y (neg.f64 x))) (+.f64 1 (+.f64 y (neg.f64 x)))))
(/.f64 (*.f64 x y) (+.f64 (*.f64 (-.f64 y x) (-.f64 y x)) (pow.f64 (-.f64 y x) 3)))
(*.f64 (/.f64 x (fma.f64 (-.f64 y x) (-.f64 y x) (pow.f64 (-.f64 y x) 3))) y)
(*.f64 y (/.f64 x (fma.f64 (-.f64 y x) (-.f64 y x) (pow.f64 (-.f64 y x) 3))))
(neg.f64 (/.f64 (*.f64 x (neg.f64 y)) (*.f64 (*.f64 (+.f64 x (neg.f64 y)) (+.f64 x (neg.f64 y))) (+.f64 (+.f64 x (neg.f64 y)) 1))))
(/.f64 (neg.f64 (*.f64 x (neg.f64 y))) (*.f64 (-.f64 x y) (*.f64 (-.f64 x y) (+.f64 1 (-.f64 x y)))))
(/.f64 (*.f64 x y) (+.f64 (*.f64 (-.f64 x y) (-.f64 x y)) (pow.f64 (-.f64 x y) 3)))
(/.f64 (*.f64 x y) (fma.f64 (-.f64 x y) (-.f64 x y) (pow.f64 (-.f64 x y) 3)))
(*.f64 (/.f64 y (fma.f64 (-.f64 x y) (-.f64 x y) (pow.f64 (-.f64 x y) 3))) x)
(/.f64 (*.f64 y x) (*.f64 (*.f64 (+.f64 y x) (+.f64 y x)) (+.f64 (+.f64 y x) 1)))
(*.f64 (/.f64 x (*.f64 (+.f64 x y) (+.f64 x y))) (/.f64 y (+.f64 x (+.f64 y 1))))
(*.f64 x (/.f64 y (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3))))
(/.f64 x (/.f64 (fma.f64 (+.f64 x y) (+.f64 x y) (pow.f64 (+.f64 x y) 3)) y))
Symmetry

(sort x y)

Compiler

Compiled 54 to 16 computations (70.4% saved)

end0.0ms (0%)

Profiling

Loading profile data...