csch Pow x6 atanh Mul x0 x3 
Mul Mul Mul -1 coth Pow x6 atanh Mul x0 x3 csch Pow x6 atanh Mul x0 x3 Mul Pow x6 Add atanh Mul x0 x3 -1 Mul Mul x6 log x6 Mul x3 Pow Add 1 Mul -1 Mul Mul x0 x3 Mul x0 x3 -1 