Add x0 csc Mul csc Mul x0 atan asech acoth asinh x4 x5 
Add 1 Mul Mul Mul -1 cot Mul csc Mul x0 atan asech acoth asinh x4 x5 csc Mul csc Mul x0 atan asech acoth asinh x4 x5 Mul x5 Mul Mul Mul -1 cot Mul x0 atan asech acoth asinh x4 csc Mul x0 atan asech acoth asinh x4 atan asech acoth asinh x4 