Pow acoth x6 Mul 4 sqrt Add Add x0 sec x6 Mul cot x0 -3 
Mul Pow acoth x6 Add Mul 4 sqrt Add Add x0 sec x6 Mul cot x0 -3 -1 Mul Mul acoth x6 log acoth x6 Mul 4 Mul Pow Mul 2 sqrt Add Add x0 sec x6 Mul cot x0 -3 -1 Add 1 Mul -3 Mul -1 Pow csc x0 2 