Mul Add Add 1 Pow acot acsch E Mul 3 x0 x0 Add x0 tanh acoth sech x0 
Add Mul Add x0 tanh acoth sech x0 Add Mul Pow acot acsch E Add Mul 3 x0 -1 Mul Mul acot acsch E log acot acsch E 3 1 Mul Add Add 1 Pow acot acsch E Mul 3 x0 x0 Add 1 Mul Pow sech acoth sech x0 2 Mul Mul tanh x0 Mul -1 sech x0 Pow Add 1 Mul -1 Mul sech x0 sech x0 -1 