Add Add Mul x0 Mul x0 Pow Pow Add Add 4 x0 2 x4 Mul x0 sqrt Add x3 acosh pi x0 x0 
Add Add Add Mul x0 Pow Pow Add Add 4 x0 2 x4 Mul x0 sqrt Add x3 acosh pi Mul x0 Add Pow Pow Add Add 4 x0 2 x4 Mul x0 sqrt Add x3 acosh pi Mul x0 Mul Pow Pow Add Add 4 x0 2 x4 Add Mul x0 sqrt Add x3 acosh pi -1 Add Mul Mul x0 sqrt Add x3 acosh pi Mul Pow Add Add 4 x0 2 Add x4 -1 x4 Mul Mul Pow Add Add 4 x0 2 x4 log Pow Add Add 4 x0 2 x4 sqrt Add x3 acosh pi 1 1 