Using formal group laws: Some explicit calculations