sinh atan sec Mul tan x0 Pow acoth x0 Pow x0 coth csc x3 
Mul cosh atan sec Mul tan x0 Pow acoth x0 Pow x0 coth csc x3 Mul Mul Mul tan Mul tan x0 Pow acoth x0 Pow x0 coth csc x3 sec Mul tan x0 Pow acoth x0 Pow x0 coth csc x3 Add Mul Pow acoth x0 Pow x0 coth csc x3 Pow sec x0 2 Mul tan x0 Mul Pow acoth x0 Add Pow x0 coth csc x3 -1 Add Mul Pow x0 coth csc x3 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul acoth x0 log acoth x0 Mul Pow x0 Add coth csc x3 -1 coth csc x3 Pow Add 1 Mul sec Mul tan x0 Pow acoth x0 Pow x0 coth csc x3 sec Mul tan x0 Pow acoth x0 Pow x0 coth csc x3 -1 