asinh Pow Add 4 x0 Add Mul 3 E Add x0 Add x3 acosh pi 
Mul Mul Pow Add 4 x0 Add Add Mul 3 E Add x0 Add x3 acosh pi -1 Add Add Mul 3 E Add x0 Add x3 acosh pi Mul Add 4 x0 log Add 4 x0 Pow sqrt Add 1 Mul Pow Add 4 x0 Add Mul 3 E Add x0 Add x3 acosh pi Pow Add 4 x0 Add Mul 3 E Add x0 Add x3 acosh pi -1 