>>458
その置換は却って面倒ではないか
分子を
  x^2 = ( 1 + x^2 ) - 1
として整理する