Mul x0 atanh Pow sec x0 Add Add x3 x0 tan x4 
Add atanh Pow sec x0 Add Add x3 x0 tan x4 Mul x0 Mul Mul Pow sec x0 Add Add Add x3 x0 tan x4 -1 Add Mul Add Add x3 x0 tan x4 Mul tan x0 sec x0 Mul sec x0 log sec x0 Pow Add 1 Mul -1 Mul Pow sec x0 Add Add x3 x0 tan x4 Pow sec x0 Add Add x3 x0 tan x4 -1 