let mathd-algebra-314 = `!n:num.
    (n = 11)
==>
    (&1 / &4) pow (n + 1) * &(2 EXP (2 * n)) = &1 / &4
`;;