Mul x0 Pow Add Add 2 Add x1 Mul x1 -1 acosh x0 Add pi x3 
Add Pow Add Add 2 Add x1 Mul x1 -1 acosh x0 Add pi x3 Mul x0 Mul Pow Add Add 2 Add x1 Mul x1 -1 acosh x0 Add Add pi x3 -1 Mul Add pi x3 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 