Add Pow x4 Mul x2 Pow x0 Mul coth Pow atan sec x3 x0 E Mul x4 x0 
Add Mul Pow x4 Add Mul x2 Pow x0 Mul coth Pow atan sec x3 x0 E -1 Mul Mul x4 log x4 Mul x2 Mul Pow x0 Add Mul coth Pow atan sec x3 x0 E -1 Add Mul coth Pow atan sec x3 x0 E Mul Mul x0 log x0 Mul E Mul Mul -1 Pow csch Pow atan sec x3 x0 2 Mul Pow atan sec x3 Add x0 -1 Mul atan sec x3 log atan sec x3 x4 