👤

Cos pi/12 + cos 5pi/12