Mul x0 Pow acoth Mul Mul -3 Add sech sqrt x0 x0 pi x0 
Add Pow acoth Mul Mul -3 Add sech sqrt x0 x0 pi x0 Mul x0 Mul Pow acoth Mul Mul -3 Add sech sqrt x0 x0 pi Add x0 -1 Add Mul x0 Mul Mul pi Mul -3 Add Mul Mul tanh sqrt x0 Mul -1 sech sqrt x0 Pow Mul 2 sqrt x0 -1 1 Pow Add 1 Mul -1 Mul Mul Mul -3 Add sech sqrt x0 x0 pi Mul Mul -3 Add sech sqrt x0 x0 pi -1 Mul acoth Mul Mul -3 Add sech sqrt x0 x0 pi log acoth Mul Mul -3 Add sech sqrt x0 x0 pi 