Mul log x0 Mul E Mul Add pi acosh Add pi x0 exp x0 
Add Mul Mul E Mul Add pi acosh Add pi x0 exp x0 Pow x0 -1 Mul log x0 Mul E Add Mul exp x0 Pow Mul sqrt Add Add pi x0 -1 sqrt Add 1 Add pi x0 -1 Mul Add pi acosh Add pi x0 exp x0 