Mul Pow x0 Pow csc x0 acot asech pi E 
Mul E Mul Pow x0 Add Pow csc x0 acot asech pi -1 Add Pow csc x0 acot asech pi Mul Mul x0 log x0 Mul Pow csc x0 Add acot asech pi -1 Mul acot asech pi Mul Mul -1 cot x0 csc x0 