Pow Mul Mul Pow acoth x3 Add coth log Mul x5 coth x0 x0 x0 acoth x0 -5 
Mul Pow Mul Mul Pow acoth x3 Add coth log Mul x5 coth x0 x0 x0 acoth x0 6 Mul -5 Add Mul acoth x0 Add Mul x0 Mul Pow acoth x3 Add Add coth log Mul x5 coth x0 x0 -1 Mul Mul acoth x3 log acoth x3 Add Mul Mul -1 Pow csch log Mul x5 coth x0 2 Mul Mul x5 Mul -1 Pow csch x0 2 Pow Mul x5 coth x0 -1 1 Pow acoth x3 Add coth log Mul x5 coth x0 x0 Mul Mul Pow acoth x3 Add coth log Mul x5 coth x0 x0 x0 Pow Add 1 Mul -1 Mul x0 x0 -1 