acos coth Pow atanh Add x2 -2 Pow Pow csch acoth sec x0 -1 x6 
Mul -1 Mul Mul Mul -1 Pow csch Pow atanh Add x2 -2 Pow Pow csch acoth sec x0 -1 x6 2 Mul Pow atanh Add x2 -2 Add Pow Pow csch acoth sec x0 -1 x6 -1 Mul Mul atanh Add x2 -2 log atanh Add x2 -2 Mul Pow Pow csch acoth sec x0 -1 Add x6 -1 Mul x6 Mul Pow csch acoth sec x0 2 Mul -1 Mul Mul Mul -1 coth acoth sec x0 csch acoth sec x0 Mul Mul tan x0 sec x0 Pow Add 1 Mul -1 Mul sec x0 sec x0 -1 Pow sqrt Add 1 Mul -1 Mul coth Pow atanh Add x2 -2 Pow Pow csch acoth sec x0 -1 x6 coth Pow atanh Add x2 -2 Pow Pow csch acoth sec x0 -1 x6 -1 