Pow Mul x0 acosh Pow x5 x2 Mul sinh x0 x0 
Mul Pow Mul x0 acosh Pow x5 x2 Add Mul sinh x0 x0 -1 Add Mul Mul sinh x0 x0 acosh Pow x5 x2 Mul Mul Mul x0 acosh Pow x5 x2 log Mul x0 acosh Pow x5 x2 Add Mul x0 cosh x0 sinh x0 