Skip to content

Instantly share code, notes, and snippets.

@bhargavkulk

bhargavkulk/output.txt

Created June 28, 2024 16:34
Show Gist options
  • Save bhargavkulk/fa4f59d62d44a4243d3495d624e15a74 to your computer and use it in GitHub Desktop.
Save bhargavkulk/fa4f59d62d44a4243d3495d624e15a74 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
output.txt
(FPCore (a b c)
(/ 1.0 (/ (/ a (- b (sqrt (fma a (* c -4.0) (pow b 2.0))))) -0.5)))
fma-define
[ 2, 1, 2, 2, 1 ]
ltr
--------------------
(FPCore (a b c)
(/ 1.0 (/ (/ a (- b (sqrt (+ (* a (* c -4.0)) (pow b 2.0))))) -0.5)))
associate-*r*
[ 2, 1, 2, 2, 1, 1 ]
rtl
--------------------
(FPCore (a b c)
(/ 1.0 (/ (/ a (- b (sqrt (+ (* (* a c) -4.0) (pow b 2.0))))) -0.5)))
fma-undefine
[ 2, 1, 2, 2, 1 ]
ltr
--------------------
(FPCore (a b c)
(/ 1.0 (/ (/ a (- b (sqrt (fma (* a c) -4.0 (pow b 2.0))))) -0.5)))
associate-/r*
[ 2 ]
ltr
--------------------
(FPCore (a b c)
(/ 1.0 (/ a (* (- b (sqrt (fma (* a c) -4.0 (pow b 2.0)))) -0.5))))
#f
[]
goal
--------------------
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment