Pow exp Add x0 x0 Pow x0 Add 1.15782128234958 acosh E 
Mul Pow exp Add x0 x0 Add Pow x0 Add 1.15782128234958 acosh E -1 Add Mul Pow x0 Add 1.15782128234958 acosh E Mul exp Add x0 x0 2 Mul Mul exp Add x0 x0 log exp Add x0 x0 Mul Pow x0 Add Add 1.15782128234958 acosh E -1 Add 1.15782128234958 acosh E 