Pow asec asech sec sqrt x0 3 
Mul Pow asec asech sec sqrt x0 2 Mul 3 Mul Mul Mul Mul tan sqrt x0 sec sqrt x0 Pow Mul 2 sqrt x0 -1 Pow Mul Mul sec sqrt x0 sec sqrt x0 sqrt Add 1 Mul -1 Pow Mul sec sqrt x0 sec sqrt x0 -1 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul asech sec sqrt x0 asech sec sqrt x0 -1 asech sec sqrt x0 asech sec sqrt x0 -1 