Add Add Mul -3 Add x0 2 Pow acosh x0 Mul 1.25992104989487 pi Mul x0 x0 
Add Add -3 Mul Pow acosh x0 Add Mul 1.25992104989487 pi -1 Mul Mul 1.25992104989487 pi Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Add x0 x0 