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