работник a отнема 12 часа, за да свърши работа . работник b отнема 15 часа, за да свърши същата работа . колко време отнема както a & b , работейки заедно, но самостоятелно , за да свърши същата работа ?
"a ' s едночасов труд  1 / 12 . b ' s едночасов труд  1 / 15 . ( a + b ) ' s едночасов труд  1 / 12 + 1 / 15  9 / 60  3 / 20 . и двете a & b могат да завършат работата за 20 / 3 дни e"
divide(const_1, add(divide(const_1, 12), divide(const_1, 15)))