Mul Add Mul -1 Pow Add log coth x0 x5 tan x0 x1 x3 
Mul x3 Mul -1 Mul Pow Add log coth x0 x5 Add tan x0 -1 Add Mul tan x0 Mul Mul -1 Pow csch x0 2 Pow coth x0 -1 Mul Mul Add log coth x0 x5 log Add log coth x0 x5 Pow sec x0 2 