Pow x7 Add x0 Pow Add x0 x3 Mul x1 Mul x0 sqrt Add Pow Pow x0 Add x0 3 x0 Mul acsch acoth x6 pi 
Mul Pow x7 Add Add x0 Pow Add x0 x3 Mul x1 Mul x0 sqrt Add Pow Pow x0 Add x0 3 x0 Mul acsch acoth x6 pi -1 Mul Mul x7 log x7 Add 1 Mul Pow Add x0 x3 Add Mul x1 Mul x0 sqrt Add Pow Pow x0 Add x0 3 x0 Mul acsch acoth x6 pi -1 Add Mul x1 Mul x0 sqrt Add Pow Pow x0 Add x0 3 x0 Mul acsch acoth x6 pi Mul Mul Add x0 x3 log Add x0 x3 Mul x1 Add sqrt Add Pow Pow x0 Add x0 3 x0 Mul acsch acoth x6 pi Mul x0 Mul Pow Mul 2 sqrt Add Pow Pow x0 Add x0 3 x0 Mul acsch acoth x6 pi -1 Mul Pow Pow x0 Add x0 3 Add x0 -1 Add Mul x0 Mul Pow x0 Add Add x0 3 -1 Add Add x0 3 Mul x0 log x0 Mul Pow x0 Add x0 3 log Pow x0 Add x0 3 