Question 930585
{{{tan(x/2) = tan(x)/(1 + sqrt(1 + tan^2(x)))}}}  for -pi/2 < x < pi/2
{{{tan(22.5) = 1/(1 + sqrt(2)) = sqrt(2) - 1}}}