Mul x0 Add Mul atan Mul acos x0 x7 x0 cosh x0 
Add Add Mul atan Mul acos x0 x7 x0 cosh x0 Mul x0 Add Add Mul x0 Mul Mul x7 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul Mul acos x0 x7 Mul acos x0 x7 -1 atan Mul acos x0 x7 sinh x0 