Mul x6 Pow Add acoth x2 -4 Add x1 acos Add Mul x5 x0 Pow x0 Mul cot Mul x7 x1 Pow coth x2 x0 
Mul x6 Mul Pow Add acoth x2 -4 Add Add x1 acos Add Mul x5 x0 Pow x0 Mul cot Mul x7 x1 Pow coth x2 x0 -1 Mul Mul Add acoth x2 -4 log Add acoth x2 -4 Mul -1 Mul Add x5 Mul Pow x0 Add Mul cot Mul x7 x1 Pow coth x2 x0 -1 Add Mul cot Mul x7 x1 Pow coth x2 x0 Mul Mul x0 log x0 Mul cot Mul x7 x1 Mul Pow coth x2 Add x0 -1 Mul coth x2 log coth x2 Pow sqrt Add 1 Mul -1 Mul Add Mul x5 x0 Pow x0 Mul cot Mul x7 x1 Pow coth x2 x0 Add Mul x5 x0 Pow x0 Mul cot Mul x7 x1 Pow coth x2 x0 -1 