csc Mul x0 Add acsch x4 Pow Mul pi acot x0 Pow x3 x0 
Mul Mul Mul -1 cot Mul x0 Add acsch x4 Pow Mul pi acot x0 Pow x3 x0 csc Mul x0 Add acsch x4 Pow Mul pi acot x0 Pow x3 x0 Add Add acsch x4 Pow Mul pi acot x0 Pow x3 x0 Mul x0 Mul Pow Mul pi acot x0 Add Pow x3 x0 -1 Add Mul Pow x3 x0 Mul pi Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Mul Mul pi acot x0 log Mul pi acot x0 Mul Pow x3 Add x0 -1 Mul x3 log x3 