let mathd-algebra-114 = `!a:real. (a = &8) ==> exp (&1 / &3 * ln (exp (&1 / &3 * ln (&16 * (a pow 2))))) = &4`;;