Add Mul x0 x0 Mul x0 Add Mul x0 2 sec asec Add Mul x0 Mul log log x0 x2 x0 
Add Add x0 x0 Add Add Mul x0 2 sec asec Add Mul x0 Mul log log x0 x2 x0 Mul x0 Add 2 Mul Mul tan asec Add Mul x0 Mul log log x0 x2 x0 sec asec Add Mul x0 Mul log log x0 x2 x0 Mul Add Add Mul log log x0 x2 Mul x0 Mul x2 Mul Pow x0 -1 Pow log x0 -1 1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Add Mul x0 Mul log log x0 x2 x0 Add Mul x0 Mul log log x0 x2 x0 -1 Add Mul x0 Mul log log x0 x2 x0 Add Mul x0 Mul log log x0 x2 x0 -1 