Mul Mul x6 x0 acoth acos Add Mul Mul pi 0.647219429348875 x0 2 
Add Mul acoth acos Add Mul Mul pi 0.647219429348875 x0 2 x6 Mul Mul x6 x0 Mul Mul -1 Mul Mul pi 0.647219429348875 Pow sqrt Add 1 Mul -1 Mul Add Mul Mul pi 0.647219429348875 x0 2 Add Mul Mul pi 0.647219429348875 x0 2 -1 Pow Add 1 Mul -1 Mul acos Add Mul Mul pi 0.647219429348875 x0 2 acos Add Mul Mul pi 0.647219429348875 x0 2 -1 