Pow Add asec E pi Pow x0 Add Mul x6 -3 Mul cosh x0 sec x3 
Mul Pow Add asec E pi Add Pow x0 Add Mul x6 -3 Mul cosh x0 sec x3 -1 Mul Mul Add asec E pi log Add asec E pi Mul Pow x0 Add Add Mul x6 -3 Mul cosh x0 sec x3 -1 Add Add Mul x6 -3 Mul cosh x0 sec x3 Mul Mul x0 log x0 Mul sec x3 sinh x0 