sec Pow x0 Add Add Add exp Add x0 x0 -2 x0 sinh asec x5 
Mul Mul tan Pow x0 Add Add Add exp Add x0 x0 -2 x0 sinh asec x5 sec Pow x0 Add Add Add exp Add x0 x0 -2 x0 sinh asec x5 Mul Pow x0 Add Add Add Add exp Add x0 x0 -2 x0 sinh asec x5 -1 Add Add Add Add exp Add x0 x0 -2 x0 sinh asec x5 Mul Mul x0 log x0 Add Mul exp Add x0 x0 2 1 