Pow x0 Pow cos acosh Pow x3 5 x0 
Mul Pow x0 Add Pow cos acosh Pow x3 5 x0 -1 Add Pow cos acosh Pow x3 5 x0 Mul Mul x0 log x0 Mul Pow cos acosh Pow x3 5 Add x0 -1 Mul cos acosh Pow x3 5 log cos acosh Pow x3 5 