Pow atanh x5 Mul Mul Add x0 x0 Pow acoth Mul 2 x0 4 E 
Mul Pow atanh x5 Add Mul Mul Add x0 x0 Pow acoth Mul 2 x0 4 E -1 Mul Mul atanh x5 log atanh x5 Mul E Add Mul Pow acoth Mul 2 x0 4 2 Mul Add x0 x0 Mul Pow acoth Mul 2 x0 3 Mul 4 Mul 2 Pow Add 1 Mul -1 Mul Mul 2 x0 Mul 2 x0 -1 