t - x = √(1+x^2)
の置換は暗記ですか？