Mul Pow Mul acoth Pow tan x7 x0 Mul Pow Mul E x2 E log Add x2 x0 x2 x0 
Add Mul x0 Mul Pow Mul acoth Pow tan x7 x0 Mul Pow Mul E x2 E log Add x2 x0 Add x2 -1 Mul x2 Add Mul Mul Pow Mul E x2 E log Add x2 x0 Mul Mul Pow tan x7 Add x0 -1 Mul tan x7 log tan x7 Pow Add 1 Mul -1 Mul Pow tan x7 x0 Pow tan x7 x0 -1 Mul acoth Pow tan x7 x0 Mul Pow Mul E x2 E Pow Add x2 x0 -1 Pow Mul acoth Pow tan x7 x0 Mul Pow Mul E x2 E log Add x2 x0 x2 