Add Pow Pow Add x0 acot E x0 x0 coth Pow x5 acot log x0 
Add Mul Pow Pow Add x0 acot E x0 Add x0 -1 Add Mul x0 Mul Pow Add x0 acot E Add x0 -1 Add x0 Mul Add x0 acot E log Add x0 acot E Mul Pow Add x0 acot E x0 log Pow Add x0 acot E x0 Mul Mul -1 Pow csch Pow x5 acot log x0 2 Mul Pow x5 Add acot log x0 -1 Mul Mul x5 log x5 Mul -1 Mul Pow x0 -1 Pow Add 1 Mul log x0 log x0 -1 