Mul Mul x0 Mul -3 Add x0 Add log Pow x6 Mul x5 -3 Mul x0 Pow x0 x0 acosh Pow cosh x2 3 
Mul acosh Pow cosh x2 3 Add Mul -3 Add x0 Add log Pow x6 Mul x5 -3 Mul x0 Pow x0 x0 Mul x0 Mul -3 Add 1 Add Pow x0 x0 Mul x0 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 