Add asech x0 Mul x5 Add Add acsch x0 0.615626470386014 Pow x0 3 
Add Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul x5 Add Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul Pow x0 2 3 