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

Time bar (total: 2.2s)

analyze40.0ms (1.8%)

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
50%12.5%12.5%0.3%0%74.8%0%6
50%12.5%12.5%0.3%0%74.8%0%7
50%12.5%12.5%0.3%0%74.8%0%8
75%18.7%6.2%0.3%0%74.8%0%9
75%18.7%6.2%0.3%0%74.8%0%10
75%18.7%6.2%0.3%0%74.8%0%11
75%18.7%6.2%0.3%0%74.8%0%12
Compiler

Compiled 25 to 18 computations (28% saved)

sample2.0s (89.5%)

Results
1.2s4308×body256valid
806.0ms3948×body256infinite
Bogosity

preprocess191.0ms (8.6%)

Algorithm
1×egg-herbie
Rules
772×associate-*r/
647×associate-*l/
625×associate-+l+
537×+-commutative
304×associate--l+
Problems
227×No Errors
27×(exp.f64 (-.f64 (+.f64 (*.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b))
2×(/.f64 (*.f64 x (exp.f64 (-.f64 (+.f64 (*.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b))) y)
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01732160
14592140
213012018
342052018
Stop Event
1×node limit
Calls
Call 1
Inputs
(/.f64 (*.f64 x (exp.f64 (-.f64 (+.f64 (*.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b))) y)
(/.f64 (*.f64 x (exp.f64 (-.f64 (+.f64 (*.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b))) y)
(/.f64 (*.f64 (neg.f64 x) (exp.f64 (-.f64 (+.f64 (*.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b))) y)
(/.f64 (*.f64 x (exp.f64 (-.f64 (+.f64 (*.f64 (neg.f64 y) (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b))) (neg.f64 y))
(/.f64 (*.f64 x (exp.f64 (-.f64 (+.f64 (*.f64 y (log.f64 (neg.f64 z))) (*.f64 (-.f64 t 1) (log.f64 a))) b))) y)
(/.f64 (*.f64 x (exp.f64 (-.f64 (+.f64 (*.f64 y (log.f64 z)) (*.f64 (-.f64 (neg.f64 t) 1) (log.f64 a))) b))) y)
(/.f64 (*.f64 x (exp.f64 (-.f64 (+.f64 (*.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 (neg.f64 a)))) b))) y)
(/.f64 (*.f64 x (exp.f64 (-.f64 (+.f64 (*.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) (neg.f64 b)))) y)
(neg.f64 (/.f64 (*.f64 (neg.f64 x) (exp.f64 (-.f64 (+.f64 (*.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b))) y))
(neg.f64 (/.f64 (*.f64 x (exp.f64 (-.f64 (+.f64 (*.f64 (neg.f64 y) (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b))) (neg.f64 y)))
(neg.f64 (/.f64 (*.f64 x (exp.f64 (-.f64 (+.f64 (*.f64 y (log.f64 (neg.f64 z))) (*.f64 (-.f64 t 1) (log.f64 a))) b))) y))
(neg.f64 (/.f64 (*.f64 x (exp.f64 (-.f64 (+.f64 (*.f64 y (log.f64 z)) (*.f64 (-.f64 (neg.f64 t) 1) (log.f64 a))) b))) y))
(neg.f64 (/.f64 (*.f64 x (exp.f64 (-.f64 (+.f64 (*.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 (neg.f64 a)))) b))) y))
(neg.f64 (/.f64 (*.f64 x (exp.f64 (-.f64 (+.f64 (*.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) (neg.f64 b)))) y))
(/.f64 (*.f64 y (exp.f64 (-.f64 (+.f64 (*.f64 x (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b))) x)
(/.f64 (*.f64 z (exp.f64 (-.f64 (+.f64 (*.f64 y (log.f64 x)) (*.f64 (-.f64 t 1) (log.f64 a))) b))) y)
(/.f64 (*.f64 t (exp.f64 (-.f64 (+.f64 (*.f64 y (log.f64 z)) (*.f64 (-.f64 x 1) (log.f64 a))) b))) y)
(/.f64 (*.f64 a (exp.f64 (-.f64 (+.f64 (*.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 x))) b))) y)
(/.f64 (*.f64 b (exp.f64 (-.f64 (+.f64 (*.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) x))) y)
(/.f64 (*.f64 x (exp.f64 (-.f64 (+.f64 (*.f64 z (log.f64 y)) (*.f64 (-.f64 t 1) (log.f64 a))) b))) z)
(/.f64 (*.f64 x (exp.f64 (-.f64 (+.f64 (*.f64 t (log.f64 z)) (*.f64 (-.f64 y 1) (log.f64 a))) b))) t)
(/.f64 (*.f64 x (exp.f64 (-.f64 (+.f64 (*.f64 a (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 y))) b))) a)
(/.f64 (*.f64 x (exp.f64 (-.f64 (+.f64 (*.f64 b (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) y))) b)
(/.f64 (*.f64 x (exp.f64 (-.f64 (+.f64 (*.f64 y (log.f64 t)) (*.f64 (-.f64 z 1) (log.f64 a))) b))) y)
(/.f64 (*.f64 x (exp.f64 (-.f64 (+.f64 (*.f64 y (log.f64 a)) (*.f64 (-.f64 t 1) (log.f64 z))) b))) y)
(/.f64 (*.f64 x (exp.f64 (-.f64 (+.f64 (*.f64 y (log.f64 b)) (*.f64 (-.f64 t 1) (log.f64 a))) z))) y)
(/.f64 (*.f64 x (exp.f64 (-.f64 (+.f64 (*.f64 y (log.f64 z)) (*.f64 (-.f64 a 1) (log.f64 t))) b))) y)
(/.f64 (*.f64 x (exp.f64 (-.f64 (+.f64 (*.f64 y (log.f64 z)) (*.f64 (-.f64 b 1) (log.f64 a))) t))) y)
(/.f64 (*.f64 x (exp.f64 (-.f64 (+.f64 (*.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 b))) a))) y)
Outputs
(/.f64 (*.f64 x (exp.f64 (-.f64 (+.f64 (*.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b))) y)
(/.f64 x (/.f64 y (exp.f64 (-.f64 (fma.f64 y (log.f64 z) (*.f64 (+.f64 t -1) (log.f64 a))) b))))
(*.f64 (/.f64 x y) (exp.f64 (fma.f64 y (log.f64 z) (-.f64 (*.f64 (+.f64 t -1) (log.f64 a)) b))))
(*.f64 (/.f64 (*.f64 (pow.f64 z y) (pow.f64 a (+.f64 t -1))) (exp.f64 b)) (/.f64 x y))
(/.f64 (*.f64 x (exp.f64 (-.f64 (+.f64 (*.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b))) y)
(/.f64 x (/.f64 y (exp.f64 (-.f64 (fma.f64 y (log.f64 z) (*.f64 (+.f64 t -1) (log.f64 a))) b))))
(*.f64 (/.f64 x y) (exp.f64 (fma.f64 y (log.f64 z) (-.f64 (*.f64 (+.f64 t -1) (log.f64 a)) b))))
(*.f64 (/.f64 (*.f64 (pow.f64 z y) (pow.f64 a (+.f64 t -1))) (exp.f64 b)) (/.f64 x y))
(/.f64 (*.f64 (neg.f64 x) (exp.f64 (-.f64 (+.f64 (*.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b))) y)
(/.f64 (neg.f64 x) (/.f64 y (exp.f64 (-.f64 (fma.f64 y (log.f64 z) (*.f64 (+.f64 t -1) (log.f64 a))) b))))
(*.f64 (/.f64 (neg.f64 x) y) (exp.f64 (fma.f64 y (log.f64 z) (-.f64 (*.f64 (+.f64 t -1) (log.f64 a)) b))))
(*.f64 (/.f64 (*.f64 (pow.f64 z y) (pow.f64 a (+.f64 t -1))) (exp.f64 b)) (neg.f64 (/.f64 x y)))
(*.f64 (/.f64 (*.f64 (pow.f64 z y) (pow.f64 a (+.f64 t -1))) (exp.f64 b)) (/.f64 (neg.f64 x) y))
(/.f64 (*.f64 x (exp.f64 (-.f64 (+.f64 (*.f64 (neg.f64 y) (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b))) (neg.f64 y))
(/.f64 x (/.f64 (neg.f64 y) (exp.f64 (-.f64 (fma.f64 (neg.f64 y) (log.f64 z) (*.f64 (+.f64 t -1) (log.f64 a))) b))))
(*.f64 (/.f64 x (neg.f64 y)) (exp.f64 (-.f64 (-.f64 (*.f64 (+.f64 t -1) (log.f64 a)) (*.f64 y (log.f64 z))) b)))
(/.f64 x (/.f64 (*.f64 (neg.f64 y) (exp.f64 b)) (/.f64 (pow.f64 a (+.f64 t -1)) (pow.f64 z y))))
(*.f64 (/.f64 (/.f64 (pow.f64 a (+.f64 t -1)) (pow.f64 z y)) (exp.f64 b)) (/.f64 x (neg.f64 y)))
(/.f64 (*.f64 x (exp.f64 (-.f64 (+.f64 (*.f64 y (log.f64 (neg.f64 z))) (*.f64 (-.f64 t 1) (log.f64 a))) b))) y)
(/.f64 x (/.f64 y (exp.f64 (-.f64 (fma.f64 y (log.f64 (neg.f64 z)) (*.f64 (+.f64 t -1) (log.f64 a))) b))))
(*.f64 (/.f64 x y) (exp.f64 (-.f64 (fma.f64 y (log.f64 (neg.f64 z)) (*.f64 (+.f64 t -1) (log.f64 a))) b)))
(*.f64 (*.f64 (/.f64 x y) (pow.f64 (neg.f64 z) y)) (/.f64 (pow.f64 a (+.f64 t -1)) (exp.f64 b)))
(/.f64 (*.f64 (/.f64 x y) (pow.f64 a (+.f64 t -1))) (/.f64 (exp.f64 b) (pow.f64 (neg.f64 z) y)))
(/.f64 (*.f64 x (exp.f64 (-.f64 (+.f64 (*.f64 y (log.f64 z)) (*.f64 (-.f64 (neg.f64 t) 1) (log.f64 a))) b))) y)
(/.f64 x (/.f64 y (exp.f64 (-.f64 (fma.f64 y (log.f64 z) (*.f64 (log.f64 a) (+.f64 (neg.f64 t) -1))) b))))
(*.f64 (/.f64 x y) (exp.f64 (fma.f64 y (log.f64 z) (-.f64 (*.f64 (log.f64 a) (fma.f64 -1 t -1)) b))))
(*.f64 (*.f64 (/.f64 x y) (pow.f64 z y)) (/.f64 (pow.f64 a (-.f64 -1 t)) (exp.f64 b)))
(/.f64 (*.f64 x (exp.f64 (-.f64 (+.f64 (*.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 (neg.f64 a)))) b))) y)
(/.f64 x (/.f64 y (exp.f64 (-.f64 (fma.f64 y (log.f64 z) (*.f64 (+.f64 t -1) (log.f64 (neg.f64 a)))) b))))
(*.f64 (/.f64 x y) (exp.f64 (-.f64 (fma.f64 (+.f64 t -1) (log.f64 (neg.f64 a)) (*.f64 y (log.f64 z))) b)))
(*.f64 (*.f64 (pow.f64 z y) (/.f64 (pow.f64 (neg.f64 a) (+.f64 t -1)) (exp.f64 b))) (/.f64 x y))
(/.f64 (*.f64 x (exp.f64 (-.f64 (+.f64 (*.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) (neg.f64 b)))) y)
(/.f64 (*.f64 x (exp.f64 (-.f64 (fma.f64 y (log.f64 z) (*.f64 (+.f64 t -1) (log.f64 a))) (neg.f64 b)))) y)
(*.f64 (/.f64 x y) (exp.f64 (fma.f64 y (log.f64 z) (fma.f64 (+.f64 t -1) (log.f64 a) b))))
(*.f64 (exp.f64 (fma.f64 y (log.f64 z) (fma.f64 (+.f64 t -1) (log.f64 a) b))) (/.f64 x y))
(*.f64 (*.f64 (pow.f64 a (+.f64 t -1)) (exp.f64 (fma.f64 y (log.f64 z) b))) (/.f64 x y))
(neg.f64 (/.f64 (*.f64 (neg.f64 x) (exp.f64 (-.f64 (+.f64 (*.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b))) y))
(/.f64 x (/.f64 y (exp.f64 (-.f64 (fma.f64 y (log.f64 z) (*.f64 (+.f64 t -1) (log.f64 a))) b))))
(*.f64 (/.f64 x y) (exp.f64 (fma.f64 y (log.f64 z) (-.f64 (*.f64 (+.f64 t -1) (log.f64 a)) b))))
(*.f64 (/.f64 (*.f64 (pow.f64 z y) (pow.f64 a (+.f64 t -1))) (exp.f64 b)) (/.f64 x y))
(neg.f64 (/.f64 (*.f64 x (exp.f64 (-.f64 (+.f64 (*.f64 (neg.f64 y) (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b))) (neg.f64 y)))
(neg.f64 (/.f64 x (/.f64 (neg.f64 y) (exp.f64 (-.f64 (fma.f64 (neg.f64 y) (log.f64 z) (*.f64 (+.f64 t -1) (log.f64 a))) b)))))
(/.f64 (neg.f64 x) (/.f64 (neg.f64 y) (exp.f64 (-.f64 (-.f64 (*.f64 (+.f64 t -1) (log.f64 a)) (*.f64 y (log.f64 z))) b))))
(*.f64 1 (/.f64 (*.f64 x (/.f64 (/.f64 (pow.f64 a (+.f64 t -1)) (pow.f64 z y)) (exp.f64 b))) y))
(*.f64 1 (/.f64 (/.f64 (*.f64 (pow.f64 a (+.f64 t -1)) (/.f64 x (pow.f64 z y))) (exp.f64 b)) y))
(neg.f64 (/.f64 (*.f64 x (exp.f64 (-.f64 (+.f64 (*.f64 y (log.f64 (neg.f64 z))) (*.f64 (-.f64 t 1) (log.f64 a))) b))) y))
(/.f64 (neg.f64 (*.f64 x (exp.f64 (-.f64 (fma.f64 y (log.f64 (neg.f64 z)) (*.f64 (+.f64 t -1) (log.f64 a))) b)))) y)
(/.f64 (neg.f64 x) (/.f64 y (exp.f64 (-.f64 (fma.f64 y (log.f64 (neg.f64 z)) (*.f64 (+.f64 t -1) (log.f64 a))) b))))
(/.f64 (*.f64 (*.f64 (neg.f64 x) (pow.f64 (neg.f64 z) y)) (/.f64 (pow.f64 a (+.f64 t -1)) (exp.f64 b))) y)
(*.f64 (/.f64 x y) (/.f64 (*.f64 (neg.f64 (pow.f64 (neg.f64 z) y)) (pow.f64 a (+.f64 t -1))) (exp.f64 b)))
(neg.f64 (/.f64 (*.f64 x (exp.f64 (-.f64 (+.f64 (*.f64 y (log.f64 z)) (*.f64 (-.f64 (neg.f64 t) 1) (log.f64 a))) b))) y))
(/.f64 (neg.f64 (*.f64 x (exp.f64 (-.f64 (fma.f64 y (log.f64 z) (*.f64 (log.f64 a) (+.f64 (neg.f64 t) -1))) b)))) y)
(/.f64 (neg.f64 x) (/.f64 y (exp.f64 (fma.f64 y (log.f64 z) (-.f64 (*.f64 (log.f64 a) (fma.f64 -1 t -1)) b)))))
(*.f64 (/.f64 x y) (*.f64 (neg.f64 (pow.f64 z y)) (/.f64 (pow.f64 a (-.f64 -1 t)) (exp.f64 b))))
(neg.f64 (/.f64 (*.f64 x (exp.f64 (-.f64 (+.f64 (*.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 (neg.f64 a)))) b))) y))
(/.f64 (neg.f64 (*.f64 x (exp.f64 (-.f64 (fma.f64 y (log.f64 z) (*.f64 (+.f64 t -1) (log.f64 (neg.f64 a)))) b)))) y)
(/.f64 (*.f64 x (neg.f64 (exp.f64 (-.f64 (fma.f64 (+.f64 t -1) (log.f64 (neg.f64 a)) (*.f64 y (log.f64 z))) b)))) y)
(*.f64 (/.f64 x y) (*.f64 (pow.f64 z y) (neg.f64 (/.f64 (pow.f64 (neg.f64 a) (+.f64 t -1)) (exp.f64 b)))))
(neg.f64 (/.f64 (*.f64 x (exp.f64 (-.f64 (+.f64 (*.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) (neg.f64 b)))) y))
(/.f64 (neg.f64 (*.f64 x (exp.f64 (-.f64 (fma.f64 y (log.f64 z) (*.f64 (+.f64 t -1) (log.f64 a))) (neg.f64 b))))) y)
(/.f64 (neg.f64 x) (/.f64 y (exp.f64 (fma.f64 y (log.f64 z) (fma.f64 (+.f64 t -1) (log.f64 a) b)))))
(*.f64 (neg.f64 (/.f64 x y)) (exp.f64 (fma.f64 y (log.f64 z) (fma.f64 (+.f64 t -1) (log.f64 a) b))))
(*.f64 (/.f64 (neg.f64 x) y) (*.f64 (pow.f64 a (+.f64 t -1)) (exp.f64 (fma.f64 y (log.f64 z) b))))
(/.f64 (*.f64 y (exp.f64 (-.f64 (+.f64 (*.f64 x (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b))) x)
(/.f64 y (/.f64 x (exp.f64 (-.f64 (fma.f64 x (log.f64 z) (*.f64 (+.f64 t -1) (log.f64 a))) b))))
(*.f64 (/.f64 y x) (exp.f64 (fma.f64 x (log.f64 z) (-.f64 (*.f64 (+.f64 t -1) (log.f64 a)) b))))
(*.f64 (*.f64 (pow.f64 z x) (/.f64 (pow.f64 a (+.f64 t -1)) (exp.f64 b))) (/.f64 y x))
(/.f64 (*.f64 (/.f64 y x) (pow.f64 z x)) (/.f64 (exp.f64 b) (pow.f64 a (+.f64 t -1))))
(/.f64 (*.f64 z (exp.f64 (-.f64 (+.f64 (*.f64 y (log.f64 x)) (*.f64 (-.f64 t 1) (log.f64 a))) b))) y)
(/.f64 (*.f64 z (exp.f64 (-.f64 (fma.f64 y (log.f64 x) (*.f64 (+.f64 t -1) (log.f64 a))) b))) y)
(*.f64 (/.f64 z y) (exp.f64 (-.f64 (fma.f64 y (log.f64 x) (*.f64 (+.f64 t -1) (log.f64 a))) b)))
(*.f64 (/.f64 (*.f64 (pow.f64 a (+.f64 t -1)) (pow.f64 x y)) (exp.f64 b)) (/.f64 z y))
(/.f64 (*.f64 t (exp.f64 (-.f64 (+.f64 (*.f64 y (log.f64 z)) (*.f64 (-.f64 x 1) (log.f64 a))) b))) y)
(/.f64 (*.f64 t (exp.f64 (-.f64 (fma.f64 y (log.f64 z) (*.f64 (log.f64 a) (+.f64 x -1))) b))) y)
(*.f64 (/.f64 t y) (exp.f64 (-.f64 (fma.f64 (log.f64 a) (+.f64 x -1) (*.f64 y (log.f64 z))) b)))
(*.f64 (*.f64 (/.f64 t y) (pow.f64 z y)) (/.f64 (pow.f64 a (+.f64 x -1)) (exp.f64 b)))
(/.f64 (*.f64 a (exp.f64 (-.f64 (+.f64 (*.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 x))) b))) y)
(/.f64 a (/.f64 y (exp.f64 (-.f64 (fma.f64 y (log.f64 z) (*.f64 (+.f64 t -1) (log.f64 x))) b))))
(*.f64 (/.f64 a y) (exp.f64 (-.f64 (fma.f64 y (log.f64 z) (*.f64 (+.f64 t -1) (log.f64 x))) b)))
(/.f64 (*.f64 (pow.f64 z y) (pow.f64 x (+.f64 t -1))) (*.f64 (/.f64 y a) (exp.f64 b)))
(*.f64 (*.f64 (pow.f64 z y) (/.f64 (pow.f64 x (+.f64 t -1)) (exp.f64 b))) (/.f64 a y))
(/.f64 (*.f64 b (exp.f64 (-.f64 (+.f64 (*.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) x))) y)
(/.f64 b (/.f64 y (exp.f64 (-.f64 (fma.f64 y (log.f64 z) (*.f64 (+.f64 t -1) (log.f64 a))) x))))
(*.f64 (/.f64 b y) (exp.f64 (-.f64 (fma.f64 y (log.f64 z) (*.f64 (+.f64 t -1) (log.f64 a))) x)))
(/.f64 (*.f64 (pow.f64 a (+.f64 t -1)) (*.f64 (pow.f64 z y) b)) (*.f64 y (exp.f64 x)))
(*.f64 (/.f64 (*.f64 (pow.f64 z y) (pow.f64 a (+.f64 t -1))) (exp.f64 x)) (/.f64 b y))
(/.f64 (*.f64 x (exp.f64 (-.f64 (+.f64 (*.f64 z (log.f64 y)) (*.f64 (-.f64 t 1) (log.f64 a))) b))) z)
(/.f64 x (/.f64 z (exp.f64 (-.f64 (fma.f64 z (log.f64 y) (*.f64 (+.f64 t -1) (log.f64 a))) b))))
(*.f64 (/.f64 x z) (exp.f64 (fma.f64 z (log.f64 y) (-.f64 (*.f64 (+.f64 t -1) (log.f64 a)) b))))
(/.f64 (/.f64 (*.f64 (pow.f64 a (+.f64 t -1)) (pow.f64 y z)) (/.f64 (exp.f64 b) x)) z)
(*.f64 (/.f64 (*.f64 (pow.f64 a (+.f64 t -1)) (pow.f64 y z)) (exp.f64 b)) (/.f64 x z))
(/.f64 (*.f64 x (exp.f64 (-.f64 (+.f64 (*.f64 t (log.f64 z)) (*.f64 (-.f64 y 1) (log.f64 a))) b))) t)
(/.f64 (*.f64 x (exp.f64 (-.f64 (fma.f64 t (log.f64 z) (*.f64 (log.f64 a) (+.f64 y -1))) b))) t)
(*.f64 (/.f64 x t) (exp.f64 (fma.f64 (log.f64 z) t (fma.f64 (log.f64 a) (+.f64 y -1) (neg.f64 b)))))
(*.f64 (*.f64 (/.f64 x t) (pow.f64 z t)) (/.f64 (pow.f64 a (+.f64 y -1)) (exp.f64 b)))
(/.f64 x (/.f64 (*.f64 (exp.f64 b) (/.f64 t (pow.f64 z t))) (pow.f64 a (+.f64 y -1))))
(/.f64 (*.f64 x (exp.f64 (-.f64 (+.f64 (*.f64 a (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 y))) b))) a)
(/.f64 (*.f64 x (exp.f64 (-.f64 (fma.f64 a (log.f64 z) (*.f64 (+.f64 t -1) (log.f64 y))) b))) a)
(*.f64 (/.f64 x a) (exp.f64 (fma.f64 (log.f64 z) a (-.f64 (*.f64 (+.f64 t -1) (log.f64 y)) b))))
(*.f64 (*.f64 (/.f64 x a) (pow.f64 z a)) (/.f64 (pow.f64 y (+.f64 t -1)) (exp.f64 b)))
(*.f64 (*.f64 (pow.f64 z a) (/.f64 (pow.f64 y (+.f64 t -1)) (exp.f64 b))) (/.f64 x a))
(/.f64 (*.f64 x (exp.f64 (-.f64 (+.f64 (*.f64 b (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) y))) b)
(/.f64 x (/.f64 b (exp.f64 (-.f64 (fma.f64 b (log.f64 z) (*.f64 (+.f64 t -1) (log.f64 a))) y))))
(*.f64 (/.f64 x b) (exp.f64 (-.f64 (fma.f64 (log.f64 z) b (*.f64 (+.f64 t -1) (log.f64 a))) y)))
(*.f64 (*.f64 (pow.f64 z b) (/.f64 (pow.f64 a (+.f64 t -1)) (exp.f64 y))) (/.f64 x b))
(/.f64 (*.f64 x (exp.f64 (-.f64 (+.f64 (*.f64 y (log.f64 t)) (*.f64 (-.f64 z 1) (log.f64 a))) b))) y)
(/.f64 (*.f64 x (exp.f64 (-.f64 (fma.f64 y (log.f64 t) (*.f64 (log.f64 a) (+.f64 z -1))) b))) y)
(*.f64 (/.f64 x y) (exp.f64 (fma.f64 y (log.f64 t) (-.f64 (*.f64 (log.f64 a) (+.f64 z -1)) b))))
(/.f64 (*.f64 (pow.f64 a (+.f64 z -1)) (*.f64 (pow.f64 t y) x)) (*.f64 y (exp.f64 b)))
(*.f64 (*.f64 (pow.f64 t y) (/.f64 (pow.f64 a (+.f64 z -1)) (exp.f64 b))) (/.f64 x y))
(/.f64 (*.f64 x (exp.f64 (-.f64 (+.f64 (*.f64 y (log.f64 a)) (*.f64 (-.f64 t 1) (log.f64 z))) b))) y)
(/.f64 (*.f64 x (exp.f64 (-.f64 (fma.f64 y (log.f64 a) (*.f64 (log.f64 z) (+.f64 t -1))) b))) y)
(*.f64 (/.f64 x y) (exp.f64 (-.f64 (fma.f64 (log.f64 z) (+.f64 t -1) (*.f64 y (log.f64 a))) b)))
(*.f64 (*.f64 (/.f64 x y) (pow.f64 a y)) (/.f64 (pow.f64 z (+.f64 t -1)) (exp.f64 b)))
(/.f64 (*.f64 x (exp.f64 (-.f64 (+.f64 (*.f64 y (log.f64 b)) (*.f64 (-.f64 t 1) (log.f64 a))) z))) y)
(/.f64 (*.f64 x (exp.f64 (-.f64 (fma.f64 y (log.f64 b) (*.f64 (+.f64 t -1) (log.f64 a))) z))) y)
(*.f64 (/.f64 x y) (exp.f64 (fma.f64 y (log.f64 b) (fma.f64 (+.f64 t -1) (log.f64 a) (neg.f64 z)))))
(/.f64 (/.f64 x (/.f64 (exp.f64 z) (*.f64 (pow.f64 a (+.f64 t -1)) (pow.f64 b y)))) y)
(*.f64 (*.f64 (pow.f64 b y) (/.f64 (pow.f64 a (+.f64 t -1)) (exp.f64 z))) (/.f64 x y))
(/.f64 (*.f64 x (exp.f64 (-.f64 (+.f64 (*.f64 y (log.f64 z)) (*.f64 (-.f64 a 1) (log.f64 t))) b))) y)
(/.f64 x (/.f64 y (exp.f64 (-.f64 (fma.f64 y (log.f64 z) (*.f64 (log.f64 t) (+.f64 a -1))) b))))
(*.f64 (/.f64 x y) (exp.f64 (fma.f64 y (log.f64 z) (-.f64 (*.f64 (log.f64 t) (+.f64 a -1)) b))))
(*.f64 (/.f64 (*.f64 (pow.f64 z y) (pow.f64 t (+.f64 a -1))) (exp.f64 b)) (/.f64 x y))
(/.f64 (*.f64 x (exp.f64 (-.f64 (+.f64 (*.f64 y (log.f64 z)) (*.f64 (-.f64 b 1) (log.f64 a))) t))) y)
(/.f64 (*.f64 x (exp.f64 (-.f64 (fma.f64 y (log.f64 z) (*.f64 (log.f64 a) (+.f64 b -1))) t))) y)
(*.f64 (/.f64 x y) (exp.f64 (-.f64 (fma.f64 y (log.f64 z) (*.f64 (log.f64 a) (+.f64 b -1))) t)))
(*.f64 (/.f64 (pow.f64 a (+.f64 b -1)) (/.f64 (exp.f64 t) (pow.f64 z y))) (/.f64 x y))
(/.f64 x (/.f64 (*.f64 (/.f64 y (pow.f64 z y)) (exp.f64 t)) (pow.f64 a (+.f64 b -1))))
(/.f64 (*.f64 x (exp.f64 (-.f64 (+.f64 (*.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 b))) a))) y)
(/.f64 (*.f64 x (exp.f64 (-.f64 (fma.f64 y (log.f64 z) (*.f64 (+.f64 t -1) (log.f64 b))) a))) y)
(*.f64 (/.f64 x y) (exp.f64 (-.f64 (fma.f64 y (log.f64 z) (*.f64 (+.f64 t -1) (log.f64 b))) a)))
(*.f64 (*.f64 (pow.f64 z y) (/.f64 (pow.f64 b (+.f64 t -1)) (exp.f64 a))) (/.f64 x y))
(/.f64 (*.f64 (*.f64 x (pow.f64 b (+.f64 t -1))) (pow.f64 z y)) (*.f64 y (exp.f64 a)))
Symmetry

(negabs x)

Compiler

Compiled 103 to 46 computations (55.3% saved)

end0.0ms (0%)

Profiling

Loading profile data...