Pow Pow x0 Mul 4 Add Pow Mul Pow Mul Mul 2 Add x0 E x0 Add x0 x0 Mul Add x0 4 x0 -1 cosh Add x1 x4 x2 
Mul Pow Pow x0 Mul 4 Add Pow Mul Pow Mul Mul 2 Add x0 E x0 Add x0 x0 Mul Add x0 4 x0 -1 cosh Add x1 x4 Add x2 -1 Mul x2 Mul Pow x0 Add Mul 4 Add Pow Mul Pow Mul Mul 2 Add x0 E x0 Add x0 x0 Mul Add x0 4 x0 -1 cosh Add x1 x4 -1 Add Mul 4 Add Pow Mul Pow Mul Mul 2 Add x0 E x0 Add x0 x0 Mul Add x0 4 x0 -1 cosh Add x1 x4 Mul Mul x0 log x0 Mul 4 Mul Pow Mul Pow Mul Mul 2 Add x0 E x0 Add x0 x0 Mul Add x0 4 x0 2 Mul -1 Add Mul Mul Add x0 4 x0 Mul Pow Mul Mul 2 Add x0 E x0 Add Add x0 x0 -1 Add Mul Add x0 x0 Add Mul x0 2 Mul 2 Add x0 E Mul Mul Mul Mul 2 Add x0 E x0 log Mul Mul 2 Add x0 E x0 2 Mul Pow Mul Mul 2 Add x0 E x0 Add x0 x0 Add x0 Add x0 4 