Add atan sec x0 Mul Pow coth x0 Add Add x0 Add x0 Mul x1 x0 sec exp x1 Mul x0 -5 
Add Mul Mul tan x0 sec x0 Pow Add 1 Mul sec x0 sec x0 -1 Add Mul Mul x0 -5 Mul Pow coth x0 Add Add Add x0 Add x0 Mul x1 x0 sec exp x1 -1 Add Mul Add Add x0 Add x0 Mul x1 x0 sec exp x1 Mul -1 Pow csch x0 2 Mul Mul coth x0 log coth x0 Add 1 Add 1 x1 Mul Pow coth x0 Add Add x0 Add x0 Mul x1 x0 sec exp x1 -5 