Add Pow x0 Add x0 Pow Pow Mul E x4 x3 Pow Mul x0 5 5 cot Pow acoth x1 x0 
Add Mul Pow x0 Add Add x0 Pow Pow Mul E x4 x3 Pow Mul x0 5 5 -1 Add Add x0 Pow Pow Mul E x4 x3 Pow Mul x0 5 5 Mul Mul x0 log x0 Add 1 Mul Pow Pow Mul E x4 x3 Add Pow Mul x0 5 5 -1 Mul Mul Pow Mul E x4 x3 log Pow Mul E x4 x3 Mul Pow Mul x0 5 4 10 Mul Mul -1 Pow csc Pow acoth x1 x0 2 Mul Pow acoth x1 Add x0 -1 Mul acoth x1 log acoth x1 