atanh Pow Mul atan x0 asech Mul cbrt Add 1 x4 pi 3.09861228866811 
Mul Mul Pow Mul atan x0 asech Mul cbrt Add 1 x4 pi 2.09861228866811 Mul 3.09861228866811 Mul asech Mul cbrt Add 1 x4 pi Pow Add 1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul Pow Mul atan x0 asech Mul cbrt Add 1 x4 pi 3.09861228866811 Pow Mul atan x0 asech Mul cbrt Add 1 x4 pi 3.09861228866811 -1 