Един работник може да зареди един камион за 5 часа. втори работник може да зареди същия камион за 4 часа. ако и двамата работници зареждат един камион едновременно, като същевременно поддържат постоянните си ставки, приблизително колко време, в часове, ще им отнеме да напълнят един камион?
"работниците запълват камиона със скорост 1 / 5 + 1 / 4  9 / 20 на камиона на час . тогава времето за запълване на един камион е 20 / 9, което е около 2,2 часa . отговорът е c ."
inverse(add(divide(const_1, 5), divide(const_1, 4)))