coth sqrt Mul x0 Pow tan x0 Pow Mul x7 x0 x1 
Mul Mul -1 Pow csch sqrt Mul x0 Pow tan x0 Pow Mul x7 x0 x1 2 Mul Pow Mul 2 sqrt Mul x0 Pow tan x0 Pow Mul x7 x0 x1 -1 Add Pow tan x0 Pow Mul x7 x0 x1 Mul x0 Mul Pow tan x0 Add Pow Mul x7 x0 x1 -1 Add Mul Pow Mul x7 x0 x1 Pow sec x0 2 Mul Mul tan x0 log tan x0 Mul Pow Mul x7 x0 Add x1 -1 Mul x1 x7 