| Outputs |
|---|
d1 |
d2 |
d3 |
#s(literal 32 binary64) |
(*.f64 #s(literal -32 binary64) (neg.f64 d1)) |
(*.f64 (neg.f64 d1) #s(literal -32 binary64)) |
(*.f64 #s(literal 32 binary64) d1) |
(*.f64 d1 #s(literal 32 binary64)) |
(neg.f64 (*.f64 #s(literal -32 binary64) d1)) |
#s(literal 5 binary64) |
(*.f64 (-.f64 #s(literal 1 binary64) (/.f64 (neg.f64 d3) #s(literal 5 binary64))) #s(literal 5 binary64)) |
(*.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal -5 binary64) d3)) d3) |
(*.f64 (+.f64 #s(literal 1 binary64) (/.f64 d3 #s(literal 5 binary64))) #s(literal 5 binary64)) |
(*.f64 (+.f64 #s(literal 1 binary64) (/.f64 #s(literal 5 binary64) d3)) d3) |
(/.f64 (-.f64 (*.f64 #s(literal 5 binary64) #s(literal 5 binary64)) (*.f64 (neg.f64 d3) (neg.f64 d3))) (+.f64 #s(literal 5 binary64) (neg.f64 d3))) |
(/.f64 (-.f64 (*.f64 d3 d3) (*.f64 #s(literal -5 binary64) #s(literal -5 binary64))) (+.f64 d3 #s(literal -5 binary64))) |
(/.f64 (-.f64 (pow.f64 #s(literal 5 binary64) #s(literal 3 binary64)) (pow.f64 (neg.f64 d3) #s(literal 3 binary64))) (+.f64 (*.f64 #s(literal 5 binary64) #s(literal 5 binary64)) (+.f64 (*.f64 (neg.f64 d3) (neg.f64 d3)) (*.f64 #s(literal 5 binary64) (neg.f64 d3))))) |
(/.f64 (-.f64 (pow.f64 d3 #s(literal 3 binary64)) (pow.f64 #s(literal -5 binary64) #s(literal 3 binary64))) (+.f64 (*.f64 d3 d3) (+.f64 (*.f64 #s(literal -5 binary64) #s(literal -5 binary64)) (*.f64 d3 #s(literal -5 binary64))))) |
(/.f64 (-.f64 (*.f64 #s(literal 5 binary64) #s(literal 5 binary64)) (*.f64 d3 d3)) (-.f64 #s(literal 5 binary64) d3)) |
(/.f64 (-.f64 (*.f64 d3 d3) (*.f64 #s(literal 5 binary64) #s(literal 5 binary64))) (-.f64 d3 #s(literal 5 binary64))) |
(/.f64 (+.f64 (pow.f64 #s(literal 5 binary64) #s(literal 3 binary64)) (pow.f64 d3 #s(literal 3 binary64))) (+.f64 (*.f64 #s(literal 5 binary64) #s(literal 5 binary64)) (-.f64 (*.f64 d3 d3) (*.f64 #s(literal 5 binary64) d3)))) |
(/.f64 (+.f64 (pow.f64 d3 #s(literal 3 binary64)) (pow.f64 #s(literal 5 binary64) #s(literal 3 binary64))) (+.f64 (*.f64 d3 d3) (-.f64 (*.f64 #s(literal 5 binary64) #s(literal 5 binary64)) (*.f64 d3 #s(literal 5 binary64))))) |
(neg.f64 (-.f64 #s(literal -5 binary64) d3)) |
(-.f64 #s(literal 5 binary64) (neg.f64 d3)) |
(-.f64 d3 #s(literal -5 binary64)) |
(+.f64 #s(literal 5 binary64) d3) |
(+.f64 d3 #s(literal 5 binary64)) |
(*.f64 (+.f64 #s(literal 1 binary64) (/.f64 (*.f64 #s(literal 5 binary64) d1) (*.f64 d3 d1))) (*.f64 d3 d1)) |
(*.f64 (-.f64 #s(literal 1 binary64) (/.f64 (*.f64 (neg.f64 d1) d3) (*.f64 #s(literal 5 binary64) d1))) (*.f64 #s(literal 5 binary64) d1)) |
(*.f64 (+.f64 #s(literal 1 binary64) (/.f64 (*.f64 d3 d1) (*.f64 #s(literal 5 binary64) d1))) (*.f64 #s(literal 5 binary64) d1)) |
(*.f64 (-.f64 #s(literal -5 binary64) d3) (neg.f64 d1)) |
(*.f64 (neg.f64 d1) (-.f64 #s(literal -5 binary64) d3)) |
(*.f64 (-.f64 d3 #s(literal -5 binary64)) d1) |
(*.f64 d1 (-.f64 d3 #s(literal -5 binary64))) |
(/.f64 (-.f64 (*.f64 (neg.f64 (*.f64 (neg.f64 d1) d3)) (neg.f64 (*.f64 (neg.f64 d1) d3))) (*.f64 (*.f64 #s(literal 5 binary64) d1) (*.f64 #s(literal 5 binary64) d1))) (-.f64 (neg.f64 (*.f64 (neg.f64 d1) d3)) (*.f64 #s(literal 5 binary64) d1))) |
(/.f64 (-.f64 (*.f64 (*.f64 #s(literal 5 binary64) d1) (*.f64 #s(literal 5 binary64) d1)) (*.f64 (neg.f64 (*.f64 (neg.f64 d1) d3)) (neg.f64 (*.f64 (neg.f64 d1) d3)))) (-.f64 (*.f64 #s(literal 5 binary64) d1) (neg.f64 (*.f64 (neg.f64 d1) d3)))) |
(/.f64 (-.f64 (*.f64 (*.f64 d3 d1) (*.f64 d3 d1)) (*.f64 (*.f64 #s(literal -5 binary64) d1) (*.f64 #s(literal -5 binary64) d1))) (+.f64 (*.f64 d3 d1) (*.f64 #s(literal -5 binary64) d1))) |
(/.f64 (+.f64 (pow.f64 (neg.f64 (*.f64 (neg.f64 d1) d3)) #s(literal 3 binary64)) (pow.f64 (*.f64 #s(literal 5 binary64) d1) #s(literal 3 binary64))) (+.f64 (*.f64 (neg.f64 (*.f64 (neg.f64 d1) d3)) (neg.f64 (*.f64 (neg.f64 d1) d3))) (-.f64 (*.f64 (*.f64 #s(literal 5 binary64) d1) (*.f64 #s(literal 5 binary64) d1)) (*.f64 (neg.f64 (*.f64 (neg.f64 d1) d3)) (*.f64 #s(literal 5 binary64) d1))))) |
(/.f64 (+.f64 (pow.f64 (*.f64 #s(literal 5 binary64) d1) #s(literal 3 binary64)) (pow.f64 (neg.f64 (*.f64 (neg.f64 d1) d3)) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 #s(literal 5 binary64) d1) (*.f64 #s(literal 5 binary64) d1)) (-.f64 (*.f64 (neg.f64 (*.f64 (neg.f64 d1) d3)) (neg.f64 (*.f64 (neg.f64 d1) d3))) (*.f64 (*.f64 #s(literal 5 binary64) d1) (neg.f64 (*.f64 (neg.f64 d1) d3)))))) |
(/.f64 (-.f64 (pow.f64 (*.f64 d3 d1) #s(literal 3 binary64)) (pow.f64 (*.f64 #s(literal -5 binary64) d1) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 d3 d1) (*.f64 d3 d1)) (+.f64 (*.f64 (*.f64 #s(literal -5 binary64) d1) (*.f64 #s(literal -5 binary64) d1)) (*.f64 (*.f64 d3 d1) (*.f64 #s(literal -5 binary64) d1))))) |
(/.f64 (-.f64 (*.f64 (*.f64 d3 d1) (*.f64 d3 d1)) (*.f64 (*.f64 #s(literal 5 binary64) d1) (*.f64 #s(literal 5 binary64) d1))) (-.f64 (*.f64 d3 d1) (*.f64 #s(literal 5 binary64) d1))) |
(/.f64 (-.f64 (*.f64 (*.f64 #s(literal 5 binary64) d1) (*.f64 #s(literal 5 binary64) d1)) (*.f64 (*.f64 (neg.f64 d1) d3) (*.f64 (neg.f64 d1) d3))) (+.f64 (*.f64 #s(literal 5 binary64) d1) (*.f64 (neg.f64 d1) d3))) |
(/.f64 (+.f64 (pow.f64 (*.f64 d3 d1) #s(literal 3 binary64)) (pow.f64 (*.f64 #s(literal 5 binary64) d1) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 d3 d1) (*.f64 d3 d1)) (-.f64 (*.f64 (*.f64 #s(literal 5 binary64) d1) (*.f64 #s(literal 5 binary64) d1)) (*.f64 (*.f64 d3 d1) (*.f64 #s(literal 5 binary64) d1))))) |
(/.f64 (-.f64 (pow.f64 (*.f64 #s(literal 5 binary64) d1) #s(literal 3 binary64)) (pow.f64 (*.f64 (neg.f64 d1) d3) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 #s(literal 5 binary64) d1) (*.f64 #s(literal 5 binary64) d1)) (+.f64 (*.f64 (*.f64 (neg.f64 d1) d3) (*.f64 (neg.f64 d1) d3)) (*.f64 (*.f64 #s(literal 5 binary64) d1) (*.f64 (neg.f64 d1) d3))))) |
(/.f64 (-.f64 (*.f64 (*.f64 #s(literal 5 binary64) d1) (*.f64 #s(literal 5 binary64) d1)) (*.f64 (*.f64 d3 d1) (*.f64 d3 d1))) (-.f64 (*.f64 #s(literal 5 binary64) d1) (*.f64 d3 d1))) |
(/.f64 (+.f64 (pow.f64 (*.f64 #s(literal 5 binary64) d1) #s(literal 3 binary64)) (pow.f64 (*.f64 d3 d1) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 #s(literal 5 binary64) d1) (*.f64 #s(literal 5 binary64) d1)) (-.f64 (*.f64 (*.f64 d3 d1) (*.f64 d3 d1)) (*.f64 (*.f64 #s(literal 5 binary64) d1) (*.f64 d3 d1))))) |
(neg.f64 (*.f64 (-.f64 #s(literal -5 binary64) d3) d1)) |
(-.f64 (*.f64 d3 d1) (*.f64 #s(literal -5 binary64) d1)) |
(-.f64 (*.f64 #s(literal 5 binary64) d1) (*.f64 (neg.f64 d1) d3)) |
(+.f64 (neg.f64 (*.f64 (neg.f64 d1) d3)) (*.f64 #s(literal 5 binary64) d1)) |
(+.f64 (*.f64 d3 d1) (*.f64 #s(literal 5 binary64) d1)) |
(+.f64 (*.f64 #s(literal 5 binary64) d1) (neg.f64 (*.f64 (neg.f64 d1) d3))) |
(+.f64 (*.f64 #s(literal 5 binary64) d1) (*.f64 d3 d1)) |
(*.f64 (+.f64 #s(literal 1 binary64) (/.f64 (*.f64 d1 (+.f64 d3 #s(literal 32 binary64))) (*.f64 #s(literal 5 binary64) d1))) (*.f64 #s(literal 5 binary64) d1)) |
(*.f64 (+.f64 #s(literal 1 binary64) (/.f64 (*.f64 d3 d1) (*.f64 #s(literal 37 binary64) d1))) (*.f64 #s(literal 37 binary64) d1)) |
(*.f64 (-.f64 #s(literal 1 binary64) (/.f64 (*.f64 #s(literal -32 binary64) d1) (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1))) (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1)) |
(*.f64 (+.f64 #s(literal 1 binary64) (/.f64 (*.f64 #s(literal 32 binary64) d1) (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1))) (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1)) |
(*.f64 (-.f64 #s(literal 1 binary64) (/.f64 (*.f64 (-.f64 #s(literal -5 binary64) d3) d1) (*.f64 #s(literal 32 binary64) d1))) (*.f64 #s(literal 32 binary64) d1)) |
(*.f64 (-.f64 d3 #s(literal -37 binary64)) d1) |
(*.f64 (+.f64 #s(literal 1 binary64) (/.f64 (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1) (*.f64 #s(literal 32 binary64) d1))) (*.f64 #s(literal 32 binary64) d1)) |
(*.f64 d1 (-.f64 d3 #s(literal -37 binary64))) |
(/.f64 (-.f64 (*.f64 (*.f64 d1 (+.f64 d3 #s(literal 32 binary64))) (*.f64 d1 (+.f64 d3 #s(literal 32 binary64)))) (*.f64 (*.f64 #s(literal 5 binary64) d1) (*.f64 #s(literal 5 binary64) d1))) (-.f64 (*.f64 d1 (+.f64 d3 #s(literal 32 binary64))) (*.f64 #s(literal 5 binary64) d1))) |
(/.f64 (-.f64 (*.f64 (*.f64 d3 d1) (*.f64 d3 d1)) (*.f64 (-.f64 (*.f64 #s(literal 5 binary64) d1) (*.f64 #s(literal -32 binary64) d1)) (-.f64 (*.f64 #s(literal 5 binary64) d1) (*.f64 #s(literal -32 binary64) d1)))) (-.f64 (*.f64 d3 d1) (-.f64 (*.f64 #s(literal 5 binary64) d1) (*.f64 #s(literal -32 binary64) d1)))) |
(/.f64 (-.f64 (*.f64 (*.f64 d3 d1) (*.f64 d3 d1)) (*.f64 (*.f64 #s(literal 37 binary64) d1) (*.f64 #s(literal 37 binary64) d1))) (-.f64 (*.f64 d3 d1) (*.f64 #s(literal 37 binary64) d1))) |
(/.f64 (-.f64 (*.f64 (-.f64 (*.f64 #s(literal 32 binary64) d1) (*.f64 (neg.f64 d1) d3)) (-.f64 (*.f64 #s(literal 32 binary64) d1) (*.f64 (neg.f64 d1) d3))) (*.f64 (*.f64 #s(literal -5 binary64) d1) (*.f64 #s(literal -5 binary64) d1))) (+.f64 (-.f64 (*.f64 #s(literal 32 binary64) d1) (*.f64 (neg.f64 d1) d3)) (*.f64 #s(literal -5 binary64) d1))) |
(/.f64 (-.f64 (*.f64 (*.f64 #s(literal 5 binary64) d1) (*.f64 #s(literal 5 binary64) d1)) (*.f64 (-.f64 (*.f64 (neg.f64 d1) d3) (*.f64 #s(literal 32 binary64) d1)) (-.f64 (*.f64 (neg.f64 d1) d3) (*.f64 #s(literal 32 binary64) d1)))) (+.f64 (*.f64 #s(literal 5 binary64) d1) (-.f64 (*.f64 (neg.f64 d1) d3) (*.f64 #s(literal 32 binary64) d1)))) |
(/.f64 (-.f64 (*.f64 (*.f64 #s(literal 5 binary64) d1) (*.f64 #s(literal 5 binary64) d1)) (*.f64 (+.f64 (*.f64 (neg.f64 d1) d3) (*.f64 #s(literal -32 binary64) d1)) (+.f64 (*.f64 (neg.f64 d1) d3) (*.f64 #s(literal -32 binary64) d1)))) (+.f64 (*.f64 #s(literal 5 binary64) d1) (+.f64 (*.f64 (neg.f64 d1) d3) (*.f64 #s(literal -32 binary64) d1)))) |
(/.f64 (-.f64 (*.f64 (*.f64 #s(literal 5 binary64) d1) (*.f64 #s(literal 5 binary64) d1)) (*.f64 (neg.f64 (*.f64 d1 (+.f64 d3 #s(literal 32 binary64)))) (neg.f64 (*.f64 d1 (+.f64 d3 #s(literal 32 binary64)))))) (+.f64 (*.f64 #s(literal 5 binary64) d1) (neg.f64 (*.f64 d1 (+.f64 d3 #s(literal 32 binary64)))))) |
(/.f64 (-.f64 (*.f64 (*.f64 #s(literal 37 binary64) d1) (*.f64 #s(literal 37 binary64) d1)) (*.f64 (*.f64 (neg.f64 d1) d3) (*.f64 (neg.f64 d1) d3))) (+.f64 (*.f64 #s(literal 37 binary64) d1) (*.f64 (neg.f64 d1) d3))) |
(/.f64 (+.f64 (pow.f64 (*.f64 d1 (+.f64 d3 #s(literal 32 binary64))) #s(literal 3 binary64)) (pow.f64 (*.f64 #s(literal 5 binary64) d1) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 d1 (+.f64 d3 #s(literal 32 binary64))) (*.f64 d1 (+.f64 d3 #s(literal 32 binary64)))) (-.f64 (*.f64 (*.f64 #s(literal 5 binary64) d1) (*.f64 #s(literal 5 binary64) d1)) (*.f64 (*.f64 d1 (+.f64 d3 #s(literal 32 binary64))) (*.f64 #s(literal 5 binary64) d1))))) |
(/.f64 (+.f64 (pow.f64 (*.f64 d3 d1) #s(literal 3 binary64)) (pow.f64 (-.f64 (*.f64 #s(literal 5 binary64) d1) (*.f64 #s(literal -32 binary64) d1)) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 d3 d1) (*.f64 d3 d1)) (-.f64 (*.f64 (-.f64 (*.f64 #s(literal 5 binary64) d1) (*.f64 #s(literal -32 binary64) d1)) (-.f64 (*.f64 #s(literal 5 binary64) d1) (*.f64 #s(literal -32 binary64) d1))) (*.f64 (*.f64 d3 d1) (-.f64 (*.f64 #s(literal 5 binary64) d1) (*.f64 #s(literal -32 binary64) d1)))))) |
(/.f64 (+.f64 (pow.f64 (*.f64 d3 d1) #s(literal 3 binary64)) (pow.f64 (*.f64 #s(literal 37 binary64) d1) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 d3 d1) (*.f64 d3 d1)) (-.f64 (*.f64 (*.f64 #s(literal 37 binary64) d1) (*.f64 #s(literal 37 binary64) d1)) (*.f64 (*.f64 d3 d1) (*.f64 #s(literal 37 binary64) d1))))) |
(/.f64 (-.f64 (pow.f64 (-.f64 (*.f64 #s(literal 32 binary64) d1) (*.f64 (neg.f64 d1) d3)) #s(literal 3 binary64)) (pow.f64 (*.f64 #s(literal -5 binary64) d1) #s(literal 3 binary64))) (+.f64 (*.f64 (-.f64 (*.f64 #s(literal 32 binary64) d1) (*.f64 (neg.f64 d1) d3)) (-.f64 (*.f64 #s(literal 32 binary64) d1) (*.f64 (neg.f64 d1) d3))) (+.f64 (*.f64 (*.f64 #s(literal -5 binary64) d1) (*.f64 #s(literal -5 binary64) d1)) (*.f64 (-.f64 (*.f64 #s(literal 32 binary64) d1) (*.f64 (neg.f64 d1) d3)) (*.f64 #s(literal -5 binary64) d1))))) |
(/.f64 (-.f64 (pow.f64 (*.f64 #s(literal 5 binary64) d1) #s(literal 3 binary64)) (pow.f64 (-.f64 (*.f64 (neg.f64 d1) d3) (*.f64 #s(literal 32 binary64) d1)) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 #s(literal 5 binary64) d1) (*.f64 #s(literal 5 binary64) d1)) (+.f64 (*.f64 (-.f64 (*.f64 (neg.f64 d1) d3) (*.f64 #s(literal 32 binary64) d1)) (-.f64 (*.f64 (neg.f64 d1) d3) (*.f64 #s(literal 32 binary64) d1))) (*.f64 (*.f64 #s(literal 5 binary64) d1) (-.f64 (*.f64 (neg.f64 d1) d3) (*.f64 #s(literal 32 binary64) d1)))))) |
(/.f64 (-.f64 (pow.f64 (*.f64 #s(literal 5 binary64) d1) #s(literal 3 binary64)) (pow.f64 (+.f64 (*.f64 (neg.f64 d1) d3) (*.f64 #s(literal -32 binary64) d1)) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 #s(literal 5 binary64) d1) (*.f64 #s(literal 5 binary64) d1)) (+.f64 (*.f64 (+.f64 (*.f64 (neg.f64 d1) d3) (*.f64 #s(literal -32 binary64) d1)) (+.f64 (*.f64 (neg.f64 d1) d3) (*.f64 #s(literal -32 binary64) d1))) (*.f64 (*.f64 #s(literal 5 binary64) d1) (+.f64 (*.f64 (neg.f64 d1) d3) (*.f64 #s(literal -32 binary64) d1)))))) |
(/.f64 (-.f64 (pow.f64 (*.f64 #s(literal 5 binary64) d1) #s(literal 3 binary64)) (pow.f64 (neg.f64 (*.f64 d1 (+.f64 d3 #s(literal 32 binary64)))) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 #s(literal 5 binary64) d1) (*.f64 #s(literal 5 binary64) d1)) (+.f64 (*.f64 (neg.f64 (*.f64 d1 (+.f64 d3 #s(literal 32 binary64)))) (neg.f64 (*.f64 d1 (+.f64 d3 #s(literal 32 binary64))))) (*.f64 (*.f64 #s(literal 5 binary64) d1) (neg.f64 (*.f64 d1 (+.f64 d3 #s(literal 32 binary64)))))))) |
(/.f64 (-.f64 (pow.f64 (*.f64 #s(literal 37 binary64) d1) #s(literal 3 binary64)) (pow.f64 (*.f64 (neg.f64 d1) d3) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 #s(literal 37 binary64) d1) (*.f64 #s(literal 37 binary64) d1)) (+.f64 (*.f64 (*.f64 (neg.f64 d1) d3) (*.f64 (neg.f64 d1) d3)) (*.f64 (*.f64 #s(literal 37 binary64) d1) (*.f64 (neg.f64 d1) d3))))) |
(/.f64 (-.f64 (*.f64 (*.f64 #s(literal 5 binary64) d1) (*.f64 #s(literal 5 binary64) d1)) (*.f64 (*.f64 d1 (+.f64 d3 #s(literal 32 binary64))) (*.f64 d1 (+.f64 d3 #s(literal 32 binary64))))) (-.f64 (*.f64 #s(literal 5 binary64) d1) (*.f64 d1 (+.f64 d3 #s(literal 32 binary64))))) |
(/.f64 (-.f64 (*.f64 (*.f64 #s(literal 37 binary64) d1) (*.f64 #s(literal 37 binary64) d1)) (*.f64 (*.f64 d3 d1) (*.f64 d3 d1))) (-.f64 (*.f64 #s(literal 37 binary64) d1) (*.f64 d3 d1))) |
(/.f64 (-.f64 (*.f64 (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1) (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1)) (*.f64 (*.f64 #s(literal -32 binary64) d1) (*.f64 #s(literal -32 binary64) d1))) (+.f64 (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1) (*.f64 #s(literal -32 binary64) d1))) |
(/.f64 (+.f64 (pow.f64 (*.f64 #s(literal 5 binary64) d1) #s(literal 3 binary64)) (pow.f64 (*.f64 d1 (+.f64 d3 #s(literal 32 binary64))) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 #s(literal 5 binary64) d1) (*.f64 #s(literal 5 binary64) d1)) (-.f64 (*.f64 (*.f64 d1 (+.f64 d3 #s(literal 32 binary64))) (*.f64 d1 (+.f64 d3 #s(literal 32 binary64)))) (*.f64 (*.f64 #s(literal 5 binary64) d1) (*.f64 d1 (+.f64 d3 #s(literal 32 binary64))))))) |
(/.f64 (+.f64 (pow.f64 (*.f64 #s(literal 37 binary64) d1) #s(literal 3 binary64)) (pow.f64 (*.f64 d3 d1) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 #s(literal 37 binary64) d1) (*.f64 #s(literal 37 binary64) d1)) (-.f64 (*.f64 (*.f64 d3 d1) (*.f64 d3 d1)) (*.f64 (*.f64 #s(literal 37 binary64) d1) (*.f64 d3 d1))))) |
(/.f64 (-.f64 (pow.f64 (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1) #s(literal 3 binary64)) (pow.f64 (*.f64 #s(literal -32 binary64) d1) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1) (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1)) (+.f64 (*.f64 (*.f64 #s(literal -32 binary64) d1) (*.f64 #s(literal -32 binary64) d1)) (*.f64 (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1) (*.f64 #s(literal -32 binary64) d1))))) |
(/.f64 (-.f64 (*.f64 (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1) (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1)) (*.f64 (*.f64 #s(literal 32 binary64) d1) (*.f64 #s(literal 32 binary64) d1))) (-.f64 (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1) (*.f64 #s(literal 32 binary64) d1))) |
(/.f64 (-.f64 (*.f64 (*.f64 #s(literal 32 binary64) d1) (*.f64 #s(literal 32 binary64) d1)) (*.f64 (*.f64 (-.f64 #s(literal -5 binary64) d3) d1) (*.f64 (-.f64 #s(literal -5 binary64) d3) d1))) (+.f64 (*.f64 #s(literal 32 binary64) d1) (*.f64 (-.f64 #s(literal -5 binary64) d3) d1))) |
(/.f64 (+.f64 (pow.f64 (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1) #s(literal 3 binary64)) (pow.f64 (*.f64 #s(literal 32 binary64) d1) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1) (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1)) (-.f64 (*.f64 (*.f64 #s(literal 32 binary64) d1) (*.f64 #s(literal 32 binary64) d1)) (*.f64 (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1) (*.f64 #s(literal 32 binary64) d1))))) |
(/.f64 (-.f64 (pow.f64 (*.f64 #s(literal 32 binary64) d1) #s(literal 3 binary64)) (pow.f64 (*.f64 (-.f64 #s(literal -5 binary64) d3) d1) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 #s(literal 32 binary64) d1) (*.f64 #s(literal 32 binary64) d1)) (+.f64 (*.f64 (*.f64 (-.f64 #s(literal -5 binary64) d3) d1) (*.f64 (-.f64 #s(literal -5 binary64) d3) d1)) (*.f64 (*.f64 #s(literal 32 binary64) d1) (*.f64 (-.f64 #s(literal -5 binary64) d3) d1))))) |
(/.f64 (-.f64 (*.f64 (*.f64 #s(literal 32 binary64) d1) (*.f64 #s(literal 32 binary64) d1)) (*.f64 (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1) (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1))) (-.f64 (*.f64 #s(literal 32 binary64) d1) (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1))) |
(/.f64 (+.f64 (pow.f64 (*.f64 #s(literal 32 binary64) d1) #s(literal 3 binary64)) (pow.f64 (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 #s(literal 32 binary64) d1) (*.f64 #s(literal 32 binary64) d1)) (-.f64 (*.f64 (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1) (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1)) (*.f64 (*.f64 #s(literal 32 binary64) d1) (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1))))) |
(neg.f64 (*.f64 (-.f64 #s(literal -37 binary64) d3) d1)) |
(neg.f64 (*.f64 d1 (-.f64 #s(literal -37 binary64) d3))) |
(-.f64 (-.f64 (*.f64 #s(literal 32 binary64) d1) (*.f64 (neg.f64 d1) d3)) (*.f64 #s(literal -5 binary64) d1)) |
(-.f64 (*.f64 #s(literal 5 binary64) d1) (-.f64 (*.f64 (neg.f64 d1) d3) (*.f64 #s(literal 32 binary64) d1))) |
(-.f64 (*.f64 #s(literal 5 binary64) d1) (+.f64 (*.f64 (neg.f64 d1) d3) (*.f64 #s(literal -32 binary64) d1))) |
(-.f64 (*.f64 #s(literal 5 binary64) d1) (neg.f64 (*.f64 d1 (+.f64 d3 #s(literal 32 binary64))))) |
(-.f64 (*.f64 #s(literal 37 binary64) d1) (*.f64 (neg.f64 d1) d3)) |
(-.f64 (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1) (*.f64 #s(literal -32 binary64) d1)) |
(-.f64 (*.f64 #s(literal 32 binary64) d1) (*.f64 (-.f64 #s(literal -5 binary64) d3) d1)) |
(+.f64 (*.f64 d1 (+.f64 d3 #s(literal 32 binary64))) (*.f64 #s(literal 5 binary64) d1)) |
(+.f64 (*.f64 d3 d1) (-.f64 (*.f64 #s(literal 5 binary64) d1) (*.f64 #s(literal -32 binary64) d1))) |
(+.f64 (*.f64 d3 d1) (*.f64 #s(literal 37 binary64) d1)) |
(+.f64 (*.f64 #s(literal 5 binary64) d1) (*.f64 d1 (+.f64 d3 #s(literal 32 binary64)))) |
(+.f64 (*.f64 #s(literal 37 binary64) d1) (*.f64 d3 d1)) |
(+.f64 (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1) (*.f64 #s(literal 32 binary64) d1)) |
(+.f64 (*.f64 #s(literal 32 binary64) d1) (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1)) |
#s(approx (+ (+ (* d1 d2) (* (+ d3 5) d1)) (* d1 32)) (*.f64 (-.f64 d3 #s(literal -37 binary64)) d1)) |
#s(literal -37 binary64) |
(*.f64 (+.f64 #s(literal 1 binary64) (/.f64 #s(literal -37 binary64) (neg.f64 d3))) (neg.f64 d3)) |
(*.f64 (+.f64 #s(literal 1 binary64) (/.f64 (neg.f64 d3) #s(literal -37 binary64))) #s(literal -37 binary64)) |
(*.f64 (-.f64 #s(literal 1 binary64) (/.f64 d3 #s(literal -37 binary64))) #s(literal -37 binary64)) |
(/.f64 (-.f64 (*.f64 (neg.f64 d3) (neg.f64 d3)) (*.f64 #s(literal 37 binary64) #s(literal 37 binary64))) (+.f64 (neg.f64 d3) #s(literal 37 binary64))) |
(/.f64 (-.f64 (pow.f64 (neg.f64 d3) #s(literal 3 binary64)) (pow.f64 #s(literal 37 binary64) #s(literal 3 binary64))) (+.f64 (*.f64 (neg.f64 d3) (neg.f64 d3)) (+.f64 (*.f64 #s(literal 37 binary64) #s(literal 37 binary64)) (*.f64 (neg.f64 d3) #s(literal 37 binary64))))) |
(/.f64 (-.f64 (*.f64 (neg.f64 d3) (neg.f64 d3)) (*.f64 #s(literal -37 binary64) #s(literal -37 binary64))) (-.f64 (neg.f64 d3) #s(literal -37 binary64))) |
(/.f64 (+.f64 (pow.f64 (neg.f64 d3) #s(literal 3 binary64)) (pow.f64 #s(literal -37 binary64) #s(literal 3 binary64))) (+.f64 (*.f64 (neg.f64 d3) (neg.f64 d3)) (-.f64 (*.f64 #s(literal -37 binary64) #s(literal -37 binary64)) (*.f64 (neg.f64 d3) #s(literal -37 binary64))))) |
(/.f64 (-.f64 (*.f64 #s(literal -37 binary64) #s(literal -37 binary64)) (*.f64 (neg.f64 d3) (neg.f64 d3))) (-.f64 #s(literal -37 binary64) (neg.f64 d3))) |
(/.f64 (+.f64 (pow.f64 #s(literal -37 binary64) #s(literal 3 binary64)) (pow.f64 (neg.f64 d3) #s(literal 3 binary64))) (+.f64 (*.f64 #s(literal -37 binary64) #s(literal -37 binary64)) (-.f64 (*.f64 (neg.f64 d3) (neg.f64 d3)) (*.f64 #s(literal -37 binary64) (neg.f64 d3))))) |
(/.f64 (-.f64 (*.f64 #s(literal -37 binary64) #s(literal -37 binary64)) (*.f64 d3 d3)) (+.f64 #s(literal -37 binary64) d3)) |
(/.f64 (-.f64 (pow.f64 #s(literal -37 binary64) #s(literal 3 binary64)) (pow.f64 d3 #s(literal 3 binary64))) (+.f64 (*.f64 #s(literal -37 binary64) #s(literal -37 binary64)) (+.f64 (*.f64 d3 d3) (*.f64 #s(literal -37 binary64) d3)))) |
(neg.f64 (-.f64 d3 #s(literal -37 binary64))) |
(-.f64 (neg.f64 d3) #s(literal 37 binary64)) |
(-.f64 #s(literal -37 binary64) d3) |
(+.f64 (neg.f64 d3) #s(literal -37 binary64)) |
(+.f64 #s(literal -37 binary64) (neg.f64 d3)) |
(*.f64 (+.f64 #s(literal 1 binary64) (/.f64 d2 (-.f64 d3 #s(literal -37 binary64)))) (-.f64 d3 #s(literal -37 binary64))) |
(*.f64 (+.f64 #s(literal 1 binary64) (/.f64 (+.f64 d3 d2) #s(literal 37 binary64))) #s(literal 37 binary64)) |
(*.f64 (+.f64 #s(literal 1 binary64) (/.f64 (-.f64 d2 #s(literal -37 binary64)) d3)) d3) |
(*.f64 (-.f64 #s(literal 1 binary64) (/.f64 (neg.f64 d3) (-.f64 d2 #s(literal -37 binary64)))) (-.f64 d2 #s(literal -37 binary64))) |
(*.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal -37 binary64) (+.f64 d3 d2))) (+.f64 d3 d2)) |
(*.f64 (-.f64 #s(literal 1 binary64) (/.f64 (-.f64 (neg.f64 d2) #s(literal 37 binary64)) d3)) d3) |
(*.f64 (+.f64 #s(literal 1 binary64) (/.f64 #s(literal 37 binary64) (+.f64 d3 d2))) (+.f64 d3 d2)) |
(*.f64 (+.f64 #s(literal 1 binary64) (/.f64 d3 (-.f64 d2 #s(literal -37 binary64)))) (-.f64 d2 #s(literal -37 binary64))) |
(*.f64 (+.f64 #s(literal 1 binary64) (/.f64 (-.f64 d3 #s(literal -37 binary64)) d2)) d2) |
(*.f64 (-.f64 #s(literal 1 binary64) (/.f64 (-.f64 #s(literal -37 binary64) d3) d2)) d2) |
(/.f64 (-.f64 (*.f64 d3 d3) (*.f64 (neg.f64 (-.f64 (neg.f64 d2) #s(literal 37 binary64))) (neg.f64 (-.f64 (neg.f64 d2) #s(literal 37 binary64))))) (-.f64 d3 (neg.f64 (-.f64 (neg.f64 d2) #s(literal 37 binary64))))) |
(/.f64 (-.f64 (*.f64 (-.f64 d3 #s(literal -37 binary64)) (-.f64 d3 #s(literal -37 binary64))) (*.f64 (neg.f64 d2) (neg.f64 d2))) (+.f64 (-.f64 d3 #s(literal -37 binary64)) (neg.f64 d2))) |
(/.f64 (-.f64 (*.f64 #s(literal 37 binary64) #s(literal 37 binary64)) (*.f64 (-.f64 (neg.f64 d3) d2) (-.f64 (neg.f64 d3) d2))) (+.f64 #s(literal 37 binary64) (-.f64 (neg.f64 d3) d2))) |
(/.f64 (-.f64 (*.f64 d3 d3) (*.f64 (-.f64 #s(literal -37 binary64) d2) (-.f64 #s(literal -37 binary64) d2))) (+.f64 d3 (-.f64 #s(literal -37 binary64) d2))) |
(/.f64 (+.f64 (pow.f64 d3 #s(literal 3 binary64)) (pow.f64 (neg.f64 (-.f64 (neg.f64 d2) #s(literal 37 binary64))) #s(literal 3 binary64))) (+.f64 (*.f64 d3 d3) (-.f64 (*.f64 (neg.f64 (-.f64 (neg.f64 d2) #s(literal 37 binary64))) (neg.f64 (-.f64 (neg.f64 d2) #s(literal 37 binary64)))) (*.f64 d3 (neg.f64 (-.f64 (neg.f64 d2) #s(literal 37 binary64))))))) |
(/.f64 (-.f64 (pow.f64 (-.f64 d3 #s(literal -37 binary64)) #s(literal 3 binary64)) (pow.f64 (neg.f64 d2) #s(literal 3 binary64))) (+.f64 (*.f64 (-.f64 d3 #s(literal -37 binary64)) (-.f64 d3 #s(literal -37 binary64))) (+.f64 (*.f64 (neg.f64 d2) (neg.f64 d2)) (*.f64 (-.f64 d3 #s(literal -37 binary64)) (neg.f64 d2))))) |
(/.f64 (-.f64 (pow.f64 #s(literal 37 binary64) #s(literal 3 binary64)) (pow.f64 (-.f64 (neg.f64 d3) d2) #s(literal 3 binary64))) (+.f64 (*.f64 #s(literal 37 binary64) #s(literal 37 binary64)) (+.f64 (*.f64 (-.f64 (neg.f64 d3) d2) (-.f64 (neg.f64 d3) d2)) (*.f64 #s(literal 37 binary64) (-.f64 (neg.f64 d3) d2))))) |
(/.f64 (-.f64 (pow.f64 d3 #s(literal 3 binary64)) (pow.f64 (-.f64 #s(literal -37 binary64) d2) #s(literal 3 binary64))) (+.f64 (*.f64 d3 d3) (+.f64 (*.f64 (-.f64 #s(literal -37 binary64) d2) (-.f64 #s(literal -37 binary64) d2)) (*.f64 d3 (-.f64 #s(literal -37 binary64) d2))))) |
(/.f64 (-.f64 (*.f64 (-.f64 d3 #s(literal -37 binary64)) (-.f64 d3 #s(literal -37 binary64))) (*.f64 d2 d2)) (-.f64 (-.f64 d3 #s(literal -37 binary64)) d2)) |
(/.f64 (-.f64 (*.f64 #s(literal 37 binary64) #s(literal 37 binary64)) (*.f64 (+.f64 d3 d2) (+.f64 d3 d2))) (-.f64 #s(literal 37 binary64) (+.f64 d3 d2))) |
(/.f64 (-.f64 (*.f64 d3 d3) (*.f64 (-.f64 d2 #s(literal -37 binary64)) (-.f64 d2 #s(literal -37 binary64)))) (-.f64 d3 (-.f64 d2 #s(literal -37 binary64)))) |
(/.f64 (-.f64 (*.f64 (-.f64 d2 #s(literal -37 binary64)) (-.f64 d2 #s(literal -37 binary64))) (*.f64 (neg.f64 d3) (neg.f64 d3))) (+.f64 (-.f64 d2 #s(literal -37 binary64)) (neg.f64 d3))) |
(/.f64 (-.f64 (*.f64 (+.f64 d3 d2) (+.f64 d3 d2)) (*.f64 #s(literal -37 binary64) #s(literal -37 binary64))) (+.f64 (+.f64 d3 d2) #s(literal -37 binary64))) |
(/.f64 (-.f64 (*.f64 d3 d3) (*.f64 (-.f64 (neg.f64 d2) #s(literal 37 binary64)) (-.f64 (neg.f64 d2) #s(literal 37 binary64)))) (+.f64 d3 (-.f64 (neg.f64 d2) #s(literal 37 binary64)))) |
(/.f64 (+.f64 (pow.f64 (-.f64 d3 #s(literal -37 binary64)) #s(literal 3 binary64)) (pow.f64 d2 #s(literal 3 binary64))) (+.f64 (*.f64 (-.f64 d3 #s(literal -37 binary64)) (-.f64 d3 #s(literal -37 binary64))) (-.f64 (*.f64 d2 d2) (*.f64 (-.f64 d3 #s(literal -37 binary64)) d2)))) |
(/.f64 (+.f64 (pow.f64 #s(literal 37 binary64) #s(literal 3 binary64)) (pow.f64 (+.f64 d3 d2) #s(literal 3 binary64))) (+.f64 (*.f64 #s(literal 37 binary64) #s(literal 37 binary64)) (-.f64 (*.f64 (+.f64 d3 d2) (+.f64 d3 d2)) (*.f64 #s(literal 37 binary64) (+.f64 d3 d2))))) |
(/.f64 (+.f64 (pow.f64 d3 #s(literal 3 binary64)) (pow.f64 (-.f64 d2 #s(literal -37 binary64)) #s(literal 3 binary64))) (+.f64 (*.f64 d3 d3) (-.f64 (*.f64 (-.f64 d2 #s(literal -37 binary64)) (-.f64 d2 #s(literal -37 binary64))) (*.f64 d3 (-.f64 d2 #s(literal -37 binary64)))))) |
(/.f64 (-.f64 (pow.f64 (-.f64 d2 #s(literal -37 binary64)) #s(literal 3 binary64)) (pow.f64 (neg.f64 d3) #s(literal 3 binary64))) (+.f64 (*.f64 (-.f64 d2 #s(literal -37 binary64)) (-.f64 d2 #s(literal -37 binary64))) (+.f64 (*.f64 (neg.f64 d3) (neg.f64 d3)) (*.f64 (-.f64 d2 #s(literal -37 binary64)) (neg.f64 d3))))) |
(/.f64 (-.f64 (pow.f64 (+.f64 d3 d2) #s(literal 3 binary64)) (pow.f64 #s(literal -37 binary64) #s(literal 3 binary64))) (+.f64 (*.f64 (+.f64 d3 d2) (+.f64 d3 d2)) (+.f64 (*.f64 #s(literal -37 binary64) #s(literal -37 binary64)) (*.f64 (+.f64 d3 d2) #s(literal -37 binary64))))) |
(/.f64 (-.f64 (pow.f64 d3 #s(literal 3 binary64)) (pow.f64 (-.f64 (neg.f64 d2) #s(literal 37 binary64)) #s(literal 3 binary64))) (+.f64 (*.f64 d3 d3) (+.f64 (*.f64 (-.f64 (neg.f64 d2) #s(literal 37 binary64)) (-.f64 (neg.f64 d2) #s(literal 37 binary64))) (*.f64 d3 (-.f64 (neg.f64 d2) #s(literal 37 binary64)))))) |
(/.f64 (-.f64 (*.f64 (+.f64 d3 d2) (+.f64 d3 d2)) (*.f64 #s(literal 37 binary64) #s(literal 37 binary64))) (-.f64 (+.f64 d3 d2) #s(literal 37 binary64))) |
(/.f64 (-.f64 (*.f64 (-.f64 d2 #s(literal -37 binary64)) (-.f64 d2 #s(literal -37 binary64))) (*.f64 d3 d3)) (-.f64 (-.f64 d2 #s(literal -37 binary64)) d3)) |
(/.f64 (-.f64 (*.f64 d2 d2) (*.f64 (-.f64 d3 #s(literal -37 binary64)) (-.f64 d3 #s(literal -37 binary64)))) (-.f64 d2 (-.f64 d3 #s(literal -37 binary64)))) |
(/.f64 (+.f64 (pow.f64 (+.f64 d3 d2) #s(literal 3 binary64)) (pow.f64 #s(literal 37 binary64) #s(literal 3 binary64))) (+.f64 (*.f64 (+.f64 d3 d2) (+.f64 d3 d2)) (-.f64 (*.f64 #s(literal 37 binary64) #s(literal 37 binary64)) (*.f64 (+.f64 d3 d2) #s(literal 37 binary64))))) |
(/.f64 (+.f64 (pow.f64 (-.f64 d2 #s(literal -37 binary64)) #s(literal 3 binary64)) (pow.f64 d3 #s(literal 3 binary64))) (+.f64 (*.f64 (-.f64 d2 #s(literal -37 binary64)) (-.f64 d2 #s(literal -37 binary64))) (-.f64 (*.f64 d3 d3) (*.f64 (-.f64 d2 #s(literal -37 binary64)) d3)))) |
(/.f64 (+.f64 (pow.f64 d2 #s(literal 3 binary64)) (pow.f64 (-.f64 d3 #s(literal -37 binary64)) #s(literal 3 binary64))) (+.f64 (*.f64 d2 d2) (-.f64 (*.f64 (-.f64 d3 #s(literal -37 binary64)) (-.f64 d3 #s(literal -37 binary64))) (*.f64 d2 (-.f64 d3 #s(literal -37 binary64)))))) |
(/.f64 (-.f64 (*.f64 d2 d2) (*.f64 (-.f64 #s(literal -37 binary64) d3) (-.f64 #s(literal -37 binary64) d3))) (+.f64 d2 (-.f64 #s(literal -37 binary64) d3))) |
(/.f64 (-.f64 (pow.f64 d2 #s(literal 3 binary64)) (pow.f64 (-.f64 #s(literal -37 binary64) d3) #s(literal 3 binary64))) (+.f64 (*.f64 d2 d2) (+.f64 (*.f64 (-.f64 #s(literal -37 binary64) d3) (-.f64 #s(literal -37 binary64) d3)) (*.f64 d2 (-.f64 #s(literal -37 binary64) d3))))) |
(neg.f64 (-.f64 (-.f64 #s(literal -37 binary64) d3) d2)) |
(-.f64 (-.f64 d2 #s(literal -37 binary64)) (neg.f64 d3)) |
(-.f64 (-.f64 d3 #s(literal -37 binary64)) (neg.f64 d2)) |
(-.f64 #s(literal 37 binary64) (-.f64 (neg.f64 d3) d2)) |
(-.f64 (+.f64 d3 d2) #s(literal -37 binary64)) |
(-.f64 d3 (-.f64 (neg.f64 d2) #s(literal 37 binary64))) |
(-.f64 d3 (-.f64 #s(literal -37 binary64) d2)) |
(-.f64 d2 (-.f64 #s(literal -37 binary64) d3)) |
(+.f64 (-.f64 d2 #s(literal -37 binary64)) d3) |
(+.f64 (-.f64 d3 #s(literal -37 binary64)) d2) |
(+.f64 #s(literal 37 binary64) (+.f64 d3 d2)) |
(+.f64 (+.f64 d3 d2) #s(literal 37 binary64)) |
(+.f64 d3 (neg.f64 (-.f64 (neg.f64 d2) #s(literal 37 binary64)))) |
(+.f64 d3 (-.f64 d2 #s(literal -37 binary64))) |
(+.f64 d2 (-.f64 d3 #s(literal -37 binary64))) |
(*.f64 (+.f64 #s(literal 1 binary64) (/.f64 (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1) (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))))) (*.f64 d1 (+.f64 d2 #s(literal 32 binary64)))) |
(*.f64 (+.f64 #s(literal 1 binary64) (/.f64 (*.f64 d2 d1) (*.f64 (-.f64 d3 #s(literal -37 binary64)) d1))) (*.f64 (-.f64 d3 #s(literal -37 binary64)) d1)) |
(*.f64 (+.f64 #s(literal 1 binary64) (/.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1))) (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1)) |
(*.f64 (+.f64 #s(literal 1 binary64) (/.f64 (*.f64 d3 d1) (*.f64 (-.f64 d2 #s(literal -37 binary64)) d1))) (*.f64 (-.f64 d2 #s(literal -37 binary64)) d1)) |
(*.f64 (+.f64 #s(literal 1 binary64) (/.f64 (*.f64 (-.f64 d2 #s(literal -37 binary64)) d1) (*.f64 d3 d1))) (*.f64 d3 d1)) |
(*.f64 (-.f64 #s(literal 1 binary64) (/.f64 (*.f64 (-.f64 #s(literal -5 binary64) d3) d1) (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))))) (*.f64 d1 (+.f64 d2 #s(literal 32 binary64)))) |
(*.f64 (-.f64 #s(literal 1 binary64) (/.f64 (*.f64 d1 (-.f64 (-.f64 #s(literal -5 binary64) d3) d2)) (*.f64 #s(literal 32 binary64) d1))) (*.f64 #s(literal 32 binary64) d1)) |
(*.f64 (-.f64 #s(literal 1 binary64) (/.f64 (*.f64 d1 (-.f64 #s(literal -37 binary64) d3)) (*.f64 d2 d1))) (*.f64 d2 d1)) |
(*.f64 (-.f64 #s(literal 1 binary64) (/.f64 (*.f64 (-.f64 (neg.f64 d3) d2) d1) (*.f64 #s(literal 37 binary64) d1))) (*.f64 #s(literal 37 binary64) d1)) |
(*.f64 (+.f64 #s(literal 1 binary64) (/.f64 (*.f64 (+.f64 d3 d2) d1) (*.f64 #s(literal 37 binary64) d1))) (*.f64 #s(literal 37 binary64) d1)) |
(*.f64 (+.f64 #s(literal 1 binary64) (/.f64 (*.f64 (-.f64 (+.f64 d3 d2) #s(literal -5 binary64)) d1) (*.f64 #s(literal 32 binary64) d1))) (*.f64 #s(literal 32 binary64) d1)) |
(*.f64 (+.f64 #s(literal 1 binary64) (/.f64 (*.f64 (-.f64 d3 #s(literal -37 binary64)) d1) (*.f64 d2 d1))) (*.f64 d2 d1)) |
(*.f64 (-.f64 #s(literal 1 binary64) (/.f64 (*.f64 #s(literal -37 binary64) d1) (*.f64 (+.f64 d3 d2) d1))) (*.f64 (+.f64 d3 d2) d1)) |
(*.f64 (-.f64 #s(literal 1 binary64) (/.f64 (*.f64 #s(literal -32 binary64) d1) (*.f64 (-.f64 (+.f64 d3 d2) #s(literal -5 binary64)) d1))) (*.f64 (-.f64 (+.f64 d3 d2) #s(literal -5 binary64)) d1)) |
(*.f64 (neg.f64 d1) (-.f64 (-.f64 #s(literal -37 binary64) d3) d2)) |
(*.f64 (-.f64 (-.f64 #s(literal -37 binary64) d3) d2) (neg.f64 d1)) |
(*.f64 (+.f64 #s(literal 1 binary64) (/.f64 (*.f64 #s(literal 32 binary64) d1) (*.f64 (-.f64 (+.f64 d3 d2) #s(literal -5 binary64)) d1))) (*.f64 (-.f64 (+.f64 d3 d2) #s(literal -5 binary64)) d1)) |
(*.f64 (+.f64 #s(literal 1 binary64) (/.f64 (*.f64 #s(literal 37 binary64) d1) (*.f64 (+.f64 d3 d2) d1))) (*.f64 (+.f64 d3 d2) d1)) |
(*.f64 (-.f64 d2 (-.f64 #s(literal -37 binary64) d3)) d1) |
(*.f64 d1 (+.f64 #s(literal 32 binary64) (-.f64 (+.f64 d3 d2) #s(literal -5 binary64)))) |
(*.f64 d1 (+.f64 (-.f64 (+.f64 d3 d2) #s(literal -5 binary64)) #s(literal 32 binary64))) |
(*.f64 d1 (-.f64 (-.f64 (+.f64 d3 d2) #s(literal -5 binary64)) #s(literal -32 binary64))) |
(*.f64 d1 (-.f64 d2 (-.f64 #s(literal -37 binary64) d3))) |
(/.f64 (-.f64 (*.f64 (+.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 d3 d1)) (+.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 d3 d1))) (*.f64 (*.f64 #s(literal 5 binary64) d1) (*.f64 #s(literal 5 binary64) d1))) (-.f64 (+.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 d3 d1)) (*.f64 #s(literal 5 binary64) d1))) |
(/.f64 (-.f64 (*.f64 (+.f64 (*.f64 #s(literal 32 binary64) d1) (*.f64 d1 (+.f64 d2 #s(literal 5 binary64)))) (+.f64 (*.f64 #s(literal 32 binary64) d1) (*.f64 d1 (+.f64 d2 #s(literal 5 binary64))))) (*.f64 (*.f64 d3 d1) (*.f64 d3 d1))) (-.f64 (+.f64 (*.f64 #s(literal 32 binary64) d1) (*.f64 d1 (+.f64 d2 #s(literal 5 binary64)))) (*.f64 d3 d1))) |
(/.f64 (-.f64 (*.f64 (+.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 #s(literal 5 binary64) d1)) (+.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 #s(literal 5 binary64) d1))) (*.f64 (*.f64 d3 d1) (*.f64 d3 d1))) (-.f64 (+.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 #s(literal 5 binary64) d1)) (*.f64 d3 d1))) |
(/.f64 (-.f64 (*.f64 (*.f64 d1 (+.f64 d2 #s(literal 5 binary64))) (*.f64 d1 (+.f64 d2 #s(literal 5 binary64)))) (*.f64 (*.f64 d1 (+.f64 d3 #s(literal 32 binary64))) (*.f64 d1 (+.f64 d3 #s(literal 32 binary64))))) (-.f64 (*.f64 d1 (+.f64 d2 #s(literal 5 binary64))) (*.f64 d1 (+.f64 d3 #s(literal 32 binary64))))) |
(/.f64 (-.f64 (*.f64 (*.f64 d3 d1) (*.f64 d3 d1)) (*.f64 (+.f64 (*.f64 #s(literal 5 binary64) d1) (*.f64 d1 (+.f64 d2 #s(literal 32 binary64)))) (+.f64 (*.f64 #s(literal 5 binary64) d1) (*.f64 d1 (+.f64 d2 #s(literal 32 binary64)))))) (-.f64 (*.f64 d3 d1) (+.f64 (*.f64 #s(literal 5 binary64) d1) (*.f64 d1 (+.f64 d2 #s(literal 32 binary64)))))) |
(/.f64 (-.f64 (*.f64 (*.f64 #s(literal 5 binary64) d1) (*.f64 #s(literal 5 binary64) d1)) (*.f64 (+.f64 (*.f64 d1 (+.f64 d3 #s(literal 32 binary64))) (*.f64 d2 d1)) (+.f64 (*.f64 d1 (+.f64 d3 #s(literal 32 binary64))) (*.f64 d2 d1)))) (-.f64 (*.f64 #s(literal 5 binary64) d1) (+.f64 (*.f64 d1 (+.f64 d3 #s(literal 32 binary64))) (*.f64 d2 d1)))) |
(/.f64 (-.f64 (*.f64 (*.f64 #s(literal 5 binary64) d1) (*.f64 #s(literal 5 binary64) d1)) (*.f64 (+.f64 (*.f64 d3 d1) (*.f64 d1 (+.f64 d2 #s(literal 32 binary64)))) (+.f64 (*.f64 d3 d1) (*.f64 d1 (+.f64 d2 #s(literal 32 binary64)))))) (-.f64 (*.f64 #s(literal 5 binary64) d1) (+.f64 (*.f64 d3 d1) (*.f64 d1 (+.f64 d2 #s(literal 32 binary64)))))) |
(/.f64 (-.f64 (*.f64 (*.f64 #s(literal 5 binary64) d1) (*.f64 #s(literal 5 binary64) d1)) (*.f64 (+.f64 (*.f64 (+.f64 d3 d2) d1) (*.f64 #s(literal 32 binary64) d1)) (+.f64 (*.f64 (+.f64 d3 d2) d1) (*.f64 #s(literal 32 binary64) d1)))) (-.f64 (*.f64 #s(literal 5 binary64) d1) (+.f64 (*.f64 (+.f64 d3 d2) d1) (*.f64 #s(literal 32 binary64) d1)))) |
(/.f64 (-.f64 (*.f64 (*.f64 #s(literal 5 binary64) d1) (*.f64 #s(literal 5 binary64) d1)) (*.f64 (-.f64 (*.f64 (+.f64 d3 d2) d1) (*.f64 #s(literal -32 binary64) d1)) (-.f64 (*.f64 (+.f64 d3 d2) d1) (*.f64 #s(literal -32 binary64) d1)))) (-.f64 (*.f64 #s(literal 5 binary64) d1) (-.f64 (*.f64 (+.f64 d3 d2) d1) (*.f64 #s(literal -32 binary64) d1)))) |
(/.f64 (-.f64 (*.f64 (*.f64 d2 d1) (*.f64 d2 d1)) (*.f64 (-.f64 (*.f64 d3 d1) (*.f64 #s(literal -37 binary64) d1)) (-.f64 (*.f64 d3 d1) (*.f64 #s(literal -37 binary64) d1)))) (-.f64 (*.f64 d2 d1) (-.f64 (*.f64 d3 d1) (*.f64 #s(literal -37 binary64) d1)))) |
(/.f64 (-.f64 (*.f64 (+.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 #s(literal 5 binary64) d1)) (+.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 #s(literal 5 binary64) d1))) (*.f64 (*.f64 (neg.f64 d1) d3) (*.f64 (neg.f64 d1) d3))) (+.f64 (+.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 #s(literal 5 binary64) d1)) (*.f64 (neg.f64 d1) d3))) |
(/.f64 (-.f64 (*.f64 (-.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 #s(literal -5 binary64) d1)) (-.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 #s(literal -5 binary64) d1))) (*.f64 (*.f64 (neg.f64 d1) d3) (*.f64 (neg.f64 d1) d3))) (+.f64 (-.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 #s(literal -5 binary64) d1)) (*.f64 (neg.f64 d1) d3))) |
(/.f64 (-.f64 (*.f64 (-.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 (neg.f64 d1) d3)) (-.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 (neg.f64 d1) d3))) (*.f64 (*.f64 #s(literal -5 binary64) d1) (*.f64 #s(literal -5 binary64) d1))) (+.f64 (-.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 (neg.f64 d1) d3)) (*.f64 #s(literal -5 binary64) d1))) |
(/.f64 (-.f64 (*.f64 (*.f64 (-.f64 d2 #s(literal -37 binary64)) d1) (*.f64 (-.f64 d2 #s(literal -37 binary64)) d1)) (*.f64 (*.f64 (neg.f64 d1) d3) (*.f64 (neg.f64 d1) d3))) (+.f64 (*.f64 (-.f64 d2 #s(literal -37 binary64)) d1) (*.f64 (neg.f64 d1) d3))) |
(/.f64 (-.f64 (*.f64 (*.f64 d3 d1) (*.f64 d3 d1)) (*.f64 (-.f64 (*.f64 (neg.f64 d1) d2) (*.f64 #s(literal 37 binary64) d1)) (-.f64 (*.f64 (neg.f64 d1) d2) (*.f64 #s(literal 37 binary64) d1)))) (+.f64 (*.f64 d3 d1) (-.f64 (*.f64 (neg.f64 d1) d2) (*.f64 #s(literal 37 binary64) d1)))) |
(/.f64 (-.f64 (*.f64 (*.f64 d3 d1) (*.f64 d3 d1)) (*.f64 (+.f64 (*.f64 (neg.f64 d1) d2) (*.f64 #s(literal -37 binary64) d1)) (+.f64 (*.f64 (neg.f64 d1) d2) (*.f64 #s(literal -37 binary64) d1)))) (+.f64 (*.f64 d3 d1) (+.f64 (*.f64 (neg.f64 d1) d2) (*.f64 #s(literal -37 binary64) d1)))) |
(/.f64 (-.f64 (*.f64 (*.f64 d3 d1) (*.f64 d3 d1)) (*.f64 (neg.f64 (*.f64 (-.f64 d2 #s(literal -37 binary64)) d1)) (neg.f64 (*.f64 (-.f64 d2 #s(literal -37 binary64)) d1)))) (+.f64 (*.f64 d3 d1) (neg.f64 (*.f64 (-.f64 d2 #s(literal -37 binary64)) d1)))) |
(/.f64 (-.f64 (*.f64 (*.f64 #s(literal 5 binary64) d1) (*.f64 #s(literal 5 binary64) d1)) (*.f64 (-.f64 (*.f64 (neg.f64 d1) d3) (*.f64 d1 (+.f64 d2 #s(literal 32 binary64)))) (-.f64 (*.f64 (neg.f64 d1) d3) (*.f64 d1 (+.f64 d2 #s(literal 32 binary64)))))) (+.f64 (*.f64 #s(literal 5 binary64) d1) (-.f64 (*.f64 (neg.f64 d1) d3) (*.f64 d1 (+.f64 d2 #s(literal 32 binary64)))))) |
(/.f64 (-.f64 (*.f64 (*.f64 (-.f64 d3 #s(literal -37 binary64)) d1) (*.f64 (-.f64 d3 #s(literal -37 binary64)) d1)) (*.f64 (*.f64 (neg.f64 d1) d2) (*.f64 (neg.f64 d1) d2))) (+.f64 (*.f64 (-.f64 d3 #s(literal -37 binary64)) d1) (*.f64 (neg.f64 d1) d2))) |
(/.f64 (-.f64 (*.f64 (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1) (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1)) (*.f64 (-.f64 (*.f64 (neg.f64 d1) d2) (*.f64 #s(literal 32 binary64) d1)) (-.f64 (*.f64 (neg.f64 d1) d2) (*.f64 #s(literal 32 binary64) d1)))) (+.f64 (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1) (-.f64 (*.f64 (neg.f64 d1) d2) (*.f64 #s(literal 32 binary64) d1)))) |
(/.f64 (-.f64 (*.f64 (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1) (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1)) (*.f64 (+.f64 (*.f64 (neg.f64 d1) d2) (*.f64 #s(literal -32 binary64) d1)) (+.f64 (*.f64 (neg.f64 d1) d2) (*.f64 #s(literal -32 binary64) d1)))) (+.f64 (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1) (+.f64 (*.f64 (neg.f64 d1) d2) (*.f64 #s(literal -32 binary64) d1)))) |
(/.f64 (-.f64 (*.f64 (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1) (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1)) (*.f64 (-.f64 (*.f64 #s(literal -32 binary64) d1) (*.f64 d2 d1)) (-.f64 (*.f64 #s(literal -32 binary64) d1) (*.f64 d2 d1)))) (+.f64 (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1) (-.f64 (*.f64 #s(literal -32 binary64) d1) (*.f64 d2 d1)))) |
(/.f64 (-.f64 (*.f64 (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1) (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1)) (*.f64 (neg.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64)))) (neg.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64)))))) (+.f64 (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1) (neg.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64)))))) |
(/.f64 (-.f64 (*.f64 (*.f64 d2 d1) (*.f64 d2 d1)) (*.f64 (*.f64 (-.f64 #s(literal -37 binary64) d3) d1) (*.f64 (-.f64 #s(literal -37 binary64) d3) d1))) (+.f64 (*.f64 d2 d1) (*.f64 (-.f64 #s(literal -37 binary64) d3) d1))) |
(/.f64 (+.f64 (pow.f64 (+.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 d3 d1)) #s(literal 3 binary64)) (pow.f64 (*.f64 #s(literal 5 binary64) d1) #s(literal 3 binary64))) (+.f64 (*.f64 (+.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 d3 d1)) (+.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 d3 d1))) (-.f64 (*.f64 (*.f64 #s(literal 5 binary64) d1) (*.f64 #s(literal 5 binary64) d1)) (*.f64 (+.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 d3 d1)) (*.f64 #s(literal 5 binary64) d1))))) |
(/.f64 (+.f64 (pow.f64 (+.f64 (*.f64 #s(literal 32 binary64) d1) (*.f64 d1 (+.f64 d2 #s(literal 5 binary64)))) #s(literal 3 binary64)) (pow.f64 (*.f64 d3 d1) #s(literal 3 binary64))) (+.f64 (*.f64 (+.f64 (*.f64 #s(literal 32 binary64) d1) (*.f64 d1 (+.f64 d2 #s(literal 5 binary64)))) (+.f64 (*.f64 #s(literal 32 binary64) d1) (*.f64 d1 (+.f64 d2 #s(literal 5 binary64))))) (-.f64 (*.f64 (*.f64 d3 d1) (*.f64 d3 d1)) (*.f64 (+.f64 (*.f64 #s(literal 32 binary64) d1) (*.f64 d1 (+.f64 d2 #s(literal 5 binary64)))) (*.f64 d3 d1))))) |
(/.f64 (+.f64 (pow.f64 (+.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 #s(literal 5 binary64) d1)) #s(literal 3 binary64)) (pow.f64 (*.f64 d3 d1) #s(literal 3 binary64))) (+.f64 (*.f64 (+.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 #s(literal 5 binary64) d1)) (+.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 #s(literal 5 binary64) d1))) (-.f64 (*.f64 (*.f64 d3 d1) (*.f64 d3 d1)) (*.f64 (+.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 #s(literal 5 binary64) d1)) (*.f64 d3 d1))))) |
(/.f64 (+.f64 (pow.f64 (*.f64 d1 (+.f64 d2 #s(literal 5 binary64))) #s(literal 3 binary64)) (pow.f64 (*.f64 d1 (+.f64 d3 #s(literal 32 binary64))) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 d1 (+.f64 d2 #s(literal 5 binary64))) (*.f64 d1 (+.f64 d2 #s(literal 5 binary64)))) (-.f64 (*.f64 (*.f64 d1 (+.f64 d3 #s(literal 32 binary64))) (*.f64 d1 (+.f64 d3 #s(literal 32 binary64)))) (*.f64 (*.f64 d1 (+.f64 d2 #s(literal 5 binary64))) (*.f64 d1 (+.f64 d3 #s(literal 32 binary64))))))) |
(/.f64 (+.f64 (pow.f64 (*.f64 d3 d1) #s(literal 3 binary64)) (pow.f64 (+.f64 (*.f64 #s(literal 5 binary64) d1) (*.f64 d1 (+.f64 d2 #s(literal 32 binary64)))) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 d3 d1) (*.f64 d3 d1)) (-.f64 (*.f64 (+.f64 (*.f64 #s(literal 5 binary64) d1) (*.f64 d1 (+.f64 d2 #s(literal 32 binary64)))) (+.f64 (*.f64 #s(literal 5 binary64) d1) (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))))) (*.f64 (*.f64 d3 d1) (+.f64 (*.f64 #s(literal 5 binary64) d1) (*.f64 d1 (+.f64 d2 #s(literal 32 binary64)))))))) |
(/.f64 (+.f64 (pow.f64 (*.f64 #s(literal 5 binary64) d1) #s(literal 3 binary64)) (pow.f64 (+.f64 (*.f64 d1 (+.f64 d3 #s(literal 32 binary64))) (*.f64 d2 d1)) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 #s(literal 5 binary64) d1) (*.f64 #s(literal 5 binary64) d1)) (-.f64 (*.f64 (+.f64 (*.f64 d1 (+.f64 d3 #s(literal 32 binary64))) (*.f64 d2 d1)) (+.f64 (*.f64 d1 (+.f64 d3 #s(literal 32 binary64))) (*.f64 d2 d1))) (*.f64 (*.f64 #s(literal 5 binary64) d1) (+.f64 (*.f64 d1 (+.f64 d3 #s(literal 32 binary64))) (*.f64 d2 d1)))))) |
(/.f64 (+.f64 (pow.f64 (*.f64 #s(literal 5 binary64) d1) #s(literal 3 binary64)) (pow.f64 (+.f64 (*.f64 d3 d1) (*.f64 d1 (+.f64 d2 #s(literal 32 binary64)))) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 #s(literal 5 binary64) d1) (*.f64 #s(literal 5 binary64) d1)) (-.f64 (*.f64 (+.f64 (*.f64 d3 d1) (*.f64 d1 (+.f64 d2 #s(literal 32 binary64)))) (+.f64 (*.f64 d3 d1) (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))))) (*.f64 (*.f64 #s(literal 5 binary64) d1) (+.f64 (*.f64 d3 d1) (*.f64 d1 (+.f64 d2 #s(literal 32 binary64)))))))) |
(/.f64 (+.f64 (pow.f64 (*.f64 #s(literal 5 binary64) d1) #s(literal 3 binary64)) (pow.f64 (+.f64 (*.f64 (+.f64 d3 d2) d1) (*.f64 #s(literal 32 binary64) d1)) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 #s(literal 5 binary64) d1) (*.f64 #s(literal 5 binary64) d1)) (-.f64 (*.f64 (+.f64 (*.f64 (+.f64 d3 d2) d1) (*.f64 #s(literal 32 binary64) d1)) (+.f64 (*.f64 (+.f64 d3 d2) d1) (*.f64 #s(literal 32 binary64) d1))) (*.f64 (*.f64 #s(literal 5 binary64) d1) (+.f64 (*.f64 (+.f64 d3 d2) d1) (*.f64 #s(literal 32 binary64) d1)))))) |
(/.f64 (+.f64 (pow.f64 (*.f64 #s(literal 5 binary64) d1) #s(literal 3 binary64)) (pow.f64 (-.f64 (*.f64 (+.f64 d3 d2) d1) (*.f64 #s(literal -32 binary64) d1)) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 #s(literal 5 binary64) d1) (*.f64 #s(literal 5 binary64) d1)) (-.f64 (*.f64 (-.f64 (*.f64 (+.f64 d3 d2) d1) (*.f64 #s(literal -32 binary64) d1)) (-.f64 (*.f64 (+.f64 d3 d2) d1) (*.f64 #s(literal -32 binary64) d1))) (*.f64 (*.f64 #s(literal 5 binary64) d1) (-.f64 (*.f64 (+.f64 d3 d2) d1) (*.f64 #s(literal -32 binary64) d1)))))) |
(/.f64 (+.f64 (pow.f64 (*.f64 d2 d1) #s(literal 3 binary64)) (pow.f64 (-.f64 (*.f64 d3 d1) (*.f64 #s(literal -37 binary64) d1)) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 d2 d1) (*.f64 d2 d1)) (-.f64 (*.f64 (-.f64 (*.f64 d3 d1) (*.f64 #s(literal -37 binary64) d1)) (-.f64 (*.f64 d3 d1) (*.f64 #s(literal -37 binary64) d1))) (*.f64 (*.f64 d2 d1) (-.f64 (*.f64 d3 d1) (*.f64 #s(literal -37 binary64) d1)))))) |
(/.f64 (-.f64 (pow.f64 (+.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 #s(literal 5 binary64) d1)) #s(literal 3 binary64)) (pow.f64 (*.f64 (neg.f64 d1) d3) #s(literal 3 binary64))) (+.f64 (*.f64 (+.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 #s(literal 5 binary64) d1)) (+.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 #s(literal 5 binary64) d1))) (+.f64 (*.f64 (*.f64 (neg.f64 d1) d3) (*.f64 (neg.f64 d1) d3)) (*.f64 (+.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 #s(literal 5 binary64) d1)) (*.f64 (neg.f64 d1) d3))))) |
(/.f64 (-.f64 (pow.f64 (-.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 #s(literal -5 binary64) d1)) #s(literal 3 binary64)) (pow.f64 (*.f64 (neg.f64 d1) d3) #s(literal 3 binary64))) (+.f64 (*.f64 (-.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 #s(literal -5 binary64) d1)) (-.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 #s(literal -5 binary64) d1))) (+.f64 (*.f64 (*.f64 (neg.f64 d1) d3) (*.f64 (neg.f64 d1) d3)) (*.f64 (-.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 #s(literal -5 binary64) d1)) (*.f64 (neg.f64 d1) d3))))) |
(/.f64 (-.f64 (pow.f64 (-.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 (neg.f64 d1) d3)) #s(literal 3 binary64)) (pow.f64 (*.f64 #s(literal -5 binary64) d1) #s(literal 3 binary64))) (+.f64 (*.f64 (-.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 (neg.f64 d1) d3)) (-.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 (neg.f64 d1) d3))) (+.f64 (*.f64 (*.f64 #s(literal -5 binary64) d1) (*.f64 #s(literal -5 binary64) d1)) (*.f64 (-.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 (neg.f64 d1) d3)) (*.f64 #s(literal -5 binary64) d1))))) |
(/.f64 (-.f64 (pow.f64 (*.f64 (-.f64 d2 #s(literal -37 binary64)) d1) #s(literal 3 binary64)) (pow.f64 (*.f64 (neg.f64 d1) d3) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 (-.f64 d2 #s(literal -37 binary64)) d1) (*.f64 (-.f64 d2 #s(literal -37 binary64)) d1)) (+.f64 (*.f64 (*.f64 (neg.f64 d1) d3) (*.f64 (neg.f64 d1) d3)) (*.f64 (*.f64 (-.f64 d2 #s(literal -37 binary64)) d1) (*.f64 (neg.f64 d1) d3))))) |
(/.f64 (-.f64 (pow.f64 (*.f64 d3 d1) #s(literal 3 binary64)) (pow.f64 (-.f64 (*.f64 (neg.f64 d1) d2) (*.f64 #s(literal 37 binary64) d1)) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 d3 d1) (*.f64 d3 d1)) (+.f64 (*.f64 (-.f64 (*.f64 (neg.f64 d1) d2) (*.f64 #s(literal 37 binary64) d1)) (-.f64 (*.f64 (neg.f64 d1) d2) (*.f64 #s(literal 37 binary64) d1))) (*.f64 (*.f64 d3 d1) (-.f64 (*.f64 (neg.f64 d1) d2) (*.f64 #s(literal 37 binary64) d1)))))) |
(/.f64 (-.f64 (pow.f64 (*.f64 d3 d1) #s(literal 3 binary64)) (pow.f64 (+.f64 (*.f64 (neg.f64 d1) d2) (*.f64 #s(literal -37 binary64) d1)) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 d3 d1) (*.f64 d3 d1)) (+.f64 (*.f64 (+.f64 (*.f64 (neg.f64 d1) d2) (*.f64 #s(literal -37 binary64) d1)) (+.f64 (*.f64 (neg.f64 d1) d2) (*.f64 #s(literal -37 binary64) d1))) (*.f64 (*.f64 d3 d1) (+.f64 (*.f64 (neg.f64 d1) d2) (*.f64 #s(literal -37 binary64) d1)))))) |
(/.f64 (-.f64 (pow.f64 (*.f64 d3 d1) #s(literal 3 binary64)) (pow.f64 (neg.f64 (*.f64 (-.f64 d2 #s(literal -37 binary64)) d1)) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 d3 d1) (*.f64 d3 d1)) (+.f64 (*.f64 (neg.f64 (*.f64 (-.f64 d2 #s(literal -37 binary64)) d1)) (neg.f64 (*.f64 (-.f64 d2 #s(literal -37 binary64)) d1))) (*.f64 (*.f64 d3 d1) (neg.f64 (*.f64 (-.f64 d2 #s(literal -37 binary64)) d1)))))) |
(/.f64 (-.f64 (pow.f64 (*.f64 #s(literal 5 binary64) d1) #s(literal 3 binary64)) (pow.f64 (-.f64 (*.f64 (neg.f64 d1) d3) (*.f64 d1 (+.f64 d2 #s(literal 32 binary64)))) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 #s(literal 5 binary64) d1) (*.f64 #s(literal 5 binary64) d1)) (+.f64 (*.f64 (-.f64 (*.f64 (neg.f64 d1) d3) (*.f64 d1 (+.f64 d2 #s(literal 32 binary64)))) (-.f64 (*.f64 (neg.f64 d1) d3) (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))))) (*.f64 (*.f64 #s(literal 5 binary64) d1) (-.f64 (*.f64 (neg.f64 d1) d3) (*.f64 d1 (+.f64 d2 #s(literal 32 binary64)))))))) |
(/.f64 (-.f64 (pow.f64 (*.f64 (-.f64 d3 #s(literal -37 binary64)) d1) #s(literal 3 binary64)) (pow.f64 (*.f64 (neg.f64 d1) d2) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 (-.f64 d3 #s(literal -37 binary64)) d1) (*.f64 (-.f64 d3 #s(literal -37 binary64)) d1)) (+.f64 (*.f64 (*.f64 (neg.f64 d1) d2) (*.f64 (neg.f64 d1) d2)) (*.f64 (*.f64 (-.f64 d3 #s(literal -37 binary64)) d1) (*.f64 (neg.f64 d1) d2))))) |
(/.f64 (-.f64 (pow.f64 (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1) #s(literal 3 binary64)) (pow.f64 (-.f64 (*.f64 (neg.f64 d1) d2) (*.f64 #s(literal 32 binary64) d1)) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1) (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1)) (+.f64 (*.f64 (-.f64 (*.f64 (neg.f64 d1) d2) (*.f64 #s(literal 32 binary64) d1)) (-.f64 (*.f64 (neg.f64 d1) d2) (*.f64 #s(literal 32 binary64) d1))) (*.f64 (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1) (-.f64 (*.f64 (neg.f64 d1) d2) (*.f64 #s(literal 32 binary64) d1)))))) |
(/.f64 (-.f64 (pow.f64 (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1) #s(literal 3 binary64)) (pow.f64 (+.f64 (*.f64 (neg.f64 d1) d2) (*.f64 #s(literal -32 binary64) d1)) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1) (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1)) (+.f64 (*.f64 (+.f64 (*.f64 (neg.f64 d1) d2) (*.f64 #s(literal -32 binary64) d1)) (+.f64 (*.f64 (neg.f64 d1) d2) (*.f64 #s(literal -32 binary64) d1))) (*.f64 (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1) (+.f64 (*.f64 (neg.f64 d1) d2) (*.f64 #s(literal -32 binary64) d1)))))) |
(/.f64 (-.f64 (pow.f64 (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1) #s(literal 3 binary64)) (pow.f64 (-.f64 (*.f64 #s(literal -32 binary64) d1) (*.f64 d2 d1)) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1) (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1)) (+.f64 (*.f64 (-.f64 (*.f64 #s(literal -32 binary64) d1) (*.f64 d2 d1)) (-.f64 (*.f64 #s(literal -32 binary64) d1) (*.f64 d2 d1))) (*.f64 (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1) (-.f64 (*.f64 #s(literal -32 binary64) d1) (*.f64 d2 d1)))))) |
(/.f64 (-.f64 (pow.f64 (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1) #s(literal 3 binary64)) (pow.f64 (neg.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64)))) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1) (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1)) (+.f64 (*.f64 (neg.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64)))) (neg.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))))) (*.f64 (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1) (neg.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64)))))))) |
(/.f64 (-.f64 (pow.f64 (*.f64 d2 d1) #s(literal 3 binary64)) (pow.f64 (*.f64 (-.f64 #s(literal -37 binary64) d3) d1) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 d2 d1) (*.f64 d2 d1)) (+.f64 (*.f64 (*.f64 (-.f64 #s(literal -37 binary64) d3) d1) (*.f64 (-.f64 #s(literal -37 binary64) d3) d1)) (*.f64 (*.f64 d2 d1) (*.f64 (-.f64 #s(literal -37 binary64) d3) d1))))) |
(/.f64 (-.f64 (*.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 d1 (+.f64 d2 #s(literal 32 binary64)))) (*.f64 (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1) (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1))) (-.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1))) |
(/.f64 (-.f64 (*.f64 (*.f64 (-.f64 d3 #s(literal -37 binary64)) d1) (*.f64 (-.f64 d3 #s(literal -37 binary64)) d1)) (*.f64 (*.f64 d2 d1) (*.f64 d2 d1))) (-.f64 (*.f64 (-.f64 d3 #s(literal -37 binary64)) d1) (*.f64 d2 d1))) |
(/.f64 (-.f64 (*.f64 (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1) (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1)) (*.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))))) (-.f64 (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1) (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))))) |
(/.f64 (-.f64 (*.f64 (*.f64 (-.f64 d2 #s(literal -37 binary64)) d1) (*.f64 (-.f64 d2 #s(literal -37 binary64)) d1)) (*.f64 (*.f64 d3 d1) (*.f64 d3 d1))) (-.f64 (*.f64 (-.f64 d2 #s(literal -37 binary64)) d1) (*.f64 d3 d1))) |
(/.f64 (-.f64 (*.f64 (*.f64 d3 d1) (*.f64 d3 d1)) (*.f64 (*.f64 (-.f64 d2 #s(literal -37 binary64)) d1) (*.f64 (-.f64 d2 #s(literal -37 binary64)) d1))) (-.f64 (*.f64 d3 d1) (*.f64 (-.f64 d2 #s(literal -37 binary64)) d1))) |
(/.f64 (-.f64 (*.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 d1 (+.f64 d2 #s(literal 32 binary64)))) (*.f64 (*.f64 (-.f64 #s(literal -5 binary64) d3) d1) (*.f64 (-.f64 #s(literal -5 binary64) d3) d1))) (+.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 (-.f64 #s(literal -5 binary64) d3) d1))) |
(/.f64 (-.f64 (*.f64 (*.f64 #s(literal 32 binary64) d1) (*.f64 #s(literal 32 binary64) d1)) (*.f64 (*.f64 d1 (-.f64 (-.f64 #s(literal -5 binary64) d3) d2)) (*.f64 d1 (-.f64 (-.f64 #s(literal -5 binary64) d3) d2)))) (+.f64 (*.f64 #s(literal 32 binary64) d1) (*.f64 d1 (-.f64 (-.f64 #s(literal -5 binary64) d3) d2)))) |
(/.f64 (-.f64 (*.f64 (*.f64 d2 d1) (*.f64 d2 d1)) (*.f64 (*.f64 d1 (-.f64 #s(literal -37 binary64) d3)) (*.f64 d1 (-.f64 #s(literal -37 binary64) d3)))) (+.f64 (*.f64 d2 d1) (*.f64 d1 (-.f64 #s(literal -37 binary64) d3)))) |
(/.f64 (-.f64 (*.f64 (*.f64 #s(literal 37 binary64) d1) (*.f64 #s(literal 37 binary64) d1)) (*.f64 (*.f64 (-.f64 (neg.f64 d3) d2) d1) (*.f64 (-.f64 (neg.f64 d3) d2) d1))) (+.f64 (*.f64 #s(literal 37 binary64) d1) (*.f64 (-.f64 (neg.f64 d3) d2) d1))) |
(/.f64 (+.f64 (pow.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) #s(literal 3 binary64)) (pow.f64 (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 d1 (+.f64 d2 #s(literal 32 binary64)))) (-.f64 (*.f64 (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1) (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1)) (*.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1))))) |
(/.f64 (+.f64 (pow.f64 (*.f64 (-.f64 d3 #s(literal -37 binary64)) d1) #s(literal 3 binary64)) (pow.f64 (*.f64 d2 d1) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 (-.f64 d3 #s(literal -37 binary64)) d1) (*.f64 (-.f64 d3 #s(literal -37 binary64)) d1)) (-.f64 (*.f64 (*.f64 d2 d1) (*.f64 d2 d1)) (*.f64 (*.f64 (-.f64 d3 #s(literal -37 binary64)) d1) (*.f64 d2 d1))))) |
(/.f64 (+.f64 (pow.f64 (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1) #s(literal 3 binary64)) (pow.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1) (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1)) (-.f64 (*.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 d1 (+.f64 d2 #s(literal 32 binary64)))) (*.f64 (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1) (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))))))) |
(/.f64 (+.f64 (pow.f64 (*.f64 (-.f64 d2 #s(literal -37 binary64)) d1) #s(literal 3 binary64)) (pow.f64 (*.f64 d3 d1) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 (-.f64 d2 #s(literal -37 binary64)) d1) (*.f64 (-.f64 d2 #s(literal -37 binary64)) d1)) (-.f64 (*.f64 (*.f64 d3 d1) (*.f64 d3 d1)) (*.f64 (*.f64 (-.f64 d2 #s(literal -37 binary64)) d1) (*.f64 d3 d1))))) |
(/.f64 (+.f64 (pow.f64 (*.f64 d3 d1) #s(literal 3 binary64)) (pow.f64 (*.f64 (-.f64 d2 #s(literal -37 binary64)) d1) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 d3 d1) (*.f64 d3 d1)) (-.f64 (*.f64 (*.f64 (-.f64 d2 #s(literal -37 binary64)) d1) (*.f64 (-.f64 d2 #s(literal -37 binary64)) d1)) (*.f64 (*.f64 d3 d1) (*.f64 (-.f64 d2 #s(literal -37 binary64)) d1))))) |
(/.f64 (-.f64 (pow.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) #s(literal 3 binary64)) (pow.f64 (*.f64 (-.f64 #s(literal -5 binary64) d3) d1) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 d1 (+.f64 d2 #s(literal 32 binary64)))) (+.f64 (*.f64 (*.f64 (-.f64 #s(literal -5 binary64) d3) d1) (*.f64 (-.f64 #s(literal -5 binary64) d3) d1)) (*.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 (-.f64 #s(literal -5 binary64) d3) d1))))) |
(/.f64 (-.f64 (pow.f64 (*.f64 #s(literal 32 binary64) d1) #s(literal 3 binary64)) (pow.f64 (*.f64 d1 (-.f64 (-.f64 #s(literal -5 binary64) d3) d2)) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 #s(literal 32 binary64) d1) (*.f64 #s(literal 32 binary64) d1)) (+.f64 (*.f64 (*.f64 d1 (-.f64 (-.f64 #s(literal -5 binary64) d3) d2)) (*.f64 d1 (-.f64 (-.f64 #s(literal -5 binary64) d3) d2))) (*.f64 (*.f64 #s(literal 32 binary64) d1) (*.f64 d1 (-.f64 (-.f64 #s(literal -5 binary64) d3) d2)))))) |
(/.f64 (-.f64 (pow.f64 (*.f64 d2 d1) #s(literal 3 binary64)) (pow.f64 (*.f64 d1 (-.f64 #s(literal -37 binary64) d3)) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 d2 d1) (*.f64 d2 d1)) (+.f64 (*.f64 (*.f64 d1 (-.f64 #s(literal -37 binary64) d3)) (*.f64 d1 (-.f64 #s(literal -37 binary64) d3))) (*.f64 (*.f64 d2 d1) (*.f64 d1 (-.f64 #s(literal -37 binary64) d3)))))) |
(/.f64 (-.f64 (pow.f64 (*.f64 #s(literal 37 binary64) d1) #s(literal 3 binary64)) (pow.f64 (*.f64 (-.f64 (neg.f64 d3) d2) d1) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 #s(literal 37 binary64) d1) (*.f64 #s(literal 37 binary64) d1)) (+.f64 (*.f64 (*.f64 (-.f64 (neg.f64 d3) d2) d1) (*.f64 (-.f64 (neg.f64 d3) d2) d1)) (*.f64 (*.f64 #s(literal 37 binary64) d1) (*.f64 (-.f64 (neg.f64 d3) d2) d1))))) |
(/.f64 (-.f64 (*.f64 (*.f64 #s(literal 37 binary64) d1) (*.f64 #s(literal 37 binary64) d1)) (*.f64 (*.f64 (+.f64 d3 d2) d1) (*.f64 (+.f64 d3 d2) d1))) (-.f64 (*.f64 #s(literal 37 binary64) d1) (*.f64 (+.f64 d3 d2) d1))) |
(/.f64 (-.f64 (*.f64 (*.f64 #s(literal 32 binary64) d1) (*.f64 #s(literal 32 binary64) d1)) (*.f64 (*.f64 (-.f64 (+.f64 d3 d2) #s(literal -5 binary64)) d1) (*.f64 (-.f64 (+.f64 d3 d2) #s(literal -5 binary64)) d1))) (-.f64 (*.f64 #s(literal 32 binary64) d1) (*.f64 (-.f64 (+.f64 d3 d2) #s(literal -5 binary64)) d1))) |
(/.f64 (-.f64 (*.f64 (*.f64 d2 d1) (*.f64 d2 d1)) (*.f64 (*.f64 (-.f64 d3 #s(literal -37 binary64)) d1) (*.f64 (-.f64 d3 #s(literal -37 binary64)) d1))) (-.f64 (*.f64 d2 d1) (*.f64 (-.f64 d3 #s(literal -37 binary64)) d1))) |
(/.f64 (-.f64 (*.f64 (*.f64 (+.f64 d3 d2) d1) (*.f64 (+.f64 d3 d2) d1)) (*.f64 (*.f64 #s(literal -37 binary64) d1) (*.f64 #s(literal -37 binary64) d1))) (+.f64 (*.f64 (+.f64 d3 d2) d1) (*.f64 #s(literal -37 binary64) d1))) |
(/.f64 (-.f64 (*.f64 (*.f64 (-.f64 (+.f64 d3 d2) #s(literal -5 binary64)) d1) (*.f64 (-.f64 (+.f64 d3 d2) #s(literal -5 binary64)) d1)) (*.f64 (*.f64 #s(literal -32 binary64) d1) (*.f64 #s(literal -32 binary64) d1))) (+.f64 (*.f64 (-.f64 (+.f64 d3 d2) #s(literal -5 binary64)) d1) (*.f64 #s(literal -32 binary64) d1))) |
(/.f64 (+.f64 (pow.f64 (*.f64 #s(literal 37 binary64) d1) #s(literal 3 binary64)) (pow.f64 (*.f64 (+.f64 d3 d2) d1) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 #s(literal 37 binary64) d1) (*.f64 #s(literal 37 binary64) d1)) (-.f64 (*.f64 (*.f64 (+.f64 d3 d2) d1) (*.f64 (+.f64 d3 d2) d1)) (*.f64 (*.f64 #s(literal 37 binary64) d1) (*.f64 (+.f64 d3 d2) d1))))) |
(/.f64 (+.f64 (pow.f64 (*.f64 #s(literal 32 binary64) d1) #s(literal 3 binary64)) (pow.f64 (*.f64 (-.f64 (+.f64 d3 d2) #s(literal -5 binary64)) d1) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 #s(literal 32 binary64) d1) (*.f64 #s(literal 32 binary64) d1)) (-.f64 (*.f64 (*.f64 (-.f64 (+.f64 d3 d2) #s(literal -5 binary64)) d1) (*.f64 (-.f64 (+.f64 d3 d2) #s(literal -5 binary64)) d1)) (*.f64 (*.f64 #s(literal 32 binary64) d1) (*.f64 (-.f64 (+.f64 d3 d2) #s(literal -5 binary64)) d1))))) |
(/.f64 (+.f64 (pow.f64 (*.f64 d2 d1) #s(literal 3 binary64)) (pow.f64 (*.f64 (-.f64 d3 #s(literal -37 binary64)) d1) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 d2 d1) (*.f64 d2 d1)) (-.f64 (*.f64 (*.f64 (-.f64 d3 #s(literal -37 binary64)) d1) (*.f64 (-.f64 d3 #s(literal -37 binary64)) d1)) (*.f64 (*.f64 d2 d1) (*.f64 (-.f64 d3 #s(literal -37 binary64)) d1))))) |
(/.f64 (-.f64 (pow.f64 (*.f64 (+.f64 d3 d2) d1) #s(literal 3 binary64)) (pow.f64 (*.f64 #s(literal -37 binary64) d1) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 (+.f64 d3 d2) d1) (*.f64 (+.f64 d3 d2) d1)) (+.f64 (*.f64 (*.f64 #s(literal -37 binary64) d1) (*.f64 #s(literal -37 binary64) d1)) (*.f64 (*.f64 (+.f64 d3 d2) d1) (*.f64 #s(literal -37 binary64) d1))))) |
(/.f64 (-.f64 (pow.f64 (*.f64 (-.f64 (+.f64 d3 d2) #s(literal -5 binary64)) d1) #s(literal 3 binary64)) (pow.f64 (*.f64 #s(literal -32 binary64) d1) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 (-.f64 (+.f64 d3 d2) #s(literal -5 binary64)) d1) (*.f64 (-.f64 (+.f64 d3 d2) #s(literal -5 binary64)) d1)) (+.f64 (*.f64 (*.f64 #s(literal -32 binary64) d1) (*.f64 #s(literal -32 binary64) d1)) (*.f64 (*.f64 (-.f64 (+.f64 d3 d2) #s(literal -5 binary64)) d1) (*.f64 #s(literal -32 binary64) d1))))) |
(/.f64 (-.f64 (*.f64 (*.f64 (-.f64 (+.f64 d3 d2) #s(literal -5 binary64)) d1) (*.f64 (-.f64 (+.f64 d3 d2) #s(literal -5 binary64)) d1)) (*.f64 (*.f64 #s(literal 32 binary64) d1) (*.f64 #s(literal 32 binary64) d1))) (-.f64 (*.f64 (-.f64 (+.f64 d3 d2) #s(literal -5 binary64)) d1) (*.f64 #s(literal 32 binary64) d1))) |
(/.f64 (-.f64 (*.f64 (*.f64 (+.f64 d3 d2) d1) (*.f64 (+.f64 d3 d2) d1)) (*.f64 (*.f64 #s(literal 37 binary64) d1) (*.f64 #s(literal 37 binary64) d1))) (-.f64 (*.f64 (+.f64 d3 d2) d1) (*.f64 #s(literal 37 binary64) d1))) |
(/.f64 (+.f64 (pow.f64 (*.f64 (-.f64 (+.f64 d3 d2) #s(literal -5 binary64)) d1) #s(literal 3 binary64)) (pow.f64 (*.f64 #s(literal 32 binary64) d1) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 (-.f64 (+.f64 d3 d2) #s(literal -5 binary64)) d1) (*.f64 (-.f64 (+.f64 d3 d2) #s(literal -5 binary64)) d1)) (-.f64 (*.f64 (*.f64 #s(literal 32 binary64) d1) (*.f64 #s(literal 32 binary64) d1)) (*.f64 (*.f64 (-.f64 (+.f64 d3 d2) #s(literal -5 binary64)) d1) (*.f64 #s(literal 32 binary64) d1))))) |
(/.f64 (+.f64 (pow.f64 (*.f64 (+.f64 d3 d2) d1) #s(literal 3 binary64)) (pow.f64 (*.f64 #s(literal 37 binary64) d1) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 (+.f64 d3 d2) d1) (*.f64 (+.f64 d3 d2) d1)) (-.f64 (*.f64 (*.f64 #s(literal 37 binary64) d1) (*.f64 #s(literal 37 binary64) d1)) (*.f64 (*.f64 (+.f64 d3 d2) d1) (*.f64 #s(literal 37 binary64) d1))))) |
(neg.f64 (+.f64 (*.f64 d1 (-.f64 (-.f64 #s(literal -5 binary64) d3) d2)) (*.f64 #s(literal -32 binary64) d1))) |
(neg.f64 (-.f64 (*.f64 (-.f64 #s(literal -5 binary64) d3) d1) (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))))) |
(neg.f64 (-.f64 (*.f64 d1 (-.f64 (-.f64 #s(literal -5 binary64) d3) d2)) (*.f64 #s(literal 32 binary64) d1))) |
(neg.f64 (-.f64 (*.f64 (-.f64 (neg.f64 d3) d2) d1) (*.f64 #s(literal 37 binary64) d1))) |
(neg.f64 (*.f64 (-.f64 (-.f64 #s(literal -37 binary64) d3) d2) d1)) |
(-.f64 (+.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 #s(literal 5 binary64) d1)) (*.f64 (neg.f64 d1) d3)) |
(-.f64 (-.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 #s(literal -5 binary64) d1)) (*.f64 (neg.f64 d1) d3)) |
(-.f64 (-.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 (neg.f64 d1) d3)) (*.f64 #s(literal -5 binary64) d1)) |
(-.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 (-.f64 #s(literal -5 binary64) d3) d1)) |
(-.f64 (*.f64 (-.f64 d2 #s(literal -37 binary64)) d1) (*.f64 (neg.f64 d1) d3)) |
(-.f64 (*.f64 d3 d1) (-.f64 (*.f64 (neg.f64 d1) d2) (*.f64 #s(literal 37 binary64) d1))) |
(-.f64 (*.f64 d3 d1) (+.f64 (*.f64 (neg.f64 d1) d2) (*.f64 #s(literal -37 binary64) d1))) |
(-.f64 (*.f64 d3 d1) (neg.f64 (*.f64 (-.f64 d2 #s(literal -37 binary64)) d1))) |
(-.f64 (*.f64 #s(literal 5 binary64) d1) (-.f64 (*.f64 (neg.f64 d1) d3) (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))))) |
(-.f64 (*.f64 #s(literal 37 binary64) d1) (*.f64 (-.f64 (neg.f64 d3) d2) d1)) |
(-.f64 (*.f64 (+.f64 d3 d2) d1) (*.f64 #s(literal -37 binary64) d1)) |
(-.f64 (*.f64 (-.f64 d3 #s(literal -37 binary64)) d1) (*.f64 (neg.f64 d1) d2)) |
(-.f64 (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1) (-.f64 (*.f64 (neg.f64 d1) d2) (*.f64 #s(literal 32 binary64) d1))) |
(-.f64 (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1) (+.f64 (*.f64 (neg.f64 d1) d2) (*.f64 #s(literal -32 binary64) d1))) |
(-.f64 (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1) (-.f64 (*.f64 #s(literal -32 binary64) d1) (*.f64 d2 d1))) |
(-.f64 (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1) (neg.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))))) |
(-.f64 (*.f64 #s(literal 32 binary64) d1) (*.f64 d1 (-.f64 (-.f64 #s(literal -5 binary64) d3) d2))) |
(-.f64 (*.f64 (-.f64 (+.f64 d3 d2) #s(literal -5 binary64)) d1) (*.f64 #s(literal -32 binary64) d1)) |
(-.f64 (*.f64 d2 d1) (*.f64 (-.f64 #s(literal -37 binary64) d3) d1)) |
(-.f64 (*.f64 d2 d1) (*.f64 d1 (-.f64 #s(literal -37 binary64) d3))) |
(+.f64 (+.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 d3 d1)) (*.f64 #s(literal 5 binary64) d1)) |
(+.f64 (+.f64 (*.f64 #s(literal 32 binary64) d1) (*.f64 d1 (+.f64 d2 #s(literal 5 binary64)))) (*.f64 d3 d1)) |
(+.f64 (+.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 #s(literal 5 binary64) d1)) (*.f64 d3 d1)) |
(+.f64 (*.f64 d1 (+.f64 d2 #s(literal 5 binary64))) (*.f64 d1 (+.f64 d3 #s(literal 32 binary64)))) |
(+.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1)) |
(+.f64 (*.f64 (-.f64 d2 #s(literal -37 binary64)) d1) (*.f64 d3 d1)) |
(+.f64 (*.f64 d3 d1) (+.f64 (*.f64 #s(literal 5 binary64) d1) (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))))) |
(+.f64 (*.f64 d3 d1) (*.f64 (-.f64 d2 #s(literal -37 binary64)) d1)) |
(+.f64 (*.f64 #s(literal 5 binary64) d1) (+.f64 (*.f64 d1 (+.f64 d3 #s(literal 32 binary64))) (*.f64 d2 d1))) |
(+.f64 (*.f64 #s(literal 5 binary64) d1) (+.f64 (*.f64 d3 d1) (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))))) |
(+.f64 (*.f64 #s(literal 5 binary64) d1) (+.f64 (*.f64 (+.f64 d3 d2) d1) (*.f64 #s(literal 32 binary64) d1))) |
(+.f64 (*.f64 #s(literal 5 binary64) d1) (-.f64 (*.f64 (+.f64 d3 d2) d1) (*.f64 #s(literal -32 binary64) d1))) |
(+.f64 (*.f64 #s(literal 37 binary64) d1) (*.f64 (+.f64 d3 d2) d1)) |
(+.f64 (*.f64 (+.f64 d3 d2) d1) (*.f64 #s(literal 37 binary64) d1)) |
(+.f64 (*.f64 (-.f64 d3 #s(literal -37 binary64)) d1) (*.f64 d2 d1)) |
(+.f64 (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1) (*.f64 d1 (+.f64 d2 #s(literal 32 binary64)))) |
(+.f64 (*.f64 #s(literal 32 binary64) d1) (*.f64 (-.f64 (+.f64 d3 d2) #s(literal -5 binary64)) d1)) |
(+.f64 (*.f64 (-.f64 (+.f64 d3 d2) #s(literal -5 binary64)) d1) (*.f64 #s(literal 32 binary64) d1)) |
(+.f64 (*.f64 d2 d1) (-.f64 (*.f64 d3 d1) (*.f64 #s(literal -37 binary64) d1))) |
(+.f64 (*.f64 d2 d1) (*.f64 (-.f64 d3 #s(literal -37 binary64)) d1)) |
(*.f64 (-.f64 #s(literal 1 binary64) (/.f64 (neg.f64 d3) d2)) d2) |
(*.f64 (+.f64 #s(literal 1 binary64) (/.f64 d3 d2)) d2) |
(*.f64 (-.f64 #s(literal 1 binary64) (/.f64 (neg.f64 d2) d3)) d3) |
(*.f64 (+.f64 #s(literal 1 binary64) (/.f64 d2 d3)) d3) |
(/.f64 (-.f64 (*.f64 d2 d2) (*.f64 (neg.f64 d3) (neg.f64 d3))) (+.f64 d2 (neg.f64 d3))) |
(/.f64 (-.f64 (pow.f64 d2 #s(literal 3 binary64)) (pow.f64 (neg.f64 d3) #s(literal 3 binary64))) (+.f64 (*.f64 d2 d2) (+.f64 (*.f64 (neg.f64 d3) (neg.f64 d3)) (*.f64 d2 (neg.f64 d3))))) |
(/.f64 (-.f64 (*.f64 d2 d2) (*.f64 d3 d3)) (-.f64 d2 d3)) |
(/.f64 (-.f64 (*.f64 d3 d3) (*.f64 (neg.f64 d2) (neg.f64 d2))) (+.f64 d3 (neg.f64 d2))) |
(/.f64 (+.f64 (pow.f64 d2 #s(literal 3 binary64)) (pow.f64 d3 #s(literal 3 binary64))) (+.f64 (*.f64 d2 d2) (-.f64 (*.f64 d3 d3) (*.f64 d2 d3)))) |
(/.f64 (-.f64 (pow.f64 d3 #s(literal 3 binary64)) (pow.f64 (neg.f64 d2) #s(literal 3 binary64))) (+.f64 (*.f64 d3 d3) (+.f64 (*.f64 (neg.f64 d2) (neg.f64 d2)) (*.f64 d3 (neg.f64 d2))))) |
(/.f64 (-.f64 (*.f64 d3 d3) (*.f64 d2 d2)) (-.f64 d3 d2)) |
(/.f64 (+.f64 (pow.f64 d3 #s(literal 3 binary64)) (pow.f64 d2 #s(literal 3 binary64))) (+.f64 (*.f64 d3 d3) (-.f64 (*.f64 d2 d2) (*.f64 d3 d2)))) |
(neg.f64 (-.f64 (neg.f64 d3) d2)) |
(-.f64 d3 (neg.f64 d2)) |
(-.f64 d2 (neg.f64 d3)) |
(+.f64 d3 d2) |
(+.f64 d2 d3) |
(*.f64 (+.f64 #s(literal 1 binary64) (/.f64 (*.f64 d3 d1) (*.f64 d2 d1))) (*.f64 d2 d1)) |
(*.f64 (-.f64 #s(literal 1 binary64) (/.f64 (*.f64 (neg.f64 d1) d2) (*.f64 d3 d1))) (*.f64 d3 d1)) |
(*.f64 (+.f64 #s(literal 1 binary64) (/.f64 (*.f64 d2 d1) (*.f64 d3 d1))) (*.f64 d3 d1)) |
(*.f64 (+.f64 d3 d2) d1) |
(*.f64 d1 (+.f64 d3 d2)) |
(/.f64 (-.f64 (*.f64 (*.f64 d3 d1) (*.f64 d3 d1)) (*.f64 (neg.f64 (*.f64 (neg.f64 d1) d2)) (neg.f64 (*.f64 (neg.f64 d1) d2)))) (-.f64 (*.f64 d3 d1) (neg.f64 (*.f64 (neg.f64 d1) d2)))) |
(/.f64 (-.f64 (*.f64 (*.f64 d2 d1) (*.f64 d2 d1)) (*.f64 (*.f64 (neg.f64 d1) d3) (*.f64 (neg.f64 d1) d3))) (+.f64 (*.f64 d2 d1) (*.f64 (neg.f64 d1) d3))) |
(/.f64 (+.f64 (pow.f64 (*.f64 d3 d1) #s(literal 3 binary64)) (pow.f64 (neg.f64 (*.f64 (neg.f64 d1) d2)) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 d3 d1) (*.f64 d3 d1)) (-.f64 (*.f64 (neg.f64 (*.f64 (neg.f64 d1) d2)) (neg.f64 (*.f64 (neg.f64 d1) d2))) (*.f64 (*.f64 d3 d1) (neg.f64 (*.f64 (neg.f64 d1) d2)))))) |
(/.f64 (-.f64 (pow.f64 (*.f64 d2 d1) #s(literal 3 binary64)) (pow.f64 (*.f64 (neg.f64 d1) d3) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 d2 d1) (*.f64 d2 d1)) (+.f64 (*.f64 (*.f64 (neg.f64 d1) d3) (*.f64 (neg.f64 d1) d3)) (*.f64 (*.f64 d2 d1) (*.f64 (neg.f64 d1) d3))))) |
(/.f64 (-.f64 (*.f64 (*.f64 d2 d1) (*.f64 d2 d1)) (*.f64 (*.f64 d3 d1) (*.f64 d3 d1))) (-.f64 (*.f64 d2 d1) (*.f64 d3 d1))) |
(/.f64 (-.f64 (*.f64 (*.f64 d3 d1) (*.f64 d3 d1)) (*.f64 (*.f64 (neg.f64 d1) d2) (*.f64 (neg.f64 d1) d2))) (+.f64 (*.f64 d3 d1) (*.f64 (neg.f64 d1) d2))) |
(/.f64 (+.f64 (pow.f64 (*.f64 d2 d1) #s(literal 3 binary64)) (pow.f64 (*.f64 d3 d1) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 d2 d1) (*.f64 d2 d1)) (-.f64 (*.f64 (*.f64 d3 d1) (*.f64 d3 d1)) (*.f64 (*.f64 d2 d1) (*.f64 d3 d1))))) |
(/.f64 (-.f64 (pow.f64 (*.f64 d3 d1) #s(literal 3 binary64)) (pow.f64 (*.f64 (neg.f64 d1) d2) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 d3 d1) (*.f64 d3 d1)) (+.f64 (*.f64 (*.f64 (neg.f64 d1) d2) (*.f64 (neg.f64 d1) d2)) (*.f64 (*.f64 d3 d1) (*.f64 (neg.f64 d1) d2))))) |
(/.f64 (-.f64 (*.f64 (*.f64 d3 d1) (*.f64 d3 d1)) (*.f64 (*.f64 d2 d1) (*.f64 d2 d1))) (-.f64 (*.f64 d3 d1) (*.f64 d2 d1))) |
(/.f64 (+.f64 (pow.f64 (*.f64 d3 d1) #s(literal 3 binary64)) (pow.f64 (*.f64 d2 d1) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 d3 d1) (*.f64 d3 d1)) (-.f64 (*.f64 (*.f64 d2 d1) (*.f64 d2 d1)) (*.f64 (*.f64 d3 d1) (*.f64 d2 d1))))) |
(neg.f64 (*.f64 (-.f64 (neg.f64 d3) d2) d1)) |
(-.f64 (*.f64 d3 d1) (*.f64 (neg.f64 d1) d2)) |
(-.f64 (*.f64 d2 d1) (*.f64 (neg.f64 d1) d3)) |
(+.f64 (*.f64 d3 d1) (neg.f64 (*.f64 (neg.f64 d1) d2))) |
(+.f64 (*.f64 d3 d1) (*.f64 d2 d1)) |
(+.f64 (*.f64 d2 d1) (*.f64 d3 d1)) |
#s(literal 37 binary64) |
(*.f64 (+.f64 #s(literal 1 binary64) (/.f64 (*.f64 #s(literal 5 binary64) d1) (*.f64 #s(literal 32 binary64) d1))) (*.f64 #s(literal 32 binary64) d1)) |
(*.f64 (neg.f64 d1) #s(literal -37 binary64)) |
(*.f64 #s(literal 37 binary64) d1) |
(*.f64 #s(literal -37 binary64) (neg.f64 d1)) |
(*.f64 d1 #s(literal 37 binary64)) |
(/.f64 (-.f64 (*.f64 (*.f64 #s(literal 5 binary64) d1) (*.f64 #s(literal 5 binary64) d1)) (*.f64 (*.f64 #s(literal 32 binary64) d1) (*.f64 #s(literal 32 binary64) d1))) (-.f64 (*.f64 #s(literal 5 binary64) d1) (*.f64 #s(literal 32 binary64) d1))) |
(/.f64 (-.f64 (*.f64 (*.f64 #s(literal 32 binary64) d1) (*.f64 #s(literal 32 binary64) d1)) (*.f64 (*.f64 #s(literal -5 binary64) d1) (*.f64 #s(literal -5 binary64) d1))) (+.f64 (*.f64 #s(literal 32 binary64) d1) (*.f64 #s(literal -5 binary64) d1))) |
(/.f64 (+.f64 (pow.f64 (*.f64 #s(literal 5 binary64) d1) #s(literal 3 binary64)) (pow.f64 (*.f64 #s(literal 32 binary64) d1) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 #s(literal 5 binary64) d1) (*.f64 #s(literal 5 binary64) d1)) (-.f64 (*.f64 (*.f64 #s(literal 32 binary64) d1) (*.f64 #s(literal 32 binary64) d1)) (*.f64 (*.f64 #s(literal 5 binary64) d1) (*.f64 #s(literal 32 binary64) d1))))) |
(/.f64 (-.f64 (pow.f64 (*.f64 #s(literal 32 binary64) d1) #s(literal 3 binary64)) (pow.f64 (*.f64 #s(literal -5 binary64) d1) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 #s(literal 32 binary64) d1) (*.f64 #s(literal 32 binary64) d1)) (+.f64 (*.f64 (*.f64 #s(literal -5 binary64) d1) (*.f64 #s(literal -5 binary64) d1)) (*.f64 (*.f64 #s(literal 32 binary64) d1) (*.f64 #s(literal -5 binary64) d1))))) |
(/.f64 (-.f64 (*.f64 (*.f64 #s(literal 32 binary64) d1) (*.f64 #s(literal 32 binary64) d1)) (*.f64 (*.f64 #s(literal 5 binary64) d1) (*.f64 #s(literal 5 binary64) d1))) (-.f64 (*.f64 #s(literal 32 binary64) d1) (*.f64 #s(literal 5 binary64) d1))) |
(/.f64 (+.f64 (pow.f64 (*.f64 #s(literal 32 binary64) d1) #s(literal 3 binary64)) (pow.f64 (*.f64 #s(literal 5 binary64) d1) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 #s(literal 32 binary64) d1) (*.f64 #s(literal 32 binary64) d1)) (-.f64 (*.f64 (*.f64 #s(literal 5 binary64) d1) (*.f64 #s(literal 5 binary64) d1)) (*.f64 (*.f64 #s(literal 32 binary64) d1) (*.f64 #s(literal 5 binary64) d1))))) |
(neg.f64 (*.f64 #s(literal -37 binary64) d1)) |
(-.f64 (*.f64 #s(literal 32 binary64) d1) (*.f64 #s(literal -5 binary64) d1)) |
(+.f64 (*.f64 #s(literal 5 binary64) d1) (*.f64 #s(literal 32 binary64) d1)) |
(+.f64 (*.f64 #s(literal 32 binary64) d1) (*.f64 #s(literal 5 binary64) d1)) |
(*.f64 (+.f64 #s(literal 1 binary64) (/.f64 (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1) (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))))) (*.f64 d1 (+.f64 d2 #s(literal 32 binary64)))) |
(*.f64 (+.f64 #s(literal 1 binary64) (/.f64 (*.f64 d2 d1) (*.f64 (-.f64 d3 #s(literal -37 binary64)) d1))) (*.f64 (-.f64 d3 #s(literal -37 binary64)) d1)) |
(*.f64 (+.f64 #s(literal 1 binary64) (/.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1))) (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1)) |
(*.f64 (+.f64 #s(literal 1 binary64) (/.f64 (*.f64 d3 d1) (*.f64 (-.f64 d2 #s(literal -37 binary64)) d1))) (*.f64 (-.f64 d2 #s(literal -37 binary64)) d1)) |
(*.f64 (+.f64 #s(literal 1 binary64) (/.f64 (*.f64 (-.f64 d2 #s(literal -37 binary64)) d1) (*.f64 d3 d1))) (*.f64 d3 d1)) |
(*.f64 (-.f64 #s(literal 1 binary64) (/.f64 (*.f64 (-.f64 #s(literal -5 binary64) d3) d1) (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))))) (*.f64 d1 (+.f64 d2 #s(literal 32 binary64)))) |
(*.f64 (-.f64 #s(literal 1 binary64) (/.f64 (*.f64 d1 (-.f64 (-.f64 #s(literal -5 binary64) d3) d2)) (*.f64 #s(literal 32 binary64) d1))) (*.f64 #s(literal 32 binary64) d1)) |
(*.f64 (-.f64 #s(literal 1 binary64) (/.f64 (*.f64 d1 (-.f64 #s(literal -37 binary64) d3)) (*.f64 d2 d1))) (*.f64 d2 d1)) |
(*.f64 (-.f64 #s(literal 1 binary64) (/.f64 (*.f64 (-.f64 (neg.f64 d3) d2) d1) (*.f64 #s(literal 37 binary64) d1))) (*.f64 #s(literal 37 binary64) d1)) |
(*.f64 (+.f64 #s(literal 1 binary64) (/.f64 (*.f64 (+.f64 d3 d2) d1) (*.f64 #s(literal 37 binary64) d1))) (*.f64 #s(literal 37 binary64) d1)) |
(*.f64 (+.f64 #s(literal 1 binary64) (/.f64 (*.f64 (-.f64 (+.f64 d3 d2) #s(literal -5 binary64)) d1) (*.f64 #s(literal 32 binary64) d1))) (*.f64 #s(literal 32 binary64) d1)) |
(*.f64 (+.f64 #s(literal 1 binary64) (/.f64 (*.f64 (-.f64 d3 #s(literal -37 binary64)) d1) (*.f64 d2 d1))) (*.f64 d2 d1)) |
(*.f64 (-.f64 #s(literal 1 binary64) (/.f64 (*.f64 #s(literal -37 binary64) d1) (*.f64 (+.f64 d3 d2) d1))) (*.f64 (+.f64 d3 d2) d1)) |
(*.f64 (-.f64 #s(literal 1 binary64) (/.f64 (*.f64 #s(literal -32 binary64) d1) (*.f64 (-.f64 (+.f64 d3 d2) #s(literal -5 binary64)) d1))) (*.f64 (-.f64 (+.f64 d3 d2) #s(literal -5 binary64)) d1)) |
(*.f64 (neg.f64 d1) (-.f64 (-.f64 #s(literal -37 binary64) d3) d2)) |
(*.f64 (-.f64 (-.f64 #s(literal -37 binary64) d3) d2) (neg.f64 d1)) |
(*.f64 (+.f64 #s(literal 1 binary64) (/.f64 (*.f64 #s(literal 32 binary64) d1) (*.f64 (-.f64 (+.f64 d3 d2) #s(literal -5 binary64)) d1))) (*.f64 (-.f64 (+.f64 d3 d2) #s(literal -5 binary64)) d1)) |
(*.f64 (+.f64 #s(literal 1 binary64) (/.f64 (*.f64 #s(literal 37 binary64) d1) (*.f64 (+.f64 d3 d2) d1))) (*.f64 (+.f64 d3 d2) d1)) |
(*.f64 (-.f64 d2 (-.f64 #s(literal -37 binary64) d3)) d1) |
(*.f64 d1 (+.f64 #s(literal 32 binary64) (-.f64 (+.f64 d3 d2) #s(literal -5 binary64)))) |
(*.f64 d1 (+.f64 (-.f64 (+.f64 d3 d2) #s(literal -5 binary64)) #s(literal 32 binary64))) |
(*.f64 d1 (-.f64 (-.f64 (+.f64 d3 d2) #s(literal -5 binary64)) #s(literal -32 binary64))) |
(*.f64 d1 (-.f64 d2 (-.f64 #s(literal -37 binary64) d3))) |
(/.f64 (-.f64 (*.f64 (+.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 d3 d1)) (+.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 d3 d1))) (*.f64 (*.f64 #s(literal 5 binary64) d1) (*.f64 #s(literal 5 binary64) d1))) (-.f64 (+.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 d3 d1)) (*.f64 #s(literal 5 binary64) d1))) |
(/.f64 (-.f64 (*.f64 (+.f64 (*.f64 #s(literal 32 binary64) d1) (*.f64 d1 (+.f64 d2 #s(literal 5 binary64)))) (+.f64 (*.f64 #s(literal 32 binary64) d1) (*.f64 d1 (+.f64 d2 #s(literal 5 binary64))))) (*.f64 (*.f64 d3 d1) (*.f64 d3 d1))) (-.f64 (+.f64 (*.f64 #s(literal 32 binary64) d1) (*.f64 d1 (+.f64 d2 #s(literal 5 binary64)))) (*.f64 d3 d1))) |
(/.f64 (-.f64 (*.f64 (+.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 #s(literal 5 binary64) d1)) (+.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 #s(literal 5 binary64) d1))) (*.f64 (*.f64 d3 d1) (*.f64 d3 d1))) (-.f64 (+.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 #s(literal 5 binary64) d1)) (*.f64 d3 d1))) |
(/.f64 (-.f64 (*.f64 (*.f64 d1 (+.f64 d2 #s(literal 5 binary64))) (*.f64 d1 (+.f64 d2 #s(literal 5 binary64)))) (*.f64 (*.f64 d1 (+.f64 d3 #s(literal 32 binary64))) (*.f64 d1 (+.f64 d3 #s(literal 32 binary64))))) (-.f64 (*.f64 d1 (+.f64 d2 #s(literal 5 binary64))) (*.f64 d1 (+.f64 d3 #s(literal 32 binary64))))) |
(/.f64 (-.f64 (*.f64 (*.f64 d3 d1) (*.f64 d3 d1)) (*.f64 (+.f64 (*.f64 #s(literal 5 binary64) d1) (*.f64 d1 (+.f64 d2 #s(literal 32 binary64)))) (+.f64 (*.f64 #s(literal 5 binary64) d1) (*.f64 d1 (+.f64 d2 #s(literal 32 binary64)))))) (-.f64 (*.f64 d3 d1) (+.f64 (*.f64 #s(literal 5 binary64) d1) (*.f64 d1 (+.f64 d2 #s(literal 32 binary64)))))) |
(/.f64 (-.f64 (*.f64 (*.f64 #s(literal 5 binary64) d1) (*.f64 #s(literal 5 binary64) d1)) (*.f64 (+.f64 (*.f64 d1 (+.f64 d3 #s(literal 32 binary64))) (*.f64 d2 d1)) (+.f64 (*.f64 d1 (+.f64 d3 #s(literal 32 binary64))) (*.f64 d2 d1)))) (-.f64 (*.f64 #s(literal 5 binary64) d1) (+.f64 (*.f64 d1 (+.f64 d3 #s(literal 32 binary64))) (*.f64 d2 d1)))) |
(/.f64 (-.f64 (*.f64 (*.f64 #s(literal 5 binary64) d1) (*.f64 #s(literal 5 binary64) d1)) (*.f64 (+.f64 (*.f64 d3 d1) (*.f64 d1 (+.f64 d2 #s(literal 32 binary64)))) (+.f64 (*.f64 d3 d1) (*.f64 d1 (+.f64 d2 #s(literal 32 binary64)))))) (-.f64 (*.f64 #s(literal 5 binary64) d1) (+.f64 (*.f64 d3 d1) (*.f64 d1 (+.f64 d2 #s(literal 32 binary64)))))) |
(/.f64 (-.f64 (*.f64 (*.f64 #s(literal 5 binary64) d1) (*.f64 #s(literal 5 binary64) d1)) (*.f64 (+.f64 (*.f64 (+.f64 d3 d2) d1) (*.f64 #s(literal 32 binary64) d1)) (+.f64 (*.f64 (+.f64 d3 d2) d1) (*.f64 #s(literal 32 binary64) d1)))) (-.f64 (*.f64 #s(literal 5 binary64) d1) (+.f64 (*.f64 (+.f64 d3 d2) d1) (*.f64 #s(literal 32 binary64) d1)))) |
(/.f64 (-.f64 (*.f64 (*.f64 #s(literal 5 binary64) d1) (*.f64 #s(literal 5 binary64) d1)) (*.f64 (-.f64 (*.f64 (+.f64 d3 d2) d1) (*.f64 #s(literal -32 binary64) d1)) (-.f64 (*.f64 (+.f64 d3 d2) d1) (*.f64 #s(literal -32 binary64) d1)))) (-.f64 (*.f64 #s(literal 5 binary64) d1) (-.f64 (*.f64 (+.f64 d3 d2) d1) (*.f64 #s(literal -32 binary64) d1)))) |
(/.f64 (-.f64 (*.f64 (*.f64 d2 d1) (*.f64 d2 d1)) (*.f64 (-.f64 (*.f64 d3 d1) (*.f64 #s(literal -37 binary64) d1)) (-.f64 (*.f64 d3 d1) (*.f64 #s(literal -37 binary64) d1)))) (-.f64 (*.f64 d2 d1) (-.f64 (*.f64 d3 d1) (*.f64 #s(literal -37 binary64) d1)))) |
(/.f64 (-.f64 (*.f64 (+.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 #s(literal 5 binary64) d1)) (+.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 #s(literal 5 binary64) d1))) (*.f64 (*.f64 (neg.f64 d1) d3) (*.f64 (neg.f64 d1) d3))) (+.f64 (+.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 #s(literal 5 binary64) d1)) (*.f64 (neg.f64 d1) d3))) |
(/.f64 (-.f64 (*.f64 (-.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 #s(literal -5 binary64) d1)) (-.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 #s(literal -5 binary64) d1))) (*.f64 (*.f64 (neg.f64 d1) d3) (*.f64 (neg.f64 d1) d3))) (+.f64 (-.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 #s(literal -5 binary64) d1)) (*.f64 (neg.f64 d1) d3))) |
(/.f64 (-.f64 (*.f64 (-.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 (neg.f64 d1) d3)) (-.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 (neg.f64 d1) d3))) (*.f64 (*.f64 #s(literal -5 binary64) d1) (*.f64 #s(literal -5 binary64) d1))) (+.f64 (-.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 (neg.f64 d1) d3)) (*.f64 #s(literal -5 binary64) d1))) |
(/.f64 (-.f64 (*.f64 (*.f64 (-.f64 d2 #s(literal -37 binary64)) d1) (*.f64 (-.f64 d2 #s(literal -37 binary64)) d1)) (*.f64 (*.f64 (neg.f64 d1) d3) (*.f64 (neg.f64 d1) d3))) (+.f64 (*.f64 (-.f64 d2 #s(literal -37 binary64)) d1) (*.f64 (neg.f64 d1) d3))) |
(/.f64 (-.f64 (*.f64 (*.f64 d3 d1) (*.f64 d3 d1)) (*.f64 (-.f64 (*.f64 (neg.f64 d1) d2) (*.f64 #s(literal 37 binary64) d1)) (-.f64 (*.f64 (neg.f64 d1) d2) (*.f64 #s(literal 37 binary64) d1)))) (+.f64 (*.f64 d3 d1) (-.f64 (*.f64 (neg.f64 d1) d2) (*.f64 #s(literal 37 binary64) d1)))) |
(/.f64 (-.f64 (*.f64 (*.f64 d3 d1) (*.f64 d3 d1)) (*.f64 (+.f64 (*.f64 (neg.f64 d1) d2) (*.f64 #s(literal -37 binary64) d1)) (+.f64 (*.f64 (neg.f64 d1) d2) (*.f64 #s(literal -37 binary64) d1)))) (+.f64 (*.f64 d3 d1) (+.f64 (*.f64 (neg.f64 d1) d2) (*.f64 #s(literal -37 binary64) d1)))) |
(/.f64 (-.f64 (*.f64 (*.f64 d3 d1) (*.f64 d3 d1)) (*.f64 (neg.f64 (*.f64 (-.f64 d2 #s(literal -37 binary64)) d1)) (neg.f64 (*.f64 (-.f64 d2 #s(literal -37 binary64)) d1)))) (+.f64 (*.f64 d3 d1) (neg.f64 (*.f64 (-.f64 d2 #s(literal -37 binary64)) d1)))) |
(/.f64 (-.f64 (*.f64 (*.f64 #s(literal 5 binary64) d1) (*.f64 #s(literal 5 binary64) d1)) (*.f64 (-.f64 (*.f64 (neg.f64 d1) d3) (*.f64 d1 (+.f64 d2 #s(literal 32 binary64)))) (-.f64 (*.f64 (neg.f64 d1) d3) (*.f64 d1 (+.f64 d2 #s(literal 32 binary64)))))) (+.f64 (*.f64 #s(literal 5 binary64) d1) (-.f64 (*.f64 (neg.f64 d1) d3) (*.f64 d1 (+.f64 d2 #s(literal 32 binary64)))))) |
(/.f64 (-.f64 (*.f64 (*.f64 (-.f64 d3 #s(literal -37 binary64)) d1) (*.f64 (-.f64 d3 #s(literal -37 binary64)) d1)) (*.f64 (*.f64 (neg.f64 d1) d2) (*.f64 (neg.f64 d1) d2))) (+.f64 (*.f64 (-.f64 d3 #s(literal -37 binary64)) d1) (*.f64 (neg.f64 d1) d2))) |
(/.f64 (-.f64 (*.f64 (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1) (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1)) (*.f64 (-.f64 (*.f64 (neg.f64 d1) d2) (*.f64 #s(literal 32 binary64) d1)) (-.f64 (*.f64 (neg.f64 d1) d2) (*.f64 #s(literal 32 binary64) d1)))) (+.f64 (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1) (-.f64 (*.f64 (neg.f64 d1) d2) (*.f64 #s(literal 32 binary64) d1)))) |
(/.f64 (-.f64 (*.f64 (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1) (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1)) (*.f64 (+.f64 (*.f64 (neg.f64 d1) d2) (*.f64 #s(literal -32 binary64) d1)) (+.f64 (*.f64 (neg.f64 d1) d2) (*.f64 #s(literal -32 binary64) d1)))) (+.f64 (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1) (+.f64 (*.f64 (neg.f64 d1) d2) (*.f64 #s(literal -32 binary64) d1)))) |
(/.f64 (-.f64 (*.f64 (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1) (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1)) (*.f64 (-.f64 (*.f64 #s(literal -32 binary64) d1) (*.f64 d2 d1)) (-.f64 (*.f64 #s(literal -32 binary64) d1) (*.f64 d2 d1)))) (+.f64 (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1) (-.f64 (*.f64 #s(literal -32 binary64) d1) (*.f64 d2 d1)))) |
(/.f64 (-.f64 (*.f64 (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1) (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1)) (*.f64 (neg.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64)))) (neg.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64)))))) (+.f64 (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1) (neg.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64)))))) |
(/.f64 (-.f64 (*.f64 (*.f64 d2 d1) (*.f64 d2 d1)) (*.f64 (*.f64 (-.f64 #s(literal -37 binary64) d3) d1) (*.f64 (-.f64 #s(literal -37 binary64) d3) d1))) (+.f64 (*.f64 d2 d1) (*.f64 (-.f64 #s(literal -37 binary64) d3) d1))) |
(/.f64 (+.f64 (pow.f64 (+.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 d3 d1)) #s(literal 3 binary64)) (pow.f64 (*.f64 #s(literal 5 binary64) d1) #s(literal 3 binary64))) (+.f64 (*.f64 (+.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 d3 d1)) (+.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 d3 d1))) (-.f64 (*.f64 (*.f64 #s(literal 5 binary64) d1) (*.f64 #s(literal 5 binary64) d1)) (*.f64 (+.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 d3 d1)) (*.f64 #s(literal 5 binary64) d1))))) |
(/.f64 (+.f64 (pow.f64 (+.f64 (*.f64 #s(literal 32 binary64) d1) (*.f64 d1 (+.f64 d2 #s(literal 5 binary64)))) #s(literal 3 binary64)) (pow.f64 (*.f64 d3 d1) #s(literal 3 binary64))) (+.f64 (*.f64 (+.f64 (*.f64 #s(literal 32 binary64) d1) (*.f64 d1 (+.f64 d2 #s(literal 5 binary64)))) (+.f64 (*.f64 #s(literal 32 binary64) d1) (*.f64 d1 (+.f64 d2 #s(literal 5 binary64))))) (-.f64 (*.f64 (*.f64 d3 d1) (*.f64 d3 d1)) (*.f64 (+.f64 (*.f64 #s(literal 32 binary64) d1) (*.f64 d1 (+.f64 d2 #s(literal 5 binary64)))) (*.f64 d3 d1))))) |
(/.f64 (+.f64 (pow.f64 (+.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 #s(literal 5 binary64) d1)) #s(literal 3 binary64)) (pow.f64 (*.f64 d3 d1) #s(literal 3 binary64))) (+.f64 (*.f64 (+.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 #s(literal 5 binary64) d1)) (+.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 #s(literal 5 binary64) d1))) (-.f64 (*.f64 (*.f64 d3 d1) (*.f64 d3 d1)) (*.f64 (+.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 #s(literal 5 binary64) d1)) (*.f64 d3 d1))))) |
(/.f64 (+.f64 (pow.f64 (*.f64 d1 (+.f64 d2 #s(literal 5 binary64))) #s(literal 3 binary64)) (pow.f64 (*.f64 d1 (+.f64 d3 #s(literal 32 binary64))) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 d1 (+.f64 d2 #s(literal 5 binary64))) (*.f64 d1 (+.f64 d2 #s(literal 5 binary64)))) (-.f64 (*.f64 (*.f64 d1 (+.f64 d3 #s(literal 32 binary64))) (*.f64 d1 (+.f64 d3 #s(literal 32 binary64)))) (*.f64 (*.f64 d1 (+.f64 d2 #s(literal 5 binary64))) (*.f64 d1 (+.f64 d3 #s(literal 32 binary64))))))) |
(/.f64 (+.f64 (pow.f64 (*.f64 d3 d1) #s(literal 3 binary64)) (pow.f64 (+.f64 (*.f64 #s(literal 5 binary64) d1) (*.f64 d1 (+.f64 d2 #s(literal 32 binary64)))) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 d3 d1) (*.f64 d3 d1)) (-.f64 (*.f64 (+.f64 (*.f64 #s(literal 5 binary64) d1) (*.f64 d1 (+.f64 d2 #s(literal 32 binary64)))) (+.f64 (*.f64 #s(literal 5 binary64) d1) (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))))) (*.f64 (*.f64 d3 d1) (+.f64 (*.f64 #s(literal 5 binary64) d1) (*.f64 d1 (+.f64 d2 #s(literal 32 binary64)))))))) |
(/.f64 (+.f64 (pow.f64 (*.f64 #s(literal 5 binary64) d1) #s(literal 3 binary64)) (pow.f64 (+.f64 (*.f64 d1 (+.f64 d3 #s(literal 32 binary64))) (*.f64 d2 d1)) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 #s(literal 5 binary64) d1) (*.f64 #s(literal 5 binary64) d1)) (-.f64 (*.f64 (+.f64 (*.f64 d1 (+.f64 d3 #s(literal 32 binary64))) (*.f64 d2 d1)) (+.f64 (*.f64 d1 (+.f64 d3 #s(literal 32 binary64))) (*.f64 d2 d1))) (*.f64 (*.f64 #s(literal 5 binary64) d1) (+.f64 (*.f64 d1 (+.f64 d3 #s(literal 32 binary64))) (*.f64 d2 d1)))))) |
(/.f64 (+.f64 (pow.f64 (*.f64 #s(literal 5 binary64) d1) #s(literal 3 binary64)) (pow.f64 (+.f64 (*.f64 d3 d1) (*.f64 d1 (+.f64 d2 #s(literal 32 binary64)))) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 #s(literal 5 binary64) d1) (*.f64 #s(literal 5 binary64) d1)) (-.f64 (*.f64 (+.f64 (*.f64 d3 d1) (*.f64 d1 (+.f64 d2 #s(literal 32 binary64)))) (+.f64 (*.f64 d3 d1) (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))))) (*.f64 (*.f64 #s(literal 5 binary64) d1) (+.f64 (*.f64 d3 d1) (*.f64 d1 (+.f64 d2 #s(literal 32 binary64)))))))) |
(/.f64 (+.f64 (pow.f64 (*.f64 #s(literal 5 binary64) d1) #s(literal 3 binary64)) (pow.f64 (+.f64 (*.f64 (+.f64 d3 d2) d1) (*.f64 #s(literal 32 binary64) d1)) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 #s(literal 5 binary64) d1) (*.f64 #s(literal 5 binary64) d1)) (-.f64 (*.f64 (+.f64 (*.f64 (+.f64 d3 d2) d1) (*.f64 #s(literal 32 binary64) d1)) (+.f64 (*.f64 (+.f64 d3 d2) d1) (*.f64 #s(literal 32 binary64) d1))) (*.f64 (*.f64 #s(literal 5 binary64) d1) (+.f64 (*.f64 (+.f64 d3 d2) d1) (*.f64 #s(literal 32 binary64) d1)))))) |
(/.f64 (+.f64 (pow.f64 (*.f64 #s(literal 5 binary64) d1) #s(literal 3 binary64)) (pow.f64 (-.f64 (*.f64 (+.f64 d3 d2) d1) (*.f64 #s(literal -32 binary64) d1)) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 #s(literal 5 binary64) d1) (*.f64 #s(literal 5 binary64) d1)) (-.f64 (*.f64 (-.f64 (*.f64 (+.f64 d3 d2) d1) (*.f64 #s(literal -32 binary64) d1)) (-.f64 (*.f64 (+.f64 d3 d2) d1) (*.f64 #s(literal -32 binary64) d1))) (*.f64 (*.f64 #s(literal 5 binary64) d1) (-.f64 (*.f64 (+.f64 d3 d2) d1) (*.f64 #s(literal -32 binary64) d1)))))) |
(/.f64 (+.f64 (pow.f64 (*.f64 d2 d1) #s(literal 3 binary64)) (pow.f64 (-.f64 (*.f64 d3 d1) (*.f64 #s(literal -37 binary64) d1)) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 d2 d1) (*.f64 d2 d1)) (-.f64 (*.f64 (-.f64 (*.f64 d3 d1) (*.f64 #s(literal -37 binary64) d1)) (-.f64 (*.f64 d3 d1) (*.f64 #s(literal -37 binary64) d1))) (*.f64 (*.f64 d2 d1) (-.f64 (*.f64 d3 d1) (*.f64 #s(literal -37 binary64) d1)))))) |
(/.f64 (-.f64 (pow.f64 (+.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 #s(literal 5 binary64) d1)) #s(literal 3 binary64)) (pow.f64 (*.f64 (neg.f64 d1) d3) #s(literal 3 binary64))) (+.f64 (*.f64 (+.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 #s(literal 5 binary64) d1)) (+.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 #s(literal 5 binary64) d1))) (+.f64 (*.f64 (*.f64 (neg.f64 d1) d3) (*.f64 (neg.f64 d1) d3)) (*.f64 (+.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 #s(literal 5 binary64) d1)) (*.f64 (neg.f64 d1) d3))))) |
(/.f64 (-.f64 (pow.f64 (-.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 #s(literal -5 binary64) d1)) #s(literal 3 binary64)) (pow.f64 (*.f64 (neg.f64 d1) d3) #s(literal 3 binary64))) (+.f64 (*.f64 (-.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 #s(literal -5 binary64) d1)) (-.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 #s(literal -5 binary64) d1))) (+.f64 (*.f64 (*.f64 (neg.f64 d1) d3) (*.f64 (neg.f64 d1) d3)) (*.f64 (-.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 #s(literal -5 binary64) d1)) (*.f64 (neg.f64 d1) d3))))) |
(/.f64 (-.f64 (pow.f64 (-.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 (neg.f64 d1) d3)) #s(literal 3 binary64)) (pow.f64 (*.f64 #s(literal -5 binary64) d1) #s(literal 3 binary64))) (+.f64 (*.f64 (-.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 (neg.f64 d1) d3)) (-.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 (neg.f64 d1) d3))) (+.f64 (*.f64 (*.f64 #s(literal -5 binary64) d1) (*.f64 #s(literal -5 binary64) d1)) (*.f64 (-.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 (neg.f64 d1) d3)) (*.f64 #s(literal -5 binary64) d1))))) |
(/.f64 (-.f64 (pow.f64 (*.f64 (-.f64 d2 #s(literal -37 binary64)) d1) #s(literal 3 binary64)) (pow.f64 (*.f64 (neg.f64 d1) d3) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 (-.f64 d2 #s(literal -37 binary64)) d1) (*.f64 (-.f64 d2 #s(literal -37 binary64)) d1)) (+.f64 (*.f64 (*.f64 (neg.f64 d1) d3) (*.f64 (neg.f64 d1) d3)) (*.f64 (*.f64 (-.f64 d2 #s(literal -37 binary64)) d1) (*.f64 (neg.f64 d1) d3))))) |
(/.f64 (-.f64 (pow.f64 (*.f64 d3 d1) #s(literal 3 binary64)) (pow.f64 (-.f64 (*.f64 (neg.f64 d1) d2) (*.f64 #s(literal 37 binary64) d1)) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 d3 d1) (*.f64 d3 d1)) (+.f64 (*.f64 (-.f64 (*.f64 (neg.f64 d1) d2) (*.f64 #s(literal 37 binary64) d1)) (-.f64 (*.f64 (neg.f64 d1) d2) (*.f64 #s(literal 37 binary64) d1))) (*.f64 (*.f64 d3 d1) (-.f64 (*.f64 (neg.f64 d1) d2) (*.f64 #s(literal 37 binary64) d1)))))) |
(/.f64 (-.f64 (pow.f64 (*.f64 d3 d1) #s(literal 3 binary64)) (pow.f64 (+.f64 (*.f64 (neg.f64 d1) d2) (*.f64 #s(literal -37 binary64) d1)) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 d3 d1) (*.f64 d3 d1)) (+.f64 (*.f64 (+.f64 (*.f64 (neg.f64 d1) d2) (*.f64 #s(literal -37 binary64) d1)) (+.f64 (*.f64 (neg.f64 d1) d2) (*.f64 #s(literal -37 binary64) d1))) (*.f64 (*.f64 d3 d1) (+.f64 (*.f64 (neg.f64 d1) d2) (*.f64 #s(literal -37 binary64) d1)))))) |
(/.f64 (-.f64 (pow.f64 (*.f64 d3 d1) #s(literal 3 binary64)) (pow.f64 (neg.f64 (*.f64 (-.f64 d2 #s(literal -37 binary64)) d1)) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 d3 d1) (*.f64 d3 d1)) (+.f64 (*.f64 (neg.f64 (*.f64 (-.f64 d2 #s(literal -37 binary64)) d1)) (neg.f64 (*.f64 (-.f64 d2 #s(literal -37 binary64)) d1))) (*.f64 (*.f64 d3 d1) (neg.f64 (*.f64 (-.f64 d2 #s(literal -37 binary64)) d1)))))) |
(/.f64 (-.f64 (pow.f64 (*.f64 #s(literal 5 binary64) d1) #s(literal 3 binary64)) (pow.f64 (-.f64 (*.f64 (neg.f64 d1) d3) (*.f64 d1 (+.f64 d2 #s(literal 32 binary64)))) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 #s(literal 5 binary64) d1) (*.f64 #s(literal 5 binary64) d1)) (+.f64 (*.f64 (-.f64 (*.f64 (neg.f64 d1) d3) (*.f64 d1 (+.f64 d2 #s(literal 32 binary64)))) (-.f64 (*.f64 (neg.f64 d1) d3) (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))))) (*.f64 (*.f64 #s(literal 5 binary64) d1) (-.f64 (*.f64 (neg.f64 d1) d3) (*.f64 d1 (+.f64 d2 #s(literal 32 binary64)))))))) |
(/.f64 (-.f64 (pow.f64 (*.f64 (-.f64 d3 #s(literal -37 binary64)) d1) #s(literal 3 binary64)) (pow.f64 (*.f64 (neg.f64 d1) d2) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 (-.f64 d3 #s(literal -37 binary64)) d1) (*.f64 (-.f64 d3 #s(literal -37 binary64)) d1)) (+.f64 (*.f64 (*.f64 (neg.f64 d1) d2) (*.f64 (neg.f64 d1) d2)) (*.f64 (*.f64 (-.f64 d3 #s(literal -37 binary64)) d1) (*.f64 (neg.f64 d1) d2))))) |
(/.f64 (-.f64 (pow.f64 (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1) #s(literal 3 binary64)) (pow.f64 (-.f64 (*.f64 (neg.f64 d1) d2) (*.f64 #s(literal 32 binary64) d1)) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1) (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1)) (+.f64 (*.f64 (-.f64 (*.f64 (neg.f64 d1) d2) (*.f64 #s(literal 32 binary64) d1)) (-.f64 (*.f64 (neg.f64 d1) d2) (*.f64 #s(literal 32 binary64) d1))) (*.f64 (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1) (-.f64 (*.f64 (neg.f64 d1) d2) (*.f64 #s(literal 32 binary64) d1)))))) |
(/.f64 (-.f64 (pow.f64 (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1) #s(literal 3 binary64)) (pow.f64 (+.f64 (*.f64 (neg.f64 d1) d2) (*.f64 #s(literal -32 binary64) d1)) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1) (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1)) (+.f64 (*.f64 (+.f64 (*.f64 (neg.f64 d1) d2) (*.f64 #s(literal -32 binary64) d1)) (+.f64 (*.f64 (neg.f64 d1) d2) (*.f64 #s(literal -32 binary64) d1))) (*.f64 (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1) (+.f64 (*.f64 (neg.f64 d1) d2) (*.f64 #s(literal -32 binary64) d1)))))) |
(/.f64 (-.f64 (pow.f64 (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1) #s(literal 3 binary64)) (pow.f64 (-.f64 (*.f64 #s(literal -32 binary64) d1) (*.f64 d2 d1)) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1) (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1)) (+.f64 (*.f64 (-.f64 (*.f64 #s(literal -32 binary64) d1) (*.f64 d2 d1)) (-.f64 (*.f64 #s(literal -32 binary64) d1) (*.f64 d2 d1))) (*.f64 (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1) (-.f64 (*.f64 #s(literal -32 binary64) d1) (*.f64 d2 d1)))))) |
(/.f64 (-.f64 (pow.f64 (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1) #s(literal 3 binary64)) (pow.f64 (neg.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64)))) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1) (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1)) (+.f64 (*.f64 (neg.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64)))) (neg.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))))) (*.f64 (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1) (neg.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64)))))))) |
(/.f64 (-.f64 (pow.f64 (*.f64 d2 d1) #s(literal 3 binary64)) (pow.f64 (*.f64 (-.f64 #s(literal -37 binary64) d3) d1) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 d2 d1) (*.f64 d2 d1)) (+.f64 (*.f64 (*.f64 (-.f64 #s(literal -37 binary64) d3) d1) (*.f64 (-.f64 #s(literal -37 binary64) d3) d1)) (*.f64 (*.f64 d2 d1) (*.f64 (-.f64 #s(literal -37 binary64) d3) d1))))) |
(/.f64 (-.f64 (*.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 d1 (+.f64 d2 #s(literal 32 binary64)))) (*.f64 (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1) (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1))) (-.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1))) |
(/.f64 (-.f64 (*.f64 (*.f64 (-.f64 d3 #s(literal -37 binary64)) d1) (*.f64 (-.f64 d3 #s(literal -37 binary64)) d1)) (*.f64 (*.f64 d2 d1) (*.f64 d2 d1))) (-.f64 (*.f64 (-.f64 d3 #s(literal -37 binary64)) d1) (*.f64 d2 d1))) |
(/.f64 (-.f64 (*.f64 (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1) (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1)) (*.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))))) (-.f64 (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1) (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))))) |
(/.f64 (-.f64 (*.f64 (*.f64 (-.f64 d2 #s(literal -37 binary64)) d1) (*.f64 (-.f64 d2 #s(literal -37 binary64)) d1)) (*.f64 (*.f64 d3 d1) (*.f64 d3 d1))) (-.f64 (*.f64 (-.f64 d2 #s(literal -37 binary64)) d1) (*.f64 d3 d1))) |
(/.f64 (-.f64 (*.f64 (*.f64 d3 d1) (*.f64 d3 d1)) (*.f64 (*.f64 (-.f64 d2 #s(literal -37 binary64)) d1) (*.f64 (-.f64 d2 #s(literal -37 binary64)) d1))) (-.f64 (*.f64 d3 d1) (*.f64 (-.f64 d2 #s(literal -37 binary64)) d1))) |
(/.f64 (-.f64 (*.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 d1 (+.f64 d2 #s(literal 32 binary64)))) (*.f64 (*.f64 (-.f64 #s(literal -5 binary64) d3) d1) (*.f64 (-.f64 #s(literal -5 binary64) d3) d1))) (+.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 (-.f64 #s(literal -5 binary64) d3) d1))) |
(/.f64 (-.f64 (*.f64 (*.f64 #s(literal 32 binary64) d1) (*.f64 #s(literal 32 binary64) d1)) (*.f64 (*.f64 d1 (-.f64 (-.f64 #s(literal -5 binary64) d3) d2)) (*.f64 d1 (-.f64 (-.f64 #s(literal -5 binary64) d3) d2)))) (+.f64 (*.f64 #s(literal 32 binary64) d1) (*.f64 d1 (-.f64 (-.f64 #s(literal -5 binary64) d3) d2)))) |
(/.f64 (-.f64 (*.f64 (*.f64 d2 d1) (*.f64 d2 d1)) (*.f64 (*.f64 d1 (-.f64 #s(literal -37 binary64) d3)) (*.f64 d1 (-.f64 #s(literal -37 binary64) d3)))) (+.f64 (*.f64 d2 d1) (*.f64 d1 (-.f64 #s(literal -37 binary64) d3)))) |
(/.f64 (-.f64 (*.f64 (*.f64 #s(literal 37 binary64) d1) (*.f64 #s(literal 37 binary64) d1)) (*.f64 (*.f64 (-.f64 (neg.f64 d3) d2) d1) (*.f64 (-.f64 (neg.f64 d3) d2) d1))) (+.f64 (*.f64 #s(literal 37 binary64) d1) (*.f64 (-.f64 (neg.f64 d3) d2) d1))) |
(/.f64 (+.f64 (pow.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) #s(literal 3 binary64)) (pow.f64 (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 d1 (+.f64 d2 #s(literal 32 binary64)))) (-.f64 (*.f64 (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1) (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1)) (*.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1))))) |
(/.f64 (+.f64 (pow.f64 (*.f64 (-.f64 d3 #s(literal -37 binary64)) d1) #s(literal 3 binary64)) (pow.f64 (*.f64 d2 d1) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 (-.f64 d3 #s(literal -37 binary64)) d1) (*.f64 (-.f64 d3 #s(literal -37 binary64)) d1)) (-.f64 (*.f64 (*.f64 d2 d1) (*.f64 d2 d1)) (*.f64 (*.f64 (-.f64 d3 #s(literal -37 binary64)) d1) (*.f64 d2 d1))))) |
(/.f64 (+.f64 (pow.f64 (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1) #s(literal 3 binary64)) (pow.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1) (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1)) (-.f64 (*.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 d1 (+.f64 d2 #s(literal 32 binary64)))) (*.f64 (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1) (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))))))) |
(/.f64 (+.f64 (pow.f64 (*.f64 (-.f64 d2 #s(literal -37 binary64)) d1) #s(literal 3 binary64)) (pow.f64 (*.f64 d3 d1) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 (-.f64 d2 #s(literal -37 binary64)) d1) (*.f64 (-.f64 d2 #s(literal -37 binary64)) d1)) (-.f64 (*.f64 (*.f64 d3 d1) (*.f64 d3 d1)) (*.f64 (*.f64 (-.f64 d2 #s(literal -37 binary64)) d1) (*.f64 d3 d1))))) |
(/.f64 (+.f64 (pow.f64 (*.f64 d3 d1) #s(literal 3 binary64)) (pow.f64 (*.f64 (-.f64 d2 #s(literal -37 binary64)) d1) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 d3 d1) (*.f64 d3 d1)) (-.f64 (*.f64 (*.f64 (-.f64 d2 #s(literal -37 binary64)) d1) (*.f64 (-.f64 d2 #s(literal -37 binary64)) d1)) (*.f64 (*.f64 d3 d1) (*.f64 (-.f64 d2 #s(literal -37 binary64)) d1))))) |
(/.f64 (-.f64 (pow.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) #s(literal 3 binary64)) (pow.f64 (*.f64 (-.f64 #s(literal -5 binary64) d3) d1) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 d1 (+.f64 d2 #s(literal 32 binary64)))) (+.f64 (*.f64 (*.f64 (-.f64 #s(literal -5 binary64) d3) d1) (*.f64 (-.f64 #s(literal -5 binary64) d3) d1)) (*.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 (-.f64 #s(literal -5 binary64) d3) d1))))) |
(/.f64 (-.f64 (pow.f64 (*.f64 #s(literal 32 binary64) d1) #s(literal 3 binary64)) (pow.f64 (*.f64 d1 (-.f64 (-.f64 #s(literal -5 binary64) d3) d2)) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 #s(literal 32 binary64) d1) (*.f64 #s(literal 32 binary64) d1)) (+.f64 (*.f64 (*.f64 d1 (-.f64 (-.f64 #s(literal -5 binary64) d3) d2)) (*.f64 d1 (-.f64 (-.f64 #s(literal -5 binary64) d3) d2))) (*.f64 (*.f64 #s(literal 32 binary64) d1) (*.f64 d1 (-.f64 (-.f64 #s(literal -5 binary64) d3) d2)))))) |
(/.f64 (-.f64 (pow.f64 (*.f64 d2 d1) #s(literal 3 binary64)) (pow.f64 (*.f64 d1 (-.f64 #s(literal -37 binary64) d3)) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 d2 d1) (*.f64 d2 d1)) (+.f64 (*.f64 (*.f64 d1 (-.f64 #s(literal -37 binary64) d3)) (*.f64 d1 (-.f64 #s(literal -37 binary64) d3))) (*.f64 (*.f64 d2 d1) (*.f64 d1 (-.f64 #s(literal -37 binary64) d3)))))) |
(/.f64 (-.f64 (pow.f64 (*.f64 #s(literal 37 binary64) d1) #s(literal 3 binary64)) (pow.f64 (*.f64 (-.f64 (neg.f64 d3) d2) d1) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 #s(literal 37 binary64) d1) (*.f64 #s(literal 37 binary64) d1)) (+.f64 (*.f64 (*.f64 (-.f64 (neg.f64 d3) d2) d1) (*.f64 (-.f64 (neg.f64 d3) d2) d1)) (*.f64 (*.f64 #s(literal 37 binary64) d1) (*.f64 (-.f64 (neg.f64 d3) d2) d1))))) |
(/.f64 (-.f64 (*.f64 (*.f64 #s(literal 37 binary64) d1) (*.f64 #s(literal 37 binary64) d1)) (*.f64 (*.f64 (+.f64 d3 d2) d1) (*.f64 (+.f64 d3 d2) d1))) (-.f64 (*.f64 #s(literal 37 binary64) d1) (*.f64 (+.f64 d3 d2) d1))) |
(/.f64 (-.f64 (*.f64 (*.f64 #s(literal 32 binary64) d1) (*.f64 #s(literal 32 binary64) d1)) (*.f64 (*.f64 (-.f64 (+.f64 d3 d2) #s(literal -5 binary64)) d1) (*.f64 (-.f64 (+.f64 d3 d2) #s(literal -5 binary64)) d1))) (-.f64 (*.f64 #s(literal 32 binary64) d1) (*.f64 (-.f64 (+.f64 d3 d2) #s(literal -5 binary64)) d1))) |
(/.f64 (-.f64 (*.f64 (*.f64 d2 d1) (*.f64 d2 d1)) (*.f64 (*.f64 (-.f64 d3 #s(literal -37 binary64)) d1) (*.f64 (-.f64 d3 #s(literal -37 binary64)) d1))) (-.f64 (*.f64 d2 d1) (*.f64 (-.f64 d3 #s(literal -37 binary64)) d1))) |
(/.f64 (-.f64 (*.f64 (*.f64 (+.f64 d3 d2) d1) (*.f64 (+.f64 d3 d2) d1)) (*.f64 (*.f64 #s(literal -37 binary64) d1) (*.f64 #s(literal -37 binary64) d1))) (+.f64 (*.f64 (+.f64 d3 d2) d1) (*.f64 #s(literal -37 binary64) d1))) |
(/.f64 (-.f64 (*.f64 (*.f64 (-.f64 (+.f64 d3 d2) #s(literal -5 binary64)) d1) (*.f64 (-.f64 (+.f64 d3 d2) #s(literal -5 binary64)) d1)) (*.f64 (*.f64 #s(literal -32 binary64) d1) (*.f64 #s(literal -32 binary64) d1))) (+.f64 (*.f64 (-.f64 (+.f64 d3 d2) #s(literal -5 binary64)) d1) (*.f64 #s(literal -32 binary64) d1))) |
(/.f64 (+.f64 (pow.f64 (*.f64 #s(literal 37 binary64) d1) #s(literal 3 binary64)) (pow.f64 (*.f64 (+.f64 d3 d2) d1) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 #s(literal 37 binary64) d1) (*.f64 #s(literal 37 binary64) d1)) (-.f64 (*.f64 (*.f64 (+.f64 d3 d2) d1) (*.f64 (+.f64 d3 d2) d1)) (*.f64 (*.f64 #s(literal 37 binary64) d1) (*.f64 (+.f64 d3 d2) d1))))) |
(/.f64 (+.f64 (pow.f64 (*.f64 #s(literal 32 binary64) d1) #s(literal 3 binary64)) (pow.f64 (*.f64 (-.f64 (+.f64 d3 d2) #s(literal -5 binary64)) d1) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 #s(literal 32 binary64) d1) (*.f64 #s(literal 32 binary64) d1)) (-.f64 (*.f64 (*.f64 (-.f64 (+.f64 d3 d2) #s(literal -5 binary64)) d1) (*.f64 (-.f64 (+.f64 d3 d2) #s(literal -5 binary64)) d1)) (*.f64 (*.f64 #s(literal 32 binary64) d1) (*.f64 (-.f64 (+.f64 d3 d2) #s(literal -5 binary64)) d1))))) |
(/.f64 (+.f64 (pow.f64 (*.f64 d2 d1) #s(literal 3 binary64)) (pow.f64 (*.f64 (-.f64 d3 #s(literal -37 binary64)) d1) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 d2 d1) (*.f64 d2 d1)) (-.f64 (*.f64 (*.f64 (-.f64 d3 #s(literal -37 binary64)) d1) (*.f64 (-.f64 d3 #s(literal -37 binary64)) d1)) (*.f64 (*.f64 d2 d1) (*.f64 (-.f64 d3 #s(literal -37 binary64)) d1))))) |
(/.f64 (-.f64 (pow.f64 (*.f64 (+.f64 d3 d2) d1) #s(literal 3 binary64)) (pow.f64 (*.f64 #s(literal -37 binary64) d1) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 (+.f64 d3 d2) d1) (*.f64 (+.f64 d3 d2) d1)) (+.f64 (*.f64 (*.f64 #s(literal -37 binary64) d1) (*.f64 #s(literal -37 binary64) d1)) (*.f64 (*.f64 (+.f64 d3 d2) d1) (*.f64 #s(literal -37 binary64) d1))))) |
(/.f64 (-.f64 (pow.f64 (*.f64 (-.f64 (+.f64 d3 d2) #s(literal -5 binary64)) d1) #s(literal 3 binary64)) (pow.f64 (*.f64 #s(literal -32 binary64) d1) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 (-.f64 (+.f64 d3 d2) #s(literal -5 binary64)) d1) (*.f64 (-.f64 (+.f64 d3 d2) #s(literal -5 binary64)) d1)) (+.f64 (*.f64 (*.f64 #s(literal -32 binary64) d1) (*.f64 #s(literal -32 binary64) d1)) (*.f64 (*.f64 (-.f64 (+.f64 d3 d2) #s(literal -5 binary64)) d1) (*.f64 #s(literal -32 binary64) d1))))) |
(/.f64 (-.f64 (*.f64 (*.f64 (-.f64 (+.f64 d3 d2) #s(literal -5 binary64)) d1) (*.f64 (-.f64 (+.f64 d3 d2) #s(literal -5 binary64)) d1)) (*.f64 (*.f64 #s(literal 32 binary64) d1) (*.f64 #s(literal 32 binary64) d1))) (-.f64 (*.f64 (-.f64 (+.f64 d3 d2) #s(literal -5 binary64)) d1) (*.f64 #s(literal 32 binary64) d1))) |
(/.f64 (-.f64 (*.f64 (*.f64 (+.f64 d3 d2) d1) (*.f64 (+.f64 d3 d2) d1)) (*.f64 (*.f64 #s(literal 37 binary64) d1) (*.f64 #s(literal 37 binary64) d1))) (-.f64 (*.f64 (+.f64 d3 d2) d1) (*.f64 #s(literal 37 binary64) d1))) |
(/.f64 (+.f64 (pow.f64 (*.f64 (-.f64 (+.f64 d3 d2) #s(literal -5 binary64)) d1) #s(literal 3 binary64)) (pow.f64 (*.f64 #s(literal 32 binary64) d1) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 (-.f64 (+.f64 d3 d2) #s(literal -5 binary64)) d1) (*.f64 (-.f64 (+.f64 d3 d2) #s(literal -5 binary64)) d1)) (-.f64 (*.f64 (*.f64 #s(literal 32 binary64) d1) (*.f64 #s(literal 32 binary64) d1)) (*.f64 (*.f64 (-.f64 (+.f64 d3 d2) #s(literal -5 binary64)) d1) (*.f64 #s(literal 32 binary64) d1))))) |
(/.f64 (+.f64 (pow.f64 (*.f64 (+.f64 d3 d2) d1) #s(literal 3 binary64)) (pow.f64 (*.f64 #s(literal 37 binary64) d1) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 (+.f64 d3 d2) d1) (*.f64 (+.f64 d3 d2) d1)) (-.f64 (*.f64 (*.f64 #s(literal 37 binary64) d1) (*.f64 #s(literal 37 binary64) d1)) (*.f64 (*.f64 (+.f64 d3 d2) d1) (*.f64 #s(literal 37 binary64) d1))))) |
(neg.f64 (+.f64 (*.f64 d1 (-.f64 (-.f64 #s(literal -5 binary64) d3) d2)) (*.f64 #s(literal -32 binary64) d1))) |
(neg.f64 (-.f64 (*.f64 (-.f64 #s(literal -5 binary64) d3) d1) (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))))) |
(neg.f64 (-.f64 (*.f64 d1 (-.f64 (-.f64 #s(literal -5 binary64) d3) d2)) (*.f64 #s(literal 32 binary64) d1))) |
(neg.f64 (-.f64 (*.f64 (-.f64 (neg.f64 d3) d2) d1) (*.f64 #s(literal 37 binary64) d1))) |
(neg.f64 (*.f64 (-.f64 (-.f64 #s(literal -37 binary64) d3) d2) d1)) |
(-.f64 (+.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 #s(literal 5 binary64) d1)) (*.f64 (neg.f64 d1) d3)) |
(-.f64 (-.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 #s(literal -5 binary64) d1)) (*.f64 (neg.f64 d1) d3)) |
(-.f64 (-.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 (neg.f64 d1) d3)) (*.f64 #s(literal -5 binary64) d1)) |
(-.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 (-.f64 #s(literal -5 binary64) d3) d1)) |
(-.f64 (*.f64 (-.f64 d2 #s(literal -37 binary64)) d1) (*.f64 (neg.f64 d1) d3)) |
(-.f64 (*.f64 d3 d1) (-.f64 (*.f64 (neg.f64 d1) d2) (*.f64 #s(literal 37 binary64) d1))) |
(-.f64 (*.f64 d3 d1) (+.f64 (*.f64 (neg.f64 d1) d2) (*.f64 #s(literal -37 binary64) d1))) |
(-.f64 (*.f64 d3 d1) (neg.f64 (*.f64 (-.f64 d2 #s(literal -37 binary64)) d1))) |
(-.f64 (*.f64 #s(literal 5 binary64) d1) (-.f64 (*.f64 (neg.f64 d1) d3) (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))))) |
(-.f64 (*.f64 #s(literal 37 binary64) d1) (*.f64 (-.f64 (neg.f64 d3) d2) d1)) |
(-.f64 (*.f64 (+.f64 d3 d2) d1) (*.f64 #s(literal -37 binary64) d1)) |
(-.f64 (*.f64 (-.f64 d3 #s(literal -37 binary64)) d1) (*.f64 (neg.f64 d1) d2)) |
(-.f64 (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1) (-.f64 (*.f64 (neg.f64 d1) d2) (*.f64 #s(literal 32 binary64) d1))) |
(-.f64 (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1) (+.f64 (*.f64 (neg.f64 d1) d2) (*.f64 #s(literal -32 binary64) d1))) |
(-.f64 (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1) (-.f64 (*.f64 #s(literal -32 binary64) d1) (*.f64 d2 d1))) |
(-.f64 (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1) (neg.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))))) |
(-.f64 (*.f64 #s(literal 32 binary64) d1) (*.f64 d1 (-.f64 (-.f64 #s(literal -5 binary64) d3) d2))) |
(-.f64 (*.f64 (-.f64 (+.f64 d3 d2) #s(literal -5 binary64)) d1) (*.f64 #s(literal -32 binary64) d1)) |
(-.f64 (*.f64 d2 d1) (*.f64 (-.f64 #s(literal -37 binary64) d3) d1)) |
(-.f64 (*.f64 d2 d1) (*.f64 d1 (-.f64 #s(literal -37 binary64) d3))) |
(+.f64 (+.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 d3 d1)) (*.f64 #s(literal 5 binary64) d1)) |
(+.f64 (+.f64 (*.f64 #s(literal 32 binary64) d1) (*.f64 d1 (+.f64 d2 #s(literal 5 binary64)))) (*.f64 d3 d1)) |
(+.f64 (+.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 #s(literal 5 binary64) d1)) (*.f64 d3 d1)) |
(+.f64 (*.f64 d1 (+.f64 d2 #s(literal 5 binary64))) (*.f64 d1 (+.f64 d3 #s(literal 32 binary64)))) |
(+.f64 (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))) (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1)) |
(+.f64 (*.f64 (-.f64 d2 #s(literal -37 binary64)) d1) (*.f64 d3 d1)) |
(+.f64 (*.f64 d3 d1) (+.f64 (*.f64 #s(literal 5 binary64) d1) (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))))) |
(+.f64 (*.f64 d3 d1) (*.f64 (-.f64 d2 #s(literal -37 binary64)) d1)) |
(+.f64 (*.f64 #s(literal 5 binary64) d1) (+.f64 (*.f64 d1 (+.f64 d3 #s(literal 32 binary64))) (*.f64 d2 d1))) |
(+.f64 (*.f64 #s(literal 5 binary64) d1) (+.f64 (*.f64 d3 d1) (*.f64 d1 (+.f64 d2 #s(literal 32 binary64))))) |
(+.f64 (*.f64 #s(literal 5 binary64) d1) (+.f64 (*.f64 (+.f64 d3 d2) d1) (*.f64 #s(literal 32 binary64) d1))) |
(+.f64 (*.f64 #s(literal 5 binary64) d1) (-.f64 (*.f64 (+.f64 d3 d2) d1) (*.f64 #s(literal -32 binary64) d1))) |
(+.f64 (*.f64 #s(literal 37 binary64) d1) (*.f64 (+.f64 d3 d2) d1)) |
(+.f64 (*.f64 (+.f64 d3 d2) d1) (*.f64 #s(literal 37 binary64) d1)) |
(+.f64 (*.f64 (-.f64 d3 #s(literal -37 binary64)) d1) (*.f64 d2 d1)) |
(+.f64 (*.f64 (-.f64 d3 #s(literal -5 binary64)) d1) (*.f64 d1 (+.f64 d2 #s(literal 32 binary64)))) |
(+.f64 (*.f64 #s(literal 32 binary64) d1) (*.f64 (-.f64 (+.f64 d3 d2) #s(literal -5 binary64)) d1)) |
(+.f64 (*.f64 (-.f64 (+.f64 d3 d2) #s(literal -5 binary64)) d1) (*.f64 #s(literal 32 binary64) d1)) |
(+.f64 (*.f64 d2 d1) (-.f64 (*.f64 d3 d1) (*.f64 #s(literal -37 binary64) d1))) |
(+.f64 (*.f64 d2 d1) (*.f64 (-.f64 d3 #s(literal -37 binary64)) d1)) |