atanh Mul x4 Add acot E Pow Add x5 csch x0 Mul sqrt x5 Add x0 -4 
Mul Mul x4 Mul Pow Add x5 csch x0 Add Mul sqrt x5 Add x0 -4 -1 Add Mul Mul sqrt x5 Add x0 -4 Mul Mul -1 coth x0 csch x0 Mul Mul Add x5 csch x0 log Add x5 csch x0 sqrt x5 Pow Add 1 Mul -1 Mul Mul x4 Add acot E Pow Add x5 csch x0 Mul sqrt x5 Add x0 -4 Mul x4 Add acot E Pow Add x5 csch x0 Mul sqrt x5 Add x0 -4 -1 