Mul Pow x0 x1 asec atan Add Add Pow x0 sqrt x0 x0 acot x0 
Add Mul asec atan Add Add Pow x0 sqrt x0 x0 acot x0 Mul Pow x0 Add x1 -1 x1 Mul Pow x0 x1 Mul Mul Add Add Mul Pow x0 Add sqrt x0 -1 Add sqrt x0 Mul Mul x0 log x0 Pow Mul 2 sqrt x0 -1 1 Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Add 1 Mul Add Add Pow x0 sqrt x0 x0 acot x0 Add Add Pow x0 sqrt x0 x0 acot x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul atan Add Add Pow x0 sqrt x0 x0 acot x0 atan Add Add Pow x0 sqrt x0 x0 acot x0 -1 atan Add Add Pow x0 sqrt x0 x0 acot x0 atan Add Add Pow x0 sqrt x0 x0 acot x0 -1 