exp Mul E Pow pi Pow acosh x5 Pow x0 2 
Mul exp Mul E Pow pi Pow acosh x5 Pow x0 2 Mul E Mul Pow pi Add Pow acosh x5 Pow x0 2 -1 Mul Mul pi log pi Mul Pow acosh x5 Add Pow x0 2 -1 Mul Mul acosh x5 log acosh x5 Mul x0 2 