Mul acoth Mul x2 Add -1 Mul Pow Mul acos Add 2 x0 Add pi Mul x1 x0 -3 x4 x6 
Mul x6 Mul Mul x2 Mul x4 Mul Pow Mul acos Add 2 x0 Add pi Mul x1 x0 4 Mul -3 Add Mul Add pi Mul x1 x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul Add 2 x0 Add 2 x0 -1 Mul acos Add 2 x0 x1 Pow Add 1 Mul -1 Mul Mul x2 Add -1 Mul Pow Mul acos Add 2 x0 Add pi Mul x1 x0 -3 x4 Mul x2 Add -1 Mul Pow Mul acos Add 2 x0 Add pi Mul x1 x0 -3 x4 -1 