Pow Pow Add x0 sqrt x6 Add x0 x0 acoth Mul pi -3 
Mul Pow Pow Add x0 sqrt x6 Add x0 x0 Add acoth Mul pi -3 -1 Mul acoth Mul pi -3 Mul Pow Add x0 sqrt x6 Add Add x0 x0 -1 Add Add x0 x0 Mul Mul Add x0 sqrt x6 log Add x0 sqrt x6 2 