def main(argv):
logger.set_log_level(Logger.EXTRA)
dom = Domain(0, 1.5707963267948966)
dom.add_denormal(0, 2**-126)
dom.add_normal(2**-126, 1.5707963267948966)
res = SollyaResult("sin(x)", dom, [1, 3, 5, 7], FP64())
logger("Execution time: {}".format(timer.elapsed()))
