(4sqrt(17))(cos(arctan(1/4)-4))