let mathd-algebra-13 = `!a:real b:real.
    (!x. &4 * x / (x pow 2 - &8 * x + &15) = a / (x - &3) + b / (x - &5))
==>
    a = -- &6 /\ b = &10
`;;