Pow Pow x0 asech Add 4 x6 Add Mul cosh atan x3 5 Mul x0 x5 
Mul Pow Pow x0 asech Add 4 x6 Add Add Mul cosh atan x3 5 Mul x0 x5 -1 Add Mul Add Mul cosh atan x3 5 Mul x0 x5 Mul Pow x0 Add asech Add 4 x6 -1 asech Add 4 x6 Mul Mul Pow x0 asech Add 4 x6 log Pow x0 asech Add 4 x6 x5 