Pow Add x0 Add Add x0 x0 Pow csch x2 Pow E Add sqrt sec x0 x0 2 
Mul Add x0 Add Add x0 x0 Pow csch x2 Pow E Add sqrt sec x0 x0 Mul 2 Add 1 Add 2 Mul Pow csch x2 Add Pow E Add sqrt sec x0 x0 -1 Mul Mul csch x2 log csch x2 Mul Pow E Add Add sqrt sec x0 x0 -1 Mul Mul E log E Add Mul Pow Mul 2 sqrt sec x0 -1 Mul tan x0 sec x0 1 