Mul Mul Pow Add Mul acoth x0 Pow x0 Pow x6 acoth x1 x6 -1 x0 acsch x1 
Mul acsch x1 Add Mul x0 Mul Pow Add Mul acoth x0 Pow x0 Pow x6 acoth x1 x6 2 Mul -1 Add Mul Pow x0 Pow x6 acoth x1 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul acoth x0 Mul Pow x0 Add Pow x6 acoth x1 -1 Pow x6 acoth x1 Pow Add Mul acoth x0 Pow x0 Pow x6 acoth x1 x6 -1 