let mathd-algebra-176 = `!x:real. (x + &1) pow 2 * x = x pow 3 + &2 * x pow 2 + x`;;