(1+tan^2(22.5))/(2tan22.5 degrees)