Pow Mul x0 Add x5 Add Pow acosh Pow x0 8165619676597685 exp Pow acosh sinh cosh x0 Mul x0 x0 Pow x0 x3 x0 
Mul Pow Mul x0 Add x5 Add Pow acosh Pow x0 8165619676597685 exp Pow acosh sinh cosh x0 Mul x0 x0 Pow x0 x3 Add x0 -1 Add Mul x0 Add Add x5 Add Pow acosh Pow x0 8165619676597685 exp Pow acosh sinh cosh x0 Mul x0 x0 Pow x0 x3 Mul x0 Add Mul Pow acosh Pow x0 8165619676597685 Add exp Pow acosh sinh cosh x0 Mul x0 x0 -1 Add Mul exp Pow acosh sinh cosh x0 Mul x0 x0 Mul Mul Pow x0 8165619676597684 8165619676597685 Pow Mul sqrt Add Pow x0 8165619676597685 -1 sqrt Add 1 Pow x0 8165619676597685 -1 Mul Mul acosh Pow x0 8165619676597685 log acosh Pow x0 8165619676597685 Mul exp Pow acosh sinh cosh x0 Mul x0 x0 Mul Pow acosh sinh cosh x0 Add Mul x0 x0 -1 Add Mul Mul x0 x0 Mul Mul cosh cosh x0 sinh x0 Pow Mul sqrt Add sinh cosh x0 -1 sqrt Add 1 sinh cosh x0 -1 Mul Mul acosh sinh cosh x0 log acosh sinh cosh x0 Add x0 x0 Mul Pow x0 Add x3 -1 x3 Mul Mul x0 Add x5 Add Pow acosh Pow x0 8165619676597685 exp Pow acosh sinh cosh x0 Mul x0 x0 Pow x0 x3 log Mul x0 Add x5 Add Pow acosh Pow x0 8165619676597685 exp Pow acosh sinh cosh x0 Mul x0 x0 Pow x0 x3 