Pow Add Add Mul Add pi Mul x0 x0 Add x1 x3 Mul x0 x0 x0 acoth acos x0 
Mul Pow Add Add Mul Add pi Mul x0 x0 Add x1 x3 Mul x0 x0 x0 Add acoth acos x0 -1 Add Mul acoth acos x0 Add Add Mul Add x1 x3 Add x0 x0 Add x0 x0 1 Mul Mul Add Add Mul Add pi Mul x0 x0 Add x1 x3 Mul x0 x0 x0 log Add Add Mul Add pi Mul x0 x0 Add x1 x3 Mul x0 x0 x0 Mul Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul acos x0 acos x0 -1 