Mul x4 tan Mul x0 log Mul tan Mul coth x0 Add x6 3 Add x0 exp Mul E asinh x0 
Mul x4 Mul Pow sec Mul x0 log Mul tan Mul coth x0 Add x6 3 Add x0 exp Mul E asinh x0 2 Add log Mul tan Mul coth x0 Add x6 3 Add x0 exp Mul E asinh x0 Mul x0 Mul Add Mul Add x0 exp Mul E asinh x0 Mul Pow sec Mul coth x0 Add x6 3 2 Mul Add x6 3 Mul -1 Pow csch x0 2 Mul tan Mul coth x0 Add x6 3 Add 1 Mul exp Mul E asinh x0 Mul E Pow sqrt Add 1 Mul x0 x0 -1 Pow Mul tan Mul coth x0 Add x6 3 Add x0 exp Mul E asinh x0 -1 