atan coth Mul Pow Add E pi Mul x0 acoth x0 Add exp cot x0 acsc E 
Mul Mul Mul -1 Pow csch Mul Pow Add E pi Mul x0 acoth x0 Add exp cot x0 acsc E 2 Add Mul Add exp cot x0 acsc E Mul Pow Add E pi Add Mul x0 acoth x0 -1 Mul Mul Add E pi log Add E pi Add acoth x0 Mul x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Pow Add E pi Mul x0 acoth x0 Mul exp cot x0 Mul -1 Pow csc x0 2 Pow Add 1 Mul coth Mul Pow Add E pi Mul x0 acoth x0 Add exp cot x0 acsc E coth Mul Pow Add E pi Mul x0 acoth x0 Add exp cot x0 acsc E -1 