0.8*(1.25+12.5)有简便吗?怎么算