Runtime

Time bar (total: 10.0m)Debug log

herbie shell --seed '#(991339738 1419949195 2842012120 4157638069 1320221275 2092628673)' 
(FPCore (v w r)
  :name "Rosa's TurbineBenchmark"
  (- (- (+ 3 (/ 2 (* r r))) (/ (* (* 0.125 (- 3 (* 2 v))) (* (* (* w w) r) r)) (- 1 v))) 4.5))