Mul Mul Mul cot Mul Pow atanh Add x7 sec acos E x0 x2 x0 Pow Pow 2 x1 Add x2 x4 Add x0 x0 
Add Mul Add x0 x0 Mul Pow Pow 2 x1 Add x2 x4 Add Mul x0 Mul Mul -1 Pow csc Mul Pow atanh Add x7 sec acos E x0 x2 2 Mul x2 Mul Pow atanh Add x7 sec acos E Add x0 -1 Mul atanh Add x7 sec acos E log atanh Add x7 sec acos E cot Mul Pow atanh Add x7 sec acos E x0 x2 Mul Mul Mul cot Mul Pow atanh Add x7 sec acos E x0 x2 x0 Pow Pow 2 x1 Add x2 x4 2 