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