Add -2 Mul x6 sinh Pow log Mul x0 Mul 4 Mul x6 x0 x1 
Mul x6 Mul cosh Pow log Mul x0 Mul 4 Mul x6 x0 x1 Mul Pow log Mul x0 Mul 4 Mul x6 x0 Add x1 -1 Mul x1 Mul Add Mul 4 Mul x6 x0 Mul x0 Mul 4 x6 Pow Mul x0 Mul 4 Mul x6 x0 -1 