Pow x0 Add pi Mul Add x4 Mul Add x0 acos Mul x0 x0 atanh x3 Add x0 8 
Mul Pow x0 Add Add pi Mul Add x4 Mul Add x0 acos Mul x0 x0 atanh x3 Add x0 8 -1 Add Add pi Mul Add x4 Mul Add x0 acos Mul x0 x0 atanh x3 Add x0 8 Mul Mul x0 log x0 Add Mul Add x0 8 Mul atanh x3 Add 1 Mul -1 Mul Add x0 x0 Pow sqrt Add 1 Mul -1 Mul Mul x0 x0 Mul x0 x0 -1 Add x4 Mul Add x0 acos Mul x0 x0 atanh x3 