Mul Mul Mul x0 Add x0 sec asech Add Pow x0 x5 x3 x0 Mul sqrt Mul x0 x0 x1 
Add Mul Mul sqrt Mul x0 x0 x1 Add Mul x0 Add Add x0 sec asech Add Pow x0 x5 x3 Mul x0 Add 1 Mul Mul tan asech Add Pow x0 x5 x3 sec asech Add Pow x0 x5 x3 Mul Mul Pow x0 Add x5 -1 x5 Pow Mul Mul Add Pow x0 x5 x3 Add Pow x0 x5 x3 sqrt Add 1 Mul -1 Pow Mul Add Pow x0 x5 x3 Add Pow x0 x5 x3 -1 -1 Mul x0 Add x0 sec asech Add Pow x0 x5 x3 Mul Mul Mul x0 Add x0 sec asech Add Pow x0 x5 x3 x0 Mul x1 Mul Pow Mul 2 sqrt Mul x0 x0 -1 Add x0 x0 