What is the trigonometric form of 8e7π12i?