Pow Add x6 Add E acos Mul Pow x5 x0 2 acos Mul x0 3 
Mul Pow Add x6 Add E acos Mul Pow x5 x0 2 Add acos Mul x0 3 -1 Add Mul acos Mul x0 3 Mul -1 Mul Mul 2 Mul Pow x5 Add x0 -1 Mul x5 log x5 Pow sqrt Add 1 Mul -1 Mul Mul Pow x5 x0 2 Mul Pow x5 x0 2 -1 Mul Mul Add x6 Add E acos Mul Pow x5 x0 2 log Add x6 Add E acos Mul Pow x5 x0 2 Mul -1 Mul 3 Pow sqrt Add 1 Mul -1 Mul Mul x0 3 Mul x0 3 -1 