Mul -2 Add Mul x5 x0 coth Add x2 Add Mul cosh Add Mul x0 x0 x0 x5 Mul asech x0 Mul log x0 3 
Mul -2 Add x5 Mul Mul -1 Pow csch Add x2 Add Mul cosh Add Mul x0 x0 x0 x5 Mul asech x0 Mul log x0 3 2 Add Mul x5 Mul sinh Add Mul x0 x0 x0 Add Add x0 x0 1 Add Mul Mul log x0 3 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul asech x0 Mul 3 Pow x0 -1 