acoth Pow x0 Pow x0 Mul Pow Pow Pow sqrt x0 x0 Add x0 x0 x7 Pow x0 Mul acos Mul x0 x3 x0 
Mul Mul Pow x0 Add Pow x0 Mul Pow Pow Pow sqrt x0 x0 Add x0 x0 x7 Pow x0 Mul acos Mul x0 x3 x0 -1 Add Pow x0 Mul Pow Pow Pow sqrt x0 x0 Add x0 x0 x7 Pow x0 Mul acos Mul x0 x3 x0 Mul Mul x0 log x0 Mul Pow x0 Add Mul Pow Pow Pow sqrt x0 x0 Add x0 x0 x7 Pow x0 Mul acos Mul x0 x3 x0 -1 Add Mul Pow Pow Pow sqrt x0 x0 Add x0 x0 x7 Pow x0 Mul acos Mul x0 x3 x0 Mul Mul x0 log x0 Add Mul Pow x0 Mul acos Mul x0 x3 x0 Mul Pow Pow Pow sqrt x0 x0 Add x0 x0 Add x7 -1 Mul x7 Mul Pow Pow sqrt x0 x0 Add Add x0 x0 -1 Add Mul Add x0 x0 Mul Pow sqrt x0 Add x0 -1 Add Mul x0 Pow Mul 2 sqrt x0 -1 Mul sqrt x0 log sqrt x0 Mul Mul Pow sqrt x0 x0 log Pow sqrt x0 x0 2 Mul Pow Pow Pow sqrt x0 x0 Add x0 x0 x7 Mul Pow x0 Add Mul acos Mul x0 x3 x0 -1 Add Mul acos Mul x0 x3 x0 Mul Mul x0 log x0 Add Mul x0 Mul -1 Mul x3 Pow sqrt Add 1 Mul -1 Mul Mul x0 x3 Mul x0 x3 -1 acos Mul x0 x3 Pow Add 1 Mul -1 Mul Pow x0 Pow x0 Mul Pow Pow Pow sqrt x0 x0 Add x0 x0 x7 Pow x0 Mul acos Mul x0 x3 x0 Pow x0 Pow x0 Mul Pow Pow Pow sqrt x0 x0 Add x0 x0 x7 Pow x0 Mul acos Mul x0 x3 x0 -1 