Add Add x0 x0 Add Mul Mul -2 Pow acosh sqrt x1 acos Pow x0 pi x1 4 
Add 2 Mul x1 Mul -2 Mul Pow acosh sqrt x1 Add acos Pow x0 pi -1 Mul Mul acosh sqrt x1 log acosh sqrt x1 Mul -1 Mul Mul Pow x0 Add pi -1 pi Pow sqrt Add 1 Mul -1 Mul Pow x0 pi Pow x0 pi -1 