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