Add Pow x2 Add Pow Add x0 x0 Add Mul 4 x0 acosh x2 4 x5 
Mul Pow x2 Add Add Pow Add x0 x0 Add Mul 4 x0 acosh x2 4 -1 Mul Mul x2 log x2 Mul Pow Add x0 x0 Add Add Mul 4 x0 acosh x2 -1 Add Mul Add Mul 4 x0 acosh x2 2 Mul Mul Add x0 x0 log Add x0 x0 4 