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