3 cos(9pi/6) + 5