Mul Pow sec x2 Pow tan Pow x0 x0 Pow x5 coth exp E coth x0 
Add Mul coth x0 Mul Pow sec x2 Add Pow tan Pow x0 x0 Pow x5 coth exp E -1 Mul Mul sec x2 log sec x2 Mul Pow tan Pow x0 x0 Add Pow x5 coth exp E -1 Mul Pow x5 coth exp E Mul Pow sec Pow x0 x0 2 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Mul Pow sec x2 Pow tan Pow x0 x0 Pow x5 coth exp E Mul -1 Pow csch x0 2 