Add Pow x2 Add Add x0 Pow log coth x7 Mul x6 x0 x4 sec x0 
Add Mul Pow x2 Add Add Add x0 Pow log coth x7 Mul x6 x0 x4 -1 Mul Mul x2 log x2 Add 1 Mul Pow log coth x7 Add Mul x6 x0 -1 Mul Mul log coth x7 log log coth x7 x6 Mul tan x0 sec x0 