diff -r 7f6838b3474a -r 5b1e1432c320 NEWS
--- a/NEWS	Tue Sep 06 07:45:18 2011 -0700
+++ b/NEWS	Tue Sep 06 07:48:59 2011 -0700
@@ -276,6 +276,7 @@
   real_squared_diff_one_factored ~> square_diff_one_factored
   realpow_two_diff ~> square_diff_square_factored
   reals_complete2 ~> complete_real
+  real_sum_squared_expand ~> power2_sum
   exp_ln_eq ~> ln_unique
   expi_add ~> exp_add
   expi_zero ~> exp_zero