Mul Pow x5 acosh Add x6 x0 Pow Add Add x0 acosh pi x0 x2 
Add Mul Pow Add Add x0 acosh pi x0 x2 Mul Pow x5 Add acosh Add x6 x0 -1 Mul Mul x5 log x5 Pow Mul sqrt Add Add x6 x0 -1 sqrt Add 1 Add x6 x0 -1 Mul Pow x5 acosh Add x6 x0 Mul Pow Add Add x0 acosh pi x0 Add x2 -1 Mul x2 2 