sec atanh Add 2 Mul x0 Add tan x0 x0 
Mul Mul tan atanh Add 2 Mul x0 Add tan x0 x0 sec atanh Add 2 Mul x0 Add tan x0 x0 Mul Add Add tan x0 x0 Mul x0 Add Pow sec x0 2 1 Pow Add 1 Mul -1 Mul Add 2 Mul x0 Add tan x0 x0 Add 2 Mul x0 Add tan x0 x0 -1 