sqrt Pow Add sech Mul acos acoth x7 E E x0 
Mul Pow Mul 2 sqrt Pow Add sech Mul acos acoth x7 E E x0 -1 Mul Pow Add sech Mul acos acoth x7 E E Add x0 -1 Mul Add sech Mul acos acoth x7 E E log Add sech Mul acos acoth x7 E E 