Mul sinh x0 Mul Add -4 Add Mul Mul pi sqrt Mul x3 x0 x0 x0 x0 
Add Mul Mul Add -4 Add Mul Mul pi sqrt Mul x3 x0 x0 x0 x0 cosh x0 Mul sinh x0 Add Mul x0 Add Add Mul x0 Mul pi Mul Pow Mul 2 sqrt Mul x3 x0 -1 x3 Mul pi sqrt Mul x3 x0 1 Add -4 Add Mul Mul pi sqrt Mul x3 x0 x0 x0 