Pow Pow x0 Mul Mul x0 pi Add asin Add x0 x0 Pow acoth x0 pi x7 
Mul Pow Pow x0 Mul Mul x0 pi Add asin Add x0 x0 Pow acoth x0 pi Add x7 -1 Mul x7 Mul Pow x0 Add Mul Mul x0 pi Add asin Add x0 x0 Pow acoth x0 pi -1 Add Mul Mul x0 pi Add asin Add x0 x0 Pow acoth x0 pi Mul Mul x0 log x0 Add Mul Add asin Add x0 x0 Pow acoth x0 pi pi Mul Mul x0 pi Add Mul 2 Pow sqrt Add 1 Mul -1 Mul Add x0 x0 Add x0 x0 -1 Mul Pow acoth x0 Add pi -1 Mul pi Pow Add 1 Mul -1 Mul x0 x0 -1 