Mul x4 Add x0 sqrt Add x0 Pow csch acsc cosh x0 E 
Mul x4 Add 1 Mul Pow Mul 2 sqrt Add x0 Pow csch acsc cosh x0 E -1 Add 1 Mul Pow csch acsc cosh x0 Add E -1 Mul E Mul Mul Mul -1 coth acsc cosh x0 csch acsc cosh x0 Mul -1 Mul sinh x0 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul cosh x0 cosh x0 -1 cosh x0 cosh x0 -1 