Add 3 Add Mul x0 Pow acosh x0 Add x7 Pow sqrt x0 pi x3 
Add Pow acosh x0 Add x7 Pow sqrt x0 pi Mul x0 Mul Pow acosh x0 Add Add x7 Pow sqrt x0 pi -1 Add Mul Add x7 Pow sqrt x0 pi Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Mul acosh x0 log acosh x0 Mul Pow sqrt x0 Add pi -1 Mul pi Pow Mul 2 sqrt x0 -1 