Symbolic manipulation with form 2 by Vermaseren