Added sympy automatic verification. Added word split (use -w option). Other modifications to regexp.