Mul Mul x0 atanh x0 acosh Pow Mul sqrt Add Add log Mul acos x0 x1 3 x0 x2 x2 
Add Mul acosh Pow Mul sqrt Add Add log Mul acos x0 x1 3 x0 x2 x2 Add atanh x0 Mul x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul x0 atanh x0 Mul Mul Pow Mul sqrt Add Add log Mul acos x0 x1 3 x0 x2 Add x2 -1 Mul x2 Mul x2 Mul Pow Mul 2 sqrt Add Add log Mul acos x0 x1 3 x0 -1 Add Mul Mul x1 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Mul acos x0 x1 -1 1 Pow Mul sqrt Add Pow Mul sqrt Add Add log Mul acos x0 x1 3 x0 x2 x2 -1 sqrt Add 1 Pow Mul sqrt Add Add log Mul acos x0 x1 3 x0 x2 x2 -1 