int_(-sqrt(sqrt(2) - 1))^sqrt(sqrt(2) - 1) sqrt(2 + 4 t^2) dt