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