Add Pow x0 Pow acsch pi csc Mul Mul x0 acsc x4 x0 2 
Mul Pow x0 Add Pow acsch pi csc Mul Mul x0 acsc x4 x0 -1 Add Pow acsch pi csc Mul Mul x0 acsc x4 x0 Mul Mul x0 log x0 Mul Pow acsch pi Add csc Mul Mul x0 acsc x4 x0 -1 Mul Mul acsch pi log acsch pi Mul Mul Mul -1 cot Mul Mul x0 acsc x4 x0 csc Mul Mul x0 acsc x4 x0 Add Mul x0 acsc x4 Mul x0 acsc x4 