Mul Pow csch Pow 4 E Add Pow acos acot x0 cosh x5 x0 x6 
Mul x6 Mul Pow csch Pow 4 E Add Add Pow acos acot x0 cosh x5 x0 -1 Mul Mul csch Pow 4 E log csch Pow 4 E Add Mul Pow acos acot x0 Add cosh x5 -1 Mul cosh x5 Mul -1 Mul Mul -1 Pow Add 1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul acot x0 acot x0 -1 1 