Pow Mul x1 Add Pow x0 exp csch Mul x0 x5 pi acoth x0 
Mul Pow Mul x1 Add Pow x0 exp csch Mul x0 x5 pi Add acoth x0 -1 Add Mul acoth x0 Mul x1 Mul Pow x0 Add exp csch Mul x0 x5 -1 Add exp csch Mul x0 x5 Mul Mul x0 log x0 Mul exp csch Mul x0 x5 Mul Mul Mul -1 coth Mul x0 x5 csch Mul x0 x5 x5 Mul Mul Mul x1 Add Pow x0 exp csch Mul x0 x5 pi log Mul x1 Add Pow x0 exp csch Mul x0 x5 pi Pow Add 1 Mul -1 Mul x0 x0 -1 