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