Mul x0 Pow atanh csc x0 Pow x0 Mul atan x0 Mul pi acsch x7 
Add Pow atanh csc x0 Pow x0 Mul atan x0 Mul pi acsch x7 Mul x0 Mul Pow atanh csc x0 Add Pow x0 Mul atan x0 Mul pi acsch x7 -1 Add Mul Pow x0 Mul atan x0 Mul pi acsch x7 Mul Mul Mul -1 cot x0 csc x0 Pow Add 1 Mul -1 Mul csc x0 csc x0 -1 Mul Mul atanh csc x0 log atanh csc x0 Mul Pow x0 Add Mul atan x0 Mul pi acsch x7 -1 Add Mul atan x0 Mul pi acsch x7 Mul Mul x0 log x0 Mul Mul pi acsch x7 Pow Add 1 Mul x0 x0 -1 