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