Mul Add x0 Mul x0 x2 acosh Mul Mul acos Add -4 Pow x5 Add atan Mul x0 4 x0 acos x0 2 
Add Mul acosh Mul Mul acos Add -4 Pow x5 Add atan Mul x0 4 x0 acos x0 2 Add 1 x2 Mul Add x0 Mul x0 x2 Mul Mul 2 Add Mul acos x0 Mul -1 Mul Mul Pow x5 Add Add atan Mul x0 4 x0 -1 Mul Mul x5 log x5 Add Mul 4 Pow Add 1 Mul Mul x0 4 Mul x0 4 -1 1 Pow sqrt Add 1 Mul -1 Mul Add -4 Pow x5 Add atan Mul x0 4 x0 Add -4 Pow x5 Add atan Mul x0 4 x0 -1 Mul acos Add -4 Pow x5 Add atan Mul x0 4 x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Mul sqrt Add Mul Mul acos Add -4 Pow x5 Add atan Mul x0 4 x0 acos x0 2 -1 sqrt Add 1 Mul Mul acos Add -4 Pow x5 Add atan Mul x0 4 x0 acos x0 2 -1 