Pow atan Mul acos x3 x0 Mul Add acos sinh x0 3 Add x2 acos x0 
Mul Pow atan Mul acos x3 x0 Add Mul Add acos sinh x0 3 Add x2 acos x0 -1 Add Mul Mul Add acos sinh x0 3 Add x2 acos x0 Mul acos x3 Pow Add 1 Mul Mul acos x3 x0 Mul acos x3 x0 -1 Mul Mul atan Mul acos x3 x0 log atan Mul acos x3 x0 Add Mul Add x2 acos x0 Mul -1 Mul cosh x0 Pow sqrt Add 1 Mul -1 Mul sinh x0 sinh x0 -1 Mul Add acos sinh x0 3 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 