Add Add Mul Pow acot x0 x0 Add Mul csch Mul acot Mul x0 -1 E x0 Add Add x0 1 x1 x0 Mul acsch x0 x6 
Add Add Add Mul Add Mul csch Mul acot Mul x0 -1 E x0 Add Add x0 1 x1 Mul Pow acot x0 Add x0 -1 Add Mul x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul acot x0 log acot x0 Mul Pow acot x0 x0 Add Add Mul x0 Mul Mul Mul -1 coth Mul acot Mul x0 -1 E csch Mul acot Mul x0 -1 E Mul E Mul -1 Mul -1 Pow Add 1 Mul Mul x0 -1 Mul x0 -1 -1 csch Mul acot Mul x0 -1 E 1 1 Mul x6 Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 