Add Add -2 sin acsch Add x0 sqrt Pow Add Add 512 x0 x0 coth x0 x0 
Add Mul cos acsch Add x0 sqrt Pow Add Add 512 x0 x0 coth x0 Mul Mul -1 Add 1 Mul Pow Mul 2 sqrt Pow Add Add 512 x0 x0 coth x0 -1 Mul Pow Add Add 512 x0 x0 Add coth x0 -1 Add Mul coth x0 2 Mul Mul Add Add 512 x0 x0 log Add Add 512 x0 x0 Mul -1 Pow csch x0 2 Pow Mul Mul Add x0 sqrt Pow Add Add 512 x0 x0 coth x0 Add x0 sqrt Pow Add Add 512 x0 x0 coth x0 sqrt Add 1 Mul -1 Pow Mul Add x0 sqrt Pow Add Add 512 x0 x0 coth x0 Add x0 sqrt Pow Add Add 512 x0 x0 coth x0 -1 -1 1 