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

Time bar (total: 1.2s)

analyze125.0ms (10.2%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.8%0.2%0%0%0%0
0%0%99.8%0.2%0%0%0%1
0%0%99.8%0.2%0%0%0%2
0%0%99.8%0.2%0%0%0%3
0%0%99.8%0.2%0%0%0%4
0%0%99.8%0.2%0%0%0%5
0%0%99.8%0.2%0%0%0%6
0%0%99.8%0.2%0%0%0%7
50%49.9%49.9%0.2%0%0%0%8
50%49.9%49.9%0.2%0%0%0%9
50%49.9%49.9%0.2%0%0%0%10
50%49.9%49.9%0.2%0%0%0%11
75%74.9%25%0.2%0%0%0%12
Compiler

Compiled 16 to 11 computations (31.3% saved)

sample962.0ms (78.6%)

Results
760.0ms6549×body256valid
192.0ms1707×body256infinite
Bogosity

preprocess138.0ms (11.3%)

Algorithm
1×egg-herbie
Rules
618×associate-/r*
474×associate-/r/
433×*-commutative
386×fma-neg
340×associate-/l/
Problems
244×No Errors
12×(*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
063776
1135760
2341752
31184748
44182736
Stop Event
1×node limit
Calls
Call 1
Inputs
(*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))
(*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))
(*.f64 (neg.f64 x) (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))
(*.f64 x (-.f64 (/.f64 (neg.f64 y) z) (/.f64 t (-.f64 1 z))))
(*.f64 x (-.f64 (/.f64 y (neg.f64 z)) (/.f64 t (-.f64 1 (neg.f64 z)))))
(*.f64 x (-.f64 (/.f64 y z) (/.f64 (neg.f64 t) (-.f64 1 z))))
(neg.f64 (*.f64 (neg.f64 x) (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))))
(neg.f64 (*.f64 x (-.f64 (/.f64 (neg.f64 y) z) (/.f64 t (-.f64 1 z)))))
(neg.f64 (*.f64 x (-.f64 (/.f64 y (neg.f64 z)) (/.f64 t (-.f64 1 (neg.f64 z))))))
(neg.f64 (*.f64 x (-.f64 (/.f64 y z) (/.f64 (neg.f64 t) (-.f64 1 z)))))
(*.f64 y (-.f64 (/.f64 x z) (/.f64 t (-.f64 1 z))))
(*.f64 z (-.f64 (/.f64 y x) (/.f64 t (-.f64 1 x))))
(*.f64 t (-.f64 (/.f64 y z) (/.f64 x (-.f64 1 z))))
(*.f64 x (-.f64 (/.f64 z y) (/.f64 t (-.f64 1 y))))
(*.f64 x (-.f64 (/.f64 t z) (/.f64 y (-.f64 1 z))))
(*.f64 x (-.f64 (/.f64 y t) (/.f64 z (-.f64 1 t))))
Outputs
(*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))
(*.f64 x (+.f64 (/.f64 y z) (/.f64 t (+.f64 z -1))))
(*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))
(*.f64 x (+.f64 (/.f64 y z) (/.f64 t (+.f64 z -1))))
(*.f64 (neg.f64 x) (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))
(*.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))) (neg.f64 x))
(*.f64 x (-.f64 (/.f64 t (-.f64 1 z)) (/.f64 y z)))
(*.f64 x (-.f64 (/.f64 (neg.f64 y) z) (/.f64 t (-.f64 1 z))))
(*.f64 x (-.f64 (/.f64 y (neg.f64 z)) (/.f64 t (-.f64 1 z))))
(*.f64 x (-.f64 (/.f64 t (+.f64 z -1)) (/.f64 y z)))
(*.f64 x (-.f64 (/.f64 y (neg.f64 z)) (/.f64 t (-.f64 1 (neg.f64 z)))))
(*.f64 x (-.f64 (/.f64 y (neg.f64 z)) (/.f64 t (+.f64 z 1))))
(*.f64 x (-.f64 (/.f64 t (-.f64 -1 z)) (/.f64 y z)))
(*.f64 x (-.f64 (/.f64 y z) (/.f64 (neg.f64 t) (-.f64 1 z))))
(*.f64 x (+.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))
(neg.f64 (*.f64 (neg.f64 x) (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))))
(*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))
(*.f64 x (+.f64 (/.f64 y z) (/.f64 t (+.f64 z -1))))
(neg.f64 (*.f64 x (-.f64 (/.f64 (neg.f64 y) z) (/.f64 t (-.f64 1 z)))))
(*.f64 x (-.f64 (/.f64 y z) (/.f64 (neg.f64 t) (-.f64 1 z))))
(*.f64 x (+.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))
(neg.f64 (*.f64 x (-.f64 (/.f64 y (neg.f64 z)) (/.f64 t (-.f64 1 (neg.f64 z))))))
(*.f64 (neg.f64 x) (-.f64 (/.f64 y (neg.f64 z)) (/.f64 t (-.f64 1 (neg.f64 z)))))
(*.f64 (neg.f64 x) (-.f64 (/.f64 y (neg.f64 z)) (/.f64 t (+.f64 z 1))))
(*.f64 x (-.f64 (/.f64 t (+.f64 z 1)) (/.f64 y (neg.f64 z))))
(*.f64 x (+.f64 (/.f64 y z) (/.f64 t (+.f64 z 1))))
(neg.f64 (*.f64 x (-.f64 (/.f64 y z) (/.f64 (neg.f64 t) (-.f64 1 z)))))
(*.f64 x (-.f64 (/.f64 (neg.f64 y) z) (/.f64 t (-.f64 1 z))))
(*.f64 x (-.f64 (/.f64 y (neg.f64 z)) (/.f64 t (-.f64 1 z))))
(*.f64 x (-.f64 (/.f64 t (+.f64 z -1)) (/.f64 y z)))
(*.f64 y (-.f64 (/.f64 x z) (/.f64 t (-.f64 1 z))))
(*.f64 y (+.f64 (/.f64 t (+.f64 z -1)) (/.f64 x z)))
(*.f64 z (-.f64 (/.f64 y x) (/.f64 t (-.f64 1 x))))
(*.f64 z (+.f64 (/.f64 y x) (/.f64 t (+.f64 x -1))))
(*.f64 t (-.f64 (/.f64 y z) (/.f64 x (-.f64 1 z))))
(*.f64 t (+.f64 (/.f64 y z) (/.f64 x (+.f64 z -1))))
(*.f64 x (-.f64 (/.f64 z y) (/.f64 t (-.f64 1 y))))
(*.f64 x (+.f64 (/.f64 z y) (/.f64 t (+.f64 y -1))))
(*.f64 x (-.f64 (/.f64 t z) (/.f64 y (-.f64 1 z))))
(*.f64 x (+.f64 (/.f64 t z) (/.f64 y (+.f64 z -1))))
(*.f64 x (-.f64 (/.f64 y t) (/.f64 z (-.f64 1 t))))
Symmetry

(negabs x)

Compiler

Compiled 41 to 21 computations (48.8% saved)

end0.0ms (0%)

Profiling

Loading profile data...