Mul cosh acoth x0 Mul -3 Add Mul atan Mul asech Add Mul E x1 x3 Pow 4 x0 x0 Add acoth x0 1 
Add Mul Mul -3 Add Mul atan Mul asech Add Mul E x1 x3 Pow 4 x0 x0 Add acoth x0 1 Mul sinh acoth x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul cosh acoth x0 Mul -3 Add Add Mul x0 Mul Mul asech Add Mul E x1 x3 Mul Pow 4 Add x0 -1 5.38629436111989 Pow Add 1 Mul Mul asech Add Mul E x1 x3 Pow 4 x0 Mul asech Add Mul E x1 x3 Pow 4 x0 -1 atan Mul asech Add Mul E x1 x3 Pow 4 x0 Pow Add 1 Mul -1 Mul x0 x0 -1 