Mul Mul x0 Mul -3 tan x0 Add Pow Mul Add sec x0 -2 x0 Mul Add x2 coth atan x0 Pow x2 coth x3 x0 
Add Mul Add Pow Mul Add sec x0 -2 x0 Mul Add x2 coth atan x0 Pow x2 coth x3 x0 Add Mul -3 tan x0 Mul x0 Mul -3 Pow sec x0 2 Mul Mul x0 Mul -3 tan x0 Add Mul Pow Mul Add sec x0 -2 x0 Add Mul Add x2 coth atan x0 Pow x2 coth x3 -1 Add Mul Mul Add x2 coth atan x0 Pow x2 coth x3 Add Mul x0 Mul tan x0 sec x0 Add sec x0 -2 Mul Mul Mul Add sec x0 -2 x0 log Mul Add sec x0 -2 x0 Mul Pow x2 coth x3 Mul Mul -1 Pow csch atan x0 2 Pow Add 1 Mul x0 x0 -1 1 