Mul x2 Pow x4 Pow Pow x0 Pow acosh x2 x0 Mul sinh x0 -2 
Mul x2 Mul Pow x4 Add Pow Pow x0 Pow acosh x2 x0 Mul sinh x0 -2 -1 Mul Mul x4 log x4 Mul Pow Pow x0 Pow acosh x2 x0 Add Mul sinh x0 -2 -1 Add Mul Mul sinh x0 -2 Mul Pow x0 Add Pow acosh x2 x0 -1 Add Pow acosh x2 x0 Mul Mul x0 log x0 Mul Pow acosh x2 Add x0 -1 Mul acosh x2 log acosh x2 Mul Mul Pow x0 Pow acosh x2 x0 log Pow x0 Pow acosh x2 x0 Mul -2 cosh x0 