let mathd-algebra-455 = `!x:real.
    (&2 * (&2 * (&2 * (&2 * x))) = &48)
==>
    x = &3
`;;