Add x7 Mul x6 Add Mul Mul acot Mul Pow x2 x0 x4 Pow x0 x0 x1 Mul x0 cosh acos x0 
Mul x6 Add Mul x1 Add Mul Pow x0 x0 Mul -1 Mul Mul x4 Mul Pow x2 Add x0 -1 Mul x2 log x2 Pow Add 1 Mul Mul Pow x2 x0 x4 Mul Pow x2 x0 x4 -1 Mul acot Mul Pow x2 x0 x4 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Add cosh acos x0 Mul x0 Mul sinh acos x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 