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