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