Mul acosh Add Add Pow Mul pi -2 x7 Add x0 Pow x5 -1.44363547517881 x0 Add x0 x0 
Add Mul Add x0 x0 Mul 2 Pow Mul sqrt Add Add Add Pow Mul pi -2 x7 Add x0 Pow x5 -1.44363547517881 x0 -1 sqrt Add 1 Add Add Pow Mul pi -2 x7 Add x0 Pow x5 -1.44363547517881 x0 -1 Mul acosh Add Add Pow Mul pi -2 x7 Add x0 Pow x5 -1.44363547517881 x0 2 