library(testthat) library(symengine) test_check("symengine")