Pow x3 acoth Pow Mul x0 Mul x0 Mul x0 x6 Pow acos Pow x0 x0 pi 
Mul Pow x3 Add acoth Pow Mul x0 Mul x0 Mul x0 x6 Pow acos Pow x0 x0 pi -1 Mul Mul x3 log x3 Mul Mul Pow Mul x0 Mul x0 Mul x0 x6 Add Pow acos Pow x0 x0 pi -1 Add Mul Pow acos Pow x0 x0 pi Add Mul x0 Mul x0 x6 Mul x0 Add Mul x0 x6 Mul x0 x6 Mul Mul Mul x0 Mul x0 Mul x0 x6 log Mul x0 Mul x0 Mul x0 x6 Mul Pow acos Pow x0 x0 Add pi -1 Mul pi Mul -1 Mul Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Pow sqrt Add 1 Mul -1 Mul Pow x0 x0 Pow x0 x0 -1 Pow Add 1 Mul -1 Mul Pow Mul x0 Mul x0 Mul x0 x6 Pow acos Pow x0 x0 pi Pow Mul x0 Mul x0 Mul x0 x6 Pow acos Pow x0 x0 pi -1 