Pow Add Mul x0 2 Add Add acsch Mul x4 x0 1 x3 coth Mul x0 x7 
Mul Pow Add Mul x0 2 Add Add acsch Mul x4 x0 1 x3 Add coth Mul x0 x7 -1 Add Mul coth Mul x0 x7 Add 2 Mul Mul -1 x4 Pow Mul Mul Mul x4 x0 Mul x4 x0 sqrt Add 1 Mul -1 Pow Mul Mul x4 x0 Mul x4 x0 -1 -1 Mul Mul Add Mul x0 2 Add Add acsch Mul x4 x0 1 x3 log Add Mul x0 2 Add Add acsch Mul x4 x0 1 x3 Mul Mul -1 Pow csch Mul x0 x7 2 x7 