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