Pow asin Add x0 Mul Mul Pow x4 Add x0 asec Mul sqrt x6 x1 Add x0 2 acot x5 x1 
Mul Pow asin Add x0 Mul Mul Pow x4 Add x0 asec Mul sqrt x6 x1 Add x0 2 acot x5 Add x1 -1 Mul x1 Mul Add 1 Mul acot x5 Add Mul Add x0 2 Mul Pow x4 Add Add x0 asec Mul sqrt x6 x1 -1 Mul x4 log x4 Pow x4 Add x0 asec Mul sqrt x6 x1 Pow sqrt Add 1 Mul -1 Mul Add x0 Mul Mul Pow x4 Add x0 asec Mul sqrt x6 x1 Add x0 2 acot x5 Add x0 Mul Mul Pow x4 Add x0 asec Mul sqrt x6 x1 Add x0 2 acot x5 -1 