Mul Mul x0 x4 Mul acot Mul Add Pow x7 Add acos x0 x0 Mul Pow x4 5 acosh x0 x0 Add x3 x0 
Add Mul Mul acot Mul Add Pow x7 Add acos x0 x0 Mul Pow x4 5 acosh x0 x0 Add x3 x0 x4 Mul Mul x0 x4 Add Mul Add x3 x0 Mul -1 Mul Add Mul x0 Add Mul Pow x7 Add Add acos x0 x0 -1 Mul Mul x7 log x7 Add Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 1 Mul Pow x4 5 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Add Pow x7 Add acos x0 x0 Mul Pow x4 5 acosh x0 Pow Add 1 Mul Mul Add Pow x7 Add acos x0 x0 Mul Pow x4 5 acosh x0 x0 Mul Add Pow x7 Add acos x0 x0 Mul Pow x4 5 acosh x0 x0 -1 acot Mul Add Pow x7 Add acos x0 x0 Mul Pow x4 5 acosh x0 x0 