Mul Mul x6 x0 exp Pow Mul acos x0 atanh x0 Add Add sec asec x3 x6 x0 
Add Mul exp Pow Mul acos x0 atanh x0 Add Add sec asec x3 x6 x0 x6 Mul Mul x6 x0 Mul exp Pow Mul acos x0 atanh x0 Add Add sec asec x3 x6 x0 Mul Pow Mul acos x0 atanh x0 Add Add Add sec asec x3 x6 x0 -1 Add Mul Add Add sec asec x3 x6 x0 Add Mul atanh x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul acos x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul acos x0 atanh x0 log Mul acos x0 atanh x0 