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