Mul exp Add 1 Pow asech Add 2 sec sqrt x0 Add x6 x0 Mul atan x7 acos asinh x7 
Mul Mul atan x7 acos asinh x7 Mul exp Add 1 Pow asech Add 2 sec sqrt x0 Add x6 x0 Mul Pow asech Add 2 sec sqrt x0 Add Add x6 x0 -1 Add Mul Add x6 x0 Mul Mul Mul tan sqrt x0 sec sqrt x0 Pow Mul 2 sqrt x0 -1 Pow Mul Mul Add 2 sec sqrt x0 Add 2 sec sqrt x0 sqrt Add 1 Mul -1 Pow Mul Add 2 sec sqrt x0 Add 2 sec sqrt x0 -1 -1 Mul asech Add 2 sec sqrt x0 log asech Add 2 sec sqrt x0 