Pow Pow x0 -4 sqrt Pow Pow exp Add tan x0 Mul Pow Mul x6 acoth x0 Pow x7 x0 acos x4 4 x4 
Mul Pow Pow x0 -4 Add sqrt Pow Pow exp Add tan x0 Mul Pow Mul x6 acoth x0 Pow x7 x0 acos x4 4 x4 -1 Add Mul sqrt Pow Pow exp Add tan x0 Mul Pow Mul x6 acoth x0 Pow x7 x0 acos x4 4 x4 Mul Pow x0 5 -4 Mul Mul Pow x0 -4 log Pow x0 -4 Mul Pow Mul 2 sqrt Pow Pow exp Add tan x0 Mul Pow Mul x6 acoth x0 Pow x7 x0 acos x4 4 x4 -1 Mul Pow Pow exp Add tan x0 Mul Pow Mul x6 acoth x0 Pow x7 x0 acos x4 4 Add x4 -1 Mul x4 Mul Pow exp Add tan x0 Mul Pow Mul x6 acoth x0 Pow x7 x0 acos x4 3 Mul 4 Mul exp Add tan x0 Mul Pow Mul x6 acoth x0 Pow x7 x0 acos x4 Add Pow sec x0 2 Mul acos x4 Mul Pow Mul x6 acoth x0 Add Pow x7 x0 -1 Add Mul Pow x7 x0 Mul x6 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul Mul x6 acoth x0 log Mul x6 acoth x0 Mul Pow x7 Add x0 -1 Mul x7 log x7 