Add x0 Pow acoth asinh Add 256 x0 Pow Mul x2 -1 exp x0 
Add 1 Mul Pow acoth asinh Add 256 x0 Add Pow Mul x2 -1 exp x0 -1 Add Mul Pow Mul x2 -1 exp x0 Mul Pow sqrt Add 1 Mul Add 256 x0 Add 256 x0 -1 Pow Add 1 Mul -1 Mul asinh Add 256 x0 asinh Add 256 x0 -1 Mul Mul acoth asinh Add 256 x0 log acoth asinh Add 256 x0 Mul Pow Mul x2 -1 Add exp x0 -1 Mul Mul Mul x2 -1 log Mul x2 -1 exp x0 