Add x0 Pow acsch Mul Pow Add 128 acoth x0 x0 Add x0 2.09471254726110 x0 
Add 1 Mul Pow acsch Mul Pow Add 128 acoth x0 x0 Add x0 2.09471254726110 Add x0 -1 Add Mul x0 Mul Mul -1 Add Mul Add x0 2.09471254726110 Mul Pow Add 128 acoth x0 Add x0 -1 Add Mul x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Add 128 acoth x0 log Add 128 acoth x0 Pow Add 128 acoth x0 x0 Pow Mul Mul Mul Pow Add 128 acoth x0 x0 Add x0 2.09471254726110 Mul Pow Add 128 acoth x0 x0 Add x0 2.09471254726110 sqrt Add 1 Mul -1 Pow Mul Mul Pow Add 128 acoth x0 x0 Add x0 2.09471254726110 Mul Pow Add 128 acoth x0 x0 Add x0 2.09471254726110 -1 -1 Mul acsch Mul Pow Add 128 acoth x0 x0 Add x0 2.09471254726110 log acsch Mul Pow Add 128 acoth x0 x0 Add x0 2.09471254726110 