Add Mul x0 x0 Pow x3 Mul Mul Add x0 4 Mul cosh pi x0 Add x0 -1 
Add Add x0 x0 Mul Pow x3 Add Mul Mul Add x0 4 Mul cosh pi x0 Add x0 -1 -1 Mul Mul x3 log x3 Add Mul Add x0 -1 Add Mul cosh pi x0 Mul Add x0 4 cosh pi Mul Add x0 4 Mul cosh pi x0 