Mul Mul x0 E acosh Add Mul Pow x0 Add Mul pi x0 -3 Add x0 x0 x2 
Add Mul acosh Add Mul Pow x0 Add Mul pi x0 -3 Add x0 x0 x2 E Mul Mul x0 E Mul Add Mul Add x0 x0 Mul Pow x0 Add Add Mul pi x0 -3 -1 Add Add Mul pi x0 -3 Mul Mul x0 log x0 pi Mul Pow x0 Add Mul pi x0 -3 2 Pow Mul sqrt Add Add Mul Pow x0 Add Mul pi x0 -3 Add x0 x0 x2 -1 sqrt Add 1 Add Mul Pow x0 Add Mul pi x0 -3 Add x0 x0 x2 -1 