acos Pow atanh acos x0 Add Add x3 tan Pow x6 x0 x0 
Mul -1 Mul Mul Pow atanh acos x0 Add Add Add x3 tan Pow x6 x0 x0 -1 Add Mul Add Add x3 tan Pow x6 x0 x0 Mul Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul acos x0 acos x0 -1 Mul Mul atanh acos x0 log atanh acos x0 Add Mul Pow sec Pow x6 x0 2 Mul Pow x6 Add x0 -1 Mul x6 log x6 1 Pow sqrt Add 1 Mul -1 Mul Pow atanh acos x0 Add Add x3 tan Pow x6 x0 x0 Pow atanh acos x0 Add Add x3 tan Pow x6 x0 x0 -1 