Pow Add cosh Add x0 -4 Add asech Pow x0 2 x2 Pow x3 Pow Mul x0 x1 3 
Mul Pow Add cosh Add x0 -4 Add asech Pow x0 2 x2 Add Pow x3 Pow Mul x0 x1 3 -1 Add Mul Pow x3 Pow Mul x0 x1 3 Add sinh Add x0 -4 Mul Mul x0 2 Pow Mul Mul Pow x0 2 Pow x0 2 sqrt Add 1 Mul -1 Pow Mul Pow x0 2 Pow x0 2 -1 -1 Mul Mul Add cosh Add x0 -4 Add asech Pow x0 2 x2 log Add cosh Add x0 -4 Add asech Pow x0 2 x2 Mul Pow x3 Add Pow Mul x0 x1 3 -1 Mul Mul x3 log x3 Mul Pow Mul x0 x1 2 Mul 3 x1 