Mul x0 sqrt Mul x6 Mul pi Pow acoth Add x1 cot x0 x0 
Add sqrt Mul x6 Mul pi Pow acoth Add x1 cot x0 x0 Mul x0 Mul Pow Mul 2 sqrt Mul x6 Mul pi Pow acoth Add x1 cot x0 x0 -1 Mul x6 Mul pi Mul Pow acoth Add x1 cot x0 Add x0 -1 Add Mul x0 Mul Mul -1 Pow csc x0 2 Pow Add 1 Mul -1 Mul Add x1 cot x0 Add x1 cot x0 -1 Mul acoth Add x1 cot x0 log acoth Add x1 cot x0 