Pow Pow x0 tan x4 Add acoth Mul Add Pow Mul x2 8 x4 x0 acos x0 3 
Mul Pow Pow x0 tan x4 Add Add acoth Mul Add Pow Mul x2 8 x4 x0 acos x0 3 -1 Add Mul Add acoth Mul Add Pow Mul x2 8 x4 x0 acos x0 3 Mul Pow x0 Add tan x4 -1 tan x4 Mul Mul Pow x0 tan x4 log Pow x0 tan x4 Mul Add acos x0 Mul Add Pow Mul x2 8 x4 x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul Mul Add Pow Mul x2 8 x4 x0 acos x0 Mul Add Pow Mul x2 8 x4 x0 acos x0 -1 