1/8*(sqrt(7) + 2 tan^(-1)(sqrt(7)) - 8 tan^(-1)(sqrt(7)/5))