Mul Mul Pow acot acsc x0 Mul x0 exp Mul cosh x2 x0 Add Mul Add x0 pi atan acosh x0 coth x0 x7 
Mul x7 Add Mul Add Mul Add x0 pi atan acosh x0 coth x0 Mul Pow acot acsc x0 Add Mul x0 exp Mul cosh x2 x0 -1 Add Mul Mul x0 exp Mul cosh x2 x0 Mul -1 Mul Mul -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Pow Add 1 Mul acsc x0 acsc x0 -1 Mul Mul acot acsc x0 log acot acsc x0 Add exp Mul cosh x2 x0 Mul x0 Mul exp Mul cosh x2 x0 cosh x2 Mul Pow acot acsc x0 Mul x0 exp Mul cosh x2 x0 Add Add atan acosh x0 Mul Add x0 pi Mul Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow Add 1 Mul acosh x0 acosh x0 -1 Mul -1 Pow csch x0 2 