Pow Pow Add Add Add 5 Mul x0 -5 atan acosh x0 x0 Mul Mul x1 Pow x0 x3 x0 acos sqrt x0 
Mul Pow Pow Add Add Add 5 Mul x0 -5 atan acosh x0 x0 Mul Mul x1 Pow x0 x3 x0 Add acos sqrt x0 -1 Add Mul acos sqrt x0 Mul Pow Add Add Add 5 Mul x0 -5 atan acosh x0 x0 Add Mul Mul x1 Pow x0 x3 x0 -1 Add Mul Mul Mul x1 Pow x0 x3 x0 Add Add -5 Mul Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow Add 1 Mul acosh x0 acosh x0 -1 1 Mul Mul Add Add Add 5 Mul x0 -5 atan acosh x0 x0 log Add Add Add 5 Mul x0 -5 atan acosh x0 x0 Add Mul x0 Mul x1 Mul Pow x0 Add x3 -1 x3 Mul x1 Pow x0 x3 Mul Mul Pow Add Add Add 5 Mul x0 -5 atan acosh x0 x0 Mul Mul x1 Pow x0 x3 x0 log Pow Add Add Add 5 Mul x0 -5 atan acosh x0 x0 Mul Mul x1 Pow x0 x3 x0 Mul -1 Mul Pow Mul 2 sqrt x0 -1 Pow sqrt Add 1 Mul -1 Mul sqrt x0 sqrt x0 -1 