Merge pull request #1317 from acoustoelectrically/main

Adding a benchmark

Author: pavpanchekha

bench/demo.fpcore

@@ -67,3 +67,9 @@
   :precision binary64
   :pre (and (<= -1e9 a 1e9) (<= -1e9 b 1e9) (<= -1e9 c 1e9))
   (pow (/ (- (* 3.0 (* a c)) (pow b 2.0)) (* 9.0 (pow a 2.0))) 3.0))
+
+(FPCore (x a)
+  :name "Success Probability"
+  :precision binary64
+  :pre (and (<= 0.0 x 1) (<= 1/3 a 3.0))
+  (- 1.0 (pow (- 1.0 x) a)))