Mul atanh Mul Mul x0 Mul Pow E 2 x7 acsch x5 Pow E Pow x1 Mul x0 Add x5 -2 
Add Mul Pow E Pow x1 Mul x0 Add x5 -2 Mul Mul acsch x5 Mul Pow E 2 x7 Pow Add 1 Mul -1 Mul Mul Mul x0 Mul Pow E 2 x7 acsch x5 Mul Mul x0 Mul Pow E 2 x7 acsch x5 -1 Mul atanh Mul Mul x0 Mul Pow E 2 x7 acsch x5 Mul Pow E Add Pow x1 Mul x0 Add x5 -2 -1 Mul Mul E log E Mul Pow x1 Add Mul x0 Add x5 -2 -1 Mul Mul x1 log x1 Add x5 -2 