cot Mul x0 Pow atanh Add Pow Add x0 -3 Mul Add x0 x0 Mul x7 acosh Mul x3 x7 x1 x6 
Mul Mul -1 Pow csc Mul x0 Pow atanh Add Pow Add x0 -3 Mul Add x0 x0 Mul x7 acosh Mul x3 x7 x1 x6 2 Add Pow atanh Add Pow Add x0 -3 Mul Add x0 x0 Mul x7 acosh Mul x3 x7 x1 x6 Mul x0 Mul Pow atanh Add Pow Add x0 -3 Mul Add x0 x0 Mul x7 acosh Mul x3 x7 x1 Add x6 -1 Mul x6 Mul Mul Pow Add x0 -3 Add Mul Add x0 x0 Mul x7 acosh Mul x3 x7 -1 Add Mul Add x0 x0 Mul x7 acosh Mul x3 x7 Mul Mul Add x0 -3 log Add x0 -3 Mul Mul x7 acosh Mul x3 x7 2 Pow Add 1 Mul -1 Mul Add Pow Add x0 -3 Mul Add x0 x0 Mul x7 acosh Mul x3 x7 x1 Add Pow Add x0 -3 Mul Add x0 x0 Mul x7 acosh Mul x3 x7 x1 -1 