Mul asech Pow acos x7 Add x0 acos Mul 2 cos x0 x0 
Add Mul x0 Mul Mul Pow acos x7 Add Add x0 acos Mul 2 cos x0 -1 Mul Mul acos x7 log acos x7 Add 1 Mul -1 Mul Mul 2 Mul -1 sin x0 Pow sqrt Add 1 Mul -1 Mul Mul 2 cos x0 Mul 2 cos x0 -1 Pow Mul Mul Pow acos x7 Add x0 acos Mul 2 cos x0 Pow acos x7 Add x0 acos Mul 2 cos x0 sqrt Add 1 Mul -1 Pow Mul Pow acos x7 Add x0 acos Mul 2 cos x0 Pow acos x7 Add x0 acos Mul 2 cos x0 -1 -1 asech Pow acos x7 Add x0 acos Mul 2 cos x0 