Pow log x0 Mul atanh Add log x0 tan x0 Mul acos x7 -1 
Mul Pow log x0 Add Mul atanh Add log x0 tan x0 Mul acos x7 -1 -1 Add Mul Mul atanh Add log x0 tan x0 Mul acos x7 -1 Pow x0 -1 Mul Mul log x0 log log x0 Mul Mul acos x7 -1 Mul Add Pow x0 -1 Pow sec x0 2 Pow Add 1 Mul -1 Mul Add log x0 tan x0 Add log x0 tan x0 -1 