atanh Add Pow Mul 2 csch x2 Add x0 x6 1 
Mul Mul Pow Mul 2 csch x2 Add Add x0 x6 -1 Mul Mul 2 csch x2 log Mul 2 csch x2 Pow Add 1 Mul -1 Mul Add Pow Mul 2 csch x2 Add x0 x6 1 Add Pow Mul 2 csch x2 Add x0 x6 1 -1 