Numeric.SpecFunctions:logGamma from math-functions-0.1.5.2

Time bar (total: 42.6s)

analyze4.7s (11.1%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.6%0.4%0%0%0%0
0%0%99.6%0.4%0%0%0%1
0%0%99.6%0.4%0%0%0%2
0%0%99.6%0.4%0%0%0%3
0%0%99.6%0.4%0%0%0%4
0%0%99.6%0.4%0%0%0%5
0%0%99.6%0.4%0%0%0%6
0%0%99.6%0.4%0%0%0%7
0%0%99.6%0.4%0%0%0%8
6.3%6.2%93.4%0.4%0%0%0%9
6.3%6.2%93.4%0.4%0%0%0%10
6.3%6.2%93.4%0.4%0%0%0%11
6.3%6.2%93.4%0.4%0%0%0%12
Compiler

Compiled 42 to 27 computations (35.7% saved)

sample36.7s (86.1%)

Results
8.1s8256×0valid-rival
2.1s8073×0valid-sollya
915.0ms183×0exit-sollya
Bogosity

preprocess816.0ms (1.9%)

Algorithm
1×egg-herbie
Rules
614×distribute-lft-in
610×distribute-rgt-in
589×associate-+l+
577×associate-+r+
422×unsub-neg
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
04115388
110045380
221555352
367835344
Stop Event
1×node limit
Calls
Call 1
Inputs
(/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x y) z) y) #s(literal 54929528941/2000000 binary64)) y) #s(literal 28832688827/125000 binary64)) y) t) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y) i))
(/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x y) z) y) #s(literal 54929528941/2000000 binary64)) y) #s(literal 28832688827/125000 binary64)) y) t) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y) i))
(/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (neg.f64 x) y) z) y) #s(literal 54929528941/2000000 binary64)) y) #s(literal 28832688827/125000 binary64)) y) t) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y) i))
(/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x (neg.f64 y)) z) (neg.f64 y)) #s(literal 54929528941/2000000 binary64)) (neg.f64 y)) #s(literal 28832688827/125000 binary64)) (neg.f64 y)) t) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (neg.f64 y) a) (neg.f64 y)) b) (neg.f64 y)) c) (neg.f64 y)) i))
(/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x y) (neg.f64 z)) y) #s(literal 54929528941/2000000 binary64)) y) #s(literal 28832688827/125000 binary64)) y) t) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y) i))
(/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x y) z) y) #s(literal 54929528941/2000000 binary64)) y) #s(literal 28832688827/125000 binary64)) y) (neg.f64 t)) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y) i))
(/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x y) z) y) #s(literal 54929528941/2000000 binary64)) y) #s(literal 28832688827/125000 binary64)) y) t) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 y (neg.f64 a)) y) b) y) c) y) i))
(/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x y) z) y) #s(literal 54929528941/2000000 binary64)) y) #s(literal 28832688827/125000 binary64)) y) t) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 y a) y) (neg.f64 b)) y) c) y) i))
(/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x y) z) y) #s(literal 54929528941/2000000 binary64)) y) #s(literal 28832688827/125000 binary64)) y) t) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) (neg.f64 c)) y) i))
(/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x y) z) y) #s(literal 54929528941/2000000 binary64)) y) #s(literal 28832688827/125000 binary64)) y) t) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y) (neg.f64 i)))
(neg.f64 (/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (neg.f64 x) y) z) y) #s(literal 54929528941/2000000 binary64)) y) #s(literal 28832688827/125000 binary64)) y) t) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y) i)))
(neg.f64 (/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x (neg.f64 y)) z) (neg.f64 y)) #s(literal 54929528941/2000000 binary64)) (neg.f64 y)) #s(literal 28832688827/125000 binary64)) (neg.f64 y)) t) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (neg.f64 y) a) (neg.f64 y)) b) (neg.f64 y)) c) (neg.f64 y)) i)))
(neg.f64 (/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x y) (neg.f64 z)) y) #s(literal 54929528941/2000000 binary64)) y) #s(literal 28832688827/125000 binary64)) y) t) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y) i)))
(neg.f64 (/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x y) z) y) #s(literal 54929528941/2000000 binary64)) y) #s(literal 28832688827/125000 binary64)) y) (neg.f64 t)) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y) i)))
(neg.f64 (/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x y) z) y) #s(literal 54929528941/2000000 binary64)) y) #s(literal 28832688827/125000 binary64)) y) t) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 y (neg.f64 a)) y) b) y) c) y) i)))
(neg.f64 (/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x y) z) y) #s(literal 54929528941/2000000 binary64)) y) #s(literal 28832688827/125000 binary64)) y) t) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 y a) y) (neg.f64 b)) y) c) y) i)))
(neg.f64 (/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x y) z) y) #s(literal 54929528941/2000000 binary64)) y) #s(literal 28832688827/125000 binary64)) y) t) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) (neg.f64 c)) y) i)))
(neg.f64 (/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x y) z) y) #s(literal 54929528941/2000000 binary64)) y) #s(literal 28832688827/125000 binary64)) y) t) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y) (neg.f64 i))))
(/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 y x) z) x) #s(literal 54929528941/2000000 binary64)) x) #s(literal 28832688827/125000 binary64)) x) t) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 x a) x) b) x) c) x) i))
(/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 z y) x) y) #s(literal 54929528941/2000000 binary64)) y) #s(literal 28832688827/125000 binary64)) y) t) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y) i))
(/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 t y) z) y) #s(literal 54929528941/2000000 binary64)) y) #s(literal 28832688827/125000 binary64)) y) x) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y) i))
(/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 a y) z) y) #s(literal 54929528941/2000000 binary64)) y) #s(literal 28832688827/125000 binary64)) y) t) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 y x) y) b) y) c) y) i))
(/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 b y) z) y) #s(literal 54929528941/2000000 binary64)) y) #s(literal 28832688827/125000 binary64)) y) t) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 y a) y) x) y) c) y) i))
(/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 c y) z) y) #s(literal 54929528941/2000000 binary64)) y) #s(literal 28832688827/125000 binary64)) y) t) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) x) y) i))
(/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 i y) z) y) #s(literal 54929528941/2000000 binary64)) y) #s(literal 28832688827/125000 binary64)) y) t) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y) x))
(/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x z) y) z) #s(literal 54929528941/2000000 binary64)) z) #s(literal 28832688827/125000 binary64)) z) t) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 z a) z) b) z) c) z) i))
(/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x t) z) t) #s(literal 54929528941/2000000 binary64)) t) #s(literal 28832688827/125000 binary64)) t) y) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 t a) t) b) t) c) t) i))
(/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x a) z) a) #s(literal 54929528941/2000000 binary64)) a) #s(literal 28832688827/125000 binary64)) a) t) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 a y) a) b) a) c) a) i))
(/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x b) z) b) #s(literal 54929528941/2000000 binary64)) b) #s(literal 28832688827/125000 binary64)) b) t) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 b a) b) y) b) c) b) i))
(/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x c) z) c) #s(literal 54929528941/2000000 binary64)) c) #s(literal 28832688827/125000 binary64)) c) t) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 c a) c) b) c) y) c) i))
(/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x i) z) i) #s(literal 54929528941/2000000 binary64)) i) #s(literal 28832688827/125000 binary64)) i) t) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 i a) i) b) i) c) i) y))
(/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x y) t) y) #s(literal 54929528941/2000000 binary64)) y) #s(literal 28832688827/125000 binary64)) y) z) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y) i))
(/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x y) a) y) #s(literal 54929528941/2000000 binary64)) y) #s(literal 28832688827/125000 binary64)) y) t) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 y z) y) b) y) c) y) i))
(/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x y) b) y) #s(literal 54929528941/2000000 binary64)) y) #s(literal 28832688827/125000 binary64)) y) t) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 y a) y) z) y) c) y) i))
(/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x y) c) y) #s(literal 54929528941/2000000 binary64)) y) #s(literal 28832688827/125000 binary64)) y) t) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) z) y) i))
(/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x y) i) y) #s(literal 54929528941/2000000 binary64)) y) #s(literal 28832688827/125000 binary64)) y) t) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y) z))
(/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x y) z) y) #s(literal 54929528941/2000000 binary64)) y) #s(literal 28832688827/125000 binary64)) y) a) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 y t) y) b) y) c) y) i))
(/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x y) z) y) #s(literal 54929528941/2000000 binary64)) y) #s(literal 28832688827/125000 binary64)) y) b) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 y a) y) t) y) c) y) i))
(/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x y) z) y) #s(literal 54929528941/2000000 binary64)) y) #s(literal 28832688827/125000 binary64)) y) c) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) t) y) i))
(/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x y) z) y) #s(literal 54929528941/2000000 binary64)) y) #s(literal 28832688827/125000 binary64)) y) i) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y) t))
(/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x y) z) y) #s(literal 54929528941/2000000 binary64)) y) #s(literal 28832688827/125000 binary64)) y) t) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 y b) y) a) y) c) y) i))
(/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x y) z) y) #s(literal 54929528941/2000000 binary64)) y) #s(literal 28832688827/125000 binary64)) y) t) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 y c) y) b) y) a) y) i))
(/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x y) z) y) #s(literal 54929528941/2000000 binary64)) y) #s(literal 28832688827/125000 binary64)) y) t) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 y i) y) b) y) c) y) a))
(/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x y) z) y) #s(literal 54929528941/2000000 binary64)) y) #s(literal 28832688827/125000 binary64)) y) t) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 y a) y) c) y) b) y) i))
(/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x y) z) y) #s(literal 54929528941/2000000 binary64)) y) #s(literal 28832688827/125000 binary64)) y) t) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 y a) y) i) y) c) y) b))
(/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x y) z) y) #s(literal 54929528941/2000000 binary64)) y) #s(literal 28832688827/125000 binary64)) y) t) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) i) y) c))
Outputs
(/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x y) z) y) #s(literal 54929528941/2000000 binary64)) y) #s(literal 28832688827/125000 binary64)) y) t) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y) i))
(/.f64 (fma.f64 (fma.f64 (fma.f64 (fma.f64 x y z) y #s(literal 54929528941/2000000 binary64)) y #s(literal 28832688827/125000 binary64)) y t) (fma.f64 (fma.f64 (fma.f64 (+.f64 y a) y b) y c) y i))
(/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) #s(literal 54929528941/2000000 binary64)) #s(literal 28832688827/125000 binary64)) t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))
(/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x y) z) y) #s(literal 54929528941/2000000 binary64)) y) #s(literal 28832688827/125000 binary64)) y) t) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y) i))
(/.f64 (fma.f64 (fma.f64 (fma.f64 (fma.f64 x y z) y #s(literal 54929528941/2000000 binary64)) y #s(literal 28832688827/125000 binary64)) y t) (fma.f64 (fma.f64 (fma.f64 (+.f64 y a) y b) y c) y i))
(/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) #s(literal 54929528941/2000000 binary64)) #s(literal 28832688827/125000 binary64)) t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))
(/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (neg.f64 x) y) z) y) #s(literal 54929528941/2000000 binary64)) y) #s(literal 28832688827/125000 binary64)) y) t) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y) i))
(/.f64 (fma.f64 (fma.f64 (fma.f64 (fma.f64 x (neg.f64 y) z) y #s(literal 54929528941/2000000 binary64)) y #s(literal 28832688827/125000 binary64)) y t) (fma.f64 (fma.f64 (fma.f64 (+.f64 y a) y b) y c) y i))
(/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x (neg.f64 y) z) #s(literal 54929528941/2000000 binary64)) #s(literal 28832688827/125000 binary64)) t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))
(/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x (neg.f64 y)) z) (neg.f64 y)) #s(literal 54929528941/2000000 binary64)) (neg.f64 y)) #s(literal 28832688827/125000 binary64)) (neg.f64 y)) t) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (neg.f64 y) a) (neg.f64 y)) b) (neg.f64 y)) c) (neg.f64 y)) i))
(/.f64 (fma.f64 (fma.f64 (fma.f64 (fma.f64 x (neg.f64 y) z) (neg.f64 y) #s(literal 54929528941/2000000 binary64)) (neg.f64 y) #s(literal 28832688827/125000 binary64)) (neg.f64 y) t) (fma.f64 (fma.f64 (fma.f64 (+.f64 a (neg.f64 y)) (neg.f64 y) b) (neg.f64 y) c) (neg.f64 y) i))
(/.f64 (-.f64 t (*.f64 y (fma.f64 (neg.f64 y) (-.f64 #s(literal 54929528941/2000000 binary64) (*.f64 y (fma.f64 x (neg.f64 y) z))) #s(literal 28832688827/125000 binary64)))) (-.f64 i (*.f64 y (fma.f64 (neg.f64 y) (-.f64 b (*.f64 y (-.f64 a y))) c))))
(/.f64 (-.f64 t (*.f64 y (fma.f64 (neg.f64 y) (fma.f64 y (fma.f64 x y (neg.f64 z)) #s(literal 54929528941/2000000 binary64)) #s(literal 28832688827/125000 binary64)))) (-.f64 i (*.f64 y (fma.f64 (neg.f64 y) (fma.f64 y (-.f64 y a) b) c))))
(/.f64 (+.f64 t (*.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y (neg.f64 z)) #s(literal 54929528941/2000000 binary64)) #s(literal -28832688827/125000 binary64)))) (-.f64 i (*.f64 y (fma.f64 (neg.f64 y) (fma.f64 y (-.f64 y a) b) c))))
(/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x y) (neg.f64 z)) y) #s(literal 54929528941/2000000 binary64)) y) #s(literal 28832688827/125000 binary64)) y) t) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y) i))
(/.f64 (fma.f64 (fma.f64 (fma.f64 (fma.f64 x y (neg.f64 z)) y #s(literal 54929528941/2000000 binary64)) y #s(literal 28832688827/125000 binary64)) y t) (fma.f64 (fma.f64 (fma.f64 (+.f64 y a) y b) y c) y i))
(/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y (neg.f64 z)) #s(literal 54929528941/2000000 binary64)) #s(literal 28832688827/125000 binary64)) t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))
(/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x y) z) y) #s(literal 54929528941/2000000 binary64)) y) #s(literal 28832688827/125000 binary64)) y) (neg.f64 t)) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y) i))
(/.f64 (fma.f64 (fma.f64 (fma.f64 (fma.f64 x y z) y #s(literal 54929528941/2000000 binary64)) y #s(literal 28832688827/125000 binary64)) y (neg.f64 t)) (fma.f64 (fma.f64 (fma.f64 (+.f64 y a) y b) y c) y i))
(/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) #s(literal 54929528941/2000000 binary64)) #s(literal 28832688827/125000 binary64)) (neg.f64 t)) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))
(/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x y) z) y) #s(literal 54929528941/2000000 binary64)) y) #s(literal 28832688827/125000 binary64)) y) t) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 y (neg.f64 a)) y) b) y) c) y) i))
(/.f64 (fma.f64 (fma.f64 (fma.f64 (fma.f64 x y z) y #s(literal 54929528941/2000000 binary64)) y #s(literal 28832688827/125000 binary64)) y t) (fma.f64 (fma.f64 (fma.f64 (-.f64 y a) y b) y c) y i))
(/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) #s(literal 54929528941/2000000 binary64)) #s(literal 28832688827/125000 binary64)) t) (fma.f64 y (fma.f64 y (fma.f64 y (-.f64 y a) b) c) i))
(/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x y) z) y) #s(literal 54929528941/2000000 binary64)) y) #s(literal 28832688827/125000 binary64)) y) t) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 y a) y) (neg.f64 b)) y) c) y) i))
(/.f64 (fma.f64 (fma.f64 (fma.f64 (fma.f64 x y z) y #s(literal 54929528941/2000000 binary64)) y #s(literal 28832688827/125000 binary64)) y t) (fma.f64 (fma.f64 (fma.f64 (+.f64 y a) y (neg.f64 b)) y c) y i))
(/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) #s(literal 54929528941/2000000 binary64)) #s(literal 28832688827/125000 binary64)) t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) (neg.f64 b)) c) i))
(/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x y) z) y) #s(literal 54929528941/2000000 binary64)) y) #s(literal 28832688827/125000 binary64)) y) t) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) (neg.f64 c)) y) i))
(/.f64 (fma.f64 (fma.f64 (fma.f64 (fma.f64 x y z) y #s(literal 54929528941/2000000 binary64)) y #s(literal 28832688827/125000 binary64)) y t) (fma.f64 (fma.f64 (fma.f64 (+.f64 y a) y b) y (neg.f64 c)) y i))
(/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) #s(literal 54929528941/2000000 binary64)) #s(literal 28832688827/125000 binary64)) t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) (neg.f64 c)) i))
(/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x y) z) y) #s(literal 54929528941/2000000 binary64)) y) #s(literal 28832688827/125000 binary64)) y) t) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y) (neg.f64 i)))
(/.f64 (fma.f64 (fma.f64 (fma.f64 (fma.f64 x y z) y #s(literal 54929528941/2000000 binary64)) y #s(literal 28832688827/125000 binary64)) y t) (-.f64 (*.f64 y (fma.f64 (fma.f64 (+.f64 y a) y b) y c)) i))
(/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) #s(literal 54929528941/2000000 binary64)) #s(literal 28832688827/125000 binary64)) t) (-.f64 (*.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c)) i))
(neg.f64 (/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (neg.f64 x) y) z) y) #s(literal 54929528941/2000000 binary64)) y) #s(literal 28832688827/125000 binary64)) y) t) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y) i)))
(/.f64 (fma.f64 (fma.f64 (fma.f64 (fma.f64 x (neg.f64 y) z) y #s(literal 54929528941/2000000 binary64)) y #s(literal 28832688827/125000 binary64)) y t) (neg.f64 (fma.f64 (fma.f64 (fma.f64 (+.f64 y a) y b) y c) y i)))
(/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x (neg.f64 y) z) #s(literal 54929528941/2000000 binary64)) #s(literal 28832688827/125000 binary64)) t) (neg.f64 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i)))
(/.f64 (neg.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x (neg.f64 y) z) #s(literal 54929528941/2000000 binary64)) #s(literal 28832688827/125000 binary64)) t)) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))
(neg.f64 (/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x (neg.f64 y)) z) (neg.f64 y)) #s(literal 54929528941/2000000 binary64)) (neg.f64 y)) #s(literal 28832688827/125000 binary64)) (neg.f64 y)) t) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (neg.f64 y) a) (neg.f64 y)) b) (neg.f64 y)) c) (neg.f64 y)) i)))
(/.f64 (fma.f64 (fma.f64 (fma.f64 (fma.f64 x (neg.f64 y) z) (neg.f64 y) #s(literal 54929528941/2000000 binary64)) (neg.f64 y) #s(literal 28832688827/125000 binary64)) (neg.f64 y) t) (neg.f64 (fma.f64 (fma.f64 (fma.f64 (+.f64 a (neg.f64 y)) (neg.f64 y) b) (neg.f64 y) c) (neg.f64 y) i)))
(/.f64 (-.f64 t (*.f64 y (fma.f64 (neg.f64 y) (-.f64 #s(literal 54929528941/2000000 binary64) (*.f64 y (fma.f64 x (neg.f64 y) z))) #s(literal 28832688827/125000 binary64)))) (neg.f64 (-.f64 i (*.f64 y (fma.f64 (neg.f64 y) (-.f64 b (*.f64 y (-.f64 a y))) c)))))
(/.f64 (-.f64 t (*.f64 y (fma.f64 (neg.f64 y) (fma.f64 y (fma.f64 x y (neg.f64 z)) #s(literal 54929528941/2000000 binary64)) #s(literal 28832688827/125000 binary64)))) (-.f64 (*.f64 y (fma.f64 (neg.f64 y) (fma.f64 y (-.f64 y a) b) c)) i))
(/.f64 (+.f64 t (*.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y (neg.f64 z)) #s(literal 54929528941/2000000 binary64)) #s(literal -28832688827/125000 binary64)))) (-.f64 (*.f64 y (fma.f64 (neg.f64 y) (fma.f64 y (-.f64 y a) b) c)) i))
(neg.f64 (/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x y) (neg.f64 z)) y) #s(literal 54929528941/2000000 binary64)) y) #s(literal 28832688827/125000 binary64)) y) t) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y) i)))
(/.f64 (neg.f64 (fma.f64 (fma.f64 (fma.f64 (fma.f64 x y (neg.f64 z)) y #s(literal 54929528941/2000000 binary64)) y #s(literal 28832688827/125000 binary64)) y t)) (fma.f64 (fma.f64 (fma.f64 (+.f64 y a) y b) y c) y i))
(/.f64 (neg.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y (neg.f64 z)) #s(literal 54929528941/2000000 binary64)) #s(literal 28832688827/125000 binary64)) t)) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))
(/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y (neg.f64 z)) #s(literal 54929528941/2000000 binary64)) #s(literal 28832688827/125000 binary64)) t) (neg.f64 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i)))
(neg.f64 (/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x y) z) y) #s(literal 54929528941/2000000 binary64)) y) #s(literal 28832688827/125000 binary64)) y) (neg.f64 t)) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y) i)))
(/.f64 (fma.f64 (fma.f64 (fma.f64 (fma.f64 x y z) y #s(literal 54929528941/2000000 binary64)) y #s(literal 28832688827/125000 binary64)) y (neg.f64 t)) (neg.f64 (fma.f64 (fma.f64 (fma.f64 (+.f64 y a) y b) y c) y i)))
(/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) #s(literal 54929528941/2000000 binary64)) #s(literal 28832688827/125000 binary64)) (neg.f64 t)) (neg.f64 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i)))
(/.f64 (-.f64 t (*.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) #s(literal 54929528941/2000000 binary64)) #s(literal 28832688827/125000 binary64)))) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))
(/.f64 (fma.f64 y (neg.f64 (fma.f64 y (fma.f64 y (fma.f64 x y z) #s(literal 54929528941/2000000 binary64)) #s(literal 28832688827/125000 binary64))) t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))
(neg.f64 (/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x y) z) y) #s(literal 54929528941/2000000 binary64)) y) #s(literal 28832688827/125000 binary64)) y) t) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 y (neg.f64 a)) y) b) y) c) y) i)))
(/.f64 (fma.f64 (fma.f64 (fma.f64 (fma.f64 x y z) y #s(literal 54929528941/2000000 binary64)) y #s(literal 28832688827/125000 binary64)) y t) (neg.f64 (fma.f64 (fma.f64 (fma.f64 (-.f64 y a) y b) y c) y i)))
(/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) #s(literal 54929528941/2000000 binary64)) #s(literal 28832688827/125000 binary64)) t) (neg.f64 (fma.f64 y (fma.f64 y (fma.f64 y (-.f64 y a) b) c) i)))
(neg.f64 (/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x y) z) y) #s(literal 54929528941/2000000 binary64)) y) #s(literal 28832688827/125000 binary64)) y) t) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 y a) y) (neg.f64 b)) y) c) y) i)))
(/.f64 (fma.f64 (fma.f64 (fma.f64 (fma.f64 x y z) y #s(literal 54929528941/2000000 binary64)) y #s(literal 28832688827/125000 binary64)) y t) (neg.f64 (fma.f64 (fma.f64 (fma.f64 (+.f64 y a) y (neg.f64 b)) y c) y i)))
(/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) #s(literal 54929528941/2000000 binary64)) #s(literal 28832688827/125000 binary64)) t) (neg.f64 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) (neg.f64 b)) c) i)))
(neg.f64 (/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x y) z) y) #s(literal 54929528941/2000000 binary64)) y) #s(literal 28832688827/125000 binary64)) y) t) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) (neg.f64 c)) y) i)))
(/.f64 (fma.f64 (fma.f64 (fma.f64 (fma.f64 x y z) y #s(literal 54929528941/2000000 binary64)) y #s(literal 28832688827/125000 binary64)) y t) (neg.f64 (fma.f64 (fma.f64 (fma.f64 (+.f64 y a) y b) y (neg.f64 c)) y i)))
(/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) #s(literal 54929528941/2000000 binary64)) #s(literal 28832688827/125000 binary64)) t) (neg.f64 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) (neg.f64 c)) i)))
(neg.f64 (/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x y) z) y) #s(literal 54929528941/2000000 binary64)) y) #s(literal 28832688827/125000 binary64)) y) t) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y) (neg.f64 i))))
(/.f64 (fma.f64 (fma.f64 (fma.f64 (fma.f64 x y z) y #s(literal 54929528941/2000000 binary64)) y #s(literal 28832688827/125000 binary64)) y t) (neg.f64 (-.f64 (*.f64 y (fma.f64 (fma.f64 (+.f64 y a) y b) y c)) i)))
(/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) #s(literal 54929528941/2000000 binary64)) #s(literal 28832688827/125000 binary64)) t) (neg.f64 (-.f64 (*.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c)) i)))
(/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) #s(literal 54929528941/2000000 binary64)) #s(literal 28832688827/125000 binary64)) t) (-.f64 i (*.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c))))
(/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) #s(literal 54929528941/2000000 binary64)) #s(literal 28832688827/125000 binary64)) t) (fma.f64 (fma.f64 y (fma.f64 y (+.f64 y a) b) c) (neg.f64 y) i))
(/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 y x) z) x) #s(literal 54929528941/2000000 binary64)) x) #s(literal 28832688827/125000 binary64)) x) t) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 x a) x) b) x) c) x) i))
(/.f64 (fma.f64 (fma.f64 (fma.f64 (fma.f64 x y z) x #s(literal 54929528941/2000000 binary64)) x #s(literal 28832688827/125000 binary64)) x t) (fma.f64 (fma.f64 (fma.f64 (+.f64 x a) x b) x c) x i))
(/.f64 (fma.f64 x (fma.f64 x (fma.f64 x (fma.f64 x y z) #s(literal 54929528941/2000000 binary64)) #s(literal 28832688827/125000 binary64)) t) (fma.f64 x (fma.f64 x (fma.f64 x (+.f64 x a) b) c) i))
(/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 z y) x) y) #s(literal 54929528941/2000000 binary64)) y) #s(literal 28832688827/125000 binary64)) y) t) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y) i))
(/.f64 (fma.f64 (fma.f64 (fma.f64 (fma.f64 z y x) y #s(literal 54929528941/2000000 binary64)) y #s(literal 28832688827/125000 binary64)) y t) (fma.f64 (fma.f64 (fma.f64 (+.f64 y a) y b) y c) y i))
(/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 y z x) #s(literal 54929528941/2000000 binary64)) #s(literal 28832688827/125000 binary64)) t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))
(/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 t y) z) y) #s(literal 54929528941/2000000 binary64)) y) #s(literal 28832688827/125000 binary64)) y) x) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y) i))
(/.f64 (fma.f64 (fma.f64 (fma.f64 (fma.f64 t y z) y #s(literal 54929528941/2000000 binary64)) y #s(literal 28832688827/125000 binary64)) y x) (fma.f64 (fma.f64 (fma.f64 (+.f64 y a) y b) y c) y i))
(/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 y t z) #s(literal 54929528941/2000000 binary64)) #s(literal 28832688827/125000 binary64)) x) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))
(/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 a y) z) y) #s(literal 54929528941/2000000 binary64)) y) #s(literal 28832688827/125000 binary64)) y) t) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 y x) y) b) y) c) y) i))
(/.f64 (fma.f64 (fma.f64 (fma.f64 (fma.f64 a y z) y #s(literal 54929528941/2000000 binary64)) y #s(literal 28832688827/125000 binary64)) y t) (fma.f64 (fma.f64 (fma.f64 (+.f64 x y) y b) y c) y i))
(/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 y a z) #s(literal 54929528941/2000000 binary64)) #s(literal 28832688827/125000 binary64)) t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 x y) b) c) i))
(/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 b y) z) y) #s(literal 54929528941/2000000 binary64)) y) #s(literal 28832688827/125000 binary64)) y) t) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 y a) y) x) y) c) y) i))
(/.f64 (fma.f64 (fma.f64 (fma.f64 (fma.f64 b y z) y #s(literal 54929528941/2000000 binary64)) y #s(literal 28832688827/125000 binary64)) y t) (fma.f64 (fma.f64 (fma.f64 (+.f64 y a) y x) y c) y i))
(/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 y b z) #s(literal 54929528941/2000000 binary64)) #s(literal 28832688827/125000 binary64)) t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) x) c) i))
(/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 c y) z) y) #s(literal 54929528941/2000000 binary64)) y) #s(literal 28832688827/125000 binary64)) y) t) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) x) y) i))
(/.f64 (fma.f64 (fma.f64 (fma.f64 (fma.f64 c y z) y #s(literal 54929528941/2000000 binary64)) y #s(literal 28832688827/125000 binary64)) y t) (fma.f64 (fma.f64 (fma.f64 (+.f64 y a) y b) y x) y i))
(/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 y c z) #s(literal 54929528941/2000000 binary64)) #s(literal 28832688827/125000 binary64)) t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) x) i))
(/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 i y) z) y) #s(literal 54929528941/2000000 binary64)) y) #s(literal 28832688827/125000 binary64)) y) t) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y) x))
(/.f64 (fma.f64 (fma.f64 (fma.f64 (fma.f64 i y z) y #s(literal 54929528941/2000000 binary64)) y #s(literal 28832688827/125000 binary64)) y t) (fma.f64 (fma.f64 (fma.f64 (+.f64 y a) y b) y c) y x))
(/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 y i z) #s(literal 54929528941/2000000 binary64)) #s(literal 28832688827/125000 binary64)) t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) x))
(/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x z) y) z) #s(literal 54929528941/2000000 binary64)) z) #s(literal 28832688827/125000 binary64)) z) t) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 z a) z) b) z) c) z) i))
(/.f64 (fma.f64 (fma.f64 (fma.f64 (fma.f64 x z y) z #s(literal 54929528941/2000000 binary64)) z #s(literal 28832688827/125000 binary64)) z t) (fma.f64 (fma.f64 (fma.f64 (+.f64 z a) z b) z c) z i))
(/.f64 (fma.f64 z (fma.f64 z (fma.f64 z (fma.f64 x z y) #s(literal 54929528941/2000000 binary64)) #s(literal 28832688827/125000 binary64)) t) (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z a) b) c) i))
(/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x t) z) t) #s(literal 54929528941/2000000 binary64)) t) #s(literal 28832688827/125000 binary64)) t) y) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 t a) t) b) t) c) t) i))
(/.f64 (fma.f64 (fma.f64 (fma.f64 (fma.f64 x t z) t #s(literal 54929528941/2000000 binary64)) t #s(literal 28832688827/125000 binary64)) t y) (fma.f64 (fma.f64 (fma.f64 (+.f64 t a) t b) t c) t i))
(/.f64 (fma.f64 t (fma.f64 t (fma.f64 t (fma.f64 x t z) #s(literal 54929528941/2000000 binary64)) #s(literal 28832688827/125000 binary64)) y) (fma.f64 t (fma.f64 t (fma.f64 t (+.f64 t a) b) c) i))
(/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x a) z) a) #s(literal 54929528941/2000000 binary64)) a) #s(literal 28832688827/125000 binary64)) a) t) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 a y) a) b) a) c) a) i))
(/.f64 (fma.f64 (fma.f64 (fma.f64 (fma.f64 x a z) a #s(literal 54929528941/2000000 binary64)) a #s(literal 28832688827/125000 binary64)) a t) (fma.f64 (fma.f64 (fma.f64 (+.f64 y a) a b) a c) a i))
(/.f64 (fma.f64 a (fma.f64 a (fma.f64 a (fma.f64 x a z) #s(literal 54929528941/2000000 binary64)) #s(literal 28832688827/125000 binary64)) t) (fma.f64 a (fma.f64 a (fma.f64 a (+.f64 y a) b) c) i))
(/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x b) z) b) #s(literal 54929528941/2000000 binary64)) b) #s(literal 28832688827/125000 binary64)) b) t) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 b a) b) y) b) c) b) i))
(/.f64 (fma.f64 (fma.f64 (fma.f64 (fma.f64 x b z) b #s(literal 54929528941/2000000 binary64)) b #s(literal 28832688827/125000 binary64)) b t) (fma.f64 (fma.f64 (fma.f64 (+.f64 a b) b y) b c) b i))
(/.f64 (fma.f64 b (fma.f64 b (fma.f64 b (fma.f64 x b z) #s(literal 54929528941/2000000 binary64)) #s(literal 28832688827/125000 binary64)) t) (fma.f64 b (fma.f64 b (fma.f64 b (+.f64 a b) y) c) i))
(/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x c) z) c) #s(literal 54929528941/2000000 binary64)) c) #s(literal 28832688827/125000 binary64)) c) t) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 c a) c) b) c) y) c) i))
(/.f64 (fma.f64 (fma.f64 (fma.f64 (fma.f64 x c z) c #s(literal 54929528941/2000000 binary64)) c #s(literal 28832688827/125000 binary64)) c t) (fma.f64 (fma.f64 (fma.f64 (+.f64 a c) c b) c y) c i))
(/.f64 (fma.f64 c (fma.f64 c (fma.f64 c (fma.f64 x c z) #s(literal 54929528941/2000000 binary64)) #s(literal 28832688827/125000 binary64)) t) (fma.f64 c (fma.f64 c (fma.f64 c (+.f64 a c) b) y) i))
(/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x i) z) i) #s(literal 54929528941/2000000 binary64)) i) #s(literal 28832688827/125000 binary64)) i) t) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 i a) i) b) i) c) i) y))
(/.f64 (fma.f64 (fma.f64 (fma.f64 (fma.f64 x i z) i #s(literal 54929528941/2000000 binary64)) i #s(literal 28832688827/125000 binary64)) i t) (fma.f64 (fma.f64 (fma.f64 (+.f64 a i) i b) i c) i y))
(/.f64 (fma.f64 i (fma.f64 i (fma.f64 i (fma.f64 x i z) #s(literal 54929528941/2000000 binary64)) #s(literal 28832688827/125000 binary64)) t) (fma.f64 i (fma.f64 i (fma.f64 i (+.f64 a i) b) c) y))
(/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x y) t) y) #s(literal 54929528941/2000000 binary64)) y) #s(literal 28832688827/125000 binary64)) y) z) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y) i))
(/.f64 (fma.f64 (fma.f64 (fma.f64 (fma.f64 x y t) y #s(literal 54929528941/2000000 binary64)) y #s(literal 28832688827/125000 binary64)) y z) (fma.f64 (fma.f64 (fma.f64 (+.f64 y a) y b) y c) y i))
(/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y t) #s(literal 54929528941/2000000 binary64)) #s(literal 28832688827/125000 binary64)) z) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))
(/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x y) a) y) #s(literal 54929528941/2000000 binary64)) y) #s(literal 28832688827/125000 binary64)) y) t) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 y z) y) b) y) c) y) i))
(/.f64 (fma.f64 (fma.f64 (fma.f64 (fma.f64 x y a) y #s(literal 54929528941/2000000 binary64)) y #s(literal 28832688827/125000 binary64)) y t) (fma.f64 (fma.f64 (fma.f64 (+.f64 y z) y b) y c) y i))
(/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y a) #s(literal 54929528941/2000000 binary64)) #s(literal 28832688827/125000 binary64)) t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y z) b) c) i))
(/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x y) b) y) #s(literal 54929528941/2000000 binary64)) y) #s(literal 28832688827/125000 binary64)) y) t) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 y a) y) z) y) c) y) i))
(/.f64 (fma.f64 (fma.f64 (fma.f64 (fma.f64 x y b) y #s(literal 54929528941/2000000 binary64)) y #s(literal 28832688827/125000 binary64)) y t) (fma.f64 (fma.f64 (fma.f64 (+.f64 y a) y z) y c) y i))
(/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y b) #s(literal 54929528941/2000000 binary64)) #s(literal 28832688827/125000 binary64)) t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) z) c) i))
(/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x y) c) y) #s(literal 54929528941/2000000 binary64)) y) #s(literal 28832688827/125000 binary64)) y) t) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) z) y) i))
(/.f64 (fma.f64 (fma.f64 (fma.f64 (fma.f64 x y c) y #s(literal 54929528941/2000000 binary64)) y #s(literal 28832688827/125000 binary64)) y t) (fma.f64 (fma.f64 (fma.f64 (+.f64 y a) y b) y z) y i))
(/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y c) #s(literal 54929528941/2000000 binary64)) #s(literal 28832688827/125000 binary64)) t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) z) i))
(/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x y) i) y) #s(literal 54929528941/2000000 binary64)) y) #s(literal 28832688827/125000 binary64)) y) t) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y) z))
(/.f64 (fma.f64 (fma.f64 (fma.f64 (fma.f64 x y i) y #s(literal 54929528941/2000000 binary64)) y #s(literal 28832688827/125000 binary64)) y t) (fma.f64 (fma.f64 (fma.f64 (+.f64 y a) y b) y c) y z))
(/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y i) #s(literal 54929528941/2000000 binary64)) #s(literal 28832688827/125000 binary64)) t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) z))
(/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x y) z) y) #s(literal 54929528941/2000000 binary64)) y) #s(literal 28832688827/125000 binary64)) y) a) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 y t) y) b) y) c) y) i))
(/.f64 (fma.f64 (fma.f64 (fma.f64 (fma.f64 x y z) y #s(literal 54929528941/2000000 binary64)) y #s(literal 28832688827/125000 binary64)) y a) (fma.f64 (fma.f64 (fma.f64 (+.f64 y t) y b) y c) y i))
(/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) #s(literal 54929528941/2000000 binary64)) #s(literal 28832688827/125000 binary64)) a) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y t) b) c) i))
(/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x y) z) y) #s(literal 54929528941/2000000 binary64)) y) #s(literal 28832688827/125000 binary64)) y) b) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 y a) y) t) y) c) y) i))
(/.f64 (fma.f64 (fma.f64 (fma.f64 (fma.f64 x y z) y #s(literal 54929528941/2000000 binary64)) y #s(literal 28832688827/125000 binary64)) y b) (fma.f64 (fma.f64 (fma.f64 (+.f64 y a) y t) y c) y i))
(/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) #s(literal 54929528941/2000000 binary64)) #s(literal 28832688827/125000 binary64)) b) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) t) c) i))
(/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x y) z) y) #s(literal 54929528941/2000000 binary64)) y) #s(literal 28832688827/125000 binary64)) y) c) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) t) y) i))
(/.f64 (fma.f64 (fma.f64 (fma.f64 (fma.f64 x y z) y #s(literal 54929528941/2000000 binary64)) y #s(literal 28832688827/125000 binary64)) y c) (fma.f64 (fma.f64 (fma.f64 (+.f64 y a) y b) y t) y i))
(/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) #s(literal 54929528941/2000000 binary64)) #s(literal 28832688827/125000 binary64)) c) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) t) i))
(/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x y) z) y) #s(literal 54929528941/2000000 binary64)) y) #s(literal 28832688827/125000 binary64)) y) i) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y) t))
(/.f64 (fma.f64 (fma.f64 (fma.f64 (fma.f64 x y z) y #s(literal 54929528941/2000000 binary64)) y #s(literal 28832688827/125000 binary64)) y i) (fma.f64 (fma.f64 (fma.f64 (+.f64 y a) y b) y c) y t))
(/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) #s(literal 54929528941/2000000 binary64)) #s(literal 28832688827/125000 binary64)) i) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) t))
(/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x y) z) y) #s(literal 54929528941/2000000 binary64)) y) #s(literal 28832688827/125000 binary64)) y) t) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 y b) y) a) y) c) y) i))
(/.f64 (fma.f64 (fma.f64 (fma.f64 (fma.f64 x y z) y #s(literal 54929528941/2000000 binary64)) y #s(literal 28832688827/125000 binary64)) y t) (fma.f64 (fma.f64 (fma.f64 (+.f64 y b) y a) y c) y i))
(/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) #s(literal 54929528941/2000000 binary64)) #s(literal 28832688827/125000 binary64)) t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y b) a) c) i))
(/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x y) z) y) #s(literal 54929528941/2000000 binary64)) y) #s(literal 28832688827/125000 binary64)) y) t) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 y c) y) b) y) a) y) i))
(/.f64 (fma.f64 (fma.f64 (fma.f64 (fma.f64 x y z) y #s(literal 54929528941/2000000 binary64)) y #s(literal 28832688827/125000 binary64)) y t) (fma.f64 (fma.f64 (fma.f64 (+.f64 y c) y b) y a) y i))
(/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) #s(literal 54929528941/2000000 binary64)) #s(literal 28832688827/125000 binary64)) t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y c) b) a) i))
(/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x y) z) y) #s(literal 54929528941/2000000 binary64)) y) #s(literal 28832688827/125000 binary64)) y) t) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 y i) y) b) y) c) y) a))
(/.f64 (fma.f64 (fma.f64 (fma.f64 (fma.f64 x y z) y #s(literal 54929528941/2000000 binary64)) y #s(literal 28832688827/125000 binary64)) y t) (fma.f64 (fma.f64 (fma.f64 (+.f64 y i) y b) y c) y a))
(/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) #s(literal 54929528941/2000000 binary64)) #s(literal 28832688827/125000 binary64)) t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y i) b) c) a))
(/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x y) z) y) #s(literal 54929528941/2000000 binary64)) y) #s(literal 28832688827/125000 binary64)) y) t) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 y a) y) c) y) b) y) i))
(/.f64 (fma.f64 (fma.f64 (fma.f64 (fma.f64 x y z) y #s(literal 54929528941/2000000 binary64)) y #s(literal 28832688827/125000 binary64)) y t) (fma.f64 (fma.f64 (fma.f64 (+.f64 y a) y c) y b) y i))
(/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) #s(literal 54929528941/2000000 binary64)) #s(literal 28832688827/125000 binary64)) t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) c) b) i))
(/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x y) z) y) #s(literal 54929528941/2000000 binary64)) y) #s(literal 28832688827/125000 binary64)) y) t) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 y a) y) i) y) c) y) b))
(/.f64 (fma.f64 (fma.f64 (fma.f64 (fma.f64 x y z) y #s(literal 54929528941/2000000 binary64)) y #s(literal 28832688827/125000 binary64)) y t) (fma.f64 (fma.f64 (fma.f64 (+.f64 y a) y i) y c) y b))
(/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) #s(literal 54929528941/2000000 binary64)) #s(literal 28832688827/125000 binary64)) t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) i) c) b))
(/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x y) z) y) #s(literal 54929528941/2000000 binary64)) y) #s(literal 28832688827/125000 binary64)) y) t) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) i) y) c))
(/.f64 (fma.f64 (fma.f64 (fma.f64 (fma.f64 x y z) y #s(literal 54929528941/2000000 binary64)) y #s(literal 28832688827/125000 binary64)) y t) (fma.f64 (fma.f64 (fma.f64 (+.f64 y a) y b) y i) y c))
(/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) #s(literal 54929528941/2000000 binary64)) #s(literal 28832688827/125000 binary64)) t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) i) c))
Compiler

Compiled 41 to 26 computations (36.6% saved)

eval0.0ms (0%)

Compiler

Compiled 8 to 8 computations (0% saved)

prune3.0ms (0%)

Alt Table
Click to see full alt table
StatusAccuracyProgram
58.6%
(/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x y) z) y) #s(literal 54929528941/2000000 binary64)) y) #s(literal 28832688827/125000 binary64)) y) t) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y) i))
Compiler

Compiled 82 to 52 computations (36.6% saved)

simplify49.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
8×+-commutative
7×*-commutative
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
037142
152142
Stop Event
1×saturated
Calls
Call 1
Inputs
(/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x y) z) y) #s(literal 54929528941/2000000 binary64)) y) #s(literal 28832688827/125000 binary64)) y) t) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y) i))
Outputs
(/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x y) z) y) #s(literal 54929528941/2000000 binary64)) y) #s(literal 28832688827/125000 binary64)) y) t) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y) i))
(/.f64 (+.f64 (*.f64 y (+.f64 (*.f64 y (+.f64 (*.f64 y (+.f64 (*.f64 x y) z)) #s(literal 54929528941/2000000 binary64))) #s(literal 28832688827/125000 binary64))) t) (+.f64 (*.f64 y (+.f64 (*.f64 y (+.f64 (*.f64 y (+.f64 y a)) b)) c)) i))

soundness2.0ms (0%)

Stop Event
1×fuel
Compiler

Compiled 41 to 26 computations (36.6% saved)

preprocess306.0ms (0.7%)

Compiler

Compiled 164 to 104 computations (36.6% saved)

end0.0ms (0%)

Profiling

Loading profile data...