Mul x7 exp cbrt Mul Pow x0 Add x0 Pow acoth x6 atanh x0 x0 
Mul x7 Mul exp cbrt Mul Pow x0 Add x0 Pow acoth x6 atanh x0 x0 Mul Pow Mul Mul 3 cbrt Mul Pow x0 Add x0 Pow acoth x6 atanh x0 x0 cbrt Mul Pow x0 Add x0 Pow acoth x6 atanh x0 x0 -1 Add Mul x0 Mul Pow x0 Add Add x0 Pow acoth x6 atanh x0 -1 Add Add x0 Pow acoth x6 atanh x0 Mul Mul x0 log x0 Add 1 Mul Pow acoth x6 Add atanh x0 -1 Mul Mul acoth x6 log acoth x6 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow x0 Add x0 Pow acoth x6 atanh x0 