Timeout after 10.0m

Use the --timeout flag to change the timeout.

\[\frac{a1 \cdot a2}{b1 \cdot b2}\]

\frac{a1 \cdot a2}{b1 \cdot b2}

double code(double a1, double a2, double b1, double b2) {
	return ((double) (((double) (a1 * a2)) / ((double) (b1 * b2))));
}

Reproduce

herbie shell --seed 2020114 
(FPCore (a1 a2 b1 b2)
  :name "Quotient of products"
  :precision binary64

  :herbie-target
  (* (/ a1 b1) (/ a2 b2))

  (/ (* a1 a2) (* b1 b2)))