add eval-with-timeout