Mul x0 Mul acoth Mul Pow x3 acos Mul Add x0 x0 x0 asec Pow x6 tan x0 x6 
Add Mul acoth Mul Pow x3 acos Mul Add x0 x0 x0 asec Pow x6 tan x0 x6 Mul x0 Mul x6 Mul Add Mul asec Pow x6 tan x0 Mul Pow x3 Add acos Mul Add x0 x0 x0 -1 Mul Mul x3 log x3 Mul -1 Mul Add Mul x0 2 Add x0 x0 Pow sqrt Add 1 Mul -1 Mul Mul Add x0 x0 x0 Mul Add x0 x0 x0 -1 Mul Pow x3 acos Mul Add x0 x0 x0 Mul Mul Pow x6 Add tan x0 -1 Mul Mul x6 log x6 Pow sec x0 2 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow x6 tan x0 Pow x6 tan x0 -1 Pow x6 tan x0 Pow x6 tan x0 -1 Pow Add 1 Mul -1 Mul Mul Pow x3 acos Mul Add x0 x0 x0 asec Pow x6 tan x0 Mul Pow x3 acos Mul Add x0 x0 x0 asec Pow x6 tan x0 -1 