atanh Mul Mul Mul Mul 3 x0 Add -4 acoth x0 x0 asec x1 
Mul Mul asec x1 Add Mul x0 Add Mul Add -4 acoth x0 3 Mul Mul 3 x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul 3 x0 Add -4 acoth x0 Pow Add 1 Mul -1 Mul Mul Mul Mul Mul 3 x0 Add -4 acoth x0 x0 asec x1 Mul Mul Mul Mul 3 x0 Add -4 acoth x0 x0 asec x1 -1 