WolframAlpha computational knowledge AI
is tan(x) a bijection on (-pi/2,pi/2)