Pow Add acosh Add Mul 4 x1 Mul pi x0 -1 Add x1 1 
Mul Pow Add acosh Add Mul 4 x1 Mul pi x0 -1 Add Add x1 1 -1 Mul Add x1 1 Mul pi Pow Mul sqrt Add Add Mul 4 x1 Mul pi x0 -1 sqrt Add 1 Add Mul 4 x1 Mul pi x0 -1 