Add atanh Mul Add Mul x3 Pow coth x0 asinh Mul x0 -4 x0 2 Mul x0 x0 
Add Mul Mul 2 Add Mul x3 Mul Pow coth x0 Add asinh Mul x0 -4 -1 Add Mul asinh Mul x0 -4 Mul -1 Pow csch x0 2 Mul Mul coth x0 log coth x0 Mul -4 Pow sqrt Add 1 Mul Mul x0 -4 Mul x0 -4 -1 1 Pow Add 1 Mul -1 Mul Mul Add Mul x3 Pow coth x0 asinh Mul x0 -4 x0 2 Mul Add Mul x3 Pow coth x0 asinh Mul x0 -4 x0 2 -1 Add x0 x0 