Add -4 exp Pow sech csc x5 Pow cos acos coth x0 x0 
Mul exp Pow sech csc x5 Pow cos acos coth x0 x0 Mul Pow sech csc x5 Add Pow cos acos coth x0 x0 -1 Mul Mul sech csc x5 log sech csc x5 Mul Pow cos acos coth x0 Add x0 -1 Add Mul x0 Mul Mul -1 sin acos coth x0 Mul -1 Mul Mul -1 Pow csch x0 2 Pow sqrt Add 1 Mul -1 Mul coth x0 coth x0 -1 Mul cos acos coth x0 log cos acos coth x0 