Mul -2 Pow Add x7 Add acot x2 x0 cot asec Add Pow x7 acos x0 x0 
Mul -2 Mul Pow Add x7 Add acot x2 x0 Add cot asec Add Pow x7 acos x0 x0 -1 Add cot asec Add Pow x7 acos x0 x0 Mul Mul Add x7 Add acot x2 x0 log Add x7 Add acot x2 x0 Mul Mul -1 Pow csc asec Add Pow x7 acos x0 x0 2 Mul Add Mul Pow x7 Add acos x0 -1 Mul Mul x7 log x7 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Add Pow x7 acos x0 x0 Add Pow x7 acos x0 x0 -1 Add Pow x7 acos x0 x0 Add Pow x7 acos x0 x0 -1 