Pow atanh acoth Add x0 Add Add E x6 pi 256 
Mul Pow atanh acoth Add x0 Add Add E x6 pi 255 Mul 256 Mul Pow Add 1 Mul -1 Mul Add x0 Add Add E x6 pi Add x0 Add Add E x6 pi -1 Pow Add 1 Mul -1 Mul acoth Add x0 Add Add E x6 pi acoth Add x0 Add Add E x6 pi -1 