Mul Mul x0 Mul coth log Pow acoth x0 Add x4 3 x0 5 
Mul 5 Add Mul coth log Pow acoth x0 Add x4 3 x0 Mul x0 Add Mul x0 Mul Mul -1 Pow csch log Pow acoth x0 Add x4 3 2 Mul Mul Pow acoth x0 Add Add x4 3 -1 Mul Add x4 3 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Pow acoth x0 Add x4 3 -1 coth log Pow acoth x0 Add x4 3 