Mul Mul x0 Mul x0 5 Mul Add Mul Mul Mul pi Add x0 x0 cosh pi x0 10 -1 
Add Mul Mul Add Mul Mul Mul pi Add x0 x0 cosh pi x0 10 -1 Add Mul x0 5 Mul x0 5 Mul Mul x0 Mul x0 5 Mul -1 Add Mul x0 Mul cosh pi Mul pi 2 Mul Mul pi Add x0 x0 cosh pi 