Mul Pow Add Mul Mul Mul pi x1 x0 cosh Mul x7 x6 -4 Mul x0 -3 1.76274717403909 
Mul 1.76274717403909 Mul Pow Add Mul Mul Mul pi x1 x0 cosh Mul x7 x6 -4 Add Mul x0 -3 -1 Add Mul Mul x0 -3 Mul cosh Mul x7 x6 Mul pi x1 Mul Mul Add Mul Mul Mul pi x1 x0 cosh Mul x7 x6 -4 log Add Mul Mul Mul pi x1 x0 cosh Mul x7 x6 -4 -3 