Mul Mul 3 x3 Mul Pow Pow x0 Add x0 pi x3 Pow Mul Mul x0 acosh x0 x5 0.000976562500000000 
Mul Mul 3 x3 Add Mul Pow Mul Mul x0 acosh x0 x5 0.000976562500000000 Mul Pow Pow x0 Add x0 pi Add x3 -1 Mul x3 Mul Pow x0 Add Add x0 pi -1 Add Add x0 pi Mul x0 log x0 Mul Pow Pow x0 Add x0 pi x3 Mul Pow Mul Mul x0 acosh x0 x5 -0.999023437500000 Mul 0.000976562500000000 Mul x5 Add acosh x0 Mul x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 