exp sec Add Add -3 Pow asech Pow Pow asech x0 pi x5 x0 x0 
Mul exp sec Add Add -3 Pow asech Pow Pow asech x0 pi x5 x0 x0 Mul Mul tan Add Add -3 Pow asech Pow Pow asech x0 pi x5 x0 x0 sec Add Add -3 Pow asech Pow Pow asech x0 pi x5 x0 x0 Add Mul Pow asech Pow Pow asech x0 pi x5 Add x0 -1 Add Mul x0 Mul Mul Pow Pow asech x0 pi Add x5 -1 Mul x5 Mul Pow asech x0 Add pi -1 Mul pi Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Pow Mul Mul Pow Pow asech x0 pi x5 Pow Pow asech x0 pi x5 sqrt Add 1 Mul -1 Pow Mul Pow Pow asech x0 pi x5 Pow Pow asech x0 pi x5 -1 -1 Mul asech Pow Pow asech x0 pi x5 log asech Pow Pow asech x0 pi x5 1 