acsch Pow Add Add x0 x7 x0 pi 
Mul Mul -1 Mul Pow Add Add x0 x7 x0 Add pi -1 Mul pi 2 Pow Mul Mul Pow Add Add x0 x7 x0 pi Pow Add Add x0 x7 x0 pi sqrt Add 1 Mul -1 Pow Mul Pow Add Add x0 x7 x0 pi Pow Add Add x0 x7 x0 pi -1 -1 