Add Add x0 x0 exp Mul Pow cosh x0 Pow Add x3 coth x2 tan x0 acot x0 
Add 2 Mul exp Mul Pow cosh x0 Pow Add x3 coth x2 tan x0 acot x0 Add Mul acot x0 Mul Pow cosh x0 Add Pow Add x3 coth x2 tan x0 -1 Add Mul Pow Add x3 coth x2 tan x0 sinh x0 Mul Mul cosh x0 log cosh x0 Mul Pow Add x3 coth x2 Add tan x0 -1 Mul Mul Add x3 coth x2 log Add x3 coth x2 Pow sec x0 2 Mul Pow cosh x0 Pow Add x3 coth x2 tan x0 Mul -1 Pow Add 1 Mul x0 x0 -1 