A new symbolic computation for formal integration with exact power series (O. Kizmar)