Pow x0 Add Pow Add asech Mul acoth x0 x2 log x0 acos Pow tan x0 x5 x0 
Mul Pow x0 Add Add Pow Add asech Mul acoth x0 x2 log x0 acos Pow tan x0 x5 x0 -1 Add Add Pow Add asech Mul acoth x0 x2 log x0 acos Pow tan x0 x5 x0 Mul Mul x0 log x0 Add Mul Pow Add asech Mul acoth x0 x2 log x0 Add acos Pow tan x0 x5 -1 Add Mul acos Pow tan x0 x5 Add Mul Mul x2 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Mul Mul Mul acoth x0 x2 Mul acoth x0 x2 sqrt Add 1 Mul -1 Pow Mul Mul acoth x0 x2 Mul acoth x0 x2 -1 -1 Pow x0 -1 Mul Mul Add asech Mul acoth x0 x2 log x0 log Add asech Mul acoth x0 x2 log x0 Mul -1 Mul Mul Pow tan x0 Add x5 -1 Mul x5 Pow sec x0 2 Pow sqrt Add 1 Mul -1 Mul Pow tan x0 x5 Pow tan x0 x5 -1 1 