Mul Mul Pow x5 x0 asinh Add Add x0 Add 4 x1 x0 Pow coth x2 x0 
Add Mul Pow coth x2 x0 Add Mul asinh Add Add x0 Add 4 x1 x0 Mul Pow x5 Add x0 -1 Mul x5 log x5 Mul Pow x5 x0 Mul 2 Pow sqrt Add 1 Mul Add Add x0 Add 4 x1 x0 Add Add x0 Add 4 x1 x0 -1 Mul Mul Pow x5 x0 asinh Add Add x0 Add 4 x1 x0 Mul Pow coth x2 Add x0 -1 Mul coth x2 log coth x2 