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

Time bar (total: 2.5s)

analyze195.0ms (7.9%)

Memory
4.6MiB live, 355.7MiB allocated
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.7%0.3%0%0%0%0
0%0%99.7%0.3%0%0%0%1
0%0%99.7%0.3%0%0%0%2
0%0%99.7%0.3%0%0%0%3
0%0%49.9%0.3%0%49.9%0%4
0%0%49.9%0.3%0%49.9%0%5
0%0%49.9%0.3%0%49.9%0%6
0%0%49.9%0.3%0%49.9%0%7
0%0%49.9%0.3%0%49.9%0%8
0%0%49.9%0.3%0%49.9%0%9
0%0%24.9%0.3%0%74.8%0%10
0%0%24.9%0.3%0%74.8%0%11
0%0%24.9%0.3%0%74.8%0%12
Compiler

Compiled 20 to 19 computations (5% saved)

sample1.9s (76.7%)

Memory
20.9MiB live, 2 562.1MiB allocated
Samples
1.1s7 628×0valid
362.0ms628×1valid
0.0ms5×0invalid
Precisions
Click to see histograms. Total time spent on operations: 1.1s
ival-log: 489.0ms (43.5% of total)
ival-sub: 237.0ms (21.1% of total)
ival-mult: 213.0ms (18.9% of total)
ival-add: 82.0ms (7.3% of total)
ival-exp: 75.0ms (6.7% of total)
adjust: 14.0ms (1.2% of total)
ival-true: 7.0ms (0.6% of total)
exact: 6.0ms (0.5% of total)
ival-assert: 3.0ms (0.3% of total)
Bogosity

preprocess382.0ms (15.4%)

Memory
-35.4MiB live, 312.6MiB allocated
Algorithm
2×egg-herbie
Rules
2 304×accelerator-lowering-fma.f32
2 304×accelerator-lowering-fma.f64
1 460×*-lowering-*.f32
1 460×*-lowering-*.f64
1 132×distribute-lft-in
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0160522
1371512
2926512
33262484
47745484
01718
13218
26718
315517
432117
567017
6146117
7239817
8363617
9424017
10448017
11470717
12475417
13485917
14494817
15499617
16500017
17500617
18500817
19500817
20500817
0500816
Stop Event
1×iter limit
1×saturated
1×node limit
Calls
Call 1
Inputs
(* x (exp (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) b)))))
Outputs
(* x (exp (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) b)))))
(*.f64 x (exp.f64 (fma.f64 a (-.f64 (log.f64 (-.f64 #s(literal 1 binary64) z)) b) (fma.f64 y (-.f64 (log.f64 z) t) #s(literal 0 binary64)))))
Call 2
Inputs
(* x (exp (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) b)))))
(* (neg x) (exp (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) b)))))
(* x (exp (+ (* (neg y) (- (log z) t)) (* a (- (log (- 1 z)) b)))))
(* x (exp (+ (* y (- (log (neg z)) t)) (* a (- (log (- 1 (neg z))) b)))))
(* x (exp (+ (* y (- (log z) (neg t))) (* a (- (log (- 1 z)) b)))))
(* x (exp (+ (* y (- (log z) t)) (* (neg a) (- (log (- 1 z)) b)))))
(* x (exp (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) (neg b))))))
(neg (* (neg x) (exp (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) b))))))
(neg (* x (exp (+ (* (neg y) (- (log z) t)) (* a (- (log (- 1 z)) b))))))
(neg (* x (exp (+ (* y (- (log (neg z)) t)) (* a (- (log (- 1 (neg z))) b))))))
(neg (* x (exp (+ (* y (- (log z) (neg t))) (* a (- (log (- 1 z)) b))))))
(neg (* x (exp (+ (* y (- (log z) t)) (* (neg a) (- (log (- 1 z)) b))))))
(neg (* x (exp (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) (neg b)))))))
(* y (exp (+ (* x (- (log z) t)) (* a (- (log (- 1 z)) b)))))
(* z (exp (+ (* y (- (log x) t)) (* a (- (log (- 1 x)) b)))))
(* t (exp (+ (* y (- (log z) x)) (* a (- (log (- 1 z)) b)))))
(* a (exp (+ (* y (- (log z) t)) (* x (- (log (- 1 z)) b)))))
(* b (exp (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) x)))))
(* x (exp (+ (* z (- (log y) t)) (* a (- (log (- 1 y)) b)))))
(* x (exp (+ (* t (- (log z) y)) (* a (- (log (- 1 z)) b)))))
(* x (exp (+ (* a (- (log z) t)) (* y (- (log (- 1 z)) b)))))
(* x (exp (+ (* b (- (log z) t)) (* a (- (log (- 1 z)) y)))))
(* x (exp (+ (* y (- (log t) z)) (* a (- (log (- 1 t)) b)))))
(* x (exp (+ (* y (- (log a) t)) (* z (- (log (- 1 a)) b)))))
(* x (exp (+ (* y (- (log b) t)) (* a (- (log (- 1 b)) z)))))
(* x (exp (+ (* y (- (log z) a)) (* t (- (log (- 1 z)) b)))))
(* x (exp (+ (* y (- (log z) b)) (* a (- (log (- 1 z)) t)))))
(* x (exp (+ (* y (- (log z) t)) (* b (- (log (- 1 z)) a)))))
Outputs
(* x (exp (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) b)))))
(* (pow (/ z (exp t)) y) (* x (pow (/ (- 1 z) (exp b)) a)))
(* (neg x) (exp (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) b)))))
(* (pow (/ z (exp t)) y) (* (neg x) (pow (/ (- 1 z) (exp b)) a)))
(* x (exp (+ (* (neg y) (- (log z) t)) (* a (- (log (- 1 z)) b)))))
(* x (/ (pow (/ (- 1 z) (exp b)) a) (pow (/ z (exp t)) y)))
(* x (exp (+ (* y (- (log (neg z)) t)) (* a (- (log (- 1 (neg z))) b)))))
(* x (* (pow (/ (neg z) (exp t)) y) (pow (/ (+ z 1) (exp b)) a)))
(* x (exp (+ (* y (- (log z) (neg t))) (* a (- (log (- 1 z)) b)))))
(* (pow (* z (exp t)) y) (* x (pow (/ (- 1 z) (exp b)) a)))
(* x (exp (+ (* y (- (log z) t)) (* (neg a) (- (log (- 1 z)) b)))))
(* x (/ (pow (/ z (exp t)) y) (pow (/ (- 1 z) (exp b)) a)))
(* x (exp (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) (neg b))))))
(* x (* (pow (/ z (exp t)) y) (pow (* (exp b) (- 1 z)) a)))
(neg (* (neg x) (exp (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) b))))))
(* (pow (/ z (exp t)) y) (* x (pow (/ (- 1 z) (exp b)) a)))
(neg (* x (exp (+ (* (neg y) (- (log z) t)) (* a (- (log (- 1 z)) b))))))
(* (neg x) (/ (pow (/ (- 1 z) (exp b)) a) (pow (/ z (exp t)) y)))
(neg (* x (exp (+ (* y (- (log (neg z)) t)) (* a (- (log (- 1 (neg z))) b))))))
(* (neg x) (* (pow (/ (neg z) (exp t)) y) (pow (/ (+ z 1) (exp b)) a)))
(neg (* x (exp (+ (* y (- (log z) (neg t))) (* a (- (log (- 1 z)) b))))))
(* (pow (/ (- 1 z) (exp b)) a) (* (neg x) (pow (* z (exp t)) y)))
(neg (* x (exp (+ (* y (- (log z) t)) (* (neg a) (- (log (- 1 z)) b))))))
(/ (* (neg x) (pow (/ z (exp t)) y)) (pow (/ (- 1 z) (exp b)) a))
(neg (* x (exp (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) (neg b)))))))
(* x (* (pow (* (exp b) (- 1 z)) a) (neg (pow (/ z (exp t)) y))))
(* y (exp (+ (* x (- (log z) t)) (* a (- (log (- 1 z)) b)))))
(* (pow (/ z (exp t)) x) (* y (pow (/ (- 1 z) (exp b)) a)))
(* z (exp (+ (* y (- (log x) t)) (* a (- (log (- 1 x)) b)))))
(* (pow (/ x (exp t)) y) (* z (pow (/ (- 1 x) (exp b)) a)))
(* t (exp (+ (* y (- (log z) x)) (* a (- (log (- 1 z)) b)))))
(* t (* (pow (/ z (exp x)) y) (pow (/ (- 1 z) (exp b)) a)))
(* a (exp (+ (* y (- (log z) t)) (* x (- (log (- 1 z)) b)))))
(* (pow (/ (- 1 z) (exp b)) x) (* a (pow (/ z (exp t)) y)))
(* b (exp (+ (* y (- (log z) t)) (* a (- (log (- 1 z)) x)))))
(* b (* (pow (/ z (exp t)) y) (pow (/ (- 1 z) (exp x)) a)))
(* x (exp (+ (* z (- (log y) t)) (* a (- (log (- 1 y)) b)))))
(* (pow (/ y (exp t)) z) (* x (pow (/ (- 1 y) (exp b)) a)))
(* x (exp (+ (* t (- (log z) y)) (* a (- (log (- 1 z)) b)))))
(* (pow (/ z (exp y)) t) (* x (pow (/ (- 1 z) (exp b)) a)))
(* x (exp (+ (* a (- (log z) t)) (* y (- (log (- 1 z)) b)))))
(* x (* (pow (/ z (exp t)) a) (pow (/ (- 1 z) (exp b)) y)))
(* x (exp (+ (* b (- (log z) t)) (* a (- (log (- 1 z)) y)))))
(* (pow (/ (- 1 z) (exp y)) a) (* x (pow (/ z (exp t)) b)))
(* x (exp (+ (* y (- (log t) z)) (* a (- (log (- 1 t)) b)))))
(* (pow (/ (- 1 t) (exp b)) a) (* x (pow (/ t (exp z)) y)))
(* x (exp (+ (* y (- (log a) t)) (* z (- (log (- 1 a)) b)))))
(* (pow (/ (- 1 a) (exp b)) z) (* x (pow (/ a (exp t)) y)))
(* x (exp (+ (* y (- (log b) t)) (* a (- (log (- 1 b)) z)))))
(* x (* (pow (/ b (exp t)) y) (pow (/ (- 1 b) (exp z)) a)))
(* x (exp (+ (* y (- (log z) a)) (* t (- (log (- 1 z)) b)))))
(* x (* (pow (/ z (exp a)) y) (pow (/ (- 1 z) (exp b)) t)))
(* x (exp (+ (* y (- (log z) b)) (* a (- (log (- 1 z)) t)))))
(* (pow (/ z (exp b)) y) (* x (pow (/ (- 1 z) (exp t)) a)))
(* x (exp (+ (* y (- (log z) t)) (* b (- (log (- 1 z)) a)))))
(* (pow (/ z (exp t)) y) (* x (pow (/ (- 1 z) (exp a)) b)))
Symmetry

(negabs x)

explain1.0ms (0.1%)

Memory
3.4MiB live, 3.4MiB allocated
Samples
0.0ms2×0valid
Compiler

Compiled 91 to 19 computations (79.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 0.0ms
ival-sub: 0.0ms (0% of total)
ival-true: 0.0ms (0% of total)
ival-log: 0.0ms (0% of total)
ival-add: 0.0ms (0% of total)
ival-exp: 0.0ms (0% of total)
ival-mult: 0.0ms (0% of total)
exact: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...