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