Add x0 Pow Add Pow x0 2 x0 Add x4 Mul x0 acosh E 
Add 1 Mul Pow Add Pow x0 2 x0 Add Add x4 Mul x0 acosh E -1 Add Mul Add x4 Mul x0 acosh E Add Mul x0 2 1 Mul Mul Add Pow x0 2 x0 log Add Pow x0 2 x0 acosh E 