Pow Add Pow x0 Mul x1 -4 Mul x0 Mul cosh Add x0 x0 Mul 4 x0 x0 
Mul Pow Add Pow x0 Mul x1 -4 Mul x0 Mul cosh Add x0 x0 Mul 4 x0 Add x0 -1 Add Mul x0 Add Mul Pow x0 Add Mul x1 -4 -1 Mul x1 -4 Add Mul cosh Add x0 x0 Mul 4 x0 Mul x0 Add Mul Mul 4 x0 Mul sinh Add x0 x0 2 Mul cosh Add x0 x0 4 Mul Add Pow x0 Mul x1 -4 Mul x0 Mul cosh Add x0 x0 Mul 4 x0 log Add Pow x0 Mul x1 -4 Mul x0 Mul cosh Add x0 x0 Mul 4 x0 