tā / huā le / yī xià wǔ / tuī dǎo / dì tuī gōng shì他花了一下午推导递推公式。He spent the whole afternoon deriving the recurrence formula.