Add Mul x0 Mul x1 acsch Pow Add x0 x2 Pow x0 pi x7 
Add Mul x1 acsch Pow Add x0 x2 Pow x0 pi Mul x0 Mul x1 Mul Mul -1 Mul Pow Add x0 x2 Add Pow x0 pi -1 Add Pow x0 pi Mul Mul Add x0 x2 log Add x0 x2 Mul Pow x0 Add pi -1 pi Pow Mul Mul Pow Add x0 x2 Pow x0 pi Pow Add x0 x2 Pow x0 pi sqrt Add 1 Mul -1 Pow Mul Pow Add x0 x2 Pow x0 pi Pow Add x0 x2 Pow x0 pi -1 -1 