acot Pow sec x0 acos asin Pow x0 x1 
Mul -1 Mul Mul Pow sec x0 Add acos asin Pow x0 x1 -1 Add Mul acos asin Pow x0 x1 Mul tan x0 sec x0 Mul Mul sec x0 log sec x0 Mul -1 Mul Mul Mul Pow x0 Add x1 -1 x1 Pow sqrt Add 1 Mul -1 Mul Pow x0 x1 Pow x0 x1 -1 Pow sqrt Add 1 Mul -1 Mul asin Pow x0 x1 asin Pow x0 x1 -1 Pow Add 1 Mul Pow sec x0 acos asin Pow x0 x1 Pow sec x0 acos asin Pow x0 x1 -1 