atan Add Mul Pow acos x0 atanh x2 x0 -4 
Mul Add Mul x0 Mul Pow acos x0 Add atanh x2 -1 Mul atanh x2 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow acos x0 atanh x2 Pow Add 1 Mul Add Mul Pow acos x0 atanh x2 x0 -4 Add Mul Pow acos x0 atanh x2 x0 -4 -1 