Mul acos Mul Mul Mul E x0 Pow E x0 acoth Pow Add Add -4 Mul x0 log x0 x0 acoth x0 tan x0 
Add Mul tan x0 Mul -1 Mul Add Mul acoth Pow Add Add -4 Mul x0 log x0 x0 acoth x0 Add Mul Pow E x0 E Mul Mul E x0 Mul Pow E Add x0 -1 Mul E log E Mul Mul Mul E x0 Pow E x0 Mul Mul Pow Add Add -4 Mul x0 log x0 x0 Add acoth x0 -1 Add Mul acoth x0 Add Add log x0 Mul x0 Pow x0 -1 1 Mul Mul Add Add -4 Mul x0 log x0 x0 log Add Add -4 Mul x0 log x0 x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul Pow Add Add -4 Mul x0 log x0 x0 acoth x0 Pow Add Add -4 Mul x0 log x0 x0 acoth x0 -1 Pow sqrt Add 1 Mul -1 Mul Mul Mul Mul E x0 Pow E x0 acoth Pow Add Add -4 Mul x0 log x0 x0 acoth x0 Mul Mul Mul E x0 Pow E x0 acoth Pow Add Add -4 Mul x0 log x0 x0 acoth x0 -1 Mul acos Mul Mul Mul E x0 Pow E x0 acoth Pow Add Add -4 Mul x0 log x0 x0 acoth x0 Pow sec x0 2 