Mul x0 asech tan Add 2 exp x0 
Add asech tan Add 2 exp x0 Mul x0 Mul Mul Pow sec Add 2 exp x0 2 exp x0 Pow Mul Mul tan Add 2 exp x0 tan Add 2 exp x0 sqrt Add 1 Mul -1 Pow Mul tan Add 2 exp x0 tan Add 2 exp x0 -1 -1 