| Outputs |
|---|
(exp.f64 (*.f64 (log.f64 (/.f64 b2 (/.f64 a2 (/.f64 b1 a1)))) #s(literal -1 binary64))) |
(exp.f64 (+.f64 (log.f64 (/.f64 a2 b2)) (log.f64 (/.f64 a1 b1)))) |
(exp.f64 (+.f64 (log.f64 (/.f64 a1 b2)) (log.f64 (/.f64 a2 b1)))) |
(exp.f64 (+.f64 (*.f64 (log.f64 (/.f64 b1 (*.f64 a2 a1))) #s(literal -1 binary64)) (*.f64 (log.f64 b2) #s(literal -1 binary64)))) |
(exp.f64 (+.f64 (*.f64 (log.f64 (/.f64 b2 (*.f64 a2 a1))) #s(literal -1 binary64)) (*.f64 (log.f64 b1) #s(literal -1 binary64)))) |
(exp.f64 (+.f64 (log.f64 (/.f64 a1 b1)) (log.f64 (/.f64 a2 b2)))) |
(exp.f64 (+.f64 (log.f64 (/.f64 a2 b1)) (log.f64 (/.f64 a1 b2)))) |
(exp.f64 (+.f64 (*.f64 (log.f64 b1) #s(literal -1 binary64)) (*.f64 (log.f64 (/.f64 b2 (*.f64 a2 a1))) #s(literal -1 binary64)))) |
(exp.f64 (+.f64 (*.f64 (log.f64 b2) #s(literal -1 binary64)) (*.f64 (log.f64 (/.f64 b1 (*.f64 a2 a1))) #s(literal -1 binary64)))) |
(exp.f64 (-.f64 (log.f64 (/.f64 a2 b2)) (log.f64 (/.f64 b1 a1)))) |
(exp.f64 (-.f64 (log.f64 (/.f64 a1 b2)) (log.f64 (/.f64 b1 a2)))) |
(exp.f64 (-.f64 (log.f64 (/.f64 (/.f64 a1 b1) b2)) (*.f64 (log.f64 a2) #s(literal -1 binary64)))) |
(exp.f64 (-.f64 (log.f64 (/.f64 a2 (*.f64 b2 b1))) (*.f64 (log.f64 a1) #s(literal -1 binary64)))) |
(exp.f64 (-.f64 (log.f64 (/.f64 a1 b1)) (log.f64 (/.f64 b2 a2)))) |
(exp.f64 (-.f64 (log.f64 (/.f64 a2 b1)) (log.f64 (/.f64 b2 a1)))) |
(-.f64 #s(literal 0 binary64) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 #s(literal 0 binary64) (/.f64 (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)))) #s(literal 1 binary64))) |
(-.f64 (/.f64 #s(literal 0 binary64) (/.f64 b1 a2)) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 #s(literal 0 binary64) b1) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 #s(literal 0 binary64) b2) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 #s(literal 0 binary64) (/.f64 b2 a2)) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 #s(literal 0 binary64) (/.f64 b2 (/.f64 a2 b1))) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 #s(literal 0 binary64) (/.f64 b1 a1)) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 #s(literal 0 binary64) (/.f64 b2 (/.f64 a1 b1))) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 #s(literal 0 binary64) (*.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) b1))) (/.f64 (/.f64 a2 (/.f64 b2 a1)) (*.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) b1)))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) b1) #s(literal 1 binary64)) (/.f64 (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)))) #s(literal 1 binary64))) |
(-.f64 (/.f64 #s(literal 0 binary64) (/.f64 #s(literal -1 binary64) a1)) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) b2) #s(literal 1 binary64)) (/.f64 (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)))) #s(literal 1 binary64))) |
(-.f64 (/.f64 #s(literal 0 binary64) (/.f64 #s(literal -1 binary64) a2)) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 #s(literal 0 binary64) (/.f64 b2 (-.f64 #s(literal 0 binary64) a1))) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) b2) (/.f64 b1 a1)) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) (/.f64 b1 a2)) #s(literal 1 binary64)) (/.f64 (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)))) #s(literal 1 binary64))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) (/.f64 b2 (/.f64 a2 b1))) #s(literal 1 binary64)) (/.f64 (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)))) #s(literal 1 binary64))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) (/.f64 b1 a1)) #s(literal 1 binary64)) (/.f64 (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)))) #s(literal 1 binary64))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) (/.f64 b2 (/.f64 a1 b1))) #s(literal 1 binary64)) (/.f64 (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)))) #s(literal 1 binary64))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) b2) (/.f64 b1 a2)) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) (/.f64 b1 a2)) b2) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) (/.f64 b2 a2)) b1) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) b2) (-.f64 #s(literal 0 binary64) (/.f64 b1 a2))) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) b2) (-.f64 #s(literal 0 binary64) (/.f64 b1 a1))) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) (/.f64 b2 a2)) (-.f64 #s(literal 0 binary64) b1)) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) (/.f64 b2 a2)) (*.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) b1))) (/.f64 (/.f64 a2 (/.f64 b2 a1)) (*.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) b1)))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) (/.f64 b1 a2)) (-.f64 #s(literal 0 binary64) b2)) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) b1) (/.f64 #s(literal 1 binary64) a2)) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) (*.f64 b2 (-.f64 #s(literal 0 binary64) b1))) (/.f64 #s(literal 1 binary64) a2)) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) b1) (/.f64 #s(literal 1 binary64) a1)) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) (*.f64 b2 (-.f64 #s(literal 0 binary64) b1))) (/.f64 #s(literal 1 binary64) a1)) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) b1) (/.f64 b2 a2)) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) b1) (/.f64 b2 a1)) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 #s(literal 0 binary64) (-.f64 #s(literal 0 binary64) (/.f64 b1 (*.f64 a2 a1)))) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(neg.f64 (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(/.f64 a2 (/.f64 b2 (/.f64 a1 b1))) |
(/.f64 (/.f64 a2 b2) (/.f64 b1 a1)) |
(/.f64 a1 (/.f64 b2 (/.f64 a2 b1))) |
(/.f64 (/.f64 a2 (/.f64 b2 (/.f64 a1 b1))) #s(literal 1 binary64)) |
(/.f64 (/.f64 a1 b2) (/.f64 b1 a2)) |
(/.f64 (/.f64 a2 (/.f64 b1 a1)) b2) |
(/.f64 (/.f64 a2 (/.f64 b2 a1)) b1) |
(/.f64 (/.f64 a2 (/.f64 b2 a1)) (neg.f64 (*.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) b1)))) |
(/.f64 (-.f64 #s(literal 0 binary64) a1) (-.f64 #s(literal 0 binary64) (/.f64 b2 (/.f64 a2 b1)))) |
(/.f64 (/.f64 a1 (-.f64 #s(literal 0 binary64) b2)) (-.f64 #s(literal 0 binary64) (/.f64 b1 a2))) |
(/.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 b2)) (-.f64 #s(literal 0 binary64) (/.f64 b1 a1))) |
(/.f64 (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) a1))) (-.f64 #s(literal 0 binary64) b1)) |
(/.f64 (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) a1))) (*.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) b1))) |
(/.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 (/.f64 b1 a1))) (-.f64 #s(literal 0 binary64) b2)) |
(/.f64 (-.f64 #s(literal 0 binary64) a2) (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)))) |
(/.f64 #s(literal 1 binary64) (/.f64 b2 (/.f64 a2 (/.f64 b1 a1)))) |
(/.f64 #s(literal 1 binary64) (neg.f64 (*.f64 (/.f64 b2 (*.f64 a2 a1)) (-.f64 #s(literal 0 binary64) b1)))) |
(/.f64 #s(literal 1 binary64) (neg.f64 (*.f64 (/.f64 b2 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1))) b1))) |
(/.f64 (/.f64 (/.f64 a1 b1) b2) (/.f64 #s(literal 1 binary64) a2)) |
(/.f64 (/.f64 a2 (*.f64 b2 b1)) (/.f64 #s(literal 1 binary64) a1)) |
(/.f64 (/.f64 a1 b1) (/.f64 b2 a2)) |
(/.f64 (/.f64 a2 b1) (/.f64 b2 a1)) |
(/.f64 (/.f64 #s(literal 1 binary64) b1) (/.f64 b2 (*.f64 a2 a1))) |
(/.f64 (/.f64 #s(literal 1 binary64) b2) (/.f64 b1 (*.f64 a2 a1))) |
(/.f64 #s(literal -1 binary64) (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a2 (/.f64 b1 a1))))) |
(/.f64 #s(literal -1 binary64) (*.f64 (/.f64 b2 (*.f64 a2 a1)) (-.f64 #s(literal 0 binary64) b1))) |
(/.f64 #s(literal -1 binary64) (*.f64 (/.f64 b2 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1))) b1)) |
(/.f64 (*.f64 a2 a1) (*.f64 b2 b1)) |
(/.f64 (*.f64 a2 a1) (*.f64 (-.f64 #s(literal 0 binary64) b1) (-.f64 #s(literal 0 binary64) b2))) |
(/.f64 (*.f64 a2 a1) (*.f64 #s(literal 1 binary64) (*.f64 b2 b1))) |
(/.f64 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1)) (*.f64 b2 (-.f64 #s(literal 0 binary64) b1))) |
(/.f64 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1)) (*.f64 #s(literal 1 binary64) (*.f64 b2 (-.f64 #s(literal 0 binary64) b1)))) |
(/.f64 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1)) (neg.f64 (*.f64 (-.f64 #s(literal 0 binary64) b1) (-.f64 #s(literal 0 binary64) b2)))) |
(/.f64 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1)) (neg.f64 (*.f64 #s(literal 1 binary64) (*.f64 b2 b1)))) |
(/.f64 (/.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 b2)) b1) (/.f64 #s(literal -1 binary64) a1)) |
(/.f64 (-.f64 #s(literal 0 binary64) (/.f64 (/.f64 a1 b1) b2)) (/.f64 #s(literal -1 binary64) a2)) |
(/.f64 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)) (-.f64 #s(literal 0 binary64) (/.f64 b2 a2))) |
(/.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 b1)) (/.f64 b2 (-.f64 #s(literal 0 binary64) a1))) |
(/.f64 (/.f64 #s(literal -1 binary64) b1) (/.f64 b2 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1)))) |
(/.f64 (/.f64 #s(literal -1 binary64) b2) (-.f64 #s(literal 0 binary64) (/.f64 b1 (*.f64 a2 a1)))) |
(/.f64 (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)))) #s(literal -1 binary64)) |
(/.f64 (/.f64 (/.f64 #s(literal 1 binary64) b2) b1) (/.f64 #s(literal 1 binary64) (*.f64 a2 a1))) |
(/.f64 (*.f64 (-.f64 #s(literal 0 binary64) a1) #s(literal -1 binary64)) (/.f64 b2 (/.f64 a2 b1))) |
(/.f64 (*.f64 (-.f64 #s(literal 0 binary64) a2) (-.f64 #s(literal 0 binary64) a1)) (*.f64 (-.f64 #s(literal 0 binary64) b2) (-.f64 #s(literal 0 binary64) b1))) |
(/.f64 (*.f64 (-.f64 #s(literal 0 binary64) a2) (-.f64 #s(literal 0 binary64) a1)) (*.f64 (-.f64 #s(literal 0 binary64) b1) (-.f64 #s(literal 0 binary64) b2))) |
(/.f64 (*.f64 (-.f64 #s(literal 0 binary64) a2) #s(literal -1 binary64)) (/.f64 b2 (/.f64 a1 b1))) |
(/.f64 (*.f64 (/.f64 #s(literal 1 binary64) b1) #s(literal -1 binary64)) (/.f64 b2 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1)))) |
(/.f64 (*.f64 (/.f64 #s(literal 1 binary64) b2) #s(literal -1 binary64)) (-.f64 #s(literal 0 binary64) (/.f64 b1 (*.f64 a2 a1)))) |
(/.f64 (*.f64 #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) b1)) (/.f64 b2 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1)))) |
(/.f64 (*.f64 (-.f64 #s(literal 0 binary64) a1) (-.f64 #s(literal 0 binary64) a2)) (*.f64 (-.f64 #s(literal 0 binary64) b2) (-.f64 #s(literal 0 binary64) b1))) |
(/.f64 (*.f64 (-.f64 #s(literal 0 binary64) a1) (-.f64 #s(literal 0 binary64) a2)) (*.f64 (-.f64 #s(literal 0 binary64) b1) (-.f64 #s(literal 0 binary64) b2))) |
(/.f64 (*.f64 #s(literal 1 binary64) (*.f64 a2 a1)) (*.f64 b2 b1)) |
(/.f64 (*.f64 #s(literal 1 binary64) (*.f64 a2 (-.f64 #s(literal 0 binary64) a1))) (*.f64 b2 (-.f64 #s(literal 0 binary64) b1))) |
(/.f64 (*.f64 (/.f64 a1 b1) #s(literal -1 binary64)) (-.f64 #s(literal 0 binary64) (/.f64 b2 a2))) |
(/.f64 (*.f64 (*.f64 a2 a1) #s(literal 1 binary64)) (*.f64 b2 b1)) |
(/.f64 (*.f64 (*.f64 a2 a1) #s(literal -1 binary64)) (*.f64 b2 (-.f64 #s(literal 0 binary64) b1))) |
(/.f64 (*.f64 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1)) #s(literal 1 binary64)) (*.f64 b2 (-.f64 #s(literal 0 binary64) b1))) |
(/.f64 (*.f64 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1)) #s(literal -1 binary64)) (*.f64 (-.f64 #s(literal 0 binary64) b2) (-.f64 #s(literal 0 binary64) b1))) |
(/.f64 (*.f64 #s(literal -1 binary64) (*.f64 a2 (-.f64 #s(literal 0 binary64) a1))) (*.f64 (-.f64 #s(literal 0 binary64) b1) (-.f64 #s(literal 0 binary64) b2))) |
(/.f64 (neg.f64 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1))) (neg.f64 (*.f64 b2 (-.f64 #s(literal 0 binary64) b1)))) |
(/.f64 (neg.f64 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1))) (neg.f64 (*.f64 #s(literal 1 binary64) (*.f64 b2 (-.f64 #s(literal 0 binary64) b1))))) |
(/.f64 (/.f64 (/.f64 #s(literal 1 binary64) b1) b2) (/.f64 #s(literal 1 binary64) (*.f64 a2 a1))) |
(/.f64 (neg.f64 (/.f64 (/.f64 #s(literal 1 binary64) b2) b1)) (neg.f64 (/.f64 #s(literal 1 binary64) (*.f64 a2 a1)))) |
(/.f64 (*.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 (/.f64 b1 a1))) #s(literal 1 binary64)) (-.f64 #s(literal 0 binary64) b2)) |
(/.f64 (*.f64 (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) a1))) #s(literal 1 binary64)) (-.f64 #s(literal 0 binary64) b1)) |
(/.f64 (*.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 b2)) #s(literal 1 binary64)) (-.f64 #s(literal 0 binary64) (/.f64 b1 a1))) |
(/.f64 (*.f64 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)) #s(literal -1 binary64)) (/.f64 b2 a2)) |
(/.f64 (*.f64 (/.f64 a2 b1) #s(literal -1 binary64)) (/.f64 b2 (-.f64 #s(literal 0 binary64) a1))) |
(/.f64 (*.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 b1)) #s(literal -1 binary64)) (/.f64 b2 a1)) |
(/.f64 (*.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 b1)) #s(literal 1 binary64)) (/.f64 b2 (-.f64 #s(literal 0 binary64) a1))) |
(/.f64 (*.f64 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)) #s(literal 1 binary64)) (-.f64 #s(literal 0 binary64) (/.f64 b2 a2))) |
(/.f64 (neg.f64 (*.f64 (-.f64 #s(literal 0 binary64) a1) #s(literal -1 binary64))) (-.f64 #s(literal 0 binary64) (/.f64 b2 (/.f64 a2 b1)))) |
(/.f64 (neg.f64 (*.f64 (/.f64 #s(literal 1 binary64) b1) #s(literal -1 binary64))) (/.f64 b2 (*.f64 a2 a1))) |
(/.f64 (neg.f64 (*.f64 (/.f64 #s(literal 1 binary64) b2) #s(literal -1 binary64))) (/.f64 b1 (*.f64 a2 a1))) |
(/.f64 (neg.f64 (*.f64 #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) b1))) (/.f64 b2 (*.f64 a2 a1))) |
(/.f64 (neg.f64 (/.f64 (/.f64 #s(literal 1 binary64) b1) b2)) (neg.f64 (/.f64 #s(literal 1 binary64) (*.f64 a2 a1)))) |
(/.f64 (neg.f64 (*.f64 (-.f64 #s(literal 0 binary64) a2) #s(literal -1 binary64))) (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)))) |
(/.f64 (neg.f64 (*.f64 (/.f64 a2 b1) #s(literal -1 binary64))) (/.f64 b2 a1)) |
(/.f64 (neg.f64 (*.f64 (-.f64 #s(literal 0 binary64) a2) (-.f64 #s(literal 0 binary64) a1))) (neg.f64 (*.f64 (-.f64 #s(literal 0 binary64) b1) (-.f64 #s(literal 0 binary64) b2)))) |
(/.f64 (neg.f64 (*.f64 (-.f64 #s(literal 0 binary64) a2) (-.f64 #s(literal 0 binary64) a1))) (neg.f64 (*.f64 (-.f64 #s(literal 0 binary64) b2) (-.f64 #s(literal 0 binary64) b1)))) |
(/.f64 (neg.f64 (*.f64 (-.f64 #s(literal 0 binary64) a1) (-.f64 #s(literal 0 binary64) a2))) (neg.f64 (*.f64 (-.f64 #s(literal 0 binary64) b1) (-.f64 #s(literal 0 binary64) b2)))) |
(/.f64 (neg.f64 (*.f64 (-.f64 #s(literal 0 binary64) a1) (-.f64 #s(literal 0 binary64) a2))) (neg.f64 (*.f64 (-.f64 #s(literal 0 binary64) b2) (-.f64 #s(literal 0 binary64) b1)))) |
(/.f64 (neg.f64 (*.f64 #s(literal -1 binary64) (*.f64 a2 (-.f64 #s(literal 0 binary64) a1)))) (neg.f64 (*.f64 (-.f64 #s(literal 0 binary64) b1) (-.f64 #s(literal 0 binary64) b2)))) |
(/.f64 (neg.f64 (neg.f64 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1)))) (neg.f64 (neg.f64 (*.f64 b2 (-.f64 #s(literal 0 binary64) b1))))) |
(/.f64 (neg.f64 (*.f64 #s(literal 1 binary64) (*.f64 a2 a1))) (*.f64 b2 (-.f64 #s(literal 0 binary64) b1))) |
(/.f64 (neg.f64 (*.f64 #s(literal 1 binary64) (*.f64 a2 (-.f64 #s(literal 0 binary64) a1)))) (neg.f64 (*.f64 b2 (-.f64 #s(literal 0 binary64) b1)))) |
(/.f64 (neg.f64 (*.f64 (*.f64 a2 a1) #s(literal 1 binary64))) (*.f64 b2 (-.f64 #s(literal 0 binary64) b1))) |
(/.f64 (neg.f64 (*.f64 (*.f64 a2 a1) #s(literal -1 binary64))) (neg.f64 (*.f64 b2 (-.f64 #s(literal 0 binary64) b1)))) |
(/.f64 (neg.f64 (*.f64 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1)) #s(literal 1 binary64))) (neg.f64 (*.f64 b2 (-.f64 #s(literal 0 binary64) b1)))) |
(/.f64 (neg.f64 (*.f64 (/.f64 a1 b1) #s(literal -1 binary64))) (/.f64 b2 a2)) |
(/.f64 (neg.f64 (*.f64 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1)) #s(literal -1 binary64))) (neg.f64 (*.f64 (-.f64 #s(literal 0 binary64) b2) (-.f64 #s(literal 0 binary64) b1)))) |
(/.f64 (neg.f64 (*.f64 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)) #s(literal -1 binary64))) (-.f64 #s(literal 0 binary64) (/.f64 b2 a2))) |
(/.f64 (neg.f64 (*.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 b1)) #s(literal -1 binary64))) (/.f64 b2 (-.f64 #s(literal 0 binary64) a1))) |
(/.f64 (neg.f64 (*.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 b1)) #s(literal 1 binary64))) (/.f64 b2 a1)) |
(/.f64 (neg.f64 (*.f64 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)) #s(literal 1 binary64))) (/.f64 b2 a2)) |
(pow.f64 (/.f64 a2 (/.f64 b2 (/.f64 a1 b1))) #s(literal 1 binary64)) |
(pow.f64 (/.f64 b2 (/.f64 a2 (/.f64 b1 a1))) #s(literal -1 binary64)) |
(pow.f64 (pow.f64 (/.f64 a2 (/.f64 b2 (/.f64 a1 b1))) #s(literal 1/2 binary64)) #s(literal 2 binary64)) |
(pow.f64 (*.f64 (/.f64 b2 (/.f64 a2 (/.f64 b1 a1))) (/.f64 b2 (/.f64 a2 (/.f64 b1 a1)))) #s(literal -1/2 binary64)) |
(*.f64 a2 (/.f64 (/.f64 a1 b1) b2)) |
(*.f64 (/.f64 a2 b2) (/.f64 a1 b1)) |
(*.f64 a1 (/.f64 a2 (*.f64 b2 b1))) |
(*.f64 (/.f64 a2 (/.f64 b2 (/.f64 a1 b1))) #s(literal 1 binary64)) |
(*.f64 (/.f64 a1 b2) (/.f64 a2 b1)) |
(*.f64 (/.f64 a2 (/.f64 b1 a1)) (/.f64 #s(literal 1 binary64) b2)) |
(*.f64 (/.f64 a2 (/.f64 b2 a1)) (/.f64 #s(literal 1 binary64) b1)) |
(*.f64 (-.f64 #s(literal 0 binary64) a1) (/.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 b2)) b1)) |
(*.f64 (/.f64 a1 (-.f64 #s(literal 0 binary64) b2)) (-.f64 #s(literal 0 binary64) (/.f64 a2 b1))) |
(*.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 b2)) (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))) |
(*.f64 (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) a1))) (/.f64 #s(literal -1 binary64) b1)) |
(*.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 (/.f64 b1 a1))) (/.f64 #s(literal -1 binary64) b2)) |
(*.f64 (-.f64 #s(literal 0 binary64) a2) (-.f64 #s(literal 0 binary64) (/.f64 (/.f64 a1 b1) b2))) |
(*.f64 (-.f64 #s(literal 0 binary64) a2) (/.f64 (/.f64 #s(literal -1 binary64) b2) (/.f64 b1 a1))) |
(*.f64 #s(literal 1 binary64) (/.f64 a2 (/.f64 b2 (/.f64 a1 b1)))) |
(*.f64 (/.f64 (/.f64 a1 b1) b2) a2) |
(*.f64 (/.f64 a2 (*.f64 b2 b1)) a1) |
(*.f64 (/.f64 a1 b1) (/.f64 a2 b2)) |
(*.f64 (/.f64 a2 b1) (/.f64 a1 b2)) |
(*.f64 (/.f64 #s(literal 1 binary64) b1) (/.f64 a2 (/.f64 b2 a1))) |
(*.f64 (/.f64 #s(literal 1 binary64) b2) (/.f64 a2 (/.f64 b1 a1))) |
(*.f64 #s(literal -1 binary64) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(*.f64 (*.f64 a2 a1) (/.f64 (/.f64 #s(literal 1 binary64) b2) b1)) |
(*.f64 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1)) (/.f64 #s(literal -1 binary64) (*.f64 b2 b1))) |
(*.f64 (/.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 b2)) b1) (-.f64 #s(literal 0 binary64) a1)) |
(*.f64 (/.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 b2)) b1) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) a1))) |
(*.f64 (-.f64 #s(literal 0 binary64) (/.f64 (/.f64 a1 b1) b2)) (-.f64 #s(literal 0 binary64) a2)) |
(*.f64 (-.f64 #s(literal 0 binary64) (/.f64 (/.f64 a1 b1) b2)) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) a2))) |
(*.f64 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)) (-.f64 #s(literal 0 binary64) (/.f64 a2 b2))) |
(*.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 b1)) (/.f64 a1 (-.f64 #s(literal 0 binary64) b2))) |
(*.f64 (/.f64 #s(literal -1 binary64) b1) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) a1)))) |
(*.f64 (/.f64 #s(literal -1 binary64) b2) (-.f64 #s(literal 0 binary64) (/.f64 a2 (/.f64 b1 a1)))) |
(*.f64 (/.f64 (/.f64 #s(literal 1 binary64) b2) b1) (*.f64 a2 a1)) |
(*.f64 (/.f64 (/.f64 #s(literal 1 binary64) b2) b1) (/.f64 a1 (/.f64 #s(literal 1 binary64) a2))) |
(*.f64 (/.f64 (/.f64 #s(literal 1 binary64) b2) b1) (/.f64 a2 (/.f64 #s(literal 1 binary64) a1))) |
(*.f64 (/.f64 a1 (/.f64 #s(literal 1 binary64) a2)) (/.f64 (/.f64 #s(literal 1 binary64) b2) b1)) |
(*.f64 (/.f64 a1 (/.f64 #s(literal 1 binary64) a2)) (/.f64 (/.f64 #s(literal 1 binary64) b1) b2)) |
(*.f64 (/.f64 (/.f64 #s(literal 1 binary64) b1) #s(literal 1 binary64)) (/.f64 a2 (/.f64 b2 a1))) |
(*.f64 (/.f64 (/.f64 #s(literal 1 binary64) b1) #s(literal -1 binary64)) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) a1)))) |
(*.f64 (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) a2)) (-.f64 #s(literal 0 binary64) (/.f64 (/.f64 a1 b1) b2))) |
(*.f64 (/.f64 (/.f64 #s(literal 1 binary64) b1) b2) (*.f64 a2 a1)) |
(*.f64 (/.f64 (/.f64 #s(literal 1 binary64) b1) b2) (/.f64 a1 (/.f64 #s(literal 1 binary64) a2))) |
(*.f64 (/.f64 (/.f64 #s(literal 1 binary64) b1) b2) (/.f64 a2 (/.f64 #s(literal 1 binary64) a1))) |
(*.f64 (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) a1)) (/.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 b2)) b1)) |
(*.f64 (/.f64 (/.f64 #s(literal -1 binary64) b1) b2) (*.f64 a2 (-.f64 #s(literal 0 binary64) a1))) |
(*.f64 (/.f64 (/.f64 #s(literal -1 binary64) b1) b2) (/.f64 a1 (/.f64 #s(literal -1 binary64) a2))) |
(*.f64 (/.f64 (/.f64 #s(literal -1 binary64) b1) b2) (/.f64 a2 (/.f64 #s(literal -1 binary64) a1))) |
(*.f64 (/.f64 (/.f64 #s(literal -1 binary64) b2) b1) (*.f64 a2 (-.f64 #s(literal 0 binary64) a1))) |
(*.f64 (/.f64 (/.f64 #s(literal -1 binary64) b2) b1) (/.f64 a1 (/.f64 #s(literal -1 binary64) a2))) |
(*.f64 (/.f64 (/.f64 #s(literal -1 binary64) b2) b1) (/.f64 a2 (/.f64 #s(literal -1 binary64) a1))) |
(*.f64 (/.f64 a2 (/.f64 #s(literal 1 binary64) a1)) (/.f64 (/.f64 #s(literal 1 binary64) b2) b1)) |
(*.f64 (/.f64 a2 (/.f64 #s(literal 1 binary64) a1)) (/.f64 (/.f64 #s(literal 1 binary64) b1) b2)) |
(*.f64 (/.f64 (/.f64 #s(literal 1 binary64) b2) #s(literal -1 binary64)) (-.f64 #s(literal 0 binary64) (/.f64 a2 (/.f64 b1 a1)))) |
(*.f64 (/.f64 a1 (/.f64 #s(literal -1 binary64) a2)) (/.f64 (/.f64 #s(literal -1 binary64) b1) b2)) |
(*.f64 (/.f64 a1 (/.f64 #s(literal -1 binary64) a2)) (/.f64 (/.f64 #s(literal -1 binary64) b2) b1)) |
(*.f64 (/.f64 (/.f64 #s(literal 1 binary64) b2) #s(literal 1 binary64)) (/.f64 a2 (/.f64 b1 a1))) |
(*.f64 (/.f64 a2 (/.f64 #s(literal -1 binary64) a1)) (/.f64 (/.f64 #s(literal -1 binary64) b1) b2)) |
(*.f64 (/.f64 a2 (/.f64 #s(literal -1 binary64) a1)) (/.f64 (/.f64 #s(literal -1 binary64) b2) b1)) |
(*.f64 (pow.f64 (/.f64 a2 (/.f64 b2 (/.f64 a1 b1))) #s(literal 1/2 binary64)) (pow.f64 (/.f64 a2 (/.f64 b2 (/.f64 a1 b1))) #s(literal 1/2 binary64))) |
(*.f64 (*.f64 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)) #s(literal -1 binary64)) (/.f64 a2 b2)) |
(*.f64 (*.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 b1)) #s(literal -1 binary64)) (/.f64 a1 b2)) |
(*.f64 (*.f64 (/.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 b2)) b1) #s(literal -1 binary64)) a1) |
(exp.f64 (log.f64 (/.f64 a2 b2))) |
(exp.f64 (*.f64 (log.f64 (/.f64 a2 b2)) #s(literal 1 binary64))) |
(exp.f64 (-.f64 (*.f64 (log.f64 b2) #s(literal -1 binary64)) (*.f64 (log.f64 a2) #s(literal -1 binary64)))) |
(-.f64 #s(literal 0 binary64) (-.f64 #s(literal 0 binary64) (/.f64 a2 b2))) |
(-.f64 (/.f64 #s(literal 0 binary64) b2) (-.f64 #s(literal 0 binary64) (/.f64 a2 b2))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) b2) #s(literal -1 binary64)) (-.f64 #s(literal 0 binary64) (/.f64 a2 b2))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) b2) #s(literal 1 binary64)) (-.f64 #s(literal 0 binary64) (/.f64 a2 b2))) |
(-.f64 (/.f64 #s(literal 0 binary64) (*.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) b2))) (/.f64 a2 (*.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) b2)))) |
(-.f64 (/.f64 #s(literal 0 binary64) (/.f64 #s(literal -1 binary64) a2)) (-.f64 #s(literal 0 binary64) (/.f64 a2 b2))) |
(neg.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 b2))) |
(neg.f64 (*.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 b2)) #s(literal 1 binary64))) |
(/.f64 a2 b2) |
(/.f64 a2 (neg.f64 (*.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) b2)))) |
(/.f64 (/.f64 a2 b2) #s(literal 1 binary64)) |
(/.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 b2)) #s(literal -1 binary64)) |
(/.f64 (-.f64 #s(literal 0 binary64) a2) (-.f64 #s(literal 0 binary64) b2)) |
(/.f64 (-.f64 #s(literal 0 binary64) a2) (*.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) b2))) |
(/.f64 #s(literal 1 binary64) (/.f64 b2 a2)) |
(/.f64 (/.f64 #s(literal 1 binary64) b2) (/.f64 #s(literal 1 binary64) a2)) |
(/.f64 #s(literal -1 binary64) (-.f64 #s(literal 0 binary64) (/.f64 b2 a2))) |
(/.f64 (/.f64 #s(literal -1 binary64) b2) (/.f64 #s(literal -1 binary64) a2)) |
(/.f64 (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) a2)) (-.f64 #s(literal 0 binary64) b2)) |
(/.f64 (/.f64 (/.f64 #s(literal 1 binary64) b2) #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) a2)) |
(/.f64 (-.f64 #s(literal 0 binary64) (*.f64 (-.f64 #s(literal 0 binary64) a2) #s(literal -1 binary64))) (-.f64 #s(literal 0 binary64) b2)) |
(/.f64 (neg.f64 (/.f64 (/.f64 #s(literal 1 binary64) b2) #s(literal 1 binary64))) (/.f64 #s(literal -1 binary64) a2)) |
(/.f64 (neg.f64 (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) a2))) b2) |
(pow.f64 (/.f64 a2 b2) #s(literal 1 binary64)) |
(pow.f64 (/.f64 b2 a2) #s(literal -1 binary64)) |
(pow.f64 (*.f64 (/.f64 b2 a2) (/.f64 b2 a2)) #s(literal -1/2 binary64)) |
(pow.f64 (pow.f64 (/.f64 a2 b2) #s(literal 1/2 binary64)) #s(literal 2 binary64)) |
(*.f64 a2 (/.f64 #s(literal 1 binary64) b2)) |
(*.f64 a2 (/.f64 (/.f64 #s(literal 1 binary64) b2) #s(literal 1 binary64))) |
(*.f64 (/.f64 a2 b2) #s(literal 1 binary64)) |
(*.f64 (-.f64 #s(literal 0 binary64) a2) (/.f64 #s(literal -1 binary64) b2)) |
(*.f64 (-.f64 #s(literal 0 binary64) a2) (/.f64 (/.f64 #s(literal 1 binary64) b2) #s(literal -1 binary64))) |
(*.f64 (-.f64 #s(literal 0 binary64) a2) (*.f64 (/.f64 #s(literal -1 binary64) b2) #s(literal 1 binary64))) |
(*.f64 #s(literal 1 binary64) (/.f64 a2 b2)) |
(*.f64 (/.f64 #s(literal 1 binary64) b2) a2) |
(*.f64 #s(literal -1 binary64) (-.f64 #s(literal 0 binary64) (/.f64 a2 b2))) |
(*.f64 (/.f64 #s(literal -1 binary64) b2) (-.f64 #s(literal 0 binary64) a2)) |
(*.f64 (/.f64 #s(literal -1 binary64) b2) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) a2))) |
(*.f64 (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) a2)) (/.f64 #s(literal -1 binary64) b2)) |
(*.f64 (/.f64 (/.f64 #s(literal 1 binary64) b2) #s(literal -1 binary64)) (-.f64 #s(literal 0 binary64) a2)) |
(*.f64 (/.f64 (/.f64 #s(literal 1 binary64) b2) #s(literal 1 binary64)) a2) |
(*.f64 (pow.f64 (/.f64 a2 b2) #s(literal 1/2 binary64)) (pow.f64 (/.f64 a2 b2) #s(literal 1/2 binary64))) |
(*.f64 (*.f64 (/.f64 #s(literal -1 binary64) b2) #s(literal -1 binary64)) a2) |
(exp.f64 (log.f64 (/.f64 b1 a1))) |
(exp.f64 (*.f64 (log.f64 (/.f64 b1 a1)) #s(literal 1 binary64))) |
(exp.f64 (-.f64 (*.f64 (log.f64 a1) #s(literal -1 binary64)) (*.f64 (log.f64 b1) #s(literal -1 binary64)))) |
(-.f64 #s(literal 0 binary64) (-.f64 #s(literal 0 binary64) (/.f64 b1 a1))) |
(-.f64 (/.f64 #s(literal 0 binary64) a1) (-.f64 #s(literal 0 binary64) (/.f64 b1 a1))) |
(-.f64 (/.f64 #s(literal 0 binary64) (/.f64 #s(literal -1 binary64) b1)) (-.f64 #s(literal 0 binary64) (/.f64 b1 a1))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) a1) #s(literal -1 binary64)) (-.f64 #s(literal 0 binary64) (/.f64 b1 a1))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) a1) #s(literal 1 binary64)) (-.f64 #s(literal 0 binary64) (/.f64 b1 a1))) |
(neg.f64 (-.f64 #s(literal 0 binary64) (/.f64 b1 a1))) |
(/.f64 b1 a1) |
(/.f64 (/.f64 b1 a1) #s(literal 1 binary64)) |
(/.f64 (-.f64 #s(literal 0 binary64) b1) (-.f64 #s(literal 0 binary64) a1)) |
(/.f64 (-.f64 #s(literal 0 binary64) (/.f64 b1 a1)) #s(literal -1 binary64)) |
(/.f64 #s(literal 1 binary64) (/.f64 a1 b1)) |
(/.f64 (/.f64 #s(literal 1 binary64) a1) (/.f64 #s(literal 1 binary64) b1)) |
(/.f64 #s(literal -1 binary64) (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))) |
(/.f64 (/.f64 #s(literal -1 binary64) a1) (/.f64 #s(literal -1 binary64) b1)) |
(/.f64 (*.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) b1)) (-.f64 #s(literal 0 binary64) a1)) |
(/.f64 (*.f64 (-.f64 #s(literal 0 binary64) b1) #s(literal 1 binary64)) (-.f64 #s(literal 0 binary64) a1)) |
(/.f64 (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) b1)) (-.f64 #s(literal 0 binary64) a1)) |
(/.f64 (-.f64 #s(literal 0 binary64) (*.f64 (-.f64 #s(literal 0 binary64) b1) #s(literal -1 binary64))) (-.f64 #s(literal 0 binary64) a1)) |
(/.f64 (neg.f64 (*.f64 (-.f64 #s(literal 0 binary64) b1) #s(literal 1 binary64))) a1) |
(/.f64 (neg.f64 (*.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) b1))) a1) |
(/.f64 (neg.f64 (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) b1))) a1) |
(pow.f64 (/.f64 b1 a1) #s(literal 1 binary64)) |
(pow.f64 (/.f64 a1 b1) #s(literal -1 binary64)) |
(pow.f64 (pow.f64 (/.f64 b1 a1) #s(literal 1/2 binary64)) #s(literal 2 binary64)) |
(pow.f64 (*.f64 (/.f64 a1 b1) (/.f64 a1 b1)) #s(literal -1/2 binary64)) |
(*.f64 b1 (/.f64 #s(literal 1 binary64) a1)) |
(*.f64 b1 (/.f64 (/.f64 #s(literal 1 binary64) a1) #s(literal 1 binary64))) |
(*.f64 (/.f64 b1 a1) #s(literal 1 binary64)) |
(*.f64 (-.f64 #s(literal 0 binary64) b1) (/.f64 #s(literal -1 binary64) a1)) |
(*.f64 (-.f64 #s(literal 0 binary64) b1) (/.f64 (/.f64 #s(literal 1 binary64) a1) #s(literal -1 binary64))) |
(*.f64 #s(literal 1 binary64) (/.f64 b1 a1)) |
(*.f64 (/.f64 #s(literal 1 binary64) a1) b1) |
(*.f64 #s(literal -1 binary64) (-.f64 #s(literal 0 binary64) (/.f64 b1 a1))) |
(*.f64 (/.f64 #s(literal -1 binary64) a1) (-.f64 #s(literal 0 binary64) b1)) |
(*.f64 (*.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) b1)) (/.f64 #s(literal -1 binary64) a1)) |
(*.f64 (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) b1)) (/.f64 #s(literal -1 binary64) a1)) |
(*.f64 (pow.f64 (/.f64 b1 a1) #s(literal 1/2 binary64)) (pow.f64 (/.f64 b1 a1) #s(literal 1/2 binary64))) |
(exp.f64 (*.f64 (log.f64 (/.f64 b2 (/.f64 a2 (/.f64 b1 a1)))) #s(literal -1 binary64))) |
(exp.f64 (+.f64 (log.f64 (/.f64 a2 b2)) (log.f64 (/.f64 a1 b1)))) |
(exp.f64 (+.f64 (log.f64 (/.f64 a1 b2)) (log.f64 (/.f64 a2 b1)))) |
(exp.f64 (+.f64 (*.f64 (log.f64 (/.f64 b1 (*.f64 a2 a1))) #s(literal -1 binary64)) (*.f64 (log.f64 b2) #s(literal -1 binary64)))) |
(exp.f64 (+.f64 (*.f64 (log.f64 (/.f64 b2 (*.f64 a2 a1))) #s(literal -1 binary64)) (*.f64 (log.f64 b1) #s(literal -1 binary64)))) |
(exp.f64 (+.f64 (log.f64 (/.f64 a1 b1)) (log.f64 (/.f64 a2 b2)))) |
(exp.f64 (+.f64 (log.f64 (/.f64 a2 b1)) (log.f64 (/.f64 a1 b2)))) |
(exp.f64 (+.f64 (*.f64 (log.f64 b1) #s(literal -1 binary64)) (*.f64 (log.f64 (/.f64 b2 (*.f64 a2 a1))) #s(literal -1 binary64)))) |
(exp.f64 (+.f64 (*.f64 (log.f64 b2) #s(literal -1 binary64)) (*.f64 (log.f64 (/.f64 b1 (*.f64 a2 a1))) #s(literal -1 binary64)))) |
(exp.f64 (-.f64 (log.f64 (/.f64 a2 b2)) (log.f64 (/.f64 b1 a1)))) |
(exp.f64 (-.f64 (log.f64 (/.f64 a1 b2)) (log.f64 (/.f64 b1 a2)))) |
(exp.f64 (-.f64 (log.f64 (/.f64 (/.f64 a1 b1) b2)) (*.f64 (log.f64 a2) #s(literal -1 binary64)))) |
(exp.f64 (-.f64 (log.f64 (/.f64 a2 (*.f64 b2 b1))) (*.f64 (log.f64 a1) #s(literal -1 binary64)))) |
(exp.f64 (-.f64 (log.f64 (/.f64 a1 b1)) (log.f64 (/.f64 b2 a2)))) |
(exp.f64 (-.f64 (log.f64 (/.f64 a2 b1)) (log.f64 (/.f64 b2 a1)))) |
(-.f64 #s(literal 0 binary64) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 #s(literal 0 binary64) (/.f64 (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)))) #s(literal 1 binary64))) |
(-.f64 (/.f64 #s(literal 0 binary64) (/.f64 b1 a2)) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 #s(literal 0 binary64) b1) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 #s(literal 0 binary64) b2) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 #s(literal 0 binary64) (/.f64 b2 a2)) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 #s(literal 0 binary64) (/.f64 b2 (/.f64 a2 b1))) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 #s(literal 0 binary64) (/.f64 b1 a1)) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 #s(literal 0 binary64) (/.f64 b2 (/.f64 a1 b1))) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 #s(literal 0 binary64) (*.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) b1))) (/.f64 (/.f64 a2 (/.f64 b2 a1)) (*.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) b1)))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) b1) #s(literal 1 binary64)) (/.f64 (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)))) #s(literal 1 binary64))) |
(-.f64 (/.f64 #s(literal 0 binary64) (/.f64 #s(literal -1 binary64) a1)) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) b2) #s(literal 1 binary64)) (/.f64 (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)))) #s(literal 1 binary64))) |
(-.f64 (/.f64 #s(literal 0 binary64) (/.f64 #s(literal -1 binary64) a2)) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 #s(literal 0 binary64) (/.f64 b2 (-.f64 #s(literal 0 binary64) a1))) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) b2) (/.f64 b1 a1)) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) (/.f64 b1 a2)) #s(literal 1 binary64)) (/.f64 (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)))) #s(literal 1 binary64))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) (/.f64 b2 (/.f64 a2 b1))) #s(literal 1 binary64)) (/.f64 (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)))) #s(literal 1 binary64))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) (/.f64 b1 a1)) #s(literal 1 binary64)) (/.f64 (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)))) #s(literal 1 binary64))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) (/.f64 b2 (/.f64 a1 b1))) #s(literal 1 binary64)) (/.f64 (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)))) #s(literal 1 binary64))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) b2) (/.f64 b1 a2)) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) (/.f64 b1 a2)) b2) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) (/.f64 b2 a2)) b1) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) b2) (-.f64 #s(literal 0 binary64) (/.f64 b1 a2))) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) b2) (-.f64 #s(literal 0 binary64) (/.f64 b1 a1))) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) (/.f64 b2 a2)) (-.f64 #s(literal 0 binary64) b1)) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) (/.f64 b2 a2)) (*.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) b1))) (/.f64 (/.f64 a2 (/.f64 b2 a1)) (*.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) b1)))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) (/.f64 b1 a2)) (-.f64 #s(literal 0 binary64) b2)) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) b1) (/.f64 #s(literal 1 binary64) a2)) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) (*.f64 b2 (-.f64 #s(literal 0 binary64) b1))) (/.f64 #s(literal 1 binary64) a2)) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) b1) (/.f64 #s(literal 1 binary64) a1)) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) (*.f64 b2 (-.f64 #s(literal 0 binary64) b1))) (/.f64 #s(literal 1 binary64) a1)) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) b1) (/.f64 b2 a2)) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) b1) (/.f64 b2 a1)) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 #s(literal 0 binary64) (-.f64 #s(literal 0 binary64) (/.f64 b1 (*.f64 a2 a1)))) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(neg.f64 (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(/.f64 a2 (/.f64 b2 (/.f64 a1 b1))) |
(/.f64 (/.f64 a2 b2) (/.f64 b1 a1)) |
(/.f64 a1 (/.f64 b2 (/.f64 a2 b1))) |
(/.f64 (/.f64 a2 (/.f64 b2 (/.f64 a1 b1))) #s(literal 1 binary64)) |
(/.f64 (/.f64 a1 b2) (/.f64 b1 a2)) |
(/.f64 (/.f64 a2 (/.f64 b1 a1)) b2) |
(/.f64 (/.f64 a2 (/.f64 b2 a1)) b1) |
(/.f64 (/.f64 a2 (/.f64 b2 a1)) (neg.f64 (*.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) b1)))) |
(/.f64 (-.f64 #s(literal 0 binary64) a1) (-.f64 #s(literal 0 binary64) (/.f64 b2 (/.f64 a2 b1)))) |
(/.f64 (/.f64 a1 (-.f64 #s(literal 0 binary64) b2)) (-.f64 #s(literal 0 binary64) (/.f64 b1 a2))) |
(/.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 b2)) (-.f64 #s(literal 0 binary64) (/.f64 b1 a1))) |
(/.f64 (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) a1))) (-.f64 #s(literal 0 binary64) b1)) |
(/.f64 (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) a1))) (*.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) b1))) |
(/.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 (/.f64 b1 a1))) (-.f64 #s(literal 0 binary64) b2)) |
(/.f64 (-.f64 #s(literal 0 binary64) a2) (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)))) |
(/.f64 #s(literal 1 binary64) (/.f64 b2 (/.f64 a2 (/.f64 b1 a1)))) |
(/.f64 #s(literal 1 binary64) (neg.f64 (*.f64 (/.f64 b2 (*.f64 a2 a1)) (-.f64 #s(literal 0 binary64) b1)))) |
(/.f64 #s(literal 1 binary64) (neg.f64 (*.f64 (/.f64 b2 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1))) b1))) |
(/.f64 (/.f64 (/.f64 a1 b1) b2) (/.f64 #s(literal 1 binary64) a2)) |
(/.f64 (/.f64 a2 (*.f64 b2 b1)) (/.f64 #s(literal 1 binary64) a1)) |
(/.f64 (/.f64 a1 b1) (/.f64 b2 a2)) |
(/.f64 (/.f64 a2 b1) (/.f64 b2 a1)) |
(/.f64 (/.f64 #s(literal 1 binary64) b1) (/.f64 b2 (*.f64 a2 a1))) |
(/.f64 (/.f64 #s(literal 1 binary64) b2) (/.f64 b1 (*.f64 a2 a1))) |
(/.f64 #s(literal -1 binary64) (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a2 (/.f64 b1 a1))))) |
(/.f64 #s(literal -1 binary64) (*.f64 (/.f64 b2 (*.f64 a2 a1)) (-.f64 #s(literal 0 binary64) b1))) |
(/.f64 #s(literal -1 binary64) (*.f64 (/.f64 b2 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1))) b1)) |
(/.f64 (*.f64 a2 a1) (*.f64 b2 b1)) |
(/.f64 (*.f64 a2 a1) (*.f64 (-.f64 #s(literal 0 binary64) b1) (-.f64 #s(literal 0 binary64) b2))) |
(/.f64 (*.f64 a2 a1) (*.f64 #s(literal 1 binary64) (*.f64 b2 b1))) |
(/.f64 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1)) (*.f64 b2 (-.f64 #s(literal 0 binary64) b1))) |
(/.f64 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1)) (*.f64 #s(literal 1 binary64) (*.f64 b2 (-.f64 #s(literal 0 binary64) b1)))) |
(/.f64 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1)) (neg.f64 (*.f64 (-.f64 #s(literal 0 binary64) b1) (-.f64 #s(literal 0 binary64) b2)))) |
(/.f64 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1)) (neg.f64 (*.f64 #s(literal 1 binary64) (*.f64 b2 b1)))) |
(/.f64 (/.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 b2)) b1) (/.f64 #s(literal -1 binary64) a1)) |
(/.f64 (-.f64 #s(literal 0 binary64) (/.f64 (/.f64 a1 b1) b2)) (/.f64 #s(literal -1 binary64) a2)) |
(/.f64 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)) (-.f64 #s(literal 0 binary64) (/.f64 b2 a2))) |
(/.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 b1)) (/.f64 b2 (-.f64 #s(literal 0 binary64) a1))) |
(/.f64 (/.f64 #s(literal -1 binary64) b1) (/.f64 b2 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1)))) |
(/.f64 (/.f64 #s(literal -1 binary64) b2) (-.f64 #s(literal 0 binary64) (/.f64 b1 (*.f64 a2 a1)))) |
(/.f64 (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)))) #s(literal -1 binary64)) |
(/.f64 (/.f64 (/.f64 #s(literal 1 binary64) b2) b1) (/.f64 #s(literal 1 binary64) (*.f64 a2 a1))) |
(/.f64 (*.f64 (-.f64 #s(literal 0 binary64) a1) #s(literal -1 binary64)) (/.f64 b2 (/.f64 a2 b1))) |
(/.f64 (*.f64 (-.f64 #s(literal 0 binary64) a2) (-.f64 #s(literal 0 binary64) a1)) (*.f64 (-.f64 #s(literal 0 binary64) b2) (-.f64 #s(literal 0 binary64) b1))) |
(/.f64 (*.f64 (-.f64 #s(literal 0 binary64) a2) (-.f64 #s(literal 0 binary64) a1)) (*.f64 (-.f64 #s(literal 0 binary64) b1) (-.f64 #s(literal 0 binary64) b2))) |
(/.f64 (*.f64 (-.f64 #s(literal 0 binary64) a2) #s(literal -1 binary64)) (/.f64 b2 (/.f64 a1 b1))) |
(/.f64 (*.f64 (/.f64 #s(literal 1 binary64) b1) #s(literal -1 binary64)) (/.f64 b2 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1)))) |
(/.f64 (*.f64 (/.f64 #s(literal 1 binary64) b2) #s(literal -1 binary64)) (-.f64 #s(literal 0 binary64) (/.f64 b1 (*.f64 a2 a1)))) |
(/.f64 (*.f64 #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) b1)) (/.f64 b2 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1)))) |
(/.f64 (*.f64 (-.f64 #s(literal 0 binary64) a1) (-.f64 #s(literal 0 binary64) a2)) (*.f64 (-.f64 #s(literal 0 binary64) b2) (-.f64 #s(literal 0 binary64) b1))) |
(/.f64 (*.f64 (-.f64 #s(literal 0 binary64) a1) (-.f64 #s(literal 0 binary64) a2)) (*.f64 (-.f64 #s(literal 0 binary64) b1) (-.f64 #s(literal 0 binary64) b2))) |
(/.f64 (*.f64 #s(literal 1 binary64) (*.f64 a2 a1)) (*.f64 b2 b1)) |
(/.f64 (*.f64 #s(literal 1 binary64) (*.f64 a2 (-.f64 #s(literal 0 binary64) a1))) (*.f64 b2 (-.f64 #s(literal 0 binary64) b1))) |
(/.f64 (*.f64 (/.f64 a1 b1) #s(literal -1 binary64)) (-.f64 #s(literal 0 binary64) (/.f64 b2 a2))) |
(/.f64 (*.f64 (*.f64 a2 a1) #s(literal 1 binary64)) (*.f64 b2 b1)) |
(/.f64 (*.f64 (*.f64 a2 a1) #s(literal -1 binary64)) (*.f64 b2 (-.f64 #s(literal 0 binary64) b1))) |
(/.f64 (*.f64 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1)) #s(literal 1 binary64)) (*.f64 b2 (-.f64 #s(literal 0 binary64) b1))) |
(/.f64 (*.f64 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1)) #s(literal -1 binary64)) (*.f64 (-.f64 #s(literal 0 binary64) b2) (-.f64 #s(literal 0 binary64) b1))) |
(/.f64 (*.f64 #s(literal -1 binary64) (*.f64 a2 (-.f64 #s(literal 0 binary64) a1))) (*.f64 (-.f64 #s(literal 0 binary64) b1) (-.f64 #s(literal 0 binary64) b2))) |
(/.f64 (neg.f64 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1))) (neg.f64 (*.f64 b2 (-.f64 #s(literal 0 binary64) b1)))) |
(/.f64 (neg.f64 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1))) (neg.f64 (*.f64 #s(literal 1 binary64) (*.f64 b2 (-.f64 #s(literal 0 binary64) b1))))) |
(/.f64 (/.f64 (/.f64 #s(literal 1 binary64) b1) b2) (/.f64 #s(literal 1 binary64) (*.f64 a2 a1))) |
(/.f64 (neg.f64 (/.f64 (/.f64 #s(literal 1 binary64) b2) b1)) (neg.f64 (/.f64 #s(literal 1 binary64) (*.f64 a2 a1)))) |
(/.f64 (*.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 (/.f64 b1 a1))) #s(literal 1 binary64)) (-.f64 #s(literal 0 binary64) b2)) |
(/.f64 (*.f64 (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) a1))) #s(literal 1 binary64)) (-.f64 #s(literal 0 binary64) b1)) |
(/.f64 (*.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 b2)) #s(literal 1 binary64)) (-.f64 #s(literal 0 binary64) (/.f64 b1 a1))) |
(/.f64 (*.f64 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)) #s(literal -1 binary64)) (/.f64 b2 a2)) |
(/.f64 (*.f64 (/.f64 a2 b1) #s(literal -1 binary64)) (/.f64 b2 (-.f64 #s(literal 0 binary64) a1))) |
(/.f64 (*.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 b1)) #s(literal -1 binary64)) (/.f64 b2 a1)) |
(/.f64 (*.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 b1)) #s(literal 1 binary64)) (/.f64 b2 (-.f64 #s(literal 0 binary64) a1))) |
(/.f64 (*.f64 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)) #s(literal 1 binary64)) (-.f64 #s(literal 0 binary64) (/.f64 b2 a2))) |
(/.f64 (neg.f64 (*.f64 (-.f64 #s(literal 0 binary64) a1) #s(literal -1 binary64))) (-.f64 #s(literal 0 binary64) (/.f64 b2 (/.f64 a2 b1)))) |
(/.f64 (neg.f64 (*.f64 (/.f64 #s(literal 1 binary64) b1) #s(literal -1 binary64))) (/.f64 b2 (*.f64 a2 a1))) |
(/.f64 (neg.f64 (*.f64 (/.f64 #s(literal 1 binary64) b2) #s(literal -1 binary64))) (/.f64 b1 (*.f64 a2 a1))) |
(/.f64 (neg.f64 (*.f64 #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) b1))) (/.f64 b2 (*.f64 a2 a1))) |
(/.f64 (neg.f64 (/.f64 (/.f64 #s(literal 1 binary64) b1) b2)) (neg.f64 (/.f64 #s(literal 1 binary64) (*.f64 a2 a1)))) |
(/.f64 (neg.f64 (*.f64 (-.f64 #s(literal 0 binary64) a2) #s(literal -1 binary64))) (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)))) |
(/.f64 (neg.f64 (*.f64 (/.f64 a2 b1) #s(literal -1 binary64))) (/.f64 b2 a1)) |
(/.f64 (neg.f64 (*.f64 (-.f64 #s(literal 0 binary64) a2) (-.f64 #s(literal 0 binary64) a1))) (neg.f64 (*.f64 (-.f64 #s(literal 0 binary64) b1) (-.f64 #s(literal 0 binary64) b2)))) |
(/.f64 (neg.f64 (*.f64 (-.f64 #s(literal 0 binary64) a2) (-.f64 #s(literal 0 binary64) a1))) (neg.f64 (*.f64 (-.f64 #s(literal 0 binary64) b2) (-.f64 #s(literal 0 binary64) b1)))) |
(/.f64 (neg.f64 (*.f64 (-.f64 #s(literal 0 binary64) a1) (-.f64 #s(literal 0 binary64) a2))) (neg.f64 (*.f64 (-.f64 #s(literal 0 binary64) b1) (-.f64 #s(literal 0 binary64) b2)))) |
(/.f64 (neg.f64 (*.f64 (-.f64 #s(literal 0 binary64) a1) (-.f64 #s(literal 0 binary64) a2))) (neg.f64 (*.f64 (-.f64 #s(literal 0 binary64) b2) (-.f64 #s(literal 0 binary64) b1)))) |
(/.f64 (neg.f64 (*.f64 #s(literal -1 binary64) (*.f64 a2 (-.f64 #s(literal 0 binary64) a1)))) (neg.f64 (*.f64 (-.f64 #s(literal 0 binary64) b1) (-.f64 #s(literal 0 binary64) b2)))) |
(/.f64 (neg.f64 (neg.f64 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1)))) (neg.f64 (neg.f64 (*.f64 b2 (-.f64 #s(literal 0 binary64) b1))))) |
(/.f64 (neg.f64 (*.f64 #s(literal 1 binary64) (*.f64 a2 a1))) (*.f64 b2 (-.f64 #s(literal 0 binary64) b1))) |
(/.f64 (neg.f64 (*.f64 #s(literal 1 binary64) (*.f64 a2 (-.f64 #s(literal 0 binary64) a1)))) (neg.f64 (*.f64 b2 (-.f64 #s(literal 0 binary64) b1)))) |
(/.f64 (neg.f64 (*.f64 (*.f64 a2 a1) #s(literal 1 binary64))) (*.f64 b2 (-.f64 #s(literal 0 binary64) b1))) |
(/.f64 (neg.f64 (*.f64 (*.f64 a2 a1) #s(literal -1 binary64))) (neg.f64 (*.f64 b2 (-.f64 #s(literal 0 binary64) b1)))) |
(/.f64 (neg.f64 (*.f64 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1)) #s(literal 1 binary64))) (neg.f64 (*.f64 b2 (-.f64 #s(literal 0 binary64) b1)))) |
(/.f64 (neg.f64 (*.f64 (/.f64 a1 b1) #s(literal -1 binary64))) (/.f64 b2 a2)) |
(/.f64 (neg.f64 (*.f64 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1)) #s(literal -1 binary64))) (neg.f64 (*.f64 (-.f64 #s(literal 0 binary64) b2) (-.f64 #s(literal 0 binary64) b1)))) |
(/.f64 (neg.f64 (*.f64 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)) #s(literal -1 binary64))) (-.f64 #s(literal 0 binary64) (/.f64 b2 a2))) |
(/.f64 (neg.f64 (*.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 b1)) #s(literal -1 binary64))) (/.f64 b2 (-.f64 #s(literal 0 binary64) a1))) |
(/.f64 (neg.f64 (*.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 b1)) #s(literal 1 binary64))) (/.f64 b2 a1)) |
(/.f64 (neg.f64 (*.f64 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)) #s(literal 1 binary64))) (/.f64 b2 a2)) |
(pow.f64 (/.f64 a2 (/.f64 b2 (/.f64 a1 b1))) #s(literal 1 binary64)) |
(pow.f64 (/.f64 b2 (/.f64 a2 (/.f64 b1 a1))) #s(literal -1 binary64)) |
(pow.f64 (pow.f64 (/.f64 a2 (/.f64 b2 (/.f64 a1 b1))) #s(literal 1/2 binary64)) #s(literal 2 binary64)) |
(pow.f64 (*.f64 (/.f64 b2 (/.f64 a2 (/.f64 b1 a1))) (/.f64 b2 (/.f64 a2 (/.f64 b1 a1)))) #s(literal -1/2 binary64)) |
(*.f64 a2 (/.f64 (/.f64 a1 b1) b2)) |
(*.f64 (/.f64 a2 b2) (/.f64 a1 b1)) |
(*.f64 a1 (/.f64 a2 (*.f64 b2 b1))) |
(*.f64 (/.f64 a2 (/.f64 b2 (/.f64 a1 b1))) #s(literal 1 binary64)) |
(*.f64 (/.f64 a1 b2) (/.f64 a2 b1)) |
(*.f64 (/.f64 a2 (/.f64 b1 a1)) (/.f64 #s(literal 1 binary64) b2)) |
(*.f64 (/.f64 a2 (/.f64 b2 a1)) (/.f64 #s(literal 1 binary64) b1)) |
(*.f64 (-.f64 #s(literal 0 binary64) a1) (/.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 b2)) b1)) |
(*.f64 (/.f64 a1 (-.f64 #s(literal 0 binary64) b2)) (-.f64 #s(literal 0 binary64) (/.f64 a2 b1))) |
(*.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 b2)) (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))) |
(*.f64 (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) a1))) (/.f64 #s(literal -1 binary64) b1)) |
(*.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 (/.f64 b1 a1))) (/.f64 #s(literal -1 binary64) b2)) |
(*.f64 (-.f64 #s(literal 0 binary64) a2) (-.f64 #s(literal 0 binary64) (/.f64 (/.f64 a1 b1) b2))) |
(*.f64 (-.f64 #s(literal 0 binary64) a2) (/.f64 (/.f64 #s(literal -1 binary64) b2) (/.f64 b1 a1))) |
(*.f64 #s(literal 1 binary64) (/.f64 a2 (/.f64 b2 (/.f64 a1 b1)))) |
(*.f64 (/.f64 (/.f64 a1 b1) b2) a2) |
(*.f64 (/.f64 a2 (*.f64 b2 b1)) a1) |
(*.f64 (/.f64 a1 b1) (/.f64 a2 b2)) |
(*.f64 (/.f64 a2 b1) (/.f64 a1 b2)) |
(*.f64 (/.f64 #s(literal 1 binary64) b1) (/.f64 a2 (/.f64 b2 a1))) |
(*.f64 (/.f64 #s(literal 1 binary64) b2) (/.f64 a2 (/.f64 b1 a1))) |
(*.f64 #s(literal -1 binary64) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(*.f64 (*.f64 a2 a1) (/.f64 (/.f64 #s(literal 1 binary64) b2) b1)) |
(*.f64 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1)) (/.f64 #s(literal -1 binary64) (*.f64 b2 b1))) |
(*.f64 (/.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 b2)) b1) (-.f64 #s(literal 0 binary64) a1)) |
(*.f64 (/.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 b2)) b1) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) a1))) |
(*.f64 (-.f64 #s(literal 0 binary64) (/.f64 (/.f64 a1 b1) b2)) (-.f64 #s(literal 0 binary64) a2)) |
(*.f64 (-.f64 #s(literal 0 binary64) (/.f64 (/.f64 a1 b1) b2)) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) a2))) |
(*.f64 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)) (-.f64 #s(literal 0 binary64) (/.f64 a2 b2))) |
(*.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 b1)) (/.f64 a1 (-.f64 #s(literal 0 binary64) b2))) |
(*.f64 (/.f64 #s(literal -1 binary64) b1) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) a1)))) |
(*.f64 (/.f64 #s(literal -1 binary64) b2) (-.f64 #s(literal 0 binary64) (/.f64 a2 (/.f64 b1 a1)))) |
(*.f64 (/.f64 (/.f64 #s(literal 1 binary64) b2) b1) (*.f64 a2 a1)) |
(*.f64 (/.f64 (/.f64 #s(literal 1 binary64) b2) b1) (/.f64 a1 (/.f64 #s(literal 1 binary64) a2))) |
(*.f64 (/.f64 (/.f64 #s(literal 1 binary64) b2) b1) (/.f64 a2 (/.f64 #s(literal 1 binary64) a1))) |
(*.f64 (/.f64 a1 (/.f64 #s(literal 1 binary64) a2)) (/.f64 (/.f64 #s(literal 1 binary64) b2) b1)) |
(*.f64 (/.f64 a1 (/.f64 #s(literal 1 binary64) a2)) (/.f64 (/.f64 #s(literal 1 binary64) b1) b2)) |
(*.f64 (/.f64 (/.f64 #s(literal 1 binary64) b1) #s(literal 1 binary64)) (/.f64 a2 (/.f64 b2 a1))) |
(*.f64 (/.f64 (/.f64 #s(literal 1 binary64) b1) #s(literal -1 binary64)) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) a1)))) |
(*.f64 (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) a2)) (-.f64 #s(literal 0 binary64) (/.f64 (/.f64 a1 b1) b2))) |
(*.f64 (/.f64 (/.f64 #s(literal 1 binary64) b1) b2) (*.f64 a2 a1)) |
(*.f64 (/.f64 (/.f64 #s(literal 1 binary64) b1) b2) (/.f64 a1 (/.f64 #s(literal 1 binary64) a2))) |
(*.f64 (/.f64 (/.f64 #s(literal 1 binary64) b1) b2) (/.f64 a2 (/.f64 #s(literal 1 binary64) a1))) |
(*.f64 (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) a1)) (/.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 b2)) b1)) |
(*.f64 (/.f64 (/.f64 #s(literal -1 binary64) b1) b2) (*.f64 a2 (-.f64 #s(literal 0 binary64) a1))) |
(*.f64 (/.f64 (/.f64 #s(literal -1 binary64) b1) b2) (/.f64 a1 (/.f64 #s(literal -1 binary64) a2))) |
(*.f64 (/.f64 (/.f64 #s(literal -1 binary64) b1) b2) (/.f64 a2 (/.f64 #s(literal -1 binary64) a1))) |
(*.f64 (/.f64 (/.f64 #s(literal -1 binary64) b2) b1) (*.f64 a2 (-.f64 #s(literal 0 binary64) a1))) |
(*.f64 (/.f64 (/.f64 #s(literal -1 binary64) b2) b1) (/.f64 a1 (/.f64 #s(literal -1 binary64) a2))) |
(*.f64 (/.f64 (/.f64 #s(literal -1 binary64) b2) b1) (/.f64 a2 (/.f64 #s(literal -1 binary64) a1))) |
(*.f64 (/.f64 a2 (/.f64 #s(literal 1 binary64) a1)) (/.f64 (/.f64 #s(literal 1 binary64) b2) b1)) |
(*.f64 (/.f64 a2 (/.f64 #s(literal 1 binary64) a1)) (/.f64 (/.f64 #s(literal 1 binary64) b1) b2)) |
(*.f64 (/.f64 (/.f64 #s(literal 1 binary64) b2) #s(literal -1 binary64)) (-.f64 #s(literal 0 binary64) (/.f64 a2 (/.f64 b1 a1)))) |
(*.f64 (/.f64 a1 (/.f64 #s(literal -1 binary64) a2)) (/.f64 (/.f64 #s(literal -1 binary64) b1) b2)) |
(*.f64 (/.f64 a1 (/.f64 #s(literal -1 binary64) a2)) (/.f64 (/.f64 #s(literal -1 binary64) b2) b1)) |
(*.f64 (/.f64 (/.f64 #s(literal 1 binary64) b2) #s(literal 1 binary64)) (/.f64 a2 (/.f64 b1 a1))) |
(*.f64 (/.f64 a2 (/.f64 #s(literal -1 binary64) a1)) (/.f64 (/.f64 #s(literal -1 binary64) b1) b2)) |
(*.f64 (/.f64 a2 (/.f64 #s(literal -1 binary64) a1)) (/.f64 (/.f64 #s(literal -1 binary64) b2) b1)) |
(*.f64 (pow.f64 (/.f64 a2 (/.f64 b2 (/.f64 a1 b1))) #s(literal 1/2 binary64)) (pow.f64 (/.f64 a2 (/.f64 b2 (/.f64 a1 b1))) #s(literal 1/2 binary64))) |
(*.f64 (*.f64 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)) #s(literal -1 binary64)) (/.f64 a2 b2)) |
(*.f64 (*.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 b1)) #s(literal -1 binary64)) (/.f64 a1 b2)) |
(*.f64 (*.f64 (/.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 b2)) b1) #s(literal -1 binary64)) a1) |
(exp.f64 (log.f64 (/.f64 b2 (/.f64 a2 b1)))) |
(exp.f64 (*.f64 (log.f64 (/.f64 b2 (/.f64 a2 b1))) #s(literal 1 binary64))) |
(exp.f64 (-.f64 (log.f64 (/.f64 b1 a2)) (*.f64 (log.f64 b2) #s(literal -1 binary64)))) |
(exp.f64 (-.f64 (log.f64 (/.f64 b2 a2)) (*.f64 (log.f64 b1) #s(literal -1 binary64)))) |
(-.f64 #s(literal 0 binary64) (-.f64 #s(literal 0 binary64) (/.f64 b2 (/.f64 a2 b1)))) |
(-.f64 (/.f64 #s(literal 0 binary64) (/.f64 a2 b2)) (-.f64 #s(literal 0 binary64) (/.f64 b2 (/.f64 a2 b1)))) |
(-.f64 (/.f64 #s(literal 0 binary64) (/.f64 #s(literal 1 binary64) b1)) (-.f64 #s(literal 0 binary64) (/.f64 b2 (/.f64 a2 b1)))) |
(-.f64 (/.f64 #s(literal 0 binary64) (/.f64 #s(literal -1 binary64) b2)) (-.f64 #s(literal 0 binary64) (/.f64 b2 (/.f64 a2 b1)))) |
(-.f64 (/.f64 #s(literal 0 binary64) (/.f64 #s(literal 1 binary64) b2)) (-.f64 #s(literal 0 binary64) (/.f64 b2 (/.f64 a2 b1)))) |
(-.f64 (/.f64 #s(literal 0 binary64) (/.f64 a2 b1)) (-.f64 #s(literal 0 binary64) (/.f64 b2 (/.f64 a2 b1)))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) (/.f64 a2 b2)) #s(literal 1 binary64)) (-.f64 #s(literal 0 binary64) (/.f64 b2 (/.f64 a2 b1)))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) a2) (/.f64 #s(literal 1 binary64) b2)) (-.f64 #s(literal 0 binary64) (/.f64 b2 (/.f64 a2 b1)))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) a2) (/.f64 #s(literal 1 binary64) b1)) (-.f64 #s(literal 0 binary64) (/.f64 b2 (/.f64 a2 b1)))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) a2) (/.f64 #s(literal -1 binary64) b2)) (-.f64 #s(literal 0 binary64) (/.f64 b2 (/.f64 a2 b1)))) |
(-.f64 (/.f64 #s(literal 0 binary64) (-.f64 #s(literal 0 binary64) (/.f64 a2 b1))) (-.f64 #s(literal 0 binary64) (/.f64 b2 (/.f64 a2 b1)))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) (/.f64 a2 b2)) #s(literal -1 binary64)) (-.f64 #s(literal 0 binary64) (/.f64 b2 (/.f64 a2 b1)))) |
(neg.f64 (-.f64 #s(literal 0 binary64) (/.f64 b2 (/.f64 a2 b1)))) |
(/.f64 b2 (/.f64 a2 b1)) |
(/.f64 b1 (/.f64 a2 b2)) |
(/.f64 (/.f64 b2 (/.f64 a2 b1)) #s(literal 1 binary64)) |
(/.f64 (/.f64 b1 a2) (/.f64 #s(literal 1 binary64) b2)) |
(/.f64 (/.f64 b2 a2) (/.f64 #s(literal 1 binary64) b1)) |
(/.f64 (-.f64 #s(literal 0 binary64) (/.f64 b2 a2)) (/.f64 #s(literal -1 binary64) b1)) |
(/.f64 (-.f64 #s(literal 0 binary64) (/.f64 b1 a2)) (/.f64 #s(literal -1 binary64) b2)) |
(/.f64 (-.f64 #s(literal 0 binary64) b1) (-.f64 #s(literal 0 binary64) (/.f64 a2 b2))) |
(/.f64 (-.f64 #s(literal 0 binary64) b2) (-.f64 #s(literal 0 binary64) (/.f64 a2 b1))) |
(/.f64 (-.f64 #s(literal 0 binary64) (/.f64 b2 (/.f64 a2 b1))) #s(literal -1 binary64)) |
(/.f64 #s(literal 1 binary64) (/.f64 a2 (*.f64 b2 b1))) |
(/.f64 (/.f64 #s(literal 1 binary64) a2) (/.f64 (/.f64 #s(literal 1 binary64) b2) b1)) |
(/.f64 #s(literal -1 binary64) (/.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 b2)) b1)) |
(/.f64 (*.f64 b2 b1) a2) |
(/.f64 (/.f64 #s(literal -1 binary64) a2) (neg.f64 (/.f64 (/.f64 #s(literal 1 binary64) b2) b1))) |
(/.f64 (*.f64 b2 (-.f64 #s(literal 0 binary64) b1)) (-.f64 #s(literal 0 binary64) a2)) |
(/.f64 (*.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) b1)) (-.f64 #s(literal 0 binary64) (/.f64 a2 b2))) |
(/.f64 (*.f64 (-.f64 #s(literal 0 binary64) b1) (-.f64 #s(literal 0 binary64) b2)) a2) |
(/.f64 (*.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) b2)) (-.f64 #s(literal 0 binary64) (/.f64 a2 b1))) |
(/.f64 (*.f64 (-.f64 #s(literal 0 binary64) b1) #s(literal 1 binary64)) (-.f64 #s(literal 0 binary64) (/.f64 a2 b2))) |
(/.f64 (*.f64 (-.f64 #s(literal 0 binary64) b1) #s(literal -1 binary64)) (/.f64 a2 b2)) |
(/.f64 (*.f64 (*.f64 b2 b1) #s(literal 1 binary64)) a2) |
(/.f64 (*.f64 (*.f64 b2 b1) #s(literal -1 binary64)) (-.f64 #s(literal 0 binary64) a2)) |
(/.f64 (*.f64 #s(literal 1 binary64) (*.f64 b2 b1)) a2) |
(/.f64 (neg.f64 (*.f64 b2 (-.f64 #s(literal 0 binary64) b1))) a2) |
(/.f64 (/.f64 b1 (/.f64 #s(literal 1 binary64) b2)) a2) |
(/.f64 (/.f64 b1 (/.f64 #s(literal -1 binary64) b2)) (-.f64 #s(literal 0 binary64) a2)) |
(/.f64 (/.f64 b2 (/.f64 #s(literal 1 binary64) b1)) a2) |
(/.f64 (/.f64 b2 (/.f64 #s(literal -1 binary64) b1)) (-.f64 #s(literal 0 binary64) a2)) |
(/.f64 (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) b1)) (-.f64 #s(literal 0 binary64) (/.f64 a2 b2))) |
(/.f64 (*.f64 #s(literal 1 binary64) (*.f64 b2 (-.f64 #s(literal 0 binary64) b1))) (-.f64 #s(literal 0 binary64) a2)) |
(/.f64 (/.f64 (*.f64 b2 (-.f64 #s(literal 0 binary64) b1)) #s(literal -1 binary64)) a2) |
(/.f64 (-.f64 #s(literal 0 binary64) (*.f64 (-.f64 #s(literal 0 binary64) b1) #s(literal -1 binary64))) (-.f64 #s(literal 0 binary64) (/.f64 a2 b2))) |
(/.f64 (neg.f64 (*.f64 (-.f64 #s(literal 0 binary64) b1) #s(literal 1 binary64))) (/.f64 a2 b2)) |
(/.f64 (neg.f64 (*.f64 (-.f64 #s(literal 0 binary64) b1) #s(literal -1 binary64))) (-.f64 #s(literal 0 binary64) (/.f64 a2 b2))) |
(/.f64 (neg.f64 (*.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) b1))) (/.f64 a2 b2)) |
(/.f64 (neg.f64 (*.f64 (-.f64 #s(literal 0 binary64) b1) (-.f64 #s(literal 0 binary64) b2))) (-.f64 #s(literal 0 binary64) a2)) |
(/.f64 (neg.f64 (*.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) b2))) (/.f64 a2 b1)) |
(/.f64 (neg.f64 (*.f64 (*.f64 b2 b1) #s(literal 1 binary64))) (-.f64 #s(literal 0 binary64) a2)) |
(/.f64 (neg.f64 (*.f64 (*.f64 b2 b1) #s(literal -1 binary64))) a2) |
(/.f64 (neg.f64 (*.f64 #s(literal 1 binary64) (*.f64 b2 b1))) (-.f64 #s(literal 0 binary64) a2)) |
(/.f64 (neg.f64 (neg.f64 (*.f64 b2 (-.f64 #s(literal 0 binary64) b1)))) (-.f64 #s(literal 0 binary64) a2)) |
(/.f64 (neg.f64 (/.f64 b1 (/.f64 #s(literal 1 binary64) b2))) (-.f64 #s(literal 0 binary64) a2)) |
(/.f64 (neg.f64 (/.f64 b1 (/.f64 #s(literal -1 binary64) b2))) a2) |
(/.f64 (neg.f64 (/.f64 b2 (/.f64 #s(literal 1 binary64) b1))) (-.f64 #s(literal 0 binary64) a2)) |
(/.f64 (neg.f64 (/.f64 b2 (/.f64 #s(literal -1 binary64) b1))) a2) |
(/.f64 (neg.f64 (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) b1))) (/.f64 a2 b2)) |
(/.f64 (neg.f64 (*.f64 #s(literal 1 binary64) (*.f64 b2 (-.f64 #s(literal 0 binary64) b1)))) a2) |
(/.f64 (neg.f64 (/.f64 (*.f64 b2 (-.f64 #s(literal 0 binary64) b1)) #s(literal -1 binary64))) (-.f64 #s(literal 0 binary64) a2)) |
(pow.f64 (/.f64 b2 (/.f64 a2 b1)) #s(literal 1 binary64)) |
(pow.f64 (/.f64 a2 (*.f64 b2 b1)) #s(literal -1 binary64)) |
(pow.f64 (pow.f64 (/.f64 a2 (*.f64 b2 b1)) #s(literal -1/2 binary64)) #s(literal 2 binary64)) |
(pow.f64 (*.f64 (/.f64 a2 (*.f64 b2 b1)) (/.f64 a2 (*.f64 b2 b1))) #s(literal -1/2 binary64)) |
(*.f64 b2 (/.f64 b1 a2)) |
(*.f64 b1 (/.f64 b2 a2)) |
(*.f64 (/.f64 b2 (/.f64 a2 b1)) #s(literal 1 binary64)) |
(*.f64 (/.f64 b1 a2) b2) |
(*.f64 (/.f64 b2 a2) b1) |
(*.f64 (-.f64 #s(literal 0 binary64) (/.f64 b2 a2)) (-.f64 #s(literal 0 binary64) b1)) |
(*.f64 (-.f64 #s(literal 0 binary64) (/.f64 b1 a2)) (-.f64 #s(literal 0 binary64) b2)) |
(*.f64 (-.f64 #s(literal 0 binary64) (/.f64 b1 a2)) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) b2))) |
(*.f64 (-.f64 #s(literal 0 binary64) b1) (-.f64 #s(literal 0 binary64) (/.f64 b2 a2))) |
(*.f64 (-.f64 #s(literal 0 binary64) b2) (-.f64 #s(literal 0 binary64) (/.f64 b1 a2))) |
(*.f64 #s(literal 1 binary64) (/.f64 b2 (/.f64 a2 b1))) |
(*.f64 (/.f64 #s(literal 1 binary64) a2) (*.f64 b2 b1)) |
(*.f64 (/.f64 #s(literal 1 binary64) a2) (/.f64 #s(literal 1 binary64) (/.f64 (/.f64 #s(literal 1 binary64) b2) b1))) |
(*.f64 (/.f64 #s(literal 1 binary64) a2) (/.f64 b1 (/.f64 #s(literal 1 binary64) b2))) |
(*.f64 (/.f64 #s(literal 1 binary64) a2) (/.f64 b2 (/.f64 #s(literal 1 binary64) b1))) |
(*.f64 #s(literal -1 binary64) (-.f64 #s(literal 0 binary64) (/.f64 b2 (/.f64 a2 b1)))) |
(*.f64 (*.f64 b2 b1) (/.f64 #s(literal 1 binary64) a2)) |
(*.f64 (*.f64 b2 b1) (/.f64 (/.f64 #s(literal 1 binary64) a2) #s(literal 1 binary64))) |
(*.f64 (/.f64 #s(literal -1 binary64) a2) (*.f64 b2 (-.f64 #s(literal 0 binary64) b1))) |
(*.f64 (/.f64 #s(literal -1 binary64) a2) (/.f64 b1 (/.f64 #s(literal -1 binary64) b2))) |
(*.f64 (*.f64 b2 (-.f64 #s(literal 0 binary64) b1)) (/.f64 #s(literal -1 binary64) a2)) |
(*.f64 (*.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) b1)) (-.f64 #s(literal 0 binary64) (/.f64 b2 a2))) |
(*.f64 (*.f64 (-.f64 #s(literal 0 binary64) b1) (-.f64 #s(literal 0 binary64) b2)) (/.f64 #s(literal 1 binary64) a2)) |
(*.f64 (*.f64 (-.f64 #s(literal 0 binary64) b1) #s(literal -1 binary64)) (/.f64 b2 a2)) |
(*.f64 (*.f64 (*.f64 b2 b1) #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) a2)) |
(*.f64 (*.f64 #s(literal 1 binary64) (*.f64 b2 b1)) (/.f64 #s(literal 1 binary64) a2)) |
(*.f64 (/.f64 (/.f64 #s(literal 1 binary64) a2) #s(literal 1 binary64)) (/.f64 b1 (/.f64 #s(literal 1 binary64) b2))) |
(*.f64 (/.f64 b1 (/.f64 #s(literal 1 binary64) b2)) (/.f64 #s(literal 1 binary64) a2)) |
(*.f64 (/.f64 b1 (/.f64 #s(literal -1 binary64) b2)) (/.f64 #s(literal -1 binary64) a2)) |
(*.f64 (/.f64 b2 (/.f64 #s(literal 1 binary64) b1)) (/.f64 #s(literal 1 binary64) a2)) |
(*.f64 (/.f64 b2 (/.f64 #s(literal -1 binary64) b1)) (/.f64 #s(literal -1 binary64) a2)) |
(*.f64 (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) b1)) (-.f64 #s(literal 0 binary64) (/.f64 b2 a2))) |
(*.f64 (pow.f64 (/.f64 a2 (*.f64 b2 b1)) #s(literal -1/2 binary64)) (pow.f64 (/.f64 a2 (*.f64 b2 b1)) #s(literal -1/2 binary64))) |
(*.f64 (*.f64 (-.f64 #s(literal 0 binary64) (/.f64 b1 a2)) #s(literal -1 binary64)) b2) |
(exp.f64 (*.f64 (log.f64 (/.f64 b2 (/.f64 a2 (/.f64 b1 a1)))) #s(literal -1 binary64))) |
(exp.f64 (+.f64 (log.f64 (/.f64 a2 b2)) (log.f64 (/.f64 a1 b1)))) |
(exp.f64 (+.f64 (log.f64 (/.f64 a1 b2)) (log.f64 (/.f64 a2 b1)))) |
(exp.f64 (+.f64 (*.f64 (log.f64 (/.f64 b1 (*.f64 a2 a1))) #s(literal -1 binary64)) (*.f64 (log.f64 b2) #s(literal -1 binary64)))) |
(exp.f64 (+.f64 (*.f64 (log.f64 (/.f64 b2 (*.f64 a2 a1))) #s(literal -1 binary64)) (*.f64 (log.f64 b1) #s(literal -1 binary64)))) |
(exp.f64 (+.f64 (log.f64 (/.f64 a1 b1)) (log.f64 (/.f64 a2 b2)))) |
(exp.f64 (+.f64 (log.f64 (/.f64 a2 b1)) (log.f64 (/.f64 a1 b2)))) |
(exp.f64 (+.f64 (*.f64 (log.f64 b1) #s(literal -1 binary64)) (*.f64 (log.f64 (/.f64 b2 (*.f64 a2 a1))) #s(literal -1 binary64)))) |
(exp.f64 (+.f64 (*.f64 (log.f64 b2) #s(literal -1 binary64)) (*.f64 (log.f64 (/.f64 b1 (*.f64 a2 a1))) #s(literal -1 binary64)))) |
(exp.f64 (-.f64 (log.f64 (/.f64 a2 b2)) (log.f64 (/.f64 b1 a1)))) |
(exp.f64 (-.f64 (log.f64 (/.f64 a1 b2)) (log.f64 (/.f64 b1 a2)))) |
(exp.f64 (-.f64 (log.f64 (/.f64 (/.f64 a1 b1) b2)) (*.f64 (log.f64 a2) #s(literal -1 binary64)))) |
(exp.f64 (-.f64 (log.f64 (/.f64 a2 (*.f64 b2 b1))) (*.f64 (log.f64 a1) #s(literal -1 binary64)))) |
(exp.f64 (-.f64 (log.f64 (/.f64 a1 b1)) (log.f64 (/.f64 b2 a2)))) |
(exp.f64 (-.f64 (log.f64 (/.f64 a2 b1)) (log.f64 (/.f64 b2 a1)))) |
(-.f64 #s(literal 0 binary64) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 #s(literal 0 binary64) (/.f64 (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)))) #s(literal 1 binary64))) |
(-.f64 (/.f64 #s(literal 0 binary64) (/.f64 b1 a2)) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 #s(literal 0 binary64) b1) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 #s(literal 0 binary64) b2) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 #s(literal 0 binary64) (/.f64 b2 a2)) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 #s(literal 0 binary64) (/.f64 b2 (/.f64 a2 b1))) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 #s(literal 0 binary64) (/.f64 b1 a1)) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 #s(literal 0 binary64) (/.f64 b2 (/.f64 a1 b1))) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 #s(literal 0 binary64) (*.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) b1))) (/.f64 (/.f64 a2 (/.f64 b2 a1)) (*.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) b1)))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) b1) #s(literal 1 binary64)) (/.f64 (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)))) #s(literal 1 binary64))) |
(-.f64 (/.f64 #s(literal 0 binary64) (/.f64 #s(literal -1 binary64) a1)) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) b2) #s(literal 1 binary64)) (/.f64 (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)))) #s(literal 1 binary64))) |
(-.f64 (/.f64 #s(literal 0 binary64) (/.f64 #s(literal -1 binary64) a2)) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 #s(literal 0 binary64) (/.f64 b2 (-.f64 #s(literal 0 binary64) a1))) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) b2) (/.f64 b1 a1)) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) (/.f64 b1 a2)) #s(literal 1 binary64)) (/.f64 (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)))) #s(literal 1 binary64))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) (/.f64 b2 (/.f64 a2 b1))) #s(literal 1 binary64)) (/.f64 (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)))) #s(literal 1 binary64))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) (/.f64 b1 a1)) #s(literal 1 binary64)) (/.f64 (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)))) #s(literal 1 binary64))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) (/.f64 b2 (/.f64 a1 b1))) #s(literal 1 binary64)) (/.f64 (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)))) #s(literal 1 binary64))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) b2) (/.f64 b1 a2)) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) (/.f64 b1 a2)) b2) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) (/.f64 b2 a2)) b1) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) b2) (-.f64 #s(literal 0 binary64) (/.f64 b1 a2))) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) b2) (-.f64 #s(literal 0 binary64) (/.f64 b1 a1))) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) (/.f64 b2 a2)) (-.f64 #s(literal 0 binary64) b1)) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) (/.f64 b2 a2)) (*.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) b1))) (/.f64 (/.f64 a2 (/.f64 b2 a1)) (*.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) b1)))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) (/.f64 b1 a2)) (-.f64 #s(literal 0 binary64) b2)) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) b1) (/.f64 #s(literal 1 binary64) a2)) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) (*.f64 b2 (-.f64 #s(literal 0 binary64) b1))) (/.f64 #s(literal 1 binary64) a2)) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) b1) (/.f64 #s(literal 1 binary64) a1)) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) (*.f64 b2 (-.f64 #s(literal 0 binary64) b1))) (/.f64 #s(literal 1 binary64) a1)) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) b1) (/.f64 b2 a2)) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) b1) (/.f64 b2 a1)) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 #s(literal 0 binary64) (-.f64 #s(literal 0 binary64) (/.f64 b1 (*.f64 a2 a1)))) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(neg.f64 (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(/.f64 a2 (/.f64 b2 (/.f64 a1 b1))) |
(/.f64 (/.f64 a2 b2) (/.f64 b1 a1)) |
(/.f64 a1 (/.f64 b2 (/.f64 a2 b1))) |
(/.f64 (/.f64 a2 (/.f64 b2 (/.f64 a1 b1))) #s(literal 1 binary64)) |
(/.f64 (/.f64 a1 b2) (/.f64 b1 a2)) |
(/.f64 (/.f64 a2 (/.f64 b1 a1)) b2) |
(/.f64 (/.f64 a2 (/.f64 b2 a1)) b1) |
(/.f64 (/.f64 a2 (/.f64 b2 a1)) (neg.f64 (*.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) b1)))) |
(/.f64 (-.f64 #s(literal 0 binary64) a1) (-.f64 #s(literal 0 binary64) (/.f64 b2 (/.f64 a2 b1)))) |
(/.f64 (/.f64 a1 (-.f64 #s(literal 0 binary64) b2)) (-.f64 #s(literal 0 binary64) (/.f64 b1 a2))) |
(/.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 b2)) (-.f64 #s(literal 0 binary64) (/.f64 b1 a1))) |
(/.f64 (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) a1))) (-.f64 #s(literal 0 binary64) b1)) |
(/.f64 (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) a1))) (*.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) b1))) |
(/.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 (/.f64 b1 a1))) (-.f64 #s(literal 0 binary64) b2)) |
(/.f64 (-.f64 #s(literal 0 binary64) a2) (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)))) |
(/.f64 #s(literal 1 binary64) (/.f64 b2 (/.f64 a2 (/.f64 b1 a1)))) |
(/.f64 #s(literal 1 binary64) (neg.f64 (*.f64 (/.f64 b2 (*.f64 a2 a1)) (-.f64 #s(literal 0 binary64) b1)))) |
(/.f64 #s(literal 1 binary64) (neg.f64 (*.f64 (/.f64 b2 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1))) b1))) |
(/.f64 (/.f64 (/.f64 a1 b1) b2) (/.f64 #s(literal 1 binary64) a2)) |
(/.f64 (/.f64 a2 (*.f64 b2 b1)) (/.f64 #s(literal 1 binary64) a1)) |
(/.f64 (/.f64 a1 b1) (/.f64 b2 a2)) |
(/.f64 (/.f64 a2 b1) (/.f64 b2 a1)) |
(/.f64 (/.f64 #s(literal 1 binary64) b1) (/.f64 b2 (*.f64 a2 a1))) |
(/.f64 (/.f64 #s(literal 1 binary64) b2) (/.f64 b1 (*.f64 a2 a1))) |
(/.f64 #s(literal -1 binary64) (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a2 (/.f64 b1 a1))))) |
(/.f64 #s(literal -1 binary64) (*.f64 (/.f64 b2 (*.f64 a2 a1)) (-.f64 #s(literal 0 binary64) b1))) |
(/.f64 #s(literal -1 binary64) (*.f64 (/.f64 b2 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1))) b1)) |
(/.f64 (*.f64 a2 a1) (*.f64 b2 b1)) |
(/.f64 (*.f64 a2 a1) (*.f64 (-.f64 #s(literal 0 binary64) b1) (-.f64 #s(literal 0 binary64) b2))) |
(/.f64 (*.f64 a2 a1) (*.f64 #s(literal 1 binary64) (*.f64 b2 b1))) |
(/.f64 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1)) (*.f64 b2 (-.f64 #s(literal 0 binary64) b1))) |
(/.f64 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1)) (*.f64 #s(literal 1 binary64) (*.f64 b2 (-.f64 #s(literal 0 binary64) b1)))) |
(/.f64 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1)) (neg.f64 (*.f64 (-.f64 #s(literal 0 binary64) b1) (-.f64 #s(literal 0 binary64) b2)))) |
(/.f64 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1)) (neg.f64 (*.f64 #s(literal 1 binary64) (*.f64 b2 b1)))) |
(/.f64 (/.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 b2)) b1) (/.f64 #s(literal -1 binary64) a1)) |
(/.f64 (-.f64 #s(literal 0 binary64) (/.f64 (/.f64 a1 b1) b2)) (/.f64 #s(literal -1 binary64) a2)) |
(/.f64 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)) (-.f64 #s(literal 0 binary64) (/.f64 b2 a2))) |
(/.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 b1)) (/.f64 b2 (-.f64 #s(literal 0 binary64) a1))) |
(/.f64 (/.f64 #s(literal -1 binary64) b1) (/.f64 b2 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1)))) |
(/.f64 (/.f64 #s(literal -1 binary64) b2) (-.f64 #s(literal 0 binary64) (/.f64 b1 (*.f64 a2 a1)))) |
(/.f64 (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)))) #s(literal -1 binary64)) |
(/.f64 (/.f64 (/.f64 #s(literal 1 binary64) b2) b1) (/.f64 #s(literal 1 binary64) (*.f64 a2 a1))) |
(/.f64 (*.f64 (-.f64 #s(literal 0 binary64) a1) #s(literal -1 binary64)) (/.f64 b2 (/.f64 a2 b1))) |
(/.f64 (*.f64 (-.f64 #s(literal 0 binary64) a2) (-.f64 #s(literal 0 binary64) a1)) (*.f64 (-.f64 #s(literal 0 binary64) b2) (-.f64 #s(literal 0 binary64) b1))) |
(/.f64 (*.f64 (-.f64 #s(literal 0 binary64) a2) (-.f64 #s(literal 0 binary64) a1)) (*.f64 (-.f64 #s(literal 0 binary64) b1) (-.f64 #s(literal 0 binary64) b2))) |
(/.f64 (*.f64 (-.f64 #s(literal 0 binary64) a2) #s(literal -1 binary64)) (/.f64 b2 (/.f64 a1 b1))) |
(/.f64 (*.f64 (/.f64 #s(literal 1 binary64) b1) #s(literal -1 binary64)) (/.f64 b2 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1)))) |
(/.f64 (*.f64 (/.f64 #s(literal 1 binary64) b2) #s(literal -1 binary64)) (-.f64 #s(literal 0 binary64) (/.f64 b1 (*.f64 a2 a1)))) |
(/.f64 (*.f64 #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) b1)) (/.f64 b2 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1)))) |
(/.f64 (*.f64 (-.f64 #s(literal 0 binary64) a1) (-.f64 #s(literal 0 binary64) a2)) (*.f64 (-.f64 #s(literal 0 binary64) b2) (-.f64 #s(literal 0 binary64) b1))) |
(/.f64 (*.f64 (-.f64 #s(literal 0 binary64) a1) (-.f64 #s(literal 0 binary64) a2)) (*.f64 (-.f64 #s(literal 0 binary64) b1) (-.f64 #s(literal 0 binary64) b2))) |
(/.f64 (*.f64 #s(literal 1 binary64) (*.f64 a2 a1)) (*.f64 b2 b1)) |
(/.f64 (*.f64 #s(literal 1 binary64) (*.f64 a2 (-.f64 #s(literal 0 binary64) a1))) (*.f64 b2 (-.f64 #s(literal 0 binary64) b1))) |
(/.f64 (*.f64 (/.f64 a1 b1) #s(literal -1 binary64)) (-.f64 #s(literal 0 binary64) (/.f64 b2 a2))) |
(/.f64 (*.f64 (*.f64 a2 a1) #s(literal 1 binary64)) (*.f64 b2 b1)) |
(/.f64 (*.f64 (*.f64 a2 a1) #s(literal -1 binary64)) (*.f64 b2 (-.f64 #s(literal 0 binary64) b1))) |
(/.f64 (*.f64 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1)) #s(literal 1 binary64)) (*.f64 b2 (-.f64 #s(literal 0 binary64) b1))) |
(/.f64 (*.f64 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1)) #s(literal -1 binary64)) (*.f64 (-.f64 #s(literal 0 binary64) b2) (-.f64 #s(literal 0 binary64) b1))) |
(/.f64 (*.f64 #s(literal -1 binary64) (*.f64 a2 (-.f64 #s(literal 0 binary64) a1))) (*.f64 (-.f64 #s(literal 0 binary64) b1) (-.f64 #s(literal 0 binary64) b2))) |
(/.f64 (neg.f64 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1))) (neg.f64 (*.f64 b2 (-.f64 #s(literal 0 binary64) b1)))) |
(/.f64 (neg.f64 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1))) (neg.f64 (*.f64 #s(literal 1 binary64) (*.f64 b2 (-.f64 #s(literal 0 binary64) b1))))) |
(/.f64 (/.f64 (/.f64 #s(literal 1 binary64) b1) b2) (/.f64 #s(literal 1 binary64) (*.f64 a2 a1))) |
(/.f64 (neg.f64 (/.f64 (/.f64 #s(literal 1 binary64) b2) b1)) (neg.f64 (/.f64 #s(literal 1 binary64) (*.f64 a2 a1)))) |
(/.f64 (*.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 (/.f64 b1 a1))) #s(literal 1 binary64)) (-.f64 #s(literal 0 binary64) b2)) |
(/.f64 (*.f64 (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) a1))) #s(literal 1 binary64)) (-.f64 #s(literal 0 binary64) b1)) |
(/.f64 (*.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 b2)) #s(literal 1 binary64)) (-.f64 #s(literal 0 binary64) (/.f64 b1 a1))) |
(/.f64 (*.f64 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)) #s(literal -1 binary64)) (/.f64 b2 a2)) |
(/.f64 (*.f64 (/.f64 a2 b1) #s(literal -1 binary64)) (/.f64 b2 (-.f64 #s(literal 0 binary64) a1))) |
(/.f64 (*.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 b1)) #s(literal -1 binary64)) (/.f64 b2 a1)) |
(/.f64 (*.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 b1)) #s(literal 1 binary64)) (/.f64 b2 (-.f64 #s(literal 0 binary64) a1))) |
(/.f64 (*.f64 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)) #s(literal 1 binary64)) (-.f64 #s(literal 0 binary64) (/.f64 b2 a2))) |
(/.f64 (neg.f64 (*.f64 (-.f64 #s(literal 0 binary64) a1) #s(literal -1 binary64))) (-.f64 #s(literal 0 binary64) (/.f64 b2 (/.f64 a2 b1)))) |
(/.f64 (neg.f64 (*.f64 (/.f64 #s(literal 1 binary64) b1) #s(literal -1 binary64))) (/.f64 b2 (*.f64 a2 a1))) |
(/.f64 (neg.f64 (*.f64 (/.f64 #s(literal 1 binary64) b2) #s(literal -1 binary64))) (/.f64 b1 (*.f64 a2 a1))) |
(/.f64 (neg.f64 (*.f64 #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) b1))) (/.f64 b2 (*.f64 a2 a1))) |
(/.f64 (neg.f64 (/.f64 (/.f64 #s(literal 1 binary64) b1) b2)) (neg.f64 (/.f64 #s(literal 1 binary64) (*.f64 a2 a1)))) |
(/.f64 (neg.f64 (*.f64 (-.f64 #s(literal 0 binary64) a2) #s(literal -1 binary64))) (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)))) |
(/.f64 (neg.f64 (*.f64 (/.f64 a2 b1) #s(literal -1 binary64))) (/.f64 b2 a1)) |
(/.f64 (neg.f64 (*.f64 (-.f64 #s(literal 0 binary64) a2) (-.f64 #s(literal 0 binary64) a1))) (neg.f64 (*.f64 (-.f64 #s(literal 0 binary64) b1) (-.f64 #s(literal 0 binary64) b2)))) |
(/.f64 (neg.f64 (*.f64 (-.f64 #s(literal 0 binary64) a2) (-.f64 #s(literal 0 binary64) a1))) (neg.f64 (*.f64 (-.f64 #s(literal 0 binary64) b2) (-.f64 #s(literal 0 binary64) b1)))) |
(/.f64 (neg.f64 (*.f64 (-.f64 #s(literal 0 binary64) a1) (-.f64 #s(literal 0 binary64) a2))) (neg.f64 (*.f64 (-.f64 #s(literal 0 binary64) b1) (-.f64 #s(literal 0 binary64) b2)))) |
(/.f64 (neg.f64 (*.f64 (-.f64 #s(literal 0 binary64) a1) (-.f64 #s(literal 0 binary64) a2))) (neg.f64 (*.f64 (-.f64 #s(literal 0 binary64) b2) (-.f64 #s(literal 0 binary64) b1)))) |
(/.f64 (neg.f64 (*.f64 #s(literal -1 binary64) (*.f64 a2 (-.f64 #s(literal 0 binary64) a1)))) (neg.f64 (*.f64 (-.f64 #s(literal 0 binary64) b1) (-.f64 #s(literal 0 binary64) b2)))) |
(/.f64 (neg.f64 (neg.f64 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1)))) (neg.f64 (neg.f64 (*.f64 b2 (-.f64 #s(literal 0 binary64) b1))))) |
(/.f64 (neg.f64 (*.f64 #s(literal 1 binary64) (*.f64 a2 a1))) (*.f64 b2 (-.f64 #s(literal 0 binary64) b1))) |
(/.f64 (neg.f64 (*.f64 #s(literal 1 binary64) (*.f64 a2 (-.f64 #s(literal 0 binary64) a1)))) (neg.f64 (*.f64 b2 (-.f64 #s(literal 0 binary64) b1)))) |
(/.f64 (neg.f64 (*.f64 (*.f64 a2 a1) #s(literal 1 binary64))) (*.f64 b2 (-.f64 #s(literal 0 binary64) b1))) |
(/.f64 (neg.f64 (*.f64 (*.f64 a2 a1) #s(literal -1 binary64))) (neg.f64 (*.f64 b2 (-.f64 #s(literal 0 binary64) b1)))) |
(/.f64 (neg.f64 (*.f64 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1)) #s(literal 1 binary64))) (neg.f64 (*.f64 b2 (-.f64 #s(literal 0 binary64) b1)))) |
(/.f64 (neg.f64 (*.f64 (/.f64 a1 b1) #s(literal -1 binary64))) (/.f64 b2 a2)) |
(/.f64 (neg.f64 (*.f64 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1)) #s(literal -1 binary64))) (neg.f64 (*.f64 (-.f64 #s(literal 0 binary64) b2) (-.f64 #s(literal 0 binary64) b1)))) |
(/.f64 (neg.f64 (*.f64 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)) #s(literal -1 binary64))) (-.f64 #s(literal 0 binary64) (/.f64 b2 a2))) |
(/.f64 (neg.f64 (*.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 b1)) #s(literal -1 binary64))) (/.f64 b2 (-.f64 #s(literal 0 binary64) a1))) |
(/.f64 (neg.f64 (*.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 b1)) #s(literal 1 binary64))) (/.f64 b2 a1)) |
(/.f64 (neg.f64 (*.f64 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)) #s(literal 1 binary64))) (/.f64 b2 a2)) |
(pow.f64 (/.f64 a2 (/.f64 b2 (/.f64 a1 b1))) #s(literal 1 binary64)) |
(pow.f64 (/.f64 b2 (/.f64 a2 (/.f64 b1 a1))) #s(literal -1 binary64)) |
(pow.f64 (pow.f64 (/.f64 a2 (/.f64 b2 (/.f64 a1 b1))) #s(literal 1/2 binary64)) #s(literal 2 binary64)) |
(pow.f64 (*.f64 (/.f64 b2 (/.f64 a2 (/.f64 b1 a1))) (/.f64 b2 (/.f64 a2 (/.f64 b1 a1)))) #s(literal -1/2 binary64)) |
(*.f64 a2 (/.f64 (/.f64 a1 b1) b2)) |
(*.f64 (/.f64 a2 b2) (/.f64 a1 b1)) |
(*.f64 a1 (/.f64 a2 (*.f64 b2 b1))) |
(*.f64 (/.f64 a2 (/.f64 b2 (/.f64 a1 b1))) #s(literal 1 binary64)) |
(*.f64 (/.f64 a1 b2) (/.f64 a2 b1)) |
(*.f64 (/.f64 a2 (/.f64 b1 a1)) (/.f64 #s(literal 1 binary64) b2)) |
(*.f64 (/.f64 a2 (/.f64 b2 a1)) (/.f64 #s(literal 1 binary64) b1)) |
(*.f64 (-.f64 #s(literal 0 binary64) a1) (/.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 b2)) b1)) |
(*.f64 (/.f64 a1 (-.f64 #s(literal 0 binary64) b2)) (-.f64 #s(literal 0 binary64) (/.f64 a2 b1))) |
(*.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 b2)) (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))) |
(*.f64 (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) a1))) (/.f64 #s(literal -1 binary64) b1)) |
(*.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 (/.f64 b1 a1))) (/.f64 #s(literal -1 binary64) b2)) |
(*.f64 (-.f64 #s(literal 0 binary64) a2) (-.f64 #s(literal 0 binary64) (/.f64 (/.f64 a1 b1) b2))) |
(*.f64 (-.f64 #s(literal 0 binary64) a2) (/.f64 (/.f64 #s(literal -1 binary64) b2) (/.f64 b1 a1))) |
(*.f64 #s(literal 1 binary64) (/.f64 a2 (/.f64 b2 (/.f64 a1 b1)))) |
(*.f64 (/.f64 (/.f64 a1 b1) b2) a2) |
(*.f64 (/.f64 a2 (*.f64 b2 b1)) a1) |
(*.f64 (/.f64 a1 b1) (/.f64 a2 b2)) |
(*.f64 (/.f64 a2 b1) (/.f64 a1 b2)) |
(*.f64 (/.f64 #s(literal 1 binary64) b1) (/.f64 a2 (/.f64 b2 a1))) |
(*.f64 (/.f64 #s(literal 1 binary64) b2) (/.f64 a2 (/.f64 b1 a1))) |
(*.f64 #s(literal -1 binary64) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(*.f64 (*.f64 a2 a1) (/.f64 (/.f64 #s(literal 1 binary64) b2) b1)) |
(*.f64 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1)) (/.f64 #s(literal -1 binary64) (*.f64 b2 b1))) |
(*.f64 (/.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 b2)) b1) (-.f64 #s(literal 0 binary64) a1)) |
(*.f64 (/.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 b2)) b1) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) a1))) |
(*.f64 (-.f64 #s(literal 0 binary64) (/.f64 (/.f64 a1 b1) b2)) (-.f64 #s(literal 0 binary64) a2)) |
(*.f64 (-.f64 #s(literal 0 binary64) (/.f64 (/.f64 a1 b1) b2)) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) a2))) |
(*.f64 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)) (-.f64 #s(literal 0 binary64) (/.f64 a2 b2))) |
(*.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 b1)) (/.f64 a1 (-.f64 #s(literal 0 binary64) b2))) |
(*.f64 (/.f64 #s(literal -1 binary64) b1) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) a1)))) |
(*.f64 (/.f64 #s(literal -1 binary64) b2) (-.f64 #s(literal 0 binary64) (/.f64 a2 (/.f64 b1 a1)))) |
(*.f64 (/.f64 (/.f64 #s(literal 1 binary64) b2) b1) (*.f64 a2 a1)) |
(*.f64 (/.f64 (/.f64 #s(literal 1 binary64) b2) b1) (/.f64 a1 (/.f64 #s(literal 1 binary64) a2))) |
(*.f64 (/.f64 (/.f64 #s(literal 1 binary64) b2) b1) (/.f64 a2 (/.f64 #s(literal 1 binary64) a1))) |
(*.f64 (/.f64 a1 (/.f64 #s(literal 1 binary64) a2)) (/.f64 (/.f64 #s(literal 1 binary64) b2) b1)) |
(*.f64 (/.f64 a1 (/.f64 #s(literal 1 binary64) a2)) (/.f64 (/.f64 #s(literal 1 binary64) b1) b2)) |
(*.f64 (/.f64 (/.f64 #s(literal 1 binary64) b1) #s(literal 1 binary64)) (/.f64 a2 (/.f64 b2 a1))) |
(*.f64 (/.f64 (/.f64 #s(literal 1 binary64) b1) #s(literal -1 binary64)) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) a1)))) |
(*.f64 (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) a2)) (-.f64 #s(literal 0 binary64) (/.f64 (/.f64 a1 b1) b2))) |
(*.f64 (/.f64 (/.f64 #s(literal 1 binary64) b1) b2) (*.f64 a2 a1)) |
(*.f64 (/.f64 (/.f64 #s(literal 1 binary64) b1) b2) (/.f64 a1 (/.f64 #s(literal 1 binary64) a2))) |
(*.f64 (/.f64 (/.f64 #s(literal 1 binary64) b1) b2) (/.f64 a2 (/.f64 #s(literal 1 binary64) a1))) |
(*.f64 (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) a1)) (/.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 b2)) b1)) |
(*.f64 (/.f64 (/.f64 #s(literal -1 binary64) b1) b2) (*.f64 a2 (-.f64 #s(literal 0 binary64) a1))) |
(*.f64 (/.f64 (/.f64 #s(literal -1 binary64) b1) b2) (/.f64 a1 (/.f64 #s(literal -1 binary64) a2))) |
(*.f64 (/.f64 (/.f64 #s(literal -1 binary64) b1) b2) (/.f64 a2 (/.f64 #s(literal -1 binary64) a1))) |
(*.f64 (/.f64 (/.f64 #s(literal -1 binary64) b2) b1) (*.f64 a2 (-.f64 #s(literal 0 binary64) a1))) |
(*.f64 (/.f64 (/.f64 #s(literal -1 binary64) b2) b1) (/.f64 a1 (/.f64 #s(literal -1 binary64) a2))) |
(*.f64 (/.f64 (/.f64 #s(literal -1 binary64) b2) b1) (/.f64 a2 (/.f64 #s(literal -1 binary64) a1))) |
(*.f64 (/.f64 a2 (/.f64 #s(literal 1 binary64) a1)) (/.f64 (/.f64 #s(literal 1 binary64) b2) b1)) |
(*.f64 (/.f64 a2 (/.f64 #s(literal 1 binary64) a1)) (/.f64 (/.f64 #s(literal 1 binary64) b1) b2)) |
(*.f64 (/.f64 (/.f64 #s(literal 1 binary64) b2) #s(literal -1 binary64)) (-.f64 #s(literal 0 binary64) (/.f64 a2 (/.f64 b1 a1)))) |
(*.f64 (/.f64 a1 (/.f64 #s(literal -1 binary64) a2)) (/.f64 (/.f64 #s(literal -1 binary64) b1) b2)) |
(*.f64 (/.f64 a1 (/.f64 #s(literal -1 binary64) a2)) (/.f64 (/.f64 #s(literal -1 binary64) b2) b1)) |
(*.f64 (/.f64 (/.f64 #s(literal 1 binary64) b2) #s(literal 1 binary64)) (/.f64 a2 (/.f64 b1 a1))) |
(*.f64 (/.f64 a2 (/.f64 #s(literal -1 binary64) a1)) (/.f64 (/.f64 #s(literal -1 binary64) b1) b2)) |
(*.f64 (/.f64 a2 (/.f64 #s(literal -1 binary64) a1)) (/.f64 (/.f64 #s(literal -1 binary64) b2) b1)) |
(*.f64 (pow.f64 (/.f64 a2 (/.f64 b2 (/.f64 a1 b1))) #s(literal 1/2 binary64)) (pow.f64 (/.f64 a2 (/.f64 b2 (/.f64 a1 b1))) #s(literal 1/2 binary64))) |
(*.f64 (*.f64 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)) #s(literal -1 binary64)) (/.f64 a2 b2)) |
(*.f64 (*.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 b1)) #s(literal -1 binary64)) (/.f64 a1 b2)) |
(*.f64 (*.f64 (/.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 b2)) b1) #s(literal -1 binary64)) a1) |
(exp.f64 (log.f64 (/.f64 b2 (/.f64 a1 b1)))) |
(exp.f64 (*.f64 (log.f64 (/.f64 b2 (/.f64 a1 b1))) #s(literal 1 binary64))) |
(exp.f64 (-.f64 (log.f64 (/.f64 b1 a1)) (*.f64 (log.f64 b2) #s(literal -1 binary64)))) |
(exp.f64 (-.f64 (log.f64 (/.f64 b2 a1)) (*.f64 (log.f64 b1) #s(literal -1 binary64)))) |
(-.f64 #s(literal 0 binary64) (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)))) |
(-.f64 (/.f64 #s(literal 0 binary64) (/.f64 a1 b2)) (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)))) |
(-.f64 (/.f64 #s(literal 0 binary64) (/.f64 #s(literal -1 binary64) b2)) (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)))) |
(-.f64 (/.f64 #s(literal 0 binary64) (/.f64 #s(literal 1 binary64) b2)) (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) (/.f64 a1 b2)) #s(literal 1 binary64)) (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) a1) (/.f64 #s(literal -1 binary64) b2)) (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)))) |
(-.f64 (/.f64 #s(literal 0 binary64) (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))) (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)))) |
(-.f64 (/.f64 #s(literal 0 binary64) (/.f64 a1 b1)) (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) a1) (/.f64 #s(literal 1 binary64) b2)) (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) (/.f64 a1 b2)) #s(literal -1 binary64)) (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) a1) (/.f64 #s(literal 1 binary64) b1)) (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)))) |
(neg.f64 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)))) |
(/.f64 b2 (/.f64 a1 b1)) |
(/.f64 b1 (/.f64 a1 b2)) |
(/.f64 (/.f64 b1 a1) (/.f64 #s(literal 1 binary64) b2)) |
(/.f64 (/.f64 b2 (/.f64 a1 b1)) #s(literal 1 binary64)) |
(/.f64 (-.f64 #s(literal 0 binary64) b1) (/.f64 a1 (-.f64 #s(literal 0 binary64) b2))) |
(/.f64 (-.f64 #s(literal 0 binary64) b2) (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))) |
(/.f64 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))) #s(literal -1 binary64)) |
(/.f64 (-.f64 #s(literal 0 binary64) (/.f64 b1 a1)) (/.f64 #s(literal -1 binary64) b2)) |
(/.f64 #s(literal 1 binary64) (/.f64 (/.f64 a1 b1) b2)) |
(/.f64 (/.f64 b2 a1) (/.f64 #s(literal 1 binary64) b1)) |
(/.f64 (/.f64 #s(literal 1 binary64) a1) (/.f64 (/.f64 #s(literal 1 binary64) b2) b1)) |
(/.f64 #s(literal -1 binary64) (-.f64 #s(literal 0 binary64) (/.f64 (/.f64 a1 b1) b2))) |
(/.f64 (*.f64 b2 b1) a1) |
(/.f64 (/.f64 b2 (-.f64 #s(literal 0 binary64) a1)) (/.f64 #s(literal -1 binary64) b1)) |
(/.f64 (/.f64 #s(literal -1 binary64) a1) (neg.f64 (/.f64 (/.f64 #s(literal 1 binary64) b2) b1))) |
(/.f64 (*.f64 b2 (-.f64 #s(literal 0 binary64) b1)) (-.f64 #s(literal 0 binary64) a1)) |
(/.f64 (*.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) b1)) (/.f64 a1 (-.f64 #s(literal 0 binary64) b2))) |
(/.f64 (*.f64 (-.f64 #s(literal 0 binary64) b1) (-.f64 #s(literal 0 binary64) b2)) a1) |
(/.f64 (*.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) b2)) (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))) |
(/.f64 (*.f64 (-.f64 #s(literal 0 binary64) b1) #s(literal 1 binary64)) (/.f64 a1 (-.f64 #s(literal 0 binary64) b2))) |
(/.f64 (*.f64 #s(literal 1 binary64) (*.f64 b2 b1)) a1) |
(/.f64 (neg.f64 (*.f64 b2 (-.f64 #s(literal 0 binary64) b1))) a1) |
(/.f64 (/.f64 b1 (/.f64 #s(literal 1 binary64) b2)) a1) |
(/.f64 (/.f64 b2 (/.f64 #s(literal 1 binary64) b1)) a1) |
(/.f64 (/.f64 b2 (/.f64 #s(literal -1 binary64) b1)) (-.f64 #s(literal 0 binary64) a1)) |
(/.f64 (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) b1)) (/.f64 a1 (-.f64 #s(literal 0 binary64) b2))) |
(/.f64 (*.f64 #s(literal 1 binary64) (*.f64 b2 (-.f64 #s(literal 0 binary64) b1))) (-.f64 #s(literal 0 binary64) a1)) |
(/.f64 (/.f64 (*.f64 b2 (-.f64 #s(literal 0 binary64) b1)) #s(literal -1 binary64)) a1) |
(/.f64 (-.f64 #s(literal 0 binary64) (*.f64 (-.f64 #s(literal 0 binary64) b1) #s(literal -1 binary64))) (/.f64 a1 (-.f64 #s(literal 0 binary64) b2))) |
(/.f64 (neg.f64 (*.f64 (-.f64 #s(literal 0 binary64) b1) #s(literal 1 binary64))) (/.f64 a1 b2)) |
(/.f64 (neg.f64 (*.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) b1))) (/.f64 a1 b2)) |
(/.f64 (neg.f64 (*.f64 (-.f64 #s(literal 0 binary64) b1) (-.f64 #s(literal 0 binary64) b2))) (-.f64 #s(literal 0 binary64) a1)) |
(/.f64 (neg.f64 (*.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) b2))) (/.f64 a1 b1)) |
(/.f64 (neg.f64 (*.f64 #s(literal 1 binary64) (*.f64 b2 b1))) (-.f64 #s(literal 0 binary64) a1)) |
(/.f64 (neg.f64 (neg.f64 (*.f64 b2 (-.f64 #s(literal 0 binary64) b1)))) (-.f64 #s(literal 0 binary64) a1)) |
(/.f64 (neg.f64 (/.f64 b1 (/.f64 #s(literal 1 binary64) b2))) (-.f64 #s(literal 0 binary64) a1)) |
(/.f64 (neg.f64 (/.f64 b2 (/.f64 #s(literal 1 binary64) b1))) (-.f64 #s(literal 0 binary64) a1)) |
(/.f64 (neg.f64 (/.f64 b2 (/.f64 #s(literal -1 binary64) b1))) a1) |
(/.f64 (neg.f64 (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) b1))) (/.f64 a1 b2)) |
(/.f64 (neg.f64 (*.f64 #s(literal 1 binary64) (*.f64 b2 (-.f64 #s(literal 0 binary64) b1)))) a1) |
(/.f64 (neg.f64 (/.f64 (*.f64 b2 (-.f64 #s(literal 0 binary64) b1)) #s(literal -1 binary64))) (-.f64 #s(literal 0 binary64) a1)) |
(pow.f64 (/.f64 b2 (/.f64 a1 b1)) #s(literal 1 binary64)) |
(pow.f64 (/.f64 (/.f64 a1 b1) b2) #s(literal -1 binary64)) |
(pow.f64 (pow.f64 (/.f64 (/.f64 a1 b1) b2) #s(literal -1/2 binary64)) #s(literal 2 binary64)) |
(pow.f64 (*.f64 (/.f64 (/.f64 a1 b1) b2) (/.f64 (/.f64 a1 b1) b2)) #s(literal -1/2 binary64)) |
(*.f64 b2 (/.f64 b1 a1)) |
(*.f64 b1 (/.f64 b2 a1)) |
(*.f64 (/.f64 b1 a1) b2) |
(*.f64 (/.f64 b2 (/.f64 a1 b1)) #s(literal 1 binary64)) |
(*.f64 (-.f64 #s(literal 0 binary64) b1) (/.f64 b2 (-.f64 #s(literal 0 binary64) a1))) |
(*.f64 (-.f64 #s(literal 0 binary64) b2) (-.f64 #s(literal 0 binary64) (/.f64 b1 a1))) |
(*.f64 (-.f64 #s(literal 0 binary64) (/.f64 b1 a1)) (-.f64 #s(literal 0 binary64) b2)) |
(*.f64 (-.f64 #s(literal 0 binary64) (/.f64 b1 a1)) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) b2))) |
(*.f64 #s(literal 1 binary64) (/.f64 b2 (/.f64 a1 b1))) |
(*.f64 (/.f64 b2 a1) b1) |
(*.f64 (/.f64 #s(literal 1 binary64) a1) (*.f64 b2 b1)) |
(*.f64 (/.f64 #s(literal 1 binary64) a1) (/.f64 #s(literal 1 binary64) (/.f64 (/.f64 #s(literal 1 binary64) b2) b1))) |
(*.f64 (/.f64 #s(literal 1 binary64) a1) (/.f64 b1 (/.f64 #s(literal 1 binary64) b2))) |
(*.f64 (/.f64 #s(literal 1 binary64) a1) (/.f64 b2 (/.f64 #s(literal 1 binary64) b1))) |
(*.f64 #s(literal -1 binary64) (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)))) |
(*.f64 (*.f64 b2 b1) (/.f64 #s(literal 1 binary64) a1)) |
(*.f64 (/.f64 b2 (-.f64 #s(literal 0 binary64) a1)) (-.f64 #s(literal 0 binary64) b1)) |
(*.f64 (/.f64 #s(literal -1 binary64) a1) (*.f64 b2 (-.f64 #s(literal 0 binary64) b1))) |
(*.f64 (/.f64 #s(literal -1 binary64) a1) (/.f64 b1 (/.f64 #s(literal -1 binary64) b2))) |
(*.f64 (*.f64 b2 (-.f64 #s(literal 0 binary64) b1)) (/.f64 #s(literal -1 binary64) a1)) |
(*.f64 (*.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) b1)) (/.f64 b2 (-.f64 #s(literal 0 binary64) a1))) |
(*.f64 (/.f64 b1 (/.f64 #s(literal 1 binary64) b2)) (/.f64 #s(literal 1 binary64) a1)) |
(*.f64 (/.f64 b2 (/.f64 #s(literal 1 binary64) b1)) (/.f64 #s(literal 1 binary64) a1)) |
(*.f64 (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) b1)) (/.f64 b2 (-.f64 #s(literal 0 binary64) a1))) |
(*.f64 (/.f64 (/.f64 #s(literal 1 binary64) a1) #s(literal 1 binary64)) (/.f64 b1 (/.f64 #s(literal 1 binary64) b2))) |
(*.f64 (pow.f64 (/.f64 (/.f64 a1 b1) b2) #s(literal -1/2 binary64)) (pow.f64 (/.f64 (/.f64 a1 b1) b2) #s(literal -1/2 binary64))) |
(*.f64 (*.f64 (-.f64 #s(literal 0 binary64) (/.f64 b1 a1)) #s(literal -1 binary64)) b2) |
(exp.f64 (log.f64 (/.f64 a1 b2))) |
(exp.f64 (*.f64 (log.f64 (/.f64 a1 b2)) #s(literal 1 binary64))) |
(exp.f64 (-.f64 (*.f64 (log.f64 b2) #s(literal -1 binary64)) (*.f64 (log.f64 a1) #s(literal -1 binary64)))) |
(-.f64 #s(literal 0 binary64) (/.f64 a1 (-.f64 #s(literal 0 binary64) b2))) |
(-.f64 (/.f64 #s(literal 0 binary64) b2) (/.f64 a1 (-.f64 #s(literal 0 binary64) b2))) |
(-.f64 (/.f64 #s(literal 0 binary64) (/.f64 #s(literal -1 binary64) a1)) (/.f64 a1 (-.f64 #s(literal 0 binary64) b2))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) b2) #s(literal -1 binary64)) (/.f64 a1 (-.f64 #s(literal 0 binary64) b2))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) b2) #s(literal 1 binary64)) (/.f64 a1 (-.f64 #s(literal 0 binary64) b2))) |
(-.f64 (/.f64 #s(literal 0 binary64) (*.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) b2))) (/.f64 a1 (*.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) b2)))) |
(neg.f64 (/.f64 a1 (-.f64 #s(literal 0 binary64) b2))) |
(/.f64 a1 b2) |
(/.f64 a1 (neg.f64 (*.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) b2)))) |
(/.f64 (/.f64 a1 b2) #s(literal 1 binary64)) |
(/.f64 (-.f64 #s(literal 0 binary64) a1) (-.f64 #s(literal 0 binary64) b2)) |
(/.f64 (-.f64 #s(literal 0 binary64) a1) (*.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) b2))) |
(/.f64 (/.f64 a1 (-.f64 #s(literal 0 binary64) b2)) #s(literal -1 binary64)) |
(/.f64 #s(literal 1 binary64) (/.f64 b2 a1)) |
(/.f64 (/.f64 #s(literal 1 binary64) b2) (/.f64 #s(literal 1 binary64) a1)) |
(/.f64 #s(literal -1 binary64) (/.f64 b2 (-.f64 #s(literal 0 binary64) a1))) |
(/.f64 (/.f64 #s(literal -1 binary64) b2) (/.f64 #s(literal -1 binary64) a1)) |
(/.f64 (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) a1)) (-.f64 #s(literal 0 binary64) b2)) |
(/.f64 (/.f64 (/.f64 #s(literal 1 binary64) b2) #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) a1)) |
(/.f64 (-.f64 #s(literal 0 binary64) (*.f64 (-.f64 #s(literal 0 binary64) a1) #s(literal -1 binary64))) (-.f64 #s(literal 0 binary64) b2)) |
(/.f64 (neg.f64 (/.f64 (/.f64 #s(literal 1 binary64) b2) #s(literal 1 binary64))) (/.f64 #s(literal -1 binary64) a1)) |
(/.f64 (neg.f64 (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) a1))) b2) |
(pow.f64 (/.f64 a1 b2) #s(literal 1 binary64)) |
(pow.f64 (/.f64 b2 a1) #s(literal -1 binary64)) |
(pow.f64 (pow.f64 (/.f64 a1 b2) #s(literal 1/2 binary64)) #s(literal 2 binary64)) |
(pow.f64 (*.f64 (/.f64 b2 a1) (/.f64 b2 a1)) #s(literal -1/2 binary64)) |
(*.f64 a1 (/.f64 #s(literal 1 binary64) b2)) |
(*.f64 a1 (/.f64 (/.f64 #s(literal 1 binary64) b2) #s(literal 1 binary64))) |
(*.f64 (/.f64 a1 b2) #s(literal 1 binary64)) |
(*.f64 (-.f64 #s(literal 0 binary64) a1) (/.f64 #s(literal -1 binary64) b2)) |
(*.f64 (-.f64 #s(literal 0 binary64) a1) (/.f64 (/.f64 #s(literal 1 binary64) b2) #s(literal -1 binary64))) |
(*.f64 #s(literal 1 binary64) (/.f64 a1 b2)) |
(*.f64 (/.f64 #s(literal 1 binary64) b2) a1) |
(*.f64 #s(literal -1 binary64) (/.f64 a1 (-.f64 #s(literal 0 binary64) b2))) |
(*.f64 (/.f64 #s(literal -1 binary64) b2) (-.f64 #s(literal 0 binary64) a1)) |
(*.f64 (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) a1)) (/.f64 #s(literal -1 binary64) b2)) |
(*.f64 (/.f64 (/.f64 #s(literal 1 binary64) b2) #s(literal -1 binary64)) (-.f64 #s(literal 0 binary64) a1)) |
(*.f64 (/.f64 (/.f64 #s(literal 1 binary64) b2) #s(literal 1 binary64)) a1) |
(*.f64 (pow.f64 (/.f64 a1 b2) #s(literal 1/2 binary64)) (pow.f64 (/.f64 a1 b2) #s(literal 1/2 binary64))) |
(exp.f64 (*.f64 (log.f64 (/.f64 b2 (/.f64 a2 (/.f64 b1 a1)))) #s(literal -1 binary64))) |
(exp.f64 (+.f64 (log.f64 (/.f64 a2 b2)) (log.f64 (/.f64 a1 b1)))) |
(exp.f64 (+.f64 (log.f64 (/.f64 a1 b2)) (log.f64 (/.f64 a2 b1)))) |
(exp.f64 (+.f64 (*.f64 (log.f64 (/.f64 b1 (*.f64 a2 a1))) #s(literal -1 binary64)) (*.f64 (log.f64 b2) #s(literal -1 binary64)))) |
(exp.f64 (+.f64 (*.f64 (log.f64 (/.f64 b2 (*.f64 a2 a1))) #s(literal -1 binary64)) (*.f64 (log.f64 b1) #s(literal -1 binary64)))) |
(exp.f64 (+.f64 (log.f64 (/.f64 a1 b1)) (log.f64 (/.f64 a2 b2)))) |
(exp.f64 (+.f64 (log.f64 (/.f64 a2 b1)) (log.f64 (/.f64 a1 b2)))) |
(exp.f64 (+.f64 (*.f64 (log.f64 b1) #s(literal -1 binary64)) (*.f64 (log.f64 (/.f64 b2 (*.f64 a2 a1))) #s(literal -1 binary64)))) |
(exp.f64 (+.f64 (*.f64 (log.f64 b2) #s(literal -1 binary64)) (*.f64 (log.f64 (/.f64 b1 (*.f64 a2 a1))) #s(literal -1 binary64)))) |
(exp.f64 (-.f64 (log.f64 (/.f64 a2 b2)) (log.f64 (/.f64 b1 a1)))) |
(exp.f64 (-.f64 (log.f64 (/.f64 a1 b2)) (log.f64 (/.f64 b1 a2)))) |
(exp.f64 (-.f64 (log.f64 (/.f64 (/.f64 a1 b1) b2)) (*.f64 (log.f64 a2) #s(literal -1 binary64)))) |
(exp.f64 (-.f64 (log.f64 (/.f64 a2 (*.f64 b2 b1))) (*.f64 (log.f64 a1) #s(literal -1 binary64)))) |
(exp.f64 (-.f64 (log.f64 (/.f64 a1 b1)) (log.f64 (/.f64 b2 a2)))) |
(exp.f64 (-.f64 (log.f64 (/.f64 a2 b1)) (log.f64 (/.f64 b2 a1)))) |
(-.f64 #s(literal 0 binary64) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 #s(literal 0 binary64) (/.f64 (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)))) #s(literal 1 binary64))) |
(-.f64 (/.f64 #s(literal 0 binary64) (/.f64 b1 a2)) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 #s(literal 0 binary64) b1) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 #s(literal 0 binary64) b2) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 #s(literal 0 binary64) (/.f64 b2 a2)) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 #s(literal 0 binary64) (/.f64 b2 (/.f64 a2 b1))) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 #s(literal 0 binary64) (/.f64 b1 a1)) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 #s(literal 0 binary64) (/.f64 b2 (/.f64 a1 b1))) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 #s(literal 0 binary64) (*.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) b1))) (/.f64 (/.f64 a2 (/.f64 b2 a1)) (*.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) b1)))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) b1) #s(literal 1 binary64)) (/.f64 (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)))) #s(literal 1 binary64))) |
(-.f64 (/.f64 #s(literal 0 binary64) (/.f64 #s(literal -1 binary64) a1)) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) b2) #s(literal 1 binary64)) (/.f64 (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)))) #s(literal 1 binary64))) |
(-.f64 (/.f64 #s(literal 0 binary64) (/.f64 #s(literal -1 binary64) a2)) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 #s(literal 0 binary64) (/.f64 b2 (-.f64 #s(literal 0 binary64) a1))) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) b2) (/.f64 b1 a1)) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) (/.f64 b1 a2)) #s(literal 1 binary64)) (/.f64 (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)))) #s(literal 1 binary64))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) (/.f64 b2 (/.f64 a2 b1))) #s(literal 1 binary64)) (/.f64 (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)))) #s(literal 1 binary64))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) (/.f64 b1 a1)) #s(literal 1 binary64)) (/.f64 (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)))) #s(literal 1 binary64))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) (/.f64 b2 (/.f64 a1 b1))) #s(literal 1 binary64)) (/.f64 (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)))) #s(literal 1 binary64))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) b2) (/.f64 b1 a2)) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) (/.f64 b1 a2)) b2) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) (/.f64 b2 a2)) b1) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) b2) (-.f64 #s(literal 0 binary64) (/.f64 b1 a2))) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) b2) (-.f64 #s(literal 0 binary64) (/.f64 b1 a1))) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) (/.f64 b2 a2)) (-.f64 #s(literal 0 binary64) b1)) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) (/.f64 b2 a2)) (*.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) b1))) (/.f64 (/.f64 a2 (/.f64 b2 a1)) (*.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) b1)))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) (/.f64 b1 a2)) (-.f64 #s(literal 0 binary64) b2)) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) b1) (/.f64 #s(literal 1 binary64) a2)) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) (*.f64 b2 (-.f64 #s(literal 0 binary64) b1))) (/.f64 #s(literal 1 binary64) a2)) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) b1) (/.f64 #s(literal 1 binary64) a1)) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) (*.f64 b2 (-.f64 #s(literal 0 binary64) b1))) (/.f64 #s(literal 1 binary64) a1)) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) b1) (/.f64 b2 a2)) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) b1) (/.f64 b2 a1)) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 #s(literal 0 binary64) (-.f64 #s(literal 0 binary64) (/.f64 b1 (*.f64 a2 a1)))) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(neg.f64 (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(/.f64 a2 (/.f64 b2 (/.f64 a1 b1))) |
(/.f64 (/.f64 a2 b2) (/.f64 b1 a1)) |
(/.f64 a1 (/.f64 b2 (/.f64 a2 b1))) |
(/.f64 (/.f64 a2 (/.f64 b2 (/.f64 a1 b1))) #s(literal 1 binary64)) |
(/.f64 (/.f64 a1 b2) (/.f64 b1 a2)) |
(/.f64 (/.f64 a2 (/.f64 b1 a1)) b2) |
(/.f64 (/.f64 a2 (/.f64 b2 a1)) b1) |
(/.f64 (/.f64 a2 (/.f64 b2 a1)) (neg.f64 (*.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) b1)))) |
(/.f64 (-.f64 #s(literal 0 binary64) a1) (-.f64 #s(literal 0 binary64) (/.f64 b2 (/.f64 a2 b1)))) |
(/.f64 (/.f64 a1 (-.f64 #s(literal 0 binary64) b2)) (-.f64 #s(literal 0 binary64) (/.f64 b1 a2))) |
(/.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 b2)) (-.f64 #s(literal 0 binary64) (/.f64 b1 a1))) |
(/.f64 (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) a1))) (-.f64 #s(literal 0 binary64) b1)) |
(/.f64 (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) a1))) (*.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) b1))) |
(/.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 (/.f64 b1 a1))) (-.f64 #s(literal 0 binary64) b2)) |
(/.f64 (-.f64 #s(literal 0 binary64) a2) (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)))) |
(/.f64 #s(literal 1 binary64) (/.f64 b2 (/.f64 a2 (/.f64 b1 a1)))) |
(/.f64 #s(literal 1 binary64) (neg.f64 (*.f64 (/.f64 b2 (*.f64 a2 a1)) (-.f64 #s(literal 0 binary64) b1)))) |
(/.f64 #s(literal 1 binary64) (neg.f64 (*.f64 (/.f64 b2 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1))) b1))) |
(/.f64 (/.f64 (/.f64 a1 b1) b2) (/.f64 #s(literal 1 binary64) a2)) |
(/.f64 (/.f64 a2 (*.f64 b2 b1)) (/.f64 #s(literal 1 binary64) a1)) |
(/.f64 (/.f64 a1 b1) (/.f64 b2 a2)) |
(/.f64 (/.f64 a2 b1) (/.f64 b2 a1)) |
(/.f64 (/.f64 #s(literal 1 binary64) b1) (/.f64 b2 (*.f64 a2 a1))) |
(/.f64 (/.f64 #s(literal 1 binary64) b2) (/.f64 b1 (*.f64 a2 a1))) |
(/.f64 #s(literal -1 binary64) (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a2 (/.f64 b1 a1))))) |
(/.f64 #s(literal -1 binary64) (*.f64 (/.f64 b2 (*.f64 a2 a1)) (-.f64 #s(literal 0 binary64) b1))) |
(/.f64 #s(literal -1 binary64) (*.f64 (/.f64 b2 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1))) b1)) |
(/.f64 (*.f64 a2 a1) (*.f64 b2 b1)) |
(/.f64 (*.f64 a2 a1) (*.f64 (-.f64 #s(literal 0 binary64) b1) (-.f64 #s(literal 0 binary64) b2))) |
(/.f64 (*.f64 a2 a1) (*.f64 #s(literal 1 binary64) (*.f64 b2 b1))) |
(/.f64 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1)) (*.f64 b2 (-.f64 #s(literal 0 binary64) b1))) |
(/.f64 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1)) (*.f64 #s(literal 1 binary64) (*.f64 b2 (-.f64 #s(literal 0 binary64) b1)))) |
(/.f64 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1)) (neg.f64 (*.f64 (-.f64 #s(literal 0 binary64) b1) (-.f64 #s(literal 0 binary64) b2)))) |
(/.f64 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1)) (neg.f64 (*.f64 #s(literal 1 binary64) (*.f64 b2 b1)))) |
(/.f64 (/.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 b2)) b1) (/.f64 #s(literal -1 binary64) a1)) |
(/.f64 (-.f64 #s(literal 0 binary64) (/.f64 (/.f64 a1 b1) b2)) (/.f64 #s(literal -1 binary64) a2)) |
(/.f64 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)) (-.f64 #s(literal 0 binary64) (/.f64 b2 a2))) |
(/.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 b1)) (/.f64 b2 (-.f64 #s(literal 0 binary64) a1))) |
(/.f64 (/.f64 #s(literal -1 binary64) b1) (/.f64 b2 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1)))) |
(/.f64 (/.f64 #s(literal -1 binary64) b2) (-.f64 #s(literal 0 binary64) (/.f64 b1 (*.f64 a2 a1)))) |
(/.f64 (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)))) #s(literal -1 binary64)) |
(/.f64 (/.f64 (/.f64 #s(literal 1 binary64) b2) b1) (/.f64 #s(literal 1 binary64) (*.f64 a2 a1))) |
(/.f64 (*.f64 (-.f64 #s(literal 0 binary64) a1) #s(literal -1 binary64)) (/.f64 b2 (/.f64 a2 b1))) |
(/.f64 (*.f64 (-.f64 #s(literal 0 binary64) a2) (-.f64 #s(literal 0 binary64) a1)) (*.f64 (-.f64 #s(literal 0 binary64) b2) (-.f64 #s(literal 0 binary64) b1))) |
(/.f64 (*.f64 (-.f64 #s(literal 0 binary64) a2) (-.f64 #s(literal 0 binary64) a1)) (*.f64 (-.f64 #s(literal 0 binary64) b1) (-.f64 #s(literal 0 binary64) b2))) |
(/.f64 (*.f64 (-.f64 #s(literal 0 binary64) a2) #s(literal -1 binary64)) (/.f64 b2 (/.f64 a1 b1))) |
(/.f64 (*.f64 (/.f64 #s(literal 1 binary64) b1) #s(literal -1 binary64)) (/.f64 b2 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1)))) |
(/.f64 (*.f64 (/.f64 #s(literal 1 binary64) b2) #s(literal -1 binary64)) (-.f64 #s(literal 0 binary64) (/.f64 b1 (*.f64 a2 a1)))) |
(/.f64 (*.f64 #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) b1)) (/.f64 b2 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1)))) |
(/.f64 (*.f64 (-.f64 #s(literal 0 binary64) a1) (-.f64 #s(literal 0 binary64) a2)) (*.f64 (-.f64 #s(literal 0 binary64) b2) (-.f64 #s(literal 0 binary64) b1))) |
(/.f64 (*.f64 (-.f64 #s(literal 0 binary64) a1) (-.f64 #s(literal 0 binary64) a2)) (*.f64 (-.f64 #s(literal 0 binary64) b1) (-.f64 #s(literal 0 binary64) b2))) |
(/.f64 (*.f64 #s(literal 1 binary64) (*.f64 a2 a1)) (*.f64 b2 b1)) |
(/.f64 (*.f64 #s(literal 1 binary64) (*.f64 a2 (-.f64 #s(literal 0 binary64) a1))) (*.f64 b2 (-.f64 #s(literal 0 binary64) b1))) |
(/.f64 (*.f64 (/.f64 a1 b1) #s(literal -1 binary64)) (-.f64 #s(literal 0 binary64) (/.f64 b2 a2))) |
(/.f64 (*.f64 (*.f64 a2 a1) #s(literal 1 binary64)) (*.f64 b2 b1)) |
(/.f64 (*.f64 (*.f64 a2 a1) #s(literal -1 binary64)) (*.f64 b2 (-.f64 #s(literal 0 binary64) b1))) |
(/.f64 (*.f64 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1)) #s(literal 1 binary64)) (*.f64 b2 (-.f64 #s(literal 0 binary64) b1))) |
(/.f64 (*.f64 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1)) #s(literal -1 binary64)) (*.f64 (-.f64 #s(literal 0 binary64) b2) (-.f64 #s(literal 0 binary64) b1))) |
(/.f64 (*.f64 #s(literal -1 binary64) (*.f64 a2 (-.f64 #s(literal 0 binary64) a1))) (*.f64 (-.f64 #s(literal 0 binary64) b1) (-.f64 #s(literal 0 binary64) b2))) |
(/.f64 (neg.f64 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1))) (neg.f64 (*.f64 b2 (-.f64 #s(literal 0 binary64) b1)))) |
(/.f64 (neg.f64 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1))) (neg.f64 (*.f64 #s(literal 1 binary64) (*.f64 b2 (-.f64 #s(literal 0 binary64) b1))))) |
(/.f64 (/.f64 (/.f64 #s(literal 1 binary64) b1) b2) (/.f64 #s(literal 1 binary64) (*.f64 a2 a1))) |
(/.f64 (neg.f64 (/.f64 (/.f64 #s(literal 1 binary64) b2) b1)) (neg.f64 (/.f64 #s(literal 1 binary64) (*.f64 a2 a1)))) |
(/.f64 (*.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 (/.f64 b1 a1))) #s(literal 1 binary64)) (-.f64 #s(literal 0 binary64) b2)) |
(/.f64 (*.f64 (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) a1))) #s(literal 1 binary64)) (-.f64 #s(literal 0 binary64) b1)) |
(/.f64 (*.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 b2)) #s(literal 1 binary64)) (-.f64 #s(literal 0 binary64) (/.f64 b1 a1))) |
(/.f64 (*.f64 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)) #s(literal -1 binary64)) (/.f64 b2 a2)) |
(/.f64 (*.f64 (/.f64 a2 b1) #s(literal -1 binary64)) (/.f64 b2 (-.f64 #s(literal 0 binary64) a1))) |
(/.f64 (*.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 b1)) #s(literal -1 binary64)) (/.f64 b2 a1)) |
(/.f64 (*.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 b1)) #s(literal 1 binary64)) (/.f64 b2 (-.f64 #s(literal 0 binary64) a1))) |
(/.f64 (*.f64 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)) #s(literal 1 binary64)) (-.f64 #s(literal 0 binary64) (/.f64 b2 a2))) |
(/.f64 (neg.f64 (*.f64 (-.f64 #s(literal 0 binary64) a1) #s(literal -1 binary64))) (-.f64 #s(literal 0 binary64) (/.f64 b2 (/.f64 a2 b1)))) |
(/.f64 (neg.f64 (*.f64 (/.f64 #s(literal 1 binary64) b1) #s(literal -1 binary64))) (/.f64 b2 (*.f64 a2 a1))) |
(/.f64 (neg.f64 (*.f64 (/.f64 #s(literal 1 binary64) b2) #s(literal -1 binary64))) (/.f64 b1 (*.f64 a2 a1))) |
(/.f64 (neg.f64 (*.f64 #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) b1))) (/.f64 b2 (*.f64 a2 a1))) |
(/.f64 (neg.f64 (/.f64 (/.f64 #s(literal 1 binary64) b1) b2)) (neg.f64 (/.f64 #s(literal 1 binary64) (*.f64 a2 a1)))) |
(/.f64 (neg.f64 (*.f64 (-.f64 #s(literal 0 binary64) a2) #s(literal -1 binary64))) (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)))) |
(/.f64 (neg.f64 (*.f64 (/.f64 a2 b1) #s(literal -1 binary64))) (/.f64 b2 a1)) |
(/.f64 (neg.f64 (*.f64 (-.f64 #s(literal 0 binary64) a2) (-.f64 #s(literal 0 binary64) a1))) (neg.f64 (*.f64 (-.f64 #s(literal 0 binary64) b1) (-.f64 #s(literal 0 binary64) b2)))) |
(/.f64 (neg.f64 (*.f64 (-.f64 #s(literal 0 binary64) a2) (-.f64 #s(literal 0 binary64) a1))) (neg.f64 (*.f64 (-.f64 #s(literal 0 binary64) b2) (-.f64 #s(literal 0 binary64) b1)))) |
(/.f64 (neg.f64 (*.f64 (-.f64 #s(literal 0 binary64) a1) (-.f64 #s(literal 0 binary64) a2))) (neg.f64 (*.f64 (-.f64 #s(literal 0 binary64) b1) (-.f64 #s(literal 0 binary64) b2)))) |
(/.f64 (neg.f64 (*.f64 (-.f64 #s(literal 0 binary64) a1) (-.f64 #s(literal 0 binary64) a2))) (neg.f64 (*.f64 (-.f64 #s(literal 0 binary64) b2) (-.f64 #s(literal 0 binary64) b1)))) |
(/.f64 (neg.f64 (*.f64 #s(literal -1 binary64) (*.f64 a2 (-.f64 #s(literal 0 binary64) a1)))) (neg.f64 (*.f64 (-.f64 #s(literal 0 binary64) b1) (-.f64 #s(literal 0 binary64) b2)))) |
(/.f64 (neg.f64 (neg.f64 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1)))) (neg.f64 (neg.f64 (*.f64 b2 (-.f64 #s(literal 0 binary64) b1))))) |
(/.f64 (neg.f64 (*.f64 #s(literal 1 binary64) (*.f64 a2 a1))) (*.f64 b2 (-.f64 #s(literal 0 binary64) b1))) |
(/.f64 (neg.f64 (*.f64 #s(literal 1 binary64) (*.f64 a2 (-.f64 #s(literal 0 binary64) a1)))) (neg.f64 (*.f64 b2 (-.f64 #s(literal 0 binary64) b1)))) |
(/.f64 (neg.f64 (*.f64 (*.f64 a2 a1) #s(literal 1 binary64))) (*.f64 b2 (-.f64 #s(literal 0 binary64) b1))) |
(/.f64 (neg.f64 (*.f64 (*.f64 a2 a1) #s(literal -1 binary64))) (neg.f64 (*.f64 b2 (-.f64 #s(literal 0 binary64) b1)))) |
(/.f64 (neg.f64 (*.f64 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1)) #s(literal 1 binary64))) (neg.f64 (*.f64 b2 (-.f64 #s(literal 0 binary64) b1)))) |
(/.f64 (neg.f64 (*.f64 (/.f64 a1 b1) #s(literal -1 binary64))) (/.f64 b2 a2)) |
(/.f64 (neg.f64 (*.f64 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1)) #s(literal -1 binary64))) (neg.f64 (*.f64 (-.f64 #s(literal 0 binary64) b2) (-.f64 #s(literal 0 binary64) b1)))) |
(/.f64 (neg.f64 (*.f64 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)) #s(literal -1 binary64))) (-.f64 #s(literal 0 binary64) (/.f64 b2 a2))) |
(/.f64 (neg.f64 (*.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 b1)) #s(literal -1 binary64))) (/.f64 b2 (-.f64 #s(literal 0 binary64) a1))) |
(/.f64 (neg.f64 (*.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 b1)) #s(literal 1 binary64))) (/.f64 b2 a1)) |
(/.f64 (neg.f64 (*.f64 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)) #s(literal 1 binary64))) (/.f64 b2 a2)) |
(pow.f64 (/.f64 a2 (/.f64 b2 (/.f64 a1 b1))) #s(literal 1 binary64)) |
(pow.f64 (/.f64 b2 (/.f64 a2 (/.f64 b1 a1))) #s(literal -1 binary64)) |
(pow.f64 (pow.f64 (/.f64 a2 (/.f64 b2 (/.f64 a1 b1))) #s(literal 1/2 binary64)) #s(literal 2 binary64)) |
(pow.f64 (*.f64 (/.f64 b2 (/.f64 a2 (/.f64 b1 a1))) (/.f64 b2 (/.f64 a2 (/.f64 b1 a1)))) #s(literal -1/2 binary64)) |
(*.f64 a2 (/.f64 (/.f64 a1 b1) b2)) |
(*.f64 (/.f64 a2 b2) (/.f64 a1 b1)) |
(*.f64 a1 (/.f64 a2 (*.f64 b2 b1))) |
(*.f64 (/.f64 a2 (/.f64 b2 (/.f64 a1 b1))) #s(literal 1 binary64)) |
(*.f64 (/.f64 a1 b2) (/.f64 a2 b1)) |
(*.f64 (/.f64 a2 (/.f64 b1 a1)) (/.f64 #s(literal 1 binary64) b2)) |
(*.f64 (/.f64 a2 (/.f64 b2 a1)) (/.f64 #s(literal 1 binary64) b1)) |
(*.f64 (-.f64 #s(literal 0 binary64) a1) (/.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 b2)) b1)) |
(*.f64 (/.f64 a1 (-.f64 #s(literal 0 binary64) b2)) (-.f64 #s(literal 0 binary64) (/.f64 a2 b1))) |
(*.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 b2)) (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))) |
(*.f64 (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) a1))) (/.f64 #s(literal -1 binary64) b1)) |
(*.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 (/.f64 b1 a1))) (/.f64 #s(literal -1 binary64) b2)) |
(*.f64 (-.f64 #s(literal 0 binary64) a2) (-.f64 #s(literal 0 binary64) (/.f64 (/.f64 a1 b1) b2))) |
(*.f64 (-.f64 #s(literal 0 binary64) a2) (/.f64 (/.f64 #s(literal -1 binary64) b2) (/.f64 b1 a1))) |
(*.f64 #s(literal 1 binary64) (/.f64 a2 (/.f64 b2 (/.f64 a1 b1)))) |
(*.f64 (/.f64 (/.f64 a1 b1) b2) a2) |
(*.f64 (/.f64 a2 (*.f64 b2 b1)) a1) |
(*.f64 (/.f64 a1 b1) (/.f64 a2 b2)) |
(*.f64 (/.f64 a2 b1) (/.f64 a1 b2)) |
(*.f64 (/.f64 #s(literal 1 binary64) b1) (/.f64 a2 (/.f64 b2 a1))) |
(*.f64 (/.f64 #s(literal 1 binary64) b2) (/.f64 a2 (/.f64 b1 a1))) |
(*.f64 #s(literal -1 binary64) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(*.f64 (*.f64 a2 a1) (/.f64 (/.f64 #s(literal 1 binary64) b2) b1)) |
(*.f64 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1)) (/.f64 #s(literal -1 binary64) (*.f64 b2 b1))) |
(*.f64 (/.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 b2)) b1) (-.f64 #s(literal 0 binary64) a1)) |
(*.f64 (/.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 b2)) b1) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) a1))) |
(*.f64 (-.f64 #s(literal 0 binary64) (/.f64 (/.f64 a1 b1) b2)) (-.f64 #s(literal 0 binary64) a2)) |
(*.f64 (-.f64 #s(literal 0 binary64) (/.f64 (/.f64 a1 b1) b2)) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) a2))) |
(*.f64 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)) (-.f64 #s(literal 0 binary64) (/.f64 a2 b2))) |
(*.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 b1)) (/.f64 a1 (-.f64 #s(literal 0 binary64) b2))) |
(*.f64 (/.f64 #s(literal -1 binary64) b1) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) a1)))) |
(*.f64 (/.f64 #s(literal -1 binary64) b2) (-.f64 #s(literal 0 binary64) (/.f64 a2 (/.f64 b1 a1)))) |
(*.f64 (/.f64 (/.f64 #s(literal 1 binary64) b2) b1) (*.f64 a2 a1)) |
(*.f64 (/.f64 (/.f64 #s(literal 1 binary64) b2) b1) (/.f64 a1 (/.f64 #s(literal 1 binary64) a2))) |
(*.f64 (/.f64 (/.f64 #s(literal 1 binary64) b2) b1) (/.f64 a2 (/.f64 #s(literal 1 binary64) a1))) |
(*.f64 (/.f64 a1 (/.f64 #s(literal 1 binary64) a2)) (/.f64 (/.f64 #s(literal 1 binary64) b2) b1)) |
(*.f64 (/.f64 a1 (/.f64 #s(literal 1 binary64) a2)) (/.f64 (/.f64 #s(literal 1 binary64) b1) b2)) |
(*.f64 (/.f64 (/.f64 #s(literal 1 binary64) b1) #s(literal 1 binary64)) (/.f64 a2 (/.f64 b2 a1))) |
(*.f64 (/.f64 (/.f64 #s(literal 1 binary64) b1) #s(literal -1 binary64)) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) a1)))) |
(*.f64 (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) a2)) (-.f64 #s(literal 0 binary64) (/.f64 (/.f64 a1 b1) b2))) |
(*.f64 (/.f64 (/.f64 #s(literal 1 binary64) b1) b2) (*.f64 a2 a1)) |
(*.f64 (/.f64 (/.f64 #s(literal 1 binary64) b1) b2) (/.f64 a1 (/.f64 #s(literal 1 binary64) a2))) |
(*.f64 (/.f64 (/.f64 #s(literal 1 binary64) b1) b2) (/.f64 a2 (/.f64 #s(literal 1 binary64) a1))) |
(*.f64 (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) a1)) (/.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 b2)) b1)) |
(*.f64 (/.f64 (/.f64 #s(literal -1 binary64) b1) b2) (*.f64 a2 (-.f64 #s(literal 0 binary64) a1))) |
(*.f64 (/.f64 (/.f64 #s(literal -1 binary64) b1) b2) (/.f64 a1 (/.f64 #s(literal -1 binary64) a2))) |
(*.f64 (/.f64 (/.f64 #s(literal -1 binary64) b1) b2) (/.f64 a2 (/.f64 #s(literal -1 binary64) a1))) |
(*.f64 (/.f64 (/.f64 #s(literal -1 binary64) b2) b1) (*.f64 a2 (-.f64 #s(literal 0 binary64) a1))) |
(*.f64 (/.f64 (/.f64 #s(literal -1 binary64) b2) b1) (/.f64 a1 (/.f64 #s(literal -1 binary64) a2))) |
(*.f64 (/.f64 (/.f64 #s(literal -1 binary64) b2) b1) (/.f64 a2 (/.f64 #s(literal -1 binary64) a1))) |
(*.f64 (/.f64 a2 (/.f64 #s(literal 1 binary64) a1)) (/.f64 (/.f64 #s(literal 1 binary64) b2) b1)) |
(*.f64 (/.f64 a2 (/.f64 #s(literal 1 binary64) a1)) (/.f64 (/.f64 #s(literal 1 binary64) b1) b2)) |
(*.f64 (/.f64 (/.f64 #s(literal 1 binary64) b2) #s(literal -1 binary64)) (-.f64 #s(literal 0 binary64) (/.f64 a2 (/.f64 b1 a1)))) |
(*.f64 (/.f64 a1 (/.f64 #s(literal -1 binary64) a2)) (/.f64 (/.f64 #s(literal -1 binary64) b1) b2)) |
(*.f64 (/.f64 a1 (/.f64 #s(literal -1 binary64) a2)) (/.f64 (/.f64 #s(literal -1 binary64) b2) b1)) |
(*.f64 (/.f64 (/.f64 #s(literal 1 binary64) b2) #s(literal 1 binary64)) (/.f64 a2 (/.f64 b1 a1))) |
(*.f64 (/.f64 a2 (/.f64 #s(literal -1 binary64) a1)) (/.f64 (/.f64 #s(literal -1 binary64) b1) b2)) |
(*.f64 (/.f64 a2 (/.f64 #s(literal -1 binary64) a1)) (/.f64 (/.f64 #s(literal -1 binary64) b2) b1)) |
(*.f64 (pow.f64 (/.f64 a2 (/.f64 b2 (/.f64 a1 b1))) #s(literal 1/2 binary64)) (pow.f64 (/.f64 a2 (/.f64 b2 (/.f64 a1 b1))) #s(literal 1/2 binary64))) |
(*.f64 (*.f64 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)) #s(literal -1 binary64)) (/.f64 a2 b2)) |
(*.f64 (*.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 b1)) #s(literal -1 binary64)) (/.f64 a1 b2)) |
(*.f64 (*.f64 (/.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 b2)) b1) #s(literal -1 binary64)) a1) |
(exp.f64 (*.f64 (log.f64 (/.f64 b1 (*.f64 a2 a1))) #s(literal -1 binary64))) |
(exp.f64 (-.f64 (log.f64 (/.f64 a1 b1)) (*.f64 (log.f64 a2) #s(literal -1 binary64)))) |
(exp.f64 (-.f64 (log.f64 (/.f64 a2 b1)) (*.f64 (log.f64 a1) #s(literal -1 binary64)))) |
(-.f64 #s(literal 0 binary64) (-.f64 #s(literal 0 binary64) (/.f64 a2 (/.f64 b1 a1)))) |
(-.f64 (/.f64 #s(literal 0 binary64) (/.f64 b1 a2)) (-.f64 #s(literal 0 binary64) (/.f64 a2 (/.f64 b1 a1)))) |
(-.f64 (/.f64 #s(literal 0 binary64) (/.f64 b1 a1)) (-.f64 #s(literal 0 binary64) (/.f64 a2 (/.f64 b1 a1)))) |
(-.f64 (/.f64 #s(literal 0 binary64) (/.f64 #s(literal -1 binary64) a1)) (-.f64 #s(literal 0 binary64) (/.f64 a2 (/.f64 b1 a1)))) |
(-.f64 (/.f64 #s(literal 0 binary64) (/.f64 #s(literal -1 binary64) a2)) (-.f64 #s(literal 0 binary64) (/.f64 a2 (/.f64 b1 a1)))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) (/.f64 b1 a2)) #s(literal -1 binary64)) (-.f64 #s(literal 0 binary64) (/.f64 a2 (/.f64 b1 a1)))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) (/.f64 b1 a2)) #s(literal 1 binary64)) (-.f64 #s(literal 0 binary64) (/.f64 a2 (/.f64 b1 a1)))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) b1) (/.f64 #s(literal 1 binary64) a2)) (-.f64 #s(literal 0 binary64) (/.f64 a2 (/.f64 b1 a1)))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) b1) (/.f64 #s(literal 1 binary64) a1)) (-.f64 #s(literal 0 binary64) (/.f64 a2 (/.f64 b1 a1)))) |
(neg.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 (/.f64 b1 a1)))) |
(neg.f64 (*.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 (/.f64 b1 a1))) #s(literal 1 binary64))) |
(/.f64 a2 (/.f64 b1 a1)) |
(/.f64 a1 (/.f64 b1 a2)) |
(/.f64 (/.f64 a2 (/.f64 b1 a1)) #s(literal 1 binary64)) |
(/.f64 (-.f64 #s(literal 0 binary64) a1) (-.f64 #s(literal 0 binary64) (/.f64 b1 a2))) |
(/.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 (/.f64 b1 a1))) #s(literal -1 binary64)) |
(/.f64 (-.f64 #s(literal 0 binary64) a2) (-.f64 #s(literal 0 binary64) (/.f64 b1 a1))) |
(/.f64 #s(literal 1 binary64) (/.f64 b1 (*.f64 a2 a1))) |
(/.f64 (/.f64 a1 b1) (/.f64 #s(literal 1 binary64) a2)) |
(/.f64 (/.f64 a2 b1) (/.f64 #s(literal 1 binary64) a1)) |
(/.f64 (/.f64 #s(literal 1 binary64) b1) (/.f64 #s(literal 1 binary64) (*.f64 a2 a1))) |
(/.f64 #s(literal -1 binary64) (-.f64 #s(literal 0 binary64) (/.f64 b1 (*.f64 a2 a1)))) |
(/.f64 (*.f64 a2 a1) b1) |
(/.f64 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1)) (-.f64 #s(literal 0 binary64) b1)) |
(/.f64 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1)) (*.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) b1))) |
(/.f64 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)) (/.f64 #s(literal -1 binary64) a2)) |
(/.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 b1)) (/.f64 #s(literal -1 binary64) a1)) |
(/.f64 (/.f64 #s(literal -1 binary64) b1) (neg.f64 (/.f64 #s(literal 1 binary64) (*.f64 a2 a1)))) |
(/.f64 (*.f64 #s(literal 1 binary64) (*.f64 a2 a1)) b1) |
(/.f64 (*.f64 (*.f64 a2 a1) #s(literal 1 binary64)) b1) |
(/.f64 (neg.f64 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1))) b1) |
(/.f64 (neg.f64 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1))) (neg.f64 (*.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) b1)))) |
(/.f64 (/.f64 a1 (/.f64 #s(literal 1 binary64) a2)) b1) |
(/.f64 (/.f64 a2 (/.f64 #s(literal 1 binary64) a1)) b1) |
(/.f64 (-.f64 #s(literal 0 binary64) (*.f64 (-.f64 #s(literal 0 binary64) a1) #s(literal -1 binary64))) (-.f64 #s(literal 0 binary64) (/.f64 b1 a2))) |
(/.f64 (neg.f64 (/.f64 a1 (/.f64 #s(literal 1 binary64) a2))) (-.f64 #s(literal 0 binary64) b1)) |
(/.f64 (neg.f64 (*.f64 #s(literal 1 binary64) (*.f64 a2 a1))) (-.f64 #s(literal 0 binary64) b1)) |
(/.f64 (neg.f64 (*.f64 (*.f64 a2 a1) #s(literal 1 binary64))) (-.f64 #s(literal 0 binary64) b1)) |
(/.f64 (neg.f64 (/.f64 a2 (/.f64 #s(literal 1 binary64) a1))) (-.f64 #s(literal 0 binary64) b1)) |
(pow.f64 (/.f64 a2 (/.f64 b1 a1)) #s(literal 1 binary64)) |
(pow.f64 (/.f64 b1 (*.f64 a2 a1)) #s(literal -1 binary64)) |
(pow.f64 (pow.f64 (/.f64 a2 (/.f64 b1 a1)) #s(literal 1/2 binary64)) #s(literal 2 binary64)) |
(pow.f64 (*.f64 (/.f64 b1 (*.f64 a2 a1)) (/.f64 b1 (*.f64 a2 a1))) #s(literal -1/2 binary64)) |
(pow.f64 (exp.f64 (log.f64 (/.f64 b1 (*.f64 a2 a1)))) #s(literal -1 binary64)) |
(*.f64 a2 (/.f64 a1 b1)) |
(*.f64 a1 (/.f64 a2 b1)) |
(*.f64 (/.f64 a2 (/.f64 b1 a1)) #s(literal 1 binary64)) |
(*.f64 (-.f64 #s(literal 0 binary64) a1) (-.f64 #s(literal 0 binary64) (/.f64 a2 b1))) |
(*.f64 (-.f64 #s(literal 0 binary64) a1) (*.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 b1)) #s(literal 1 binary64))) |
(*.f64 (-.f64 #s(literal 0 binary64) a2) (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))) |
(*.f64 #s(literal 1 binary64) (/.f64 a2 (/.f64 b1 a1))) |
(*.f64 (/.f64 a1 b1) a2) |
(*.f64 (/.f64 a2 b1) a1) |
(*.f64 (/.f64 #s(literal 1 binary64) b1) (*.f64 a2 a1)) |
(*.f64 (/.f64 #s(literal 1 binary64) b1) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (*.f64 a2 a1)))) |
(*.f64 (/.f64 #s(literal 1 binary64) b1) (/.f64 a1 (/.f64 #s(literal 1 binary64) a2))) |
(*.f64 #s(literal -1 binary64) (-.f64 #s(literal 0 binary64) (/.f64 a2 (/.f64 b1 a1)))) |
(*.f64 (*.f64 a2 a1) (/.f64 #s(literal 1 binary64) b1)) |
(*.f64 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)) (-.f64 #s(literal 0 binary64) a2)) |
(*.f64 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) a2))) |
(*.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 b1)) (-.f64 #s(literal 0 binary64) a1)) |
(*.f64 (/.f64 #s(literal -1 binary64) b1) (*.f64 a2 (-.f64 #s(literal 0 binary64) a1))) |
(*.f64 (/.f64 #s(literal -1 binary64) b1) (/.f64 a1 (/.f64 #s(literal -1 binary64) a2))) |
(*.f64 (/.f64 a1 (/.f64 #s(literal 1 binary64) a2)) (/.f64 #s(literal 1 binary64) b1)) |
(*.f64 (/.f64 (/.f64 #s(literal 1 binary64) b1) #s(literal 1 binary64)) (/.f64 a1 (/.f64 #s(literal 1 binary64) a2))) |
(*.f64 (/.f64 (/.f64 #s(literal 1 binary64) b1) #s(literal -1 binary64)) (/.f64 a1 (/.f64 #s(literal -1 binary64) a2))) |
(*.f64 (pow.f64 (/.f64 a2 (/.f64 b1 a1)) #s(literal 1/2 binary64)) (pow.f64 (/.f64 a2 (/.f64 b1 a1)) #s(literal 1/2 binary64))) |
(*.f64 (*.f64 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)) #s(literal -1 binary64)) a2) |
(exp.f64 (log.f64 (/.f64 b1 a2))) |
(exp.f64 (*.f64 (log.f64 (/.f64 b1 a2)) #s(literal 1 binary64))) |
(exp.f64 (-.f64 (*.f64 (log.f64 a2) #s(literal -1 binary64)) (*.f64 (log.f64 b1) #s(literal -1 binary64)))) |
(-.f64 #s(literal 0 binary64) (-.f64 #s(literal 0 binary64) (/.f64 b1 a2))) |
(-.f64 (/.f64 #s(literal 0 binary64) a2) (-.f64 #s(literal 0 binary64) (/.f64 b1 a2))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) a2) #s(literal -1 binary64)) (-.f64 #s(literal 0 binary64) (/.f64 b1 a2))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) a2) #s(literal 1 binary64)) (-.f64 #s(literal 0 binary64) (/.f64 b1 a2))) |
(neg.f64 (-.f64 #s(literal 0 binary64) (/.f64 b1 a2))) |
(/.f64 b1 a2) |
(/.f64 (/.f64 b1 a2) #s(literal 1 binary64)) |
(/.f64 (-.f64 #s(literal 0 binary64) (/.f64 b1 a2)) #s(literal -1 binary64)) |
(/.f64 (-.f64 #s(literal 0 binary64) b1) (-.f64 #s(literal 0 binary64) a2)) |
(/.f64 #s(literal 1 binary64) (/.f64 a2 b1)) |
(/.f64 (/.f64 #s(literal 1 binary64) a2) (/.f64 #s(literal 1 binary64) b1)) |
(/.f64 #s(literal -1 binary64) (-.f64 #s(literal 0 binary64) (/.f64 a2 b1))) |
(/.f64 (/.f64 #s(literal -1 binary64) a2) (/.f64 #s(literal -1 binary64) b1)) |
(/.f64 (*.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) b1)) (-.f64 #s(literal 0 binary64) a2)) |
(/.f64 (*.f64 (-.f64 #s(literal 0 binary64) b1) #s(literal 1 binary64)) (-.f64 #s(literal 0 binary64) a2)) |
(/.f64 (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) b1)) (-.f64 #s(literal 0 binary64) a2)) |
(/.f64 (-.f64 #s(literal 0 binary64) (*.f64 (-.f64 #s(literal 0 binary64) b1) #s(literal -1 binary64))) (-.f64 #s(literal 0 binary64) a2)) |
(/.f64 (neg.f64 (*.f64 (-.f64 #s(literal 0 binary64) b1) #s(literal 1 binary64))) a2) |
(/.f64 (neg.f64 (*.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) b1))) a2) |
(/.f64 (neg.f64 (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) b1))) a2) |
(pow.f64 (/.f64 b1 a2) #s(literal 1 binary64)) |
(pow.f64 (/.f64 a2 b1) #s(literal -1 binary64)) |
(pow.f64 (pow.f64 (/.f64 b1 a2) #s(literal 1/2 binary64)) #s(literal 2 binary64)) |
(pow.f64 (*.f64 (/.f64 a2 b1) (/.f64 a2 b1)) #s(literal -1/2 binary64)) |
(*.f64 b1 (/.f64 #s(literal 1 binary64) a2)) |
(*.f64 b1 (/.f64 (/.f64 #s(literal 1 binary64) a2) #s(literal 1 binary64))) |
(*.f64 (/.f64 b1 a2) #s(literal 1 binary64)) |
(*.f64 (-.f64 #s(literal 0 binary64) b1) (/.f64 #s(literal -1 binary64) a2)) |
(*.f64 (-.f64 #s(literal 0 binary64) b1) (/.f64 (/.f64 #s(literal 1 binary64) a2) #s(literal -1 binary64))) |
(*.f64 #s(literal 1 binary64) (/.f64 b1 a2)) |
(*.f64 (/.f64 #s(literal 1 binary64) a2) b1) |
(*.f64 #s(literal -1 binary64) (-.f64 #s(literal 0 binary64) (/.f64 b1 a2))) |
(*.f64 (/.f64 #s(literal -1 binary64) a2) (-.f64 #s(literal 0 binary64) b1)) |
(*.f64 (*.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) b1)) (/.f64 #s(literal -1 binary64) a2)) |
(*.f64 (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) b1)) (/.f64 #s(literal -1 binary64) a2)) |
(*.f64 (pow.f64 (/.f64 b1 a2) #s(literal 1/2 binary64)) (pow.f64 (/.f64 b1 a2) #s(literal 1/2 binary64))) |
(exp.f64 (*.f64 (log.f64 (/.f64 b2 (/.f64 a2 (/.f64 b1 a1)))) #s(literal -1 binary64))) |
(exp.f64 (+.f64 (log.f64 (/.f64 a2 b2)) (log.f64 (/.f64 a1 b1)))) |
(exp.f64 (+.f64 (log.f64 (/.f64 a1 b2)) (log.f64 (/.f64 a2 b1)))) |
(exp.f64 (+.f64 (*.f64 (log.f64 (/.f64 b1 (*.f64 a2 a1))) #s(literal -1 binary64)) (*.f64 (log.f64 b2) #s(literal -1 binary64)))) |
(exp.f64 (+.f64 (*.f64 (log.f64 (/.f64 b2 (*.f64 a2 a1))) #s(literal -1 binary64)) (*.f64 (log.f64 b1) #s(literal -1 binary64)))) |
(exp.f64 (+.f64 (log.f64 (/.f64 a1 b1)) (log.f64 (/.f64 a2 b2)))) |
(exp.f64 (+.f64 (log.f64 (/.f64 a2 b1)) (log.f64 (/.f64 a1 b2)))) |
(exp.f64 (+.f64 (*.f64 (log.f64 b1) #s(literal -1 binary64)) (*.f64 (log.f64 (/.f64 b2 (*.f64 a2 a1))) #s(literal -1 binary64)))) |
(exp.f64 (+.f64 (*.f64 (log.f64 b2) #s(literal -1 binary64)) (*.f64 (log.f64 (/.f64 b1 (*.f64 a2 a1))) #s(literal -1 binary64)))) |
(exp.f64 (-.f64 (log.f64 (/.f64 a2 b2)) (log.f64 (/.f64 b1 a1)))) |
(exp.f64 (-.f64 (log.f64 (/.f64 a1 b2)) (log.f64 (/.f64 b1 a2)))) |
(exp.f64 (-.f64 (log.f64 (/.f64 (/.f64 a1 b1) b2)) (*.f64 (log.f64 a2) #s(literal -1 binary64)))) |
(exp.f64 (-.f64 (log.f64 (/.f64 a2 (*.f64 b2 b1))) (*.f64 (log.f64 a1) #s(literal -1 binary64)))) |
(exp.f64 (-.f64 (log.f64 (/.f64 a1 b1)) (log.f64 (/.f64 b2 a2)))) |
(exp.f64 (-.f64 (log.f64 (/.f64 a2 b1)) (log.f64 (/.f64 b2 a1)))) |
(-.f64 #s(literal 0 binary64) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 #s(literal 0 binary64) (/.f64 (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)))) #s(literal 1 binary64))) |
(-.f64 (/.f64 #s(literal 0 binary64) (/.f64 b1 a2)) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 #s(literal 0 binary64) b1) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 #s(literal 0 binary64) b2) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 #s(literal 0 binary64) (/.f64 b2 a2)) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 #s(literal 0 binary64) (/.f64 b2 (/.f64 a2 b1))) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 #s(literal 0 binary64) (/.f64 b1 a1)) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 #s(literal 0 binary64) (/.f64 b2 (/.f64 a1 b1))) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 #s(literal 0 binary64) (*.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) b1))) (/.f64 (/.f64 a2 (/.f64 b2 a1)) (*.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) b1)))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) b1) #s(literal 1 binary64)) (/.f64 (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)))) #s(literal 1 binary64))) |
(-.f64 (/.f64 #s(literal 0 binary64) (/.f64 #s(literal -1 binary64) a1)) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) b2) #s(literal 1 binary64)) (/.f64 (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)))) #s(literal 1 binary64))) |
(-.f64 (/.f64 #s(literal 0 binary64) (/.f64 #s(literal -1 binary64) a2)) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 #s(literal 0 binary64) (/.f64 b2 (-.f64 #s(literal 0 binary64) a1))) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) b2) (/.f64 b1 a1)) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) (/.f64 b1 a2)) #s(literal 1 binary64)) (/.f64 (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)))) #s(literal 1 binary64))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) (/.f64 b2 (/.f64 a2 b1))) #s(literal 1 binary64)) (/.f64 (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)))) #s(literal 1 binary64))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) (/.f64 b1 a1)) #s(literal 1 binary64)) (/.f64 (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)))) #s(literal 1 binary64))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) (/.f64 b2 (/.f64 a1 b1))) #s(literal 1 binary64)) (/.f64 (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)))) #s(literal 1 binary64))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) b2) (/.f64 b1 a2)) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) (/.f64 b1 a2)) b2) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) (/.f64 b2 a2)) b1) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) b2) (-.f64 #s(literal 0 binary64) (/.f64 b1 a2))) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) b2) (-.f64 #s(literal 0 binary64) (/.f64 b1 a1))) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) (/.f64 b2 a2)) (-.f64 #s(literal 0 binary64) b1)) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) (/.f64 b2 a2)) (*.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) b1))) (/.f64 (/.f64 a2 (/.f64 b2 a1)) (*.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) b1)))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) (/.f64 b1 a2)) (-.f64 #s(literal 0 binary64) b2)) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) b1) (/.f64 #s(literal 1 binary64) a2)) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) (*.f64 b2 (-.f64 #s(literal 0 binary64) b1))) (/.f64 #s(literal 1 binary64) a2)) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) b1) (/.f64 #s(literal 1 binary64) a1)) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) (*.f64 b2 (-.f64 #s(literal 0 binary64) b1))) (/.f64 #s(literal 1 binary64) a1)) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) b1) (/.f64 b2 a2)) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) b1) (/.f64 b2 a1)) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(-.f64 (/.f64 #s(literal 0 binary64) (-.f64 #s(literal 0 binary64) (/.f64 b1 (*.f64 a2 a1)))) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(neg.f64 (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(/.f64 a2 (/.f64 b2 (/.f64 a1 b1))) |
(/.f64 (/.f64 a2 b2) (/.f64 b1 a1)) |
(/.f64 a1 (/.f64 b2 (/.f64 a2 b1))) |
(/.f64 (/.f64 a2 (/.f64 b2 (/.f64 a1 b1))) #s(literal 1 binary64)) |
(/.f64 (/.f64 a1 b2) (/.f64 b1 a2)) |
(/.f64 (/.f64 a2 (/.f64 b1 a1)) b2) |
(/.f64 (/.f64 a2 (/.f64 b2 a1)) b1) |
(/.f64 (/.f64 a2 (/.f64 b2 a1)) (neg.f64 (*.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) b1)))) |
(/.f64 (-.f64 #s(literal 0 binary64) a1) (-.f64 #s(literal 0 binary64) (/.f64 b2 (/.f64 a2 b1)))) |
(/.f64 (/.f64 a1 (-.f64 #s(literal 0 binary64) b2)) (-.f64 #s(literal 0 binary64) (/.f64 b1 a2))) |
(/.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 b2)) (-.f64 #s(literal 0 binary64) (/.f64 b1 a1))) |
(/.f64 (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) a1))) (-.f64 #s(literal 0 binary64) b1)) |
(/.f64 (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) a1))) (*.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) b1))) |
(/.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 (/.f64 b1 a1))) (-.f64 #s(literal 0 binary64) b2)) |
(/.f64 (-.f64 #s(literal 0 binary64) a2) (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)))) |
(/.f64 #s(literal 1 binary64) (/.f64 b2 (/.f64 a2 (/.f64 b1 a1)))) |
(/.f64 #s(literal 1 binary64) (neg.f64 (*.f64 (/.f64 b2 (*.f64 a2 a1)) (-.f64 #s(literal 0 binary64) b1)))) |
(/.f64 #s(literal 1 binary64) (neg.f64 (*.f64 (/.f64 b2 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1))) b1))) |
(/.f64 (/.f64 (/.f64 a1 b1) b2) (/.f64 #s(literal 1 binary64) a2)) |
(/.f64 (/.f64 a2 (*.f64 b2 b1)) (/.f64 #s(literal 1 binary64) a1)) |
(/.f64 (/.f64 a1 b1) (/.f64 b2 a2)) |
(/.f64 (/.f64 a2 b1) (/.f64 b2 a1)) |
(/.f64 (/.f64 #s(literal 1 binary64) b1) (/.f64 b2 (*.f64 a2 a1))) |
(/.f64 (/.f64 #s(literal 1 binary64) b2) (/.f64 b1 (*.f64 a2 a1))) |
(/.f64 #s(literal -1 binary64) (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a2 (/.f64 b1 a1))))) |
(/.f64 #s(literal -1 binary64) (*.f64 (/.f64 b2 (*.f64 a2 a1)) (-.f64 #s(literal 0 binary64) b1))) |
(/.f64 #s(literal -1 binary64) (*.f64 (/.f64 b2 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1))) b1)) |
(/.f64 (*.f64 a2 a1) (*.f64 b2 b1)) |
(/.f64 (*.f64 a2 a1) (*.f64 (-.f64 #s(literal 0 binary64) b1) (-.f64 #s(literal 0 binary64) b2))) |
(/.f64 (*.f64 a2 a1) (*.f64 #s(literal 1 binary64) (*.f64 b2 b1))) |
(/.f64 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1)) (*.f64 b2 (-.f64 #s(literal 0 binary64) b1))) |
(/.f64 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1)) (*.f64 #s(literal 1 binary64) (*.f64 b2 (-.f64 #s(literal 0 binary64) b1)))) |
(/.f64 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1)) (neg.f64 (*.f64 (-.f64 #s(literal 0 binary64) b1) (-.f64 #s(literal 0 binary64) b2)))) |
(/.f64 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1)) (neg.f64 (*.f64 #s(literal 1 binary64) (*.f64 b2 b1)))) |
(/.f64 (/.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 b2)) b1) (/.f64 #s(literal -1 binary64) a1)) |
(/.f64 (-.f64 #s(literal 0 binary64) (/.f64 (/.f64 a1 b1) b2)) (/.f64 #s(literal -1 binary64) a2)) |
(/.f64 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)) (-.f64 #s(literal 0 binary64) (/.f64 b2 a2))) |
(/.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 b1)) (/.f64 b2 (-.f64 #s(literal 0 binary64) a1))) |
(/.f64 (/.f64 #s(literal -1 binary64) b1) (/.f64 b2 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1)))) |
(/.f64 (/.f64 #s(literal -1 binary64) b2) (-.f64 #s(literal 0 binary64) (/.f64 b1 (*.f64 a2 a1)))) |
(/.f64 (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)))) #s(literal -1 binary64)) |
(/.f64 (/.f64 (/.f64 #s(literal 1 binary64) b2) b1) (/.f64 #s(literal 1 binary64) (*.f64 a2 a1))) |
(/.f64 (*.f64 (-.f64 #s(literal 0 binary64) a1) #s(literal -1 binary64)) (/.f64 b2 (/.f64 a2 b1))) |
(/.f64 (*.f64 (-.f64 #s(literal 0 binary64) a2) (-.f64 #s(literal 0 binary64) a1)) (*.f64 (-.f64 #s(literal 0 binary64) b2) (-.f64 #s(literal 0 binary64) b1))) |
(/.f64 (*.f64 (-.f64 #s(literal 0 binary64) a2) (-.f64 #s(literal 0 binary64) a1)) (*.f64 (-.f64 #s(literal 0 binary64) b1) (-.f64 #s(literal 0 binary64) b2))) |
(/.f64 (*.f64 (-.f64 #s(literal 0 binary64) a2) #s(literal -1 binary64)) (/.f64 b2 (/.f64 a1 b1))) |
(/.f64 (*.f64 (/.f64 #s(literal 1 binary64) b1) #s(literal -1 binary64)) (/.f64 b2 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1)))) |
(/.f64 (*.f64 (/.f64 #s(literal 1 binary64) b2) #s(literal -1 binary64)) (-.f64 #s(literal 0 binary64) (/.f64 b1 (*.f64 a2 a1)))) |
(/.f64 (*.f64 #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) b1)) (/.f64 b2 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1)))) |
(/.f64 (*.f64 (-.f64 #s(literal 0 binary64) a1) (-.f64 #s(literal 0 binary64) a2)) (*.f64 (-.f64 #s(literal 0 binary64) b2) (-.f64 #s(literal 0 binary64) b1))) |
(/.f64 (*.f64 (-.f64 #s(literal 0 binary64) a1) (-.f64 #s(literal 0 binary64) a2)) (*.f64 (-.f64 #s(literal 0 binary64) b1) (-.f64 #s(literal 0 binary64) b2))) |
(/.f64 (*.f64 #s(literal 1 binary64) (*.f64 a2 a1)) (*.f64 b2 b1)) |
(/.f64 (*.f64 #s(literal 1 binary64) (*.f64 a2 (-.f64 #s(literal 0 binary64) a1))) (*.f64 b2 (-.f64 #s(literal 0 binary64) b1))) |
(/.f64 (*.f64 (/.f64 a1 b1) #s(literal -1 binary64)) (-.f64 #s(literal 0 binary64) (/.f64 b2 a2))) |
(/.f64 (*.f64 (*.f64 a2 a1) #s(literal 1 binary64)) (*.f64 b2 b1)) |
(/.f64 (*.f64 (*.f64 a2 a1) #s(literal -1 binary64)) (*.f64 b2 (-.f64 #s(literal 0 binary64) b1))) |
(/.f64 (*.f64 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1)) #s(literal 1 binary64)) (*.f64 b2 (-.f64 #s(literal 0 binary64) b1))) |
(/.f64 (*.f64 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1)) #s(literal -1 binary64)) (*.f64 (-.f64 #s(literal 0 binary64) b2) (-.f64 #s(literal 0 binary64) b1))) |
(/.f64 (*.f64 #s(literal -1 binary64) (*.f64 a2 (-.f64 #s(literal 0 binary64) a1))) (*.f64 (-.f64 #s(literal 0 binary64) b1) (-.f64 #s(literal 0 binary64) b2))) |
(/.f64 (neg.f64 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1))) (neg.f64 (*.f64 b2 (-.f64 #s(literal 0 binary64) b1)))) |
(/.f64 (neg.f64 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1))) (neg.f64 (*.f64 #s(literal 1 binary64) (*.f64 b2 (-.f64 #s(literal 0 binary64) b1))))) |
(/.f64 (/.f64 (/.f64 #s(literal 1 binary64) b1) b2) (/.f64 #s(literal 1 binary64) (*.f64 a2 a1))) |
(/.f64 (neg.f64 (/.f64 (/.f64 #s(literal 1 binary64) b2) b1)) (neg.f64 (/.f64 #s(literal 1 binary64) (*.f64 a2 a1)))) |
(/.f64 (*.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 (/.f64 b1 a1))) #s(literal 1 binary64)) (-.f64 #s(literal 0 binary64) b2)) |
(/.f64 (*.f64 (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) a1))) #s(literal 1 binary64)) (-.f64 #s(literal 0 binary64) b1)) |
(/.f64 (*.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 b2)) #s(literal 1 binary64)) (-.f64 #s(literal 0 binary64) (/.f64 b1 a1))) |
(/.f64 (*.f64 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)) #s(literal -1 binary64)) (/.f64 b2 a2)) |
(/.f64 (*.f64 (/.f64 a2 b1) #s(literal -1 binary64)) (/.f64 b2 (-.f64 #s(literal 0 binary64) a1))) |
(/.f64 (*.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 b1)) #s(literal -1 binary64)) (/.f64 b2 a1)) |
(/.f64 (*.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 b1)) #s(literal 1 binary64)) (/.f64 b2 (-.f64 #s(literal 0 binary64) a1))) |
(/.f64 (*.f64 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)) #s(literal 1 binary64)) (-.f64 #s(literal 0 binary64) (/.f64 b2 a2))) |
(/.f64 (neg.f64 (*.f64 (-.f64 #s(literal 0 binary64) a1) #s(literal -1 binary64))) (-.f64 #s(literal 0 binary64) (/.f64 b2 (/.f64 a2 b1)))) |
(/.f64 (neg.f64 (*.f64 (/.f64 #s(literal 1 binary64) b1) #s(literal -1 binary64))) (/.f64 b2 (*.f64 a2 a1))) |
(/.f64 (neg.f64 (*.f64 (/.f64 #s(literal 1 binary64) b2) #s(literal -1 binary64))) (/.f64 b1 (*.f64 a2 a1))) |
(/.f64 (neg.f64 (*.f64 #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) b1))) (/.f64 b2 (*.f64 a2 a1))) |
(/.f64 (neg.f64 (/.f64 (/.f64 #s(literal 1 binary64) b1) b2)) (neg.f64 (/.f64 #s(literal 1 binary64) (*.f64 a2 a1)))) |
(/.f64 (neg.f64 (*.f64 (-.f64 #s(literal 0 binary64) a2) #s(literal -1 binary64))) (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)))) |
(/.f64 (neg.f64 (*.f64 (/.f64 a2 b1) #s(literal -1 binary64))) (/.f64 b2 a1)) |
(/.f64 (neg.f64 (*.f64 (-.f64 #s(literal 0 binary64) a2) (-.f64 #s(literal 0 binary64) a1))) (neg.f64 (*.f64 (-.f64 #s(literal 0 binary64) b1) (-.f64 #s(literal 0 binary64) b2)))) |
(/.f64 (neg.f64 (*.f64 (-.f64 #s(literal 0 binary64) a2) (-.f64 #s(literal 0 binary64) a1))) (neg.f64 (*.f64 (-.f64 #s(literal 0 binary64) b2) (-.f64 #s(literal 0 binary64) b1)))) |
(/.f64 (neg.f64 (*.f64 (-.f64 #s(literal 0 binary64) a1) (-.f64 #s(literal 0 binary64) a2))) (neg.f64 (*.f64 (-.f64 #s(literal 0 binary64) b1) (-.f64 #s(literal 0 binary64) b2)))) |
(/.f64 (neg.f64 (*.f64 (-.f64 #s(literal 0 binary64) a1) (-.f64 #s(literal 0 binary64) a2))) (neg.f64 (*.f64 (-.f64 #s(literal 0 binary64) b2) (-.f64 #s(literal 0 binary64) b1)))) |
(/.f64 (neg.f64 (*.f64 #s(literal -1 binary64) (*.f64 a2 (-.f64 #s(literal 0 binary64) a1)))) (neg.f64 (*.f64 (-.f64 #s(literal 0 binary64) b1) (-.f64 #s(literal 0 binary64) b2)))) |
(/.f64 (neg.f64 (neg.f64 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1)))) (neg.f64 (neg.f64 (*.f64 b2 (-.f64 #s(literal 0 binary64) b1))))) |
(/.f64 (neg.f64 (*.f64 #s(literal 1 binary64) (*.f64 a2 a1))) (*.f64 b2 (-.f64 #s(literal 0 binary64) b1))) |
(/.f64 (neg.f64 (*.f64 #s(literal 1 binary64) (*.f64 a2 (-.f64 #s(literal 0 binary64) a1)))) (neg.f64 (*.f64 b2 (-.f64 #s(literal 0 binary64) b1)))) |
(/.f64 (neg.f64 (*.f64 (*.f64 a2 a1) #s(literal 1 binary64))) (*.f64 b2 (-.f64 #s(literal 0 binary64) b1))) |
(/.f64 (neg.f64 (*.f64 (*.f64 a2 a1) #s(literal -1 binary64))) (neg.f64 (*.f64 b2 (-.f64 #s(literal 0 binary64) b1)))) |
(/.f64 (neg.f64 (*.f64 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1)) #s(literal 1 binary64))) (neg.f64 (*.f64 b2 (-.f64 #s(literal 0 binary64) b1)))) |
(/.f64 (neg.f64 (*.f64 (/.f64 a1 b1) #s(literal -1 binary64))) (/.f64 b2 a2)) |
(/.f64 (neg.f64 (*.f64 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1)) #s(literal -1 binary64))) (neg.f64 (*.f64 (-.f64 #s(literal 0 binary64) b2) (-.f64 #s(literal 0 binary64) b1)))) |
(/.f64 (neg.f64 (*.f64 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)) #s(literal -1 binary64))) (-.f64 #s(literal 0 binary64) (/.f64 b2 a2))) |
(/.f64 (neg.f64 (*.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 b1)) #s(literal -1 binary64))) (/.f64 b2 (-.f64 #s(literal 0 binary64) a1))) |
(/.f64 (neg.f64 (*.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 b1)) #s(literal 1 binary64))) (/.f64 b2 a1)) |
(/.f64 (neg.f64 (*.f64 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)) #s(literal 1 binary64))) (/.f64 b2 a2)) |
(pow.f64 (/.f64 a2 (/.f64 b2 (/.f64 a1 b1))) #s(literal 1 binary64)) |
(pow.f64 (/.f64 b2 (/.f64 a2 (/.f64 b1 a1))) #s(literal -1 binary64)) |
(pow.f64 (pow.f64 (/.f64 a2 (/.f64 b2 (/.f64 a1 b1))) #s(literal 1/2 binary64)) #s(literal 2 binary64)) |
(pow.f64 (*.f64 (/.f64 b2 (/.f64 a2 (/.f64 b1 a1))) (/.f64 b2 (/.f64 a2 (/.f64 b1 a1)))) #s(literal -1/2 binary64)) |
(*.f64 a2 (/.f64 (/.f64 a1 b1) b2)) |
(*.f64 (/.f64 a2 b2) (/.f64 a1 b1)) |
(*.f64 a1 (/.f64 a2 (*.f64 b2 b1))) |
(*.f64 (/.f64 a2 (/.f64 b2 (/.f64 a1 b1))) #s(literal 1 binary64)) |
(*.f64 (/.f64 a1 b2) (/.f64 a2 b1)) |
(*.f64 (/.f64 a2 (/.f64 b1 a1)) (/.f64 #s(literal 1 binary64) b2)) |
(*.f64 (/.f64 a2 (/.f64 b2 a1)) (/.f64 #s(literal 1 binary64) b1)) |
(*.f64 (-.f64 #s(literal 0 binary64) a1) (/.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 b2)) b1)) |
(*.f64 (/.f64 a1 (-.f64 #s(literal 0 binary64) b2)) (-.f64 #s(literal 0 binary64) (/.f64 a2 b1))) |
(*.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 b2)) (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))) |
(*.f64 (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) a1))) (/.f64 #s(literal -1 binary64) b1)) |
(*.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 (/.f64 b1 a1))) (/.f64 #s(literal -1 binary64) b2)) |
(*.f64 (-.f64 #s(literal 0 binary64) a2) (-.f64 #s(literal 0 binary64) (/.f64 (/.f64 a1 b1) b2))) |
(*.f64 (-.f64 #s(literal 0 binary64) a2) (/.f64 (/.f64 #s(literal -1 binary64) b2) (/.f64 b1 a1))) |
(*.f64 #s(literal 1 binary64) (/.f64 a2 (/.f64 b2 (/.f64 a1 b1)))) |
(*.f64 (/.f64 (/.f64 a1 b1) b2) a2) |
(*.f64 (/.f64 a2 (*.f64 b2 b1)) a1) |
(*.f64 (/.f64 a1 b1) (/.f64 a2 b2)) |
(*.f64 (/.f64 a2 b1) (/.f64 a1 b2)) |
(*.f64 (/.f64 #s(literal 1 binary64) b1) (/.f64 a2 (/.f64 b2 a1))) |
(*.f64 (/.f64 #s(literal 1 binary64) b2) (/.f64 a2 (/.f64 b1 a1))) |
(*.f64 #s(literal -1 binary64) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1))))) |
(*.f64 (*.f64 a2 a1) (/.f64 (/.f64 #s(literal 1 binary64) b2) b1)) |
(*.f64 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1)) (/.f64 #s(literal -1 binary64) (*.f64 b2 b1))) |
(*.f64 (/.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 b2)) b1) (-.f64 #s(literal 0 binary64) a1)) |
(*.f64 (/.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 b2)) b1) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) a1))) |
(*.f64 (-.f64 #s(literal 0 binary64) (/.f64 (/.f64 a1 b1) b2)) (-.f64 #s(literal 0 binary64) a2)) |
(*.f64 (-.f64 #s(literal 0 binary64) (/.f64 (/.f64 a1 b1) b2)) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) a2))) |
(*.f64 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)) (-.f64 #s(literal 0 binary64) (/.f64 a2 b2))) |
(*.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 b1)) (/.f64 a1 (-.f64 #s(literal 0 binary64) b2))) |
(*.f64 (/.f64 #s(literal -1 binary64) b1) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) a1)))) |
(*.f64 (/.f64 #s(literal -1 binary64) b2) (-.f64 #s(literal 0 binary64) (/.f64 a2 (/.f64 b1 a1)))) |
(*.f64 (/.f64 (/.f64 #s(literal 1 binary64) b2) b1) (*.f64 a2 a1)) |
(*.f64 (/.f64 (/.f64 #s(literal 1 binary64) b2) b1) (/.f64 a1 (/.f64 #s(literal 1 binary64) a2))) |
(*.f64 (/.f64 (/.f64 #s(literal 1 binary64) b2) b1) (/.f64 a2 (/.f64 #s(literal 1 binary64) a1))) |
(*.f64 (/.f64 a1 (/.f64 #s(literal 1 binary64) a2)) (/.f64 (/.f64 #s(literal 1 binary64) b2) b1)) |
(*.f64 (/.f64 a1 (/.f64 #s(literal 1 binary64) a2)) (/.f64 (/.f64 #s(literal 1 binary64) b1) b2)) |
(*.f64 (/.f64 (/.f64 #s(literal 1 binary64) b1) #s(literal 1 binary64)) (/.f64 a2 (/.f64 b2 a1))) |
(*.f64 (/.f64 (/.f64 #s(literal 1 binary64) b1) #s(literal -1 binary64)) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) a1)))) |
(*.f64 (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) a2)) (-.f64 #s(literal 0 binary64) (/.f64 (/.f64 a1 b1) b2))) |
(*.f64 (/.f64 (/.f64 #s(literal 1 binary64) b1) b2) (*.f64 a2 a1)) |
(*.f64 (/.f64 (/.f64 #s(literal 1 binary64) b1) b2) (/.f64 a1 (/.f64 #s(literal 1 binary64) a2))) |
(*.f64 (/.f64 (/.f64 #s(literal 1 binary64) b1) b2) (/.f64 a2 (/.f64 #s(literal 1 binary64) a1))) |
(*.f64 (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) a1)) (/.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 b2)) b1)) |
(*.f64 (/.f64 (/.f64 #s(literal -1 binary64) b1) b2) (*.f64 a2 (-.f64 #s(literal 0 binary64) a1))) |
(*.f64 (/.f64 (/.f64 #s(literal -1 binary64) b1) b2) (/.f64 a1 (/.f64 #s(literal -1 binary64) a2))) |
(*.f64 (/.f64 (/.f64 #s(literal -1 binary64) b1) b2) (/.f64 a2 (/.f64 #s(literal -1 binary64) a1))) |
(*.f64 (/.f64 (/.f64 #s(literal -1 binary64) b2) b1) (*.f64 a2 (-.f64 #s(literal 0 binary64) a1))) |
(*.f64 (/.f64 (/.f64 #s(literal -1 binary64) b2) b1) (/.f64 a1 (/.f64 #s(literal -1 binary64) a2))) |
(*.f64 (/.f64 (/.f64 #s(literal -1 binary64) b2) b1) (/.f64 a2 (/.f64 #s(literal -1 binary64) a1))) |
(*.f64 (/.f64 a2 (/.f64 #s(literal 1 binary64) a1)) (/.f64 (/.f64 #s(literal 1 binary64) b2) b1)) |
(*.f64 (/.f64 a2 (/.f64 #s(literal 1 binary64) a1)) (/.f64 (/.f64 #s(literal 1 binary64) b1) b2)) |
(*.f64 (/.f64 (/.f64 #s(literal 1 binary64) b2) #s(literal -1 binary64)) (-.f64 #s(literal 0 binary64) (/.f64 a2 (/.f64 b1 a1)))) |
(*.f64 (/.f64 a1 (/.f64 #s(literal -1 binary64) a2)) (/.f64 (/.f64 #s(literal -1 binary64) b1) b2)) |
(*.f64 (/.f64 a1 (/.f64 #s(literal -1 binary64) a2)) (/.f64 (/.f64 #s(literal -1 binary64) b2) b1)) |
(*.f64 (/.f64 (/.f64 #s(literal 1 binary64) b2) #s(literal 1 binary64)) (/.f64 a2 (/.f64 b1 a1))) |
(*.f64 (/.f64 a2 (/.f64 #s(literal -1 binary64) a1)) (/.f64 (/.f64 #s(literal -1 binary64) b1) b2)) |
(*.f64 (/.f64 a2 (/.f64 #s(literal -1 binary64) a1)) (/.f64 (/.f64 #s(literal -1 binary64) b2) b1)) |
(*.f64 (pow.f64 (/.f64 a2 (/.f64 b2 (/.f64 a1 b1))) #s(literal 1/2 binary64)) (pow.f64 (/.f64 a2 (/.f64 b2 (/.f64 a1 b1))) #s(literal 1/2 binary64))) |
(*.f64 (*.f64 (-.f64 #s(literal 0 binary64) (/.f64 a1 b1)) #s(literal -1 binary64)) (/.f64 a2 b2)) |
(*.f64 (*.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 b1)) #s(literal -1 binary64)) (/.f64 a1 b2)) |
(*.f64 (*.f64 (/.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 b2)) b1) #s(literal -1 binary64)) a1) |
(exp.f64 (*.f64 (log.f64 (/.f64 b2 (*.f64 a2 a1))) #s(literal -1 binary64))) |
(exp.f64 (-.f64 (log.f64 (/.f64 a2 b2)) (*.f64 (log.f64 a1) #s(literal -1 binary64)))) |
(exp.f64 (-.f64 (log.f64 (/.f64 a1 b2)) (*.f64 (log.f64 a2) #s(literal -1 binary64)))) |
(-.f64 #s(literal 0 binary64) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) a1)))) |
(-.f64 (/.f64 #s(literal 0 binary64) (/.f64 b2 a2)) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) a1)))) |
(-.f64 (/.f64 #s(literal 0 binary64) (/.f64 #s(literal 1 binary64) a2)) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) a1)))) |
(-.f64 (/.f64 #s(literal 0 binary64) (/.f64 #s(literal -1 binary64) a2)) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) a1)))) |
(-.f64 (/.f64 #s(literal 0 binary64) (/.f64 b2 (-.f64 #s(literal 0 binary64) a1))) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) a1)))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) b2) (/.f64 #s(literal -1 binary64) a2)) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) a1)))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) b2) (/.f64 #s(literal 1 binary64) a2)) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) a1)))) |
(-.f64 (/.f64 #s(literal 0 binary64) (/.f64 #s(literal 1 binary64) a1)) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) a1)))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) b2) (/.f64 #s(literal 1 binary64) a1)) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) a1)))) |
(-.f64 (/.f64 #s(literal 0 binary64) (/.f64 b2 a1)) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) a1)))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) (/.f64 b2 a2)) #s(literal 1 binary64)) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) a1)))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) (/.f64 b2 a2)) #s(literal -1 binary64)) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) a1)))) |
(neg.f64 (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) a1)))) |
(neg.f64 (*.f64 (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) a1))) #s(literal 1 binary64))) |
(/.f64 a2 (/.f64 b2 a1)) |
(/.f64 (/.f64 a2 b2) (/.f64 #s(literal 1 binary64) a1)) |
(/.f64 a1 (/.f64 b2 a2)) |
(/.f64 (/.f64 a1 b2) (/.f64 #s(literal 1 binary64) a2)) |
(/.f64 (/.f64 a2 (/.f64 b2 a1)) #s(literal 1 binary64)) |
(/.f64 (-.f64 #s(literal 0 binary64) a1) (-.f64 #s(literal 0 binary64) (/.f64 b2 a2))) |
(/.f64 (/.f64 a1 (-.f64 #s(literal 0 binary64) b2)) (/.f64 #s(literal -1 binary64) a2)) |
(/.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 b2)) (/.f64 #s(literal -1 binary64) a1)) |
(/.f64 (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) a1))) #s(literal -1 binary64)) |
(/.f64 (-.f64 #s(literal 0 binary64) a2) (/.f64 b2 (-.f64 #s(literal 0 binary64) a1))) |
(/.f64 #s(literal 1 binary64) (/.f64 b2 (*.f64 a2 a1))) |
(/.f64 (/.f64 #s(literal 1 binary64) b2) (/.f64 #s(literal 1 binary64) (*.f64 a2 a1))) |
(/.f64 #s(literal -1 binary64) (/.f64 b2 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1)))) |
(/.f64 (*.f64 a2 a1) b2) |
(/.f64 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1)) (-.f64 #s(literal 0 binary64) b2)) |
(/.f64 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1)) (*.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) b2))) |
(/.f64 (/.f64 #s(literal -1 binary64) b2) (neg.f64 (/.f64 #s(literal 1 binary64) (*.f64 a2 a1)))) |
(/.f64 (*.f64 (-.f64 #s(literal 0 binary64) a1) #s(literal -1 binary64)) (/.f64 b2 a2)) |
(/.f64 (*.f64 (-.f64 #s(literal 0 binary64) a1) (-.f64 #s(literal 0 binary64) a2)) b2) |
(/.f64 (*.f64 #s(literal 1 binary64) (*.f64 a2 a1)) b2) |
(/.f64 (*.f64 #s(literal 1 binary64) (*.f64 a2 (-.f64 #s(literal 0 binary64) a1))) (-.f64 #s(literal 0 binary64) b2)) |
(/.f64 (*.f64 (*.f64 a2 a1) #s(literal 1 binary64)) b2) |
(/.f64 (*.f64 (*.f64 a2 a1) #s(literal -1 binary64)) (-.f64 #s(literal 0 binary64) b2)) |
(/.f64 (*.f64 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1)) #s(literal 1 binary64)) (-.f64 #s(literal 0 binary64) b2)) |
(/.f64 (neg.f64 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1))) b2) |
(/.f64 (neg.f64 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1))) (neg.f64 (*.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) b2)))) |
(/.f64 (/.f64 a1 (/.f64 #s(literal 1 binary64) a2)) b2) |
(/.f64 (/.f64 a2 (/.f64 #s(literal 1 binary64) a1)) b2) |
(/.f64 (/.f64 a1 (/.f64 #s(literal -1 binary64) a2)) (-.f64 #s(literal 0 binary64) b2)) |
(/.f64 (/.f64 a2 (/.f64 #s(literal -1 binary64) a1)) (-.f64 #s(literal 0 binary64) b2)) |
(/.f64 (/.f64 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1)) #s(literal -1 binary64)) b2) |
(/.f64 (-.f64 #s(literal 0 binary64) (*.f64 (-.f64 #s(literal 0 binary64) a1) #s(literal -1 binary64))) (-.f64 #s(literal 0 binary64) (/.f64 b2 a2))) |
(/.f64 (neg.f64 (*.f64 (-.f64 #s(literal 0 binary64) a1) #s(literal -1 binary64))) (-.f64 #s(literal 0 binary64) (/.f64 b2 a2))) |
(/.f64 (neg.f64 (*.f64 (-.f64 #s(literal 0 binary64) a1) (-.f64 #s(literal 0 binary64) a2))) (-.f64 #s(literal 0 binary64) b2)) |
(/.f64 (neg.f64 (neg.f64 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1)))) (-.f64 #s(literal 0 binary64) b2)) |
(/.f64 (neg.f64 (/.f64 a1 (/.f64 #s(literal -1 binary64) a2))) b2) |
(/.f64 (neg.f64 (/.f64 a1 (/.f64 #s(literal 1 binary64) a2))) (-.f64 #s(literal 0 binary64) b2)) |
(/.f64 (neg.f64 (*.f64 #s(literal 1 binary64) (*.f64 a2 a1))) (-.f64 #s(literal 0 binary64) b2)) |
(/.f64 (neg.f64 (*.f64 #s(literal 1 binary64) (*.f64 a2 (-.f64 #s(literal 0 binary64) a1)))) b2) |
(/.f64 (neg.f64 (*.f64 (*.f64 a2 a1) #s(literal 1 binary64))) (-.f64 #s(literal 0 binary64) b2)) |
(/.f64 (neg.f64 (*.f64 (*.f64 a2 a1) #s(literal -1 binary64))) b2) |
(/.f64 (neg.f64 (*.f64 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1)) #s(literal 1 binary64))) b2) |
(/.f64 (neg.f64 (/.f64 a2 (/.f64 #s(literal 1 binary64) a1))) (-.f64 #s(literal 0 binary64) b2)) |
(/.f64 (neg.f64 (/.f64 a2 (/.f64 #s(literal -1 binary64) a1))) b2) |
(/.f64 (neg.f64 (/.f64 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1)) #s(literal -1 binary64))) (-.f64 #s(literal 0 binary64) b2)) |
(pow.f64 (/.f64 a2 (/.f64 b2 a1)) #s(literal 1 binary64)) |
(pow.f64 (/.f64 b2 (*.f64 a2 a1)) #s(literal -1 binary64)) |
(pow.f64 (pow.f64 (/.f64 a2 (/.f64 b2 a1)) #s(literal 1/2 binary64)) #s(literal 2 binary64)) |
(pow.f64 (*.f64 (/.f64 b2 (*.f64 a2 a1)) (/.f64 b2 (*.f64 a2 a1))) #s(literal -1/2 binary64)) |
(pow.f64 (exp.f64 (log.f64 (/.f64 b2 (*.f64 a2 a1)))) #s(literal -1 binary64)) |
(*.f64 a2 (/.f64 a1 b2)) |
(*.f64 (/.f64 a2 b2) a1) |
(*.f64 a1 (/.f64 a2 b2)) |
(*.f64 (/.f64 a1 b2) a2) |
(*.f64 (/.f64 a2 (/.f64 b2 a1)) #s(literal 1 binary64)) |
(*.f64 (-.f64 #s(literal 0 binary64) a1) (-.f64 #s(literal 0 binary64) (/.f64 a2 b2))) |
(*.f64 (-.f64 #s(literal 0 binary64) a1) (*.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 b2)) #s(literal 1 binary64))) |
(*.f64 (/.f64 a1 (-.f64 #s(literal 0 binary64) b2)) (-.f64 #s(literal 0 binary64) a2)) |
(*.f64 (/.f64 a1 (-.f64 #s(literal 0 binary64) b2)) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) a2))) |
(*.f64 (-.f64 #s(literal 0 binary64) (/.f64 a2 b2)) (-.f64 #s(literal 0 binary64) a1)) |
(*.f64 (-.f64 #s(literal 0 binary64) a2) (/.f64 a1 (-.f64 #s(literal 0 binary64) b2))) |
(*.f64 #s(literal 1 binary64) (/.f64 a2 (/.f64 b2 a1))) |
(*.f64 (/.f64 #s(literal 1 binary64) b2) (*.f64 a2 a1)) |
(*.f64 (/.f64 #s(literal 1 binary64) b2) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (*.f64 a2 a1)))) |
(*.f64 (/.f64 #s(literal 1 binary64) b2) (/.f64 a1 (/.f64 #s(literal 1 binary64) a2))) |
(*.f64 (/.f64 #s(literal 1 binary64) b2) (/.f64 a2 (/.f64 #s(literal 1 binary64) a1))) |
(*.f64 #s(literal -1 binary64) (/.f64 a2 (/.f64 b2 (-.f64 #s(literal 0 binary64) a1)))) |
(*.f64 (*.f64 a2 a1) (/.f64 #s(literal 1 binary64) b2)) |
(*.f64 (*.f64 a2 (-.f64 #s(literal 0 binary64) a1)) (/.f64 #s(literal -1 binary64) b2)) |
(*.f64 (/.f64 #s(literal -1 binary64) b2) (*.f64 a2 (-.f64 #s(literal 0 binary64) a1))) |
(*.f64 (/.f64 #s(literal -1 binary64) b2) (/.f64 a1 (/.f64 #s(literal -1 binary64) a2))) |
(*.f64 (*.f64 (-.f64 #s(literal 0 binary64) a1) #s(literal -1 binary64)) (/.f64 a2 b2)) |
(*.f64 (*.f64 (-.f64 #s(literal 0 binary64) a1) (-.f64 #s(literal 0 binary64) a2)) (/.f64 #s(literal 1 binary64) b2)) |
(*.f64 (*.f64 #s(literal 1 binary64) (*.f64 a2 a1)) (/.f64 #s(literal 1 binary64) b2)) |
(*.f64 (*.f64 (*.f64 a2 a1) #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) b2)) |
(*.f64 (/.f64 a1 (/.f64 #s(literal 1 binary64) a2)) (/.f64 #s(literal 1 binary64) b2)) |
(*.f64 (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) a1)) (-.f64 #s(literal 0 binary64) (/.f64 a2 b2))) |
(*.f64 (/.f64 a2 (/.f64 #s(literal 1 binary64) a1)) (/.f64 #s(literal 1 binary64) b2)) |
(*.f64 (/.f64 a1 (/.f64 #s(literal -1 binary64) a2)) (/.f64 #s(literal -1 binary64) b2)) |
(*.f64 (/.f64 (/.f64 #s(literal 1 binary64) b2) #s(literal 1 binary64)) (/.f64 a1 (/.f64 #s(literal 1 binary64) a2))) |
(*.f64 (pow.f64 (/.f64 a2 (/.f64 b2 a1)) #s(literal 1/2 binary64)) (pow.f64 (/.f64 a2 (/.f64 b2 a1)) #s(literal 1/2 binary64))) |
(*.f64 (*.f64 (/.f64 a1 (-.f64 #s(literal 0 binary64) b2)) #s(literal -1 binary64)) a2) |
(exp.f64 (log.f64 (/.f64 b2 a2))) |
(exp.f64 (*.f64 (log.f64 (/.f64 b2 a2)) #s(literal 1 binary64))) |
(exp.f64 (-.f64 (*.f64 (log.f64 a2) #s(literal -1 binary64)) (*.f64 (log.f64 b2) #s(literal -1 binary64)))) |
(-.f64 #s(literal 0 binary64) (-.f64 #s(literal 0 binary64) (/.f64 b2 a2))) |
(-.f64 (/.f64 #s(literal 0 binary64) a2) (-.f64 #s(literal 0 binary64) (/.f64 b2 a2))) |
(-.f64 (/.f64 #s(literal 0 binary64) (/.f64 #s(literal -1 binary64) b2)) (-.f64 #s(literal 0 binary64) (/.f64 b2 a2))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) a2) #s(literal -1 binary64)) (-.f64 #s(literal 0 binary64) (/.f64 b2 a2))) |
(-.f64 (/.f64 (/.f64 #s(literal 0 binary64) a2) #s(literal 1 binary64)) (-.f64 #s(literal 0 binary64) (/.f64 b2 a2))) |
(neg.f64 (-.f64 #s(literal 0 binary64) (/.f64 b2 a2))) |
(/.f64 b2 a2) |
(/.f64 (/.f64 b2 a2) #s(literal 1 binary64)) |
(/.f64 (-.f64 #s(literal 0 binary64) (/.f64 b2 a2)) #s(literal -1 binary64)) |
(/.f64 (-.f64 #s(literal 0 binary64) b2) (-.f64 #s(literal 0 binary64) a2)) |
(/.f64 #s(literal 1 binary64) (/.f64 a2 b2)) |
(/.f64 (/.f64 #s(literal 1 binary64) a2) (/.f64 #s(literal 1 binary64) b2)) |
(/.f64 #s(literal -1 binary64) (-.f64 #s(literal 0 binary64) (/.f64 a2 b2))) |
(/.f64 (/.f64 #s(literal -1 binary64) a2) (/.f64 #s(literal -1 binary64) b2)) |
(/.f64 (*.f64 (-.f64 #s(literal 0 binary64) b2) #s(literal 1 binary64)) (-.f64 #s(literal 0 binary64) a2)) |
(/.f64 (*.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) b2)) (-.f64 #s(literal 0 binary64) a2)) |
(/.f64 (/.f64 (/.f64 #s(literal 1 binary64) a2) #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) b2)) |
(/.f64 (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) b2)) (-.f64 #s(literal 0 binary64) a2)) |
(/.f64 (-.f64 #s(literal 0 binary64) (*.f64 (-.f64 #s(literal 0 binary64) b2) #s(literal -1 binary64))) (-.f64 #s(literal 0 binary64) a2)) |
(/.f64 (neg.f64 (*.f64 (-.f64 #s(literal 0 binary64) b2) #s(literal 1 binary64))) a2) |
(/.f64 (neg.f64 (*.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) b2))) a2) |
(/.f64 (neg.f64 (/.f64 (/.f64 #s(literal 1 binary64) a2) #s(literal 1 binary64))) (/.f64 #s(literal -1 binary64) b2)) |
(/.f64 (neg.f64 (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) b2))) a2) |
(pow.f64 (/.f64 a2 b2) #s(literal -1 binary64)) |
(pow.f64 (/.f64 b2 a2) #s(literal 1 binary64)) |
(pow.f64 (*.f64 (/.f64 a2 b2) (/.f64 a2 b2)) #s(literal -1/2 binary64)) |
(pow.f64 (pow.f64 (/.f64 a2 b2) #s(literal -1/2 binary64)) #s(literal 2 binary64)) |
(*.f64 b2 (/.f64 #s(literal 1 binary64) a2)) |
(*.f64 b2 (/.f64 (/.f64 #s(literal 1 binary64) a2) #s(literal 1 binary64))) |
(*.f64 (/.f64 b2 a2) #s(literal 1 binary64)) |
(*.f64 (-.f64 #s(literal 0 binary64) b2) (/.f64 #s(literal -1 binary64) a2)) |
(*.f64 (-.f64 #s(literal 0 binary64) b2) (/.f64 (/.f64 #s(literal 1 binary64) a2) #s(literal -1 binary64))) |
(*.f64 #s(literal 1 binary64) (/.f64 b2 a2)) |
(*.f64 (/.f64 #s(literal 1 binary64) a2) b2) |
(*.f64 #s(literal -1 binary64) (-.f64 #s(literal 0 binary64) (/.f64 b2 a2))) |
(*.f64 (/.f64 #s(literal -1 binary64) a2) (-.f64 #s(literal 0 binary64) b2)) |
(*.f64 (/.f64 #s(literal -1 binary64) a2) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) b2))) |
(*.f64 (*.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) b2)) (/.f64 #s(literal -1 binary64) a2)) |
(*.f64 (/.f64 (/.f64 #s(literal 1 binary64) a2) #s(literal 1 binary64)) b2) |
(*.f64 (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) b2)) (/.f64 #s(literal -1 binary64) a2)) |
(*.f64 (pow.f64 (/.f64 a2 b2) #s(literal -1/2 binary64)) (pow.f64 (/.f64 a2 b2) #s(literal -1/2 binary64))) |
(*.f64 (*.f64 (/.f64 #s(literal -1 binary64) a2) #s(literal -1 binary64)) b2) |
(*.f64 (/.f64 (/.f64 #s(literal 1 binary64) a2) #s(literal -1 binary64)) (-.f64 #s(literal 0 binary64) b2)) |