Mul log x0 Pow Pow x5 Mul pi -5 acos Mul x0 x3 
Add Mul Pow Pow x5 Mul pi -5 acos Mul x0 x3 Pow x0 -1 Mul log x0 Mul Pow Pow x5 Mul pi -5 Add acos Mul x0 x3 -1 Mul Mul Pow x5 Mul pi -5 log Pow x5 Mul pi -5 Mul -1 Mul x3 Pow sqrt Add 1 Mul -1 Mul Mul x0 x3 Mul x0 x3 -1 