Pow E atanh Add Pow pi x0 Mul Pow x0 Mul 4 sqrt x3 Add cosh x0 Pow acoth E x0 
Mul Pow E Add atanh Add Pow pi x0 Mul Pow x0 Mul 4 sqrt x3 Add cosh x0 Pow acoth E x0 -1 Mul Mul E log E Mul Add Mul Pow pi Add x0 -1 Mul pi log pi Add Mul Add cosh x0 Pow acoth E x0 Mul Pow x0 Add Mul 4 sqrt x3 -1 Mul 4 sqrt x3 Mul Pow x0 Mul 4 sqrt x3 Add sinh x0 Mul Pow acoth E Add x0 -1 Mul acoth E log acoth E Pow Add 1 Mul -1 Mul Add Pow pi x0 Mul Pow x0 Mul 4 sqrt x3 Add cosh x0 Pow acoth E x0 Add Pow pi x0 Mul Pow x0 Mul 4 sqrt x3 Add cosh x0 Pow acoth E x0 -1 