Pow Pow Add -4 acot acosh x5 Pow x4 Add cot Pow x2 Mul x0 Add x0 x7 x0 x0 
Mul Pow Pow Add -4 acot acosh x5 Pow x4 Add cot Pow x2 Mul x0 Add x0 x7 x0 Add x0 -1 Add Mul x0 Mul Pow Add -4 acot acosh x5 Add Pow x4 Add cot Pow x2 Mul x0 Add x0 x7 x0 -1 Mul Mul Add -4 acot acosh x5 log Add -4 acot acosh x5 Mul Pow x4 Add Add cot Pow x2 Mul x0 Add x0 x7 x0 -1 Mul Mul x4 log x4 Add Mul Mul -1 Pow csc Pow x2 Mul x0 Add x0 x7 2 Mul Pow x2 Add Mul x0 Add x0 x7 -1 Mul Mul x2 log x2 Add Add x0 x7 x0 1 Mul Pow Add -4 acot acosh x5 Pow x4 Add cot Pow x2 Mul x0 Add x0 x7 x0 log Pow Add -4 acot acosh x5 Pow x4 Add cot Pow x2 Mul x0 Add x0 x7 x0 