atanh acoth Pow x0 Mul -1 x6 
Mul Mul Mul Pow x0 Add Mul -1 x6 -1 Mul -1 x6 Pow Add 1 Mul -1 Mul Pow x0 Mul -1 x6 Pow x0 Mul -1 x6 -1 Pow Add 1 Mul -1 Mul acoth Pow x0 Mul -1 x6 acoth Pow x0 Mul -1 x6 -1 