Timeout in 1.0m

Use the --timeout flag to change the timeout.

Runtime

Time bar (total: 1.0m)Debug log

herbie shell --seed '#(2775764126 3555076145 3898259844 1891440260 2599947619 1948460636)' 
(FPCore (F_00 F_01 F_10 F_11 o_y r_x o_x r_y x_1 x_2 r_z y_1 y_2 o_z)
  :name "-1/2*((F_00 - F_01 - F_10 + F_11)*o_y*r_x - (F_00 - F_01 - F_10 + F_11)*o_x*r_y + (F_10 - F_11)*r_y*x_1 - (F_00 - F_01)*r_y*x_2 + ((F_01 - F_11)*r_x - r_z*x_1 + r_z*x_2)*y_1 - ((F_00 - F_10)*r_x - r_z*x_1 + r_z*x_2)*y_2 - sqrt((F_00^2 - 2*F_00*F_01 + F_01^2 - 2*(F_00 - F_01)*F_10 + F_10^2 + 2*(F_00 - F_01 - F_10)*F_11 + F_11^2)*o_y^2*r_x^2 - 2*(F_00^2 - 2*F_00*F_01 + F_01^2 - 2*(F_00 - F_01)*F_10 + F_10^2 + 2*(F_00 - F_01 - F_10)*F_11 + F_11^2)*o_x*o_y*r_x*r_y + (F_00^2 - 2*F_00*F_01 + F_01^2 - 2*(F_00 - F_01)*F_10 + F_10^2 + 2*(F_00 - F_01 - F_10)*F_11 + F_11^2)*o_x^2*r_y^2 + (F_10^2 - 2*F_10*F_11 + F_11^2)*r_y^2*x_1^2 + (F_00^2 - 2*F_00*F_01 + F_01^2)*r_y^2*x_2^2 - (2*(F_01 - F_11)*r_x*r_z*x_1 - r_z^2*x_1^2 - r_z^2*x_2^2 - (F_01^2 - 2*F_01*F_11 + F_11^2)*r_x^2 - 2*((F_01 - F_11)*r_x*r_z - r_z^2*x_1)*x_2)*y_1^2 - (2*(F_00 - F_10)*r_x*r_z*x_1 - r_z^2*x_1^2 - r_z^2*x_2^2 - (F_00^2 - 2*F_00*F_10 + F_10^2)*r_x^2 - 2*((F_00 - F_10)*r_x*r_z - r_z^2*x_1)*x_2)*y_2^2 - 2*(((F_00 - F_01)*F_10 - F_10^2 - (F_00 - F_01 - 2*F_10)*F_11 - F_11^2)*o_y*r_x*r_y - ((F_00 - F_01)*F_10 - F_10^2 - (F_00 - F_01 - 2*F_10)*F_11 - F_11^2)*o_x*r_y^2)*x_1 + 2*((F_00^2 - 2*F_00*F_01 + F_01^2 - (F_00 - F_01)*F_10 + (F_00 - F_01)*F_11)*o_y*r_x*r_y - (F_00^2 - 2*F_00*F_01 + F_01^2 - (F_00 - F_01)*F_10 + (F_00 - F_01)*F_11)*o_x*r_y^2 - ((F_00 - F_01)*F_10 - (F_00 - F_01)*F_11)*r_y^2*x_1)*x_2 - 2*((F_10 - F_11)*r_y*r_z*x_1^2 + (F_00 - F_01)*r_y*r_z*x_2^2 - (F_00*F_01 - F_01^2 - F_01*F_10 - (F_00 - 2*F_01 - F_10)*F_11 - F_11^2)*o_y*r_x^2 + (F_00*F_01 - F_01^2 - F_01*F_10 - (F_00 - 2*F_01 - F_10)*F_11 - F_11^2)*o_x*r_x*r_y - ((F_01*F_10 - (2*F_00 - F_01 - F_10)*F_11 - F_11^2 + 2*(F_00 - F_01 - F_10 + F_11)*o_z)*r_x*r_y - ((F_00 - F_01 - F_10 + F_11)*o_y*r_x + (F_00 - F_01 - F_10 + F_11)*o_x*r_y)*r_z)*x_1 - ((F_00 - F_01 + F_10 - F_11)*r_y*r_z*x_1 + (F_00*F_01 - F_01^2 - 2*F_01*F_10 + (F_00 + F_01)*F_11 - 2*(F_00 - F_01 - F_10 + F_11)*o_z)*r_x*r_y + ((F_00 - F_01 - F_10 + F_11)*o_y*r_x + (F_00 - F_01 - F_10 + F_11)*o_x*r_y)*r_z)*x_2)*y_1 + 2*((F_10 - F_11)*r_y*r_z*x_1^2 + (F_00 - F_01)*r_y*r_z*x_2^2 - (F_00^2 - F_00*F_01 - (2*F_00 - F_01)*F_10 + F_10^2 + (F_00 - F_10)*F_11)*o_y*r_x^2 + (F_00^2 - F_00*F_01 - (2*F_00 - F_01)*F_10 + F_10^2 + (F_00 - F_10)*F_11)*o_x*r_x*r_y + (((F_00 - 2*F_01)*F_10 - F_10^2 + (F_00 + F_10)*F_11 - 2*(F_00 - F_01 - F_10 + F_11)*o_z)*r_x*r_y + ((F_00 - F_01 - F_10 + F_11)*o_y*r_x + (F_00 - F_01 - F_10 + F_11)*o_x*r_y)*r_z)*x_1 - ((F_00 - F_01 + F_10 - F_11)*r_y*r_z*x_1 + (F_00^2 - F_00*F_01 - (F_00 + F_01)*F_10 + 2*F_00*F_11 - 2*(F_00 - F_01 - F_10 + F_11)*o_z)*r_x*r_y + ((F_00 - F_01 - F_10 + F_11)*o_y*r_x + (F_00 - F_01 - F_10 + F_11)*o_x*r_y)*r_z)*x_2 + ((F_00 + F_01 - F_10 - F_11)*r_x*r_z*x_1 - r_z^2*x_1^2 - r_z^2*x_2^2 - (F_00*F_01 - F_01*F_10 - (F_00 - F_10)*F_11)*r_x^2 - ((F_00 + F_01 - F_10 - F_11)*r_x*r_z - 2*r_z^2*x_1)*x_2)*y_1)*y_2))/((F_00 - F_01 - F_10 + F_11)*r_y)"
  (/ (* (/ (- 1) 2) (- (- (+ (- (+ (- (* (* (+ (- (- F_00 F_01) F_10) F_11) o_y) r_x) (* (* (+ (- (- F_00 F_01) F_10) F_11) o_x) r_y)) (* (* (- F_10 F_11) r_y) x_1)) (* (* (- F_00 F_01) r_y) x_2)) (* (+ (- (* (- F_01 F_11) r_x) (* r_z x_1)) (* r_z x_2)) y_1)) (* (+ (- (* (- F_00 F_10) r_x) (* r_z x_1)) (* r_z x_2)) y_2)) (sqrt (+ (- (+ (- (- (- (+ (+ (+ (- (* (* (+ (+ (+ (- (+ (- (pow F_00 2) (* (* 2 F_00) F_01)) (pow F_01 2)) (* (* 2 (- F_00 F_01)) F_10)) (pow F_10 2)) (* (* 2 (- (- F_00 F_01) F_10)) F_11)) (pow F_11 2)) (pow o_y 2)) (pow r_x 2)) (* (* (* (* (* 2 (+ (+ (+ (- (+ (- (pow F_00 2) (* (* 2 F_00) F_01)) (pow F_01 2)) (* (* 2 (- F_00 F_01)) F_10)) (pow F_10 2)) (* (* 2 (- (- F_00 F_01) F_10)) F_11)) (pow F_11 2))) o_x) o_y) r_x) r_y)) (* (* (+ (+ (+ (- (+ (- (pow F_00 2) (* (* 2 F_00) F_01)) (pow F_01 2)) (* (* 2 (- F_00 F_01)) F_10)) (pow F_10 2)) (* (* 2 (- (- F_00 F_01) F_10)) F_11)) (pow F_11 2)) (pow o_x 2)) (pow r_y 2))) (* (* (+ (- (pow F_10 2) (* (* 2 F_10) F_11)) (pow F_11 2)) (pow r_y 2)) (pow x_1 2))) (* (* (+ (- (pow F_00 2) (* (* 2 F_00) F_01)) (pow F_01 2)) (pow r_y 2)) (pow x_2 2))) (* (- (- (- (- (* (* (* (* 2 (- F_01 F_11)) r_x) r_z) x_1) (* (pow r_z 2) (pow x_1 2))) (* (pow r_z 2) (pow x_2 2))) (* (+ (- (pow F_01 2) (* (* 2 F_01) F_11)) (pow F_11 2)) (pow r_x 2))) (* (* 2 (- (* (* (- F_01 F_11) r_x) r_z) (* (pow r_z 2) x_1))) x_2)) (pow y_1 2))) (* (- (- (- (- (* (* (* (* 2 (- F_00 F_10)) r_x) r_z) x_1) (* (pow r_z 2) (pow x_1 2))) (* (pow r_z 2) (pow x_2 2))) (* (+ (- (pow F_00 2) (* (* 2 F_00) F_10)) (pow F_10 2)) (pow r_x 2))) (* (* 2 (- (* (* (- F_00 F_10) r_x) r_z) (* (pow r_z 2) x_1))) x_2)) (pow y_2 2))) (* (* 2 (- (* (* (* (- (- (- (* (- F_00 F_01) F_10) (pow F_10 2)) (* (- (- F_00 F_01) (* 2 F_10)) F_11)) (pow F_11 2)) o_y) r_x) r_y) (* (* (- (- (- (* (- F_00 F_01) F_10) (pow F_10 2)) (* (- (- F_00 F_01) (* 2 F_10)) F_11)) (pow F_11 2)) o_x) (pow r_y 2)))) x_1)) (* (* 2 (- (- (* (* (* (+ (- (+ (- (pow F_00 2) (* (* 2 F_00) F_01)) (pow F_01 2)) (* (- F_00 F_01) F_10)) (* (- F_00 F_01) F_11)) o_y) r_x) r_y) (* (* (+ (- (+ (- (pow F_00 2) (* (* 2 F_00) F_01)) (pow F_01 2)) (* (- F_00 F_01) F_10)) (* (- F_00 F_01) F_11)) o_x) (pow r_y 2))) (* (* (- (* (- F_00 F_01) F_10) (* (- F_00 F_01) F_11)) (pow r_y 2)) x_1))) x_2)) (* (* 2 (- (- (+ (- (+ (* (* (* (- F_10 F_11) r_y) r_z) (pow x_1 2)) (* (* (* (- F_00 F_01) r_y) r_z) (pow x_2 2))) (* (* (- (- (- (- (* F_00 F_01) (pow F_01 2)) (* F_01 F_10)) (* (- (- F_00 (* 2 F_01)) F_10) F_11)) (pow F_11 2)) o_y) (pow r_x 2))) (* (* (* (- (- (- (- (* F_00 F_01) (pow F_01 2)) (* F_01 F_10)) (* (- (- F_00 (* 2 F_01)) F_10) F_11)) (pow F_11 2)) o_x) r_x) r_y)) (* (- (* (* (+ (- (- (* F_01 F_10) (* (- (- (* 2 F_00) F_01) F_10) F_11)) (pow F_11 2)) (* (* 2 (+ (- (- F_00 F_01) F_10) F_11)) o_z)) r_x) r_y) (* (+ (* (* (+ (- (- F_00 F_01) F_10) F_11) o_y) r_x) (* (* (+ (- (- F_00 F_01) F_10) F_11) o_x) r_y)) r_z)) x_1)) (* (+ (+ (* (* (* (- (+ (- F_00 F_01) F_10) F_11) r_y) r_z) x_1) (* (* (- (+ (- (- (* F_00 F_01) (pow F_01 2)) (* (* 2 F_01) F_10)) (* (+ F_00 F_01) F_11)) (* (* 2 (+ (- (- F_00 F_01) F_10) F_11)) o_z)) r_x) r_y)) (* (+ (* (* (+ (- (- F_00 F_01) F_10) F_11) o_y) r_x) (* (* (+ (- (- F_00 F_01) F_10) F_11) o_x) r_y)) r_z)) x_2))) y_1)) (* (* 2 (+ (- (+ (+ (- (+ (* (* (* (- F_10 F_11) r_y) r_z) (pow x_1 2)) (* (* (* (- F_00 F_01) r_y) r_z) (pow x_2 2))) (* (* (+ (+ (- (- (pow F_00 2) (* F_00 F_01)) (* (- (* 2 F_00) F_01) F_10)) (pow F_10 2)) (* (- F_00 F_10) F_11)) o_y) (pow r_x 2))) (* (* (* (+ (+ (- (- (pow F_00 2) (* F_00 F_01)) (* (- (* 2 F_00) F_01) F_10)) (pow F_10 2)) (* (- F_00 F_10) F_11)) o_x) r_x) r_y)) (* (+ (* (* (- (+ (- (* (- F_00 (* 2 F_01)) F_10) (pow F_10 2)) (* (+ F_00 F_10) F_11)) (* (* 2 (+ (- (- F_00 F_01) F_10) F_11)) o_z)) r_x) r_y) (* (+ (* (* (+ (- (- F_00 F_01) F_10) F_11) o_y) r_x) (* (* (+ (- (- F_00 F_01) F_10) F_11) o_x) r_y)) r_z)) x_1)) (* (+ (+ (* (* (* (- (+ (- F_00 F_01) F_10) F_11) r_y) r_z) x_1) (* (* (- (+ (- (- (pow F_00 2) (* F_00 F_01)) (* (+ F_00 F_01) F_10)) (* (* 2 F_00) F_11)) (* (* 2 (+ (- (- F_00 F_01) F_10) F_11)) o_z)) r_x) r_y)) (* (+ (* (* (+ (- (- F_00 F_01) F_10) F_11) o_y) r_x) (* (* (+ (- (- F_00 F_01) F_10) F_11) o_x) r_y)) r_z)) x_2)) (* (- (- (- (- (* (* (* (- (- (+ F_00 F_01) F_10) F_11) r_x) r_z) x_1) (* (pow r_z 2) (pow x_1 2))) (* (pow r_z 2) (pow x_2 2))) (* (- (- (* F_00 F_01) (* F_01 F_10)) (* (- F_00 F_10) F_11)) (pow r_x 2))) (* (- (* (* (- (- (+ F_00 F_01) F_10) F_11) r_x) r_z) (* (* 2 (pow r_z 2)) x_1)) x_2)) y_1))) y_2))))) (* (+ (- (- F_00 F_01) F_10) F_11) r_y)))