Mul x0 atanh Add acoth Pow E Mul x0 x0 Add x0 x5 
Add atanh Add acoth Pow E Mul x0 x0 Add x0 x5 Mul x0 Mul Add Mul Mul Pow E Add Mul x0 x0 -1 Mul Mul E log E Add x0 x0 Pow Add 1 Mul -1 Mul Pow E Mul x0 x0 Pow E Mul x0 x0 -1 1 Pow Add 1 Mul -1 Mul Add acoth Pow E Mul x0 x0 Add x0 x5 Add acoth Pow E Mul x0 x0 Add x0 x5 -1 