Mul acosh asech Add x0 2.09471254726110 x6 
Mul x6 Mul Pow Mul Mul Add x0 2.09471254726110 Add x0 2.09471254726110 sqrt Add 1 Mul -1 Pow Mul Add x0 2.09471254726110 Add x0 2.09471254726110 -1 -1 Pow Mul sqrt Add asech Add x0 2.09471254726110 -1 sqrt Add 1 asech Add x0 2.09471254726110 -1 