2*(x-7)+1+2*(13-x)+1