Pow Pow tan x1 x0 asinh Mul sec x0 x0 
Mul Pow Pow tan x1 x0 Add asinh Mul sec x0 x0 -1 Add Mul asinh Mul sec x0 x0 Mul Pow tan x1 Add x0 -1 Mul tan x1 log tan x1 Mul Mul Pow tan x1 x0 log Pow tan x1 x0 Mul Add Mul x0 Mul tan x0 sec x0 sec x0 Pow sqrt Add 1 Mul Mul sec x0 x0 Mul sec x0 x0 -1 