Pow x0 Mul log Mul sinh Mul Add Mul 3 x1 -4 x0 -4 Add pi acosh x1 
Mul Pow x0 Add Mul log Mul sinh Mul Add Mul 3 x1 -4 x0 -4 Add pi acosh x1 -1 Add Mul log Mul sinh Mul Add Mul 3 x1 -4 x0 -4 Add pi acosh x1 Mul Mul x0 log x0 Mul Add pi acosh x1 Mul Mul -4 Mul cosh Mul Add Mul 3 x1 -4 x0 Add Mul 3 x1 -4 Pow Mul sinh Mul Add Mul 3 x1 -4 x0 -4 -1 