Mul Pow 3 Pow cot x0 Add x0 Mul 5 acoth x7 Pow x5 Mul x7 x0 
Add Mul Pow x5 Mul x7 x0 Mul Pow 3 Add Pow cot x0 Add x0 Mul 5 acoth x7 -1 Mul 4.09861228866811 Mul Pow cot x0 Add Add x0 Mul 5 acoth x7 -1 Add Mul Add x0 Mul 5 acoth x7 Mul -1 Pow csc x0 2 Mul cot x0 log cot x0 Mul Pow 3 Pow cot x0 Add x0 Mul 5 acoth x7 Mul Pow x5 Add Mul x7 x0 -1 Mul Mul x5 log x5 x7 