acosh Add 4 exp sqrt Mul -4 log x0 
Mul Mul exp sqrt Mul -4 log x0 Mul Pow Mul 2 sqrt Mul -4 log x0 -1 Mul -4 Pow x0 -1 Pow Mul sqrt Add Add 4 exp sqrt Mul -4 log x0 -1 sqrt Add 1 Add 4 exp sqrt Mul -4 log x0 -1 