atan Add Mul x6 Pow x7 atanh Pow Mul log x3 2 Add x0 x0 acos x0 
Mul Add Mul x6 Mul Pow x7 Add atanh Pow Mul log x3 2 Add x0 x0 -1 Mul Mul x7 log x7 Mul Mul Pow Mul log x3 2 Add Add x0 x0 -1 Mul Mul Mul log x3 2 log Mul log x3 2 2 Pow Add 1 Mul -1 Mul Pow Mul log x3 2 Add x0 x0 Pow Mul log x3 2 Add x0 x0 -1 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul Add Mul x6 Pow x7 atanh Pow Mul log x3 2 Add x0 x0 acos x0 Add Mul x6 Pow x7 atanh Pow Mul log x3 2 Add x0 x0 acos x0 -1 