tan(sqrt(2))