Mul Add x3 asech Mul Pow x3 x0 acos tan x0 x5 
Mul x5 Mul Add Mul acos tan x0 Mul Pow x3 Add x0 -1 Mul x3 log x3 Mul Pow x3 x0 Mul -1 Mul Pow sec x0 2 Pow sqrt Add 1 Mul -1 Mul tan x0 tan x0 -1 Pow Mul Mul Mul Pow x3 x0 acos tan x0 Mul Pow x3 x0 acos tan x0 sqrt Add 1 Mul -1 Pow Mul Mul Pow x3 x0 acos tan x0 Mul Pow x3 x0 acos tan x0 -1 -1 