Mul exp Add Pow Pow coth x6 x5 x0 x0 Mul sqrt x0 sec x0 
Add Mul Mul sqrt x0 sec x0 Mul exp Add Pow Pow coth x6 x5 x0 x0 Add Mul Pow Pow coth x6 x5 Add x0 -1 Mul Pow coth x6 x5 log Pow coth x6 x5 1 Mul exp Add Pow Pow coth x6 x5 x0 x0 Add Mul sec x0 Pow Mul 2 sqrt x0 -1 Mul sqrt x0 Mul tan x0 sec x0 