Pow Mul acoth pi Mul Add -1 acsch Add tan Pow cosh x3 x0 x0 x0 Mul x7 sqrt cosh x6 
Mul Pow Mul acoth pi Mul Add -1 acsch Add tan Pow cosh x3 x0 x0 x0 Add Mul x7 sqrt cosh x6 -1 Mul Mul x7 sqrt cosh x6 Mul acoth pi Add Mul x0 Mul Mul -1 Add Mul Pow sec Pow cosh x3 x0 2 Mul Pow cosh x3 Add x0 -1 Mul cosh x3 log cosh x3 1 Pow Mul Mul Add tan Pow cosh x3 x0 x0 Add tan Pow cosh x3 x0 x0 sqrt Add 1 Mul -1 Pow Mul Add tan Pow cosh x3 x0 x0 Add tan Pow cosh x3 x0 x0 -1 -1 Add -1 acsch Add tan Pow cosh x3 x0 x0 