Mul Pow Mul x6 Add x0 Pow x3 x0 acsch coth Add x0 256 x0 
Add Mul x0 Mul Pow Mul x6 Add x0 Pow x3 x0 Add acsch coth Add x0 256 -1 Add Mul acsch coth Add x0 256 Mul x6 Add 1 Mul Pow x3 Add x0 -1 Mul x3 log x3 Mul Mul Mul x6 Add x0 Pow x3 x0 log Mul x6 Add x0 Pow x3 x0 Mul Mul -1 Mul -1 Pow csch Add x0 256 2 Pow Mul Mul coth Add x0 256 coth Add x0 256 sqrt Add 1 Mul -1 Pow Mul coth Add x0 256 coth Add x0 256 -1 -1 Pow Mul x6 Add x0 Pow x3 x0 acsch coth Add x0 256 