(cos (23pi/112) ) *(sin (pi/12))=?