Mul x0 Mul x0 Mul x2 Add pi Add Mul x3 0.659293096056782 atan acosh Mul x0 x0 
Add Mul x0 Mul x2 Add pi Add Mul x3 0.659293096056782 atan acosh Mul x0 x0 Mul x0 Add Mul x2 Add pi Add Mul x3 0.659293096056782 atan acosh Mul x0 x0 Mul x0 Mul x2 Mul Mul Add x0 x0 Pow Mul sqrt Add Mul x0 x0 -1 sqrt Add 1 Mul x0 x0 -1 Pow Add 1 Mul acosh Mul x0 x0 acosh Mul x0 x0 -1 