Symbolic computation on a second-order KdV equation. (May 2016)