2cos(72)+2cos(144)