; seed : #(1065639804 936413623 2655205282 2235462195 918319548 1069991914)

; flags :
;   rules      = (arithmetic polynomials fractions exponents trigonometry)
;   setup      = (simplify)
;   reduce     = (post-process taylor simplify avg-error)
;   generate   = (rr taylor simplify)
;   precision  = (double)

; timed out
(lambda ((x1 default) (x2 default))
  #:name "Rosa's FloatVsDoubleBenchmark"
  (+ x1 (+ (+ (+ (+ (* (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))) (+ (* x1 x1) 1)) (* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (* (* x1 x1) x1)) x1) (* 3 (/ (- (- (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))))))

; crashed
(lambda ((a default) (b default) (c default) (d default))
  #:name "Expression, p14"
  (* a (+ (+ b c) d)))

; crashed
(lambda ((a default) (b default))
  #:name "Expression 4, p15"
  (* (+ a b) (+ a b)))

; crashed
(lambda ((a default) (b default) (c default))
  #:name "Area of a triangle"
  (sqrt (* (* (* (/ (+ (+ a b) c) 2) (- (/ (+ (+ a b) c) 2) a)) (- (/ (+ (+ a b) c) 2) b)) (- (/ (+ (+ a b) c) 2) c))))