; seed : #(1065767146 1567806045 1856802035 1672802504 2070886570 609046914)

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

; timed out
(lambda ((a default) (b default) (c default))
  #:name "(- b (sin (pow 1.5928625625579355e-85 c)))"
  (- b (sin (pow 1.5928625625579355e-85 c))))