acot Pow Mul Mul -1 Pow E x0 Add Mul asech Add x0 cosh x4 2 x1 x0 
Mul -1 Mul Mul Pow Mul Mul -1 Pow E x0 Add Mul asech Add x0 cosh x4 2 x1 Add x0 -1 Add Mul x0 Add Mul Add Mul asech Add x0 cosh x4 2 x1 Mul -1 Mul Pow E Add x0 -1 Mul E log E Mul Mul -1 Pow E x0 Mul 2 Pow Mul Mul Add x0 cosh x4 Add x0 cosh x4 sqrt Add 1 Mul -1 Pow Mul Add x0 cosh x4 Add x0 cosh x4 -1 -1 Mul Mul Mul -1 Pow E x0 Add Mul asech Add x0 cosh x4 2 x1 log Mul Mul -1 Pow E x0 Add Mul asech Add x0 cosh x4 2 x1 Pow Add 1 Mul Pow Mul Mul -1 Pow E x0 Add Mul asech Add x0 cosh x4 2 x1 x0 Pow Mul Mul -1 Pow E x0 Add Mul asech Add x0 cosh x4 2 x1 x0 -1 