Pow Pow 256 x4 Mul atanh cbrt pi asec x0 
Mul Pow Pow 256 x4 Add Mul atanh cbrt pi asec x0 -1 Mul Mul Pow 256 x4 log Pow 256 x4 Mul atanh cbrt pi Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 