cuda simplifier developed. 'without proper conclusion' error remained