Mul x0 Mul Pow Mul asech x0 x0 asec asec x4 0.00253263842443227 
Add Mul Pow Mul asech x0 x0 asec asec x4 0.00253263842443227 Mul x0 Mul 0.00253263842443227 Mul Pow Mul asech x0 x0 Add asec asec x4 -1 Mul asec asec x4 Add Mul x0 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 asech x0 