Pow cosh csch x6 Add x0 exp Pow x0 Mul sqrt x0 x0 
Mul Pow cosh csch x6 Add Add x0 exp Pow x0 Mul sqrt x0 x0 -1 Mul Mul cosh csch x6 log cosh csch x6 Add 1 Mul exp Pow x0 Mul sqrt x0 x0 Mul Pow x0 Add Mul sqrt x0 x0 -1 Add Mul sqrt x0 x0 Mul Mul x0 log x0 Add Mul x0 Pow Mul 2 sqrt x0 -1 sqrt x0 