Add Mul x0 Pow x5 Add asinh x0 x5 Mul Add x2 x0 acot Mul x0 acos x0 
Add Add Pow x5 Add asinh x0 x5 Mul x0 Mul Pow x5 Add Add asinh x0 x5 -1 Mul Mul x5 log x5 Pow sqrt Add 1 Mul x0 x0 -1 Add acot Mul x0 acos x0 Mul Add x2 x0 Mul -1 Mul Add acos x0 Mul x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul Mul x0 acos x0 Mul x0 acos x0 -1 