atanh Mul Mul x5 x1 Pow Pow 7 Add Add x0 acoth x0 Mul asec x2 Add x0 Mul Mul Pow x0 x0 2 x0 -1 
Mul Mul Mul x5 x1 Mul Pow Pow 7 Add Add x0 acoth x0 Mul asec x2 Add x0 Mul Mul Pow x0 x0 2 x0 2 Mul -1 Mul Pow 7 Add Add Add x0 acoth x0 Mul asec x2 Add x0 Mul Mul Pow x0 x0 2 x0 -1 Mul 8.94591014905531 Add Add 1 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul asec x2 Add 1 Add Mul x0 Mul 2 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Mul Pow x0 x0 2 Pow Add 1 Mul -1 Mul Mul Mul x5 x1 Pow Pow 7 Add Add x0 acoth x0 Mul asec x2 Add x0 Mul Mul Pow x0 x0 2 x0 -1 Mul Mul x5 x1 Pow Pow 7 Add Add x0 acoth x0 Mul asec x2 Add x0 Mul Mul Pow x0 x0 2 x0 -1 -1 