Pow Add Add x2 Add x7 x3 Mul x0 Pow x0 acoth Mul x5 cot log x6 x2 
Mul Pow Add Add x2 Add x7 x3 Mul x0 Pow x0 acoth Mul x5 cot log x6 Add x2 -1 Mul x2 Add Pow x0 acoth Mul x5 cot log x6 Mul x0 Mul Pow x0 Add acoth Mul x5 cot log x6 -1 acoth Mul x5 cot log x6 