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