Mul Mul Pow csc atanh Add x0 x0 x0 cosh x6 atan Pow x0 x1 
Add Mul atan Pow x0 x1 Mul cosh x6 Mul Pow csc atanh Add x0 x0 Add x0 -1 Add Mul x0 Mul Mul Mul -1 cot atanh Add x0 x0 csc atanh Add x0 x0 Mul 2 Pow Add 1 Mul -1 Mul Add x0 x0 Add x0 x0 -1 Mul csc atanh Add x0 x0 log csc atanh Add x0 x0 Mul Mul Pow csc atanh Add x0 x0 x0 cosh x6 Mul Mul Pow x0 Add x1 -1 x1 Pow Add 1 Mul Pow x0 x1 Pow x0 x1 -1 