Mul atan csc Add acsch x5 Add -1 x0 x0 
Add Mul x0 Mul Mul Mul -1 cot Add acsch x5 Add -1 x0 csc Add acsch x5 Add -1 x0 Pow Add 1 Mul csc Add acsch x5 Add -1 x0 csc Add acsch x5 Add -1 x0 -1 atan csc Add acsch x5 Add -1 x0 