Runtime

Time bar (total: 10.0m)Debug logProfile

herbie shell --seed 2018198 
(FPCore (a b c)
  :name "Quadratic roots, full range"
  (/ (+ (- b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)))