tan Mul cot asinh asec x2 log atanh Mul sech Add 1 tan x5 Add 3 x0 
Mul Pow sec Mul cot asinh asec x2 log atanh Mul sech Add 1 tan x5 Add 3 x0 2 Mul cot asinh asec x2 Mul Mul sech Add 1 tan x5 Pow Add 1 Mul -1 Mul Mul sech Add 1 tan x5 Add 3 x0 Mul sech Add 1 tan x5 Add 3 x0 -1 Pow atanh Mul sech Add 1 tan x5 Add 3 x0 -1 