Add Add pi x0 Mul x0 csch Pow Mul csch x7 Pow acot x0 x0 x3 
Add 1 Add csch Pow Mul csch x7 Pow acot x0 x0 x3 Mul x0 Mul Mul Mul -1 coth Pow Mul csch x7 Pow acot x0 x0 x3 csch Pow Mul csch x7 Pow acot x0 x0 x3 Mul Pow Mul csch x7 Pow acot x0 x0 Add x3 -1 Mul x3 Mul csch x7 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 