Pow x2 Add Mul x3 Add Mul log Pow tan x0 x1 x0 acoth x5 3 
Mul Pow x2 Add Add Mul x3 Add Mul log Pow tan x0 x1 x0 acoth x5 3 -1 Mul Mul x2 log x2 Mul x3 Add Mul x0 Mul Mul Pow tan x0 Add x1 -1 Mul x1 Pow sec x0 2 Pow Pow tan x0 x1 -1 log Pow tan x0 x1 