(1-t) / (sqrt(1+t^2))*(sqrt(2)) == 0.5