atanh Mul Mul Pow x0 -4 Pow coth x0 sec x3 x0 
Mul Add Mul x0 Add Mul Pow coth x0 sec x3 Mul Pow x0 5 -4 Mul Pow x0 -4 Mul Pow coth x0 Add sec x3 -1 Mul sec x3 Mul -1 Pow csch x0 2 Mul Pow x0 -4 Pow coth x0 sec x3 Pow Add 1 Mul -1 Mul Mul Mul Pow x0 -4 Pow coth x0 sec x3 x0 Mul Mul Pow x0 -4 Pow coth x0 sec x3 x0 -1 