sentence1: the cns is based on an arbitrary-order taylor series method and the arbitrary multiple-precision data , together with a check of solution verification .
sentence2: the cns is based on the arbitrary taylor series method , together with a solution verification check by comparing different numerical simulations .