Mul Mul x0 sqrt Add -3 Mul sqrt sinh x0 Add x4 x0 Pow Pow x0 4 Pow Mul x0 x1 x0 
Add Mul Pow Pow x0 4 Pow Mul x0 x1 x0 Add sqrt Add -3 Mul sqrt sinh x0 Add x4 x0 Mul x0 Mul Pow Mul 2 sqrt Add -3 Mul sqrt sinh x0 Add x4 x0 -1 Add Mul Add x4 x0 Mul Pow Mul 2 sqrt sinh x0 -1 cosh x0 sqrt sinh x0 Mul Mul x0 sqrt Add -3 Mul sqrt sinh x0 Add x4 x0 Mul Pow Pow x0 4 Add Pow Mul x0 x1 x0 -1 Add Mul Pow Mul x0 x1 x0 Mul Pow x0 3 4 Mul Mul Pow x0 4 log Pow x0 4 Mul Pow Mul x0 x1 Add x0 -1 Add Mul x0 x1 Mul Mul x0 x1 log Mul x0 x1 