Mul 4 Mul atanh Mul x0 Add x4 coth x0 asech x0 
Mul 4 Add Mul asech x0 Mul Add Add x4 coth x0 Mul x0 Mul -1 Pow csch x0 2 Pow Add 1 Mul -1 Mul Mul x0 Add x4 coth x0 Mul x0 Add x4 coth x0 -1 Mul atanh Mul x0 Add x4 coth x0 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 