sqrt(2)^17 cos(-17pi/4) + 4/5 * sqrt(9)^12