Add Add Pow cot Pow x0 E Mul -2 acsch x4 Mul E x0 Add sqrt x0 x0 
Add Add Mul Pow cot Pow x0 E Add Mul -2 acsch x4 -1 Mul Mul -2 acsch x4 Mul Mul -1 Pow csc Pow x0 E 2 Mul Pow x0 Add E -1 E E Add Pow Mul 2 sqrt x0 -1 1 