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