Mul x7 Add Pow Pow coth sqrt Pow x0 -3 x2 Add atan acos x0 Mul x0 pi Add 2 Add x3 x0 
Mul x7 Add Mul Pow Pow coth sqrt Pow x0 -3 x2 Add Add atan acos x0 Mul x0 pi -1 Add Mul Add atan acos x0 Mul x0 pi Mul Pow coth sqrt Pow x0 -3 Add x2 -1 Mul x2 Mul Mul -1 Pow csch sqrt Pow x0 -3 2 Mul Pow Mul 2 sqrt Pow x0 -3 -1 Mul Pow x0 4 -3 Mul Mul Pow coth sqrt Pow x0 -3 x2 log Pow coth sqrt Pow x0 -3 x2 Add Mul Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul acos x0 acos x0 -1 pi 1 