Pow Add Mul acoth x6 Pow E x0 sec x0 x0 
Mul Pow Add Mul acoth x6 Pow E x0 sec x0 Add x0 -1 Add Mul x0 Add Mul acoth x6 Mul Pow E Add x0 -1 Mul E log E Mul tan x0 sec x0 Mul Add Mul acoth x6 Pow E x0 sec x0 log Add Mul acoth x6 Pow E x0 sec x0 