atanh Mul Pow acot Mul x0 x0 acot tanh Pow Mul E x0 x0 pi 
Mul Mul pi Mul Pow acot Mul x0 x0 Add acot tanh Pow Mul E x0 x0 -1 Add Mul acot tanh Pow Mul E x0 x0 Mul -1 Mul Add x0 x0 Pow Add 1 Mul Mul x0 x0 Mul x0 x0 -1 Mul Mul acot Mul x0 x0 log acot Mul x0 x0 Mul -1 Mul Mul Pow sech Pow Mul E x0 x0 2 Mul Pow Mul E x0 Add x0 -1 Add Mul x0 E Mul Mul E x0 log Mul E x0 Pow Add 1 Mul tanh Pow Mul E x0 x0 tanh Pow Mul E x0 x0 -1 Pow Add 1 Mul -1 Mul Mul Pow acot Mul x0 x0 acot tanh Pow Mul E x0 x0 pi Mul Pow acot Mul x0 x0 acot tanh Pow Mul E x0 x0 pi -1 