Mul x0 Pow csch Mul -1 x0 Pow tan coth Pow E x2 Mul Pow x0 cosh x3 -4 
Add Pow csch Mul -1 x0 Pow tan coth Pow E x2 Mul Pow x0 cosh x3 -4 Mul x0 Mul Pow csch Mul -1 x0 Add Pow tan coth Pow E x2 Mul Pow x0 cosh x3 -4 -1 Add Mul Pow tan coth Pow E x2 Mul Pow x0 cosh x3 -4 Mul Mul Mul -1 coth Mul -1 x0 csch Mul -1 x0 -1 Mul Mul csch Mul -1 x0 log csch Mul -1 x0 Mul Pow tan coth Pow E x2 Add Mul Pow x0 cosh x3 -4 -1 Mul Mul tan coth Pow E x2 log tan coth Pow E x2 Mul -4 Mul Pow x0 Add cosh x3 -1 cosh x3 