Add Pow Mul x0 x5 Mul -2 Add sec x0 tan x5 atanh Pow Add -4 x6 -4 
Mul Pow Mul x0 x5 Add Mul -2 Add sec x0 tan x5 -1 Add Mul Mul -2 Add sec x0 tan x5 x5 Mul Mul Mul x0 x5 log Mul x0 x5 Mul -2 Mul tan x0 sec x0 