Mul x0 Mul exp x0 Pow Mul Pow Mul Pow x0 acos acoth E Mul Add Mul tan x0 cos x3 x6 x2 x0 x2 x0 
Add Mul exp x0 Pow Mul Pow Mul Pow x0 acos acoth E Mul Add Mul tan x0 cos x3 x6 x2 x0 x2 x0 Mul x0 Add Mul Pow Mul Pow Mul Pow x0 acos acoth E Mul Add Mul tan x0 cos x3 x6 x2 x0 x2 x0 exp x0 Mul exp x0 Mul Pow Mul Pow Mul Pow x0 acos acoth E Mul Add Mul tan x0 cos x3 x6 x2 x0 x2 Add x0 -1 Add Mul x0 Mul x2 Mul Pow Mul Pow x0 acos acoth E Mul Add Mul tan x0 cos x3 x6 x2 Add x0 -1 Add Mul x0 Add Mul Mul Add Mul tan x0 cos x3 x6 x2 Mul Pow x0 Add acos acoth E -1 acos acoth E Mul Pow x0 acos acoth E Mul x2 Mul cos x3 Pow sec x0 2 Mul Mul Pow x0 acos acoth E Mul Add Mul tan x0 cos x3 x6 x2 log Mul Pow x0 acos acoth E Mul Add Mul tan x0 cos x3 x6 x2 Mul Mul Pow Mul Pow x0 acos acoth E Mul Add Mul tan x0 cos x3 x6 x2 x0 x2 log Mul Pow Mul Pow x0 acos acoth E Mul Add Mul tan x0 cos x3 x6 x2 x0 x2 