Decomposition into terms#849