Add pi Add Pow x4 coth sqrt cosh Add x0 Mul 3 x0 x0 
Add Mul Pow x4 Add coth sqrt cosh Add x0 Mul 3 x0 -1 Mul Mul x4 log x4 Mul Mul -1 Pow csch sqrt cosh Add x0 Mul 3 x0 2 Mul Pow Mul 2 sqrt cosh Add x0 Mul 3 x0 -1 Mul sinh Add x0 Mul 3 x0 4 1 