let mathd-algebra-245 = `!x:real.
    ~(x = &0)
==>
    inv (&4 / x) * ((&3 * x pow 3) / x) pow 2 * (inv (&1 / (&2 * x))) pow 3 = &18 * x pow 8
`;;