Mul Mul x4 x0 log acsch Mul Mul x0 x0 Add x0 pi 
Add Mul log acsch Mul Mul x0 x0 Add x0 pi x4 Mul Mul x4 x0 Mul Mul Mul -1 Add Mul Add x0 pi Add x0 x0 Mul x0 x0 Pow Mul Mul Mul Mul x0 x0 Add x0 pi Mul Mul x0 x0 Add x0 pi sqrt Add 1 Mul -1 Pow Mul Mul Mul x0 x0 Add x0 pi Mul Mul x0 x0 Add x0 pi -1 -1 Pow acsch Mul Mul x0 x0 Add x0 pi -1 