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