let mathd-algebra-59 = `!b:real. exp (b * ln (&4)) + &(2 EXP 3) = &12 ==> b = &1`;;