Mul Mul x0 Add acsch x5 Pow acoth x4 atanh Add x2 x0 x0 
Add Mul x0 Add Add acsch x5 Pow acoth x4 atanh Add x2 x0 Mul x0 Mul Pow acoth x4 Add atanh Add x2 x0 -1 Mul Mul acoth x4 log acoth x4 Pow Add 1 Mul -1 Mul Add x2 x0 Add x2 x0 -1 Mul x0 Add acsch x5 Pow acoth x4 atanh Add x2 x0 