What is the trigonometric form of # 8 e^( ( 7 pi)/12 i ) #?