Pow x3 Pow x0 Pow x0 Mul tan Mul acos x0 Mul log pi acosh x0 Add x6 tan x0 
Mul Pow x3 Add Pow x0 Pow x0 Mul tan Mul acos x0 Mul log pi acosh x0 Add x6 tan x0 -1 Mul Mul x3 log x3 Mul Pow x0 Add Pow x0 Mul tan Mul acos x0 Mul log pi acosh x0 Add x6 tan x0 -1 Add Pow x0 Mul tan Mul acos x0 Mul log pi acosh x0 Add x6 tan x0 Mul Mul x0 log x0 Mul Pow x0 Add Mul tan Mul acos x0 Mul log pi acosh x0 Add x6 tan x0 -1 Add Mul tan Mul acos x0 Mul log pi acosh x0 Add x6 tan x0 Mul Mul x0 log x0 Add Mul Add x6 tan x0 Mul Pow sec Mul acos x0 Mul log pi acosh x0 2 Add Mul Mul log pi acosh x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul acos x0 Mul log pi Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul tan Mul acos x0 Mul log pi acosh x0 Pow sec x0 2 