acoth Mul Mul Add Pow x0 exp Mul 3 log Add x1 x0 x0 E sinh x1 
Mul Mul sinh x1 Mul E Add Mul Pow x0 Add exp Mul 3 log Add x1 x0 -1 Add exp Mul 3 log Add x1 x0 Mul Mul x0 log x0 Mul exp Mul 3 log Add x1 x0 Mul 3 Pow Add x1 x0 -1 1 Pow Add 1 Mul -1 Mul Mul Mul Add Pow x0 exp Mul 3 log Add x1 x0 x0 E sinh x1 Mul Mul Add Pow x0 exp Mul 3 log Add x1 x0 x0 E sinh x1 -1 