prod_{k=1}^22(tan(2k-1)/tan(2k))