Mul x3 Pow Pow Pow x0 -2 acosh Mul acos x0 x3 sqrt sqrt Add 4 x0 
Mul x3 Mul Pow Pow Pow x0 -2 acosh Mul acos x0 x3 Add sqrt sqrt Add 4 x0 -1 Add Mul sqrt sqrt Add 4 x0 Mul Pow Pow x0 -2 Add acosh Mul acos x0 x3 -1 Add Mul acosh Mul acos x0 x3 Mul Pow x0 3 -2 Mul Mul Pow x0 -2 log Pow x0 -2 Mul Mul x3 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Mul sqrt Add Mul acos x0 x3 -1 sqrt Add 1 Mul acos x0 x3 -1 Mul Mul Pow Pow x0 -2 acosh Mul acos x0 x3 log Pow Pow x0 -2 acosh Mul acos x0 x3 Mul Pow Mul 2 sqrt sqrt Add 4 x0 -1 Pow Mul 2 sqrt Add 4 x0 -1 