Mul Mul asinh Pow E acoth Mul 2 x0 acoth x0 sqrt Add x4 x0 
Add Mul sqrt Add x4 x0 Add Mul acoth x0 Mul Mul Pow E Add acoth Mul 2 x0 -1 Mul Mul E log E Mul 2 Pow Add 1 Mul -1 Mul Mul 2 x0 Mul 2 x0 -1 Pow sqrt Add 1 Mul Pow E acoth Mul 2 x0 Pow E acoth Mul 2 x0 -1 Mul asinh Pow E acoth Mul 2 x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul asinh Pow E acoth Mul 2 x0 acoth x0 Pow Mul 2 sqrt Add x4 x0 -1 