atanh Add Add Pow x2 Mul x6 x0 x0 tan csch Pow x0 -3 
Mul Add Add Mul Pow x2 Add Mul x6 x0 -1 Mul Mul x2 log x2 x6 1 Mul Pow sec csch Pow x0 -3 2 Mul Mul Mul -1 coth Pow x0 -3 csch Pow x0 -3 Mul Pow x0 4 -3 Pow Add 1 Mul -1 Mul Add Add Pow x2 Mul x6 x0 x0 tan csch Pow x0 -3 Add Add Pow x2 Mul x6 x0 x0 tan csch Pow x0 -3 -1 