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