Mul E Pow Add Add exp log x6 sinh csc Mul x0 x6 acsch E x0 
Mul E Mul Pow Add Add exp log x6 sinh csc Mul x0 x6 acsch E Add x0 -1 Add Mul x0 Mul cosh csc Mul x0 x6 Mul Mul Mul -1 cot Mul x0 x6 csc Mul x0 x6 x6 Mul Add Add exp log x6 sinh csc Mul x0 x6 acsch E log Add Add exp log x6 sinh csc Mul x0 x6 acsch E 