Mul Mul Add Pow pi x0 Add x7 Add x0 1 Mul x0 cosh x0 sqrt Mul Mul acosh Add x0 4 x0 Pow x0 pi 
Add Mul sqrt Mul Mul acosh Add x0 4 x0 Pow x0 pi Add Mul Mul x0 cosh x0 Add Mul Pow pi Add x0 -1 Mul pi log pi 1 Mul Add Pow pi x0 Add x7 Add x0 1 Add cosh x0 Mul x0 sinh x0 Mul Mul Add Pow pi x0 Add x7 Add x0 1 Mul x0 cosh x0 Mul Pow Mul 2 sqrt Mul Mul acosh Add x0 4 x0 Pow x0 pi -1 Add Mul Pow x0 pi Add Mul x0 Pow Mul sqrt Add Add x0 4 -1 sqrt Add 1 Add x0 4 -1 acosh Add x0 4 Mul Mul acosh Add x0 4 x0 Mul Pow x0 Add pi -1 pi 