Add acosh x7 Pow sqrt exp Pow x0 pi Add Pow x0 5 x1 
Mul Pow sqrt exp Pow x0 pi Add Add Pow x0 5 x1 -1 Add Mul Add Pow x0 5 x1 Mul Pow Mul 2 sqrt exp Pow x0 pi -1 Mul exp Pow x0 pi Mul Pow x0 Add pi -1 pi Mul Mul sqrt exp Pow x0 pi log sqrt exp Pow x0 pi Mul Pow x0 4 5 