acosh asech Pow Mul x0 x1 3 
Mul Mul Mul Pow Mul x0 x1 2 Mul 3 x1 Pow Mul Mul Pow Mul x0 x1 3 Pow Mul x0 x1 3 sqrt Add 1 Mul -1 Pow Mul Pow Mul x0 x1 3 Pow Mul x0 x1 3 -1 -1 Pow Mul sqrt Add asech Pow Mul x0 x1 3 -1 sqrt Add 1 asech Pow Mul x0 x1 3 -1 