Add Pow Pow acoth x4 -2 Pow x0 x7 asech Pow x7 Add Pow Add x0 -3 cot acos x0 asin x0 
Add Mul Pow Pow acoth x4 -2 Add Pow x0 x7 -1 Mul Mul Pow acoth x4 -2 log Pow acoth x4 -2 Mul Pow x0 Add x7 -1 x7 Mul Mul Pow x7 Add Add Pow Add x0 -3 cot acos x0 asin x0 -1 Mul Mul x7 log x7 Add Mul Pow Add x0 -3 Add cot acos x0 -1 Add cot acos x0 Mul Mul Add x0 -3 log Add x0 -3 Mul Mul -1 Pow csc acos x0 2 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Mul Mul Pow x7 Add Pow Add x0 -3 cot acos x0 asin x0 Pow x7 Add Pow Add x0 -3 cot acos x0 asin x0 sqrt Add 1 Mul -1 Pow Mul Pow x7 Add Pow Add x0 -3 cot acos x0 asin x0 Pow x7 Add Pow Add x0 -3 cot acos x0 asin x0 -1 -1 