simplify: (5+7v^2-v^4)-(8v^4-8v^2+3)