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