acoth Mul 2 Mul x0 Pow Pow x2 x0 sech E 
Mul Mul 2 Add Pow Pow x2 x0 sech E Mul x0 Mul Pow Pow x2 x0 Add sech E -1 Mul sech E Mul Pow x2 Add x0 -1 Mul x2 log x2 Pow Add 1 Mul -1 Mul Mul 2 Mul x0 Pow Pow x2 x0 sech E Mul 2 Mul x0 Pow Pow x2 x0 sech E -1 